📄 http:^^www.lcs.mit.edu^web_project^brochure^csg^csg.html
字号:
Server: Netscape-Commerce/1.12
Date: Tuesday, 26-Nov-96 00:06:42 GMT
Last-modified: Thursday, 15-Jun-95 00:35:44 GMT
Content-length: 4767
Content-type: text/html
<!doctype html public "-//W30//DTD W3 HTML 2.0//EN"><HTML><TITLE>COMPUTATION STRUCTURES GROUP</TITLE><p><center><!WA0><A HREF="http://www.csg.lcs.mit.edu:8001/"><!WA1><IMG SRC="http://www.lcs.mit.edu/web_project/Brochure/csg/csgline.gif></a></center><p><center><table border><tr> <td><img src=arvind.gif></td> <td width=100 rowspan=2></td> <td><img src=dennis.gif></td></tr><tr><td> <A HREF="http://www.csg.lcs.mit.edu:8001/Users/arvind"><address><b>Arvind</b></a>,<br>Charles W. and Jennifer C. Johnson<br> Professor of Electrical Engineering <br>and Computer Science</address> </td><td> <address><b>Jack Dennis</b></a>,<br>Professor of Electrical Engineering <br>and Computer Science, <b>Emeritus</b></address></td></tr></table></center><body><p>The Computation Structures group (CSG) researcheshigh-speed, general-purpose parallel computing. One of ourgoals is to guide the architecture of parallel computers bya language/programming model that is general enough tosupport a large class of applications. Our research alsoemphasizes the effective management of machine resources onlarge multiprocessors.<p>One example is the recently completed <!WA2><A HREF="http://www.csg.lcs.mit.edu:8001/monsoon">Monsoon</a> project,conducted jointly with Motorola. Monsoon marries a dataflowprocessor with <!WA3><A HREF="http://www.csg.lcs.mit.edu:8001/monsoon/monsoon-performance/monsoon-performance.html">Id</a>, a declarative programming languagedesigned and implemented at LCS. At Id's core is afunctional programming language with non-strict semantics,higher-order functions, a polymorphic-type system, andpowerful constructors for building lists and arrays. Idalso provides a novel way of dealing with state in the formof I-structures and M-structures.<p><center><table border><tr> <td><!WA4><img src=http://www.lcs.mit.edu/web_project/Brochure/csg/greg.gif></td> <td width=100 rowspan=2></td> <td><!WA5><img src=http://www.lcs.mit.edu/web_project/Brochure/csg/csg.gif></td></tr><tr> <td><address><b>Greg Papadopoulos</b></a>,<br>AssociateProfessor <br>of Electrical Engineering <br>and Computer Science</address></td> <td><address><b>Jack Dennis,<br> AndyBoughton,</b> Research Associate,<br><b>Arvind,<br><!WA6><AHREF="http://www.csg.lcs.mit.edu:8001/Users/zhou">YuliZhou</b></a>, Research Associate</address> </td> </tr> </table></center><p>The Monsoon processor architecture uses dataflow principlesto address the basic issues of memory access latency andthe synchronization of concurrent threads of control. Thisis done efficiently using multithreading, split-phaseoperations, and hardware support for synchronization.Multithreading allows the processor to execute instructionsof different threads while one thread is suspended by aremote memory access. Special memory operations areimplemented to support synchronization between producersand consumers of data structures.<p>In contrast to Id's declarative programming style, mostparallel programming uses conventional imperative languagesextended with constructs for parallel execution, or by alibrary of parallel programming operations. Since theprogrammer must partition the program into parallelsegments, optimize the partition, and insertsynchronization for determinacy, parallel programming usingimperative languages is much more complex than that for asingle-processor computer. In a declarative language,however, parallelism is specified implicitly. Theprogrammer is therefore freed from these concerns, evenwhen using existing algorithms.<p>An international group of computer scientists interested indeclarative programming have recently joined forces todefine a new common functional programming language, namedHaskell. CSG is now melding Id's significant features intoan extended "parallel Haskell," known as pH, to moreeffectively disseminate implicit parallel programming.<p>Much of our work is on developing compilation techniquesfor implicitly parallel programs expressed in languagessuch as pH. The goal is to give the programmer freedom indevising abstractions for structuring applications withoutslowing their execution. Id's mathematically cleansemantics makes it possible to perform significant programtransformations over large sections of code.<p>We are collaborating with Motorola in the *T (Start)project, which strives to match a program model similar tothat of the Monsoon multiprocessor to a parallel machinebuilt of processors having more in common with conventional(RISC or superscalar) architectures. The project isdesigned to exploit the best combination of von Neumann anddataflow principles.</BODY><p><!WA7><a href="http://www.lcs.mit.edu/web_project/Brochure/contents.html"><!WA8><img align=left src=http://www.lcs.mit.edu/web_project/Brochure/icons/contents_motif.gif></a><!WA9><a href="http://www.lcs.mit.edu/web_project/Brochure/cag/cag.html"><!WA10><img align=left src=http://www.lcs.mit.edu/web_project/Brochure/icons/previous_group_motif.gif></a><!WA11><a href="http://www.lcs.mit.edu/web_project/Brochure/lps/lps.html"><!WA12><img align=left src=http://www.lcs.mit.edu/web_project/Brochure/icons/next_group_motif.gif></a></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -