4- - - " ", 15-25 1997 .


-: "IP- UNIX-"
T-system: programming environment providing automatic dynamic parallelizing on IP-network of Unix-computers

Sergei Abramov
abram@botik.ru
Alexey Adamovich
lexa@adam.botik.ru
Maxim Kovalenko
mk@adam.botik.ru


, 152140, -
Program Systems Institute of Russian Academy of Sciences
Research Center for Multiprocessor Systems Pereslavl-Zalessky, Russia, 152140

, .

----- .

[NATUG'93, RCMS'94]. :

[x,y,z] = G(a,b)

F ( ). ( G) ( G). F " ". , - () . G G G.

T-call

Autotransformation

, , -- - . -- .

--Daisy/DSI project (Indiana Univ.), reduction machine, ( , , 1978-1985 ).

-

- , .

- -

- () ( TCP/IP) IBM PC Linux.

:

-

- " ". - , :

---. . - :

-

-: C , -. , .

:

.

:

[image] main(scene, full_screen_description) {
 [tree] = render_scene(scene, full_screen_description);
 [image] = flaten(tree);
}

[image_tree] render_scene(scene, part_of_screen_description) {
 var part1, part2, tree, part_of_img;
 if (size_too_big(part_of_screen_description)) {
 [part1,part2] = split(part_of_screen_description);
 br_node = new(2);
 [br_node[0]] = render_scene(scene,part1);
 [br_node[1]] = render_scene(scene,part2);
 [image_tree] = br_node; --     
 } else {
 ...   part_of_image   --
    
 image_tree = part_of_image; --    
 }
}

[image] flaten(tree) {
 ...         .
}

, , ( ..). --T- - , ..

, .. , -- , - - .

- , , IBM PC Pentium 166/32Mb/4Gb. . , T- .

.

B2
3 , 91 , 1 )
G
5 , 147 )
B3
(3 , 820 , 1 )

%

-

B2

B3

G

-

B2

B3

G

1

100.00%

100.00%

100.00%

1

1.00

1.00

1.00

2

53.24%

51.81%

51.88%

2

1.88

1.93

1.93

3

35.99%

35.06%

34.78%

3

2.78

2.85

2.88

4

28.02%

26.84%

26.69%

4

3.57

3.73

3.75

()

-

B2

B3

G

-

B2

B3

G

1

278.11

2,785.99

1,295.25

1

100.00%

100.00%

100.00%

2

148.06

1,443.52

671.96

2

93.92%

96.50%

96.38%

3

100.08

976.85

450.43

3

92.63%

95.07%

95.85%

4

77.94

747.64

345.68

4

89.21%

93.16%

93.67%

G2
5 , 1169 )
B4
3 , 7381 a, 1 )

-

[NATUG'93] Abramov S.M., Adamowitch A.I., Nesterov I.A., Pimenov S.P., Shevchuck Yu.V. Autotransformation of evaluation network as a basis for automatic dynamic parallelizing//Proceedings of NATUG 1993 Meeting "Transputer: Research and Application", May 10-11, 1993.

[RCMS'94] Abramov S.M., Nesterov I.A., Shevchuk Yu.V. T-language. Preliminary description, RCMS Tech. Report #09/18/1994

[PACT'95] Adamovich A.I. cT: an Imperative Language with Parallelizing Features Supporting the Computation Model "Autotransformation of the Evaluation Network"//LNCS #964 1995, Parallel computing technologies: third international conference; proceedings / PaCT-95, St. Petersburg, Russia, September 12 - 25, 1995. Victor Malyshkin (ed), pp. 127-141

[SIAM'95] I.A.Nesterov, I.V.Suslov., Towards programming of numerical problems within the system providing automatic parallelizing//Proceedings of 7th SIAM conference on parallel processing for scientific computing, p.716, San-Francisco, CA, 1995.

FTP- WWW-: http://www.botik.ru/~abram/ts-pubs.html
Most of the publications are FTP-available from Web-page: