Laws for Communicating Parallel Processes
Key Words and Phrases: parallel processes, parallel or asynchronous computations, partial orders of events, Actor theory. CR Categories: 5.21, 5.24, 5.26. This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the lab...
| Main Authors: | , |
|---|---|
| Format: | Working Paper |
| Language: | en_US |
| Published: |
MIT Artificial Intelligence Laboratory
2008
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/41962 |
| _version_ | 1811086191812935680 |
|---|---|
| author | Baker, Henry Hewitt, Carl |
| author_facet | Baker, Henry Hewitt, Carl |
| author_sort | Baker, Henry |
| collection | MIT |
| description | Key Words and Phrases: parallel processes, parallel or asynchronous computations, partial orders of events, Actor theory.
CR Categories: 5.21, 5.24, 5.26.
This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract N00014-75-C-0522. |
| first_indexed | 2024-09-23T13:22:15Z |
| format | Working Paper |
| id | mit-1721.1/41962 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T13:22:15Z |
| publishDate | 2008 |
| publisher | MIT Artificial Intelligence Laboratory |
| record_format | dspace |
| spelling | mit-1721.1/419622019-04-11T03:10:32Z Laws for Communicating Parallel Processes Baker, Henry Hewitt, Carl Actor theory partial orders of events parallel or asynchronous computations parallel processes Key Words and Phrases: parallel processes, parallel or asynchronous computations, partial orders of events, Actor theory. CR Categories: 5.21, 5.24, 5.26. This report describes research done at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology. Support for the laboratory's artificial intelligence research is provided in part by the Advanced Research Projects Agency of the Department of Defense under Office of Naval Research contract N00014-75-C-0522. This paper presents some laws that must be satisfied by computations involving communicating parallel processes. The laws are stated in the context of the actor theory, a model for distributed parallel computation, and take the form of stating plausible restrictions on the histories of parallel computations to make them physically realizable. The laws are justified by appeal to physical intuition and are to be regarded as falsifiable assertions about the kinds of computations that occur in nature rather than as proven theorems in mathematics. The laws are used to analyze the mechanisms by which multiple processes can communicate to work effectively together to solve difficult problems. Since the causal relations among the events in a parallel computation do not specify a total order on events, the actor model generalizes the notion of computation from a sequence of states to a partial order of events. The interpretation of unordered events in this partial order is that they proceed concurrently. The utility of partial orders is demonstrated by using them to express our laws for distributed computation. MIT Artificial Intelligence Laboratory Department of Defense Advanced Research Projects Agency 2008-08-26T14:05:51Z 2008-08-26T14:05:51Z 1977-05-10 Working Paper http://hdl.handle.net/1721.1/41962 en_US MIT Artificial Intelligence Laboratory Working Papers, WP-134A; application/pdf MIT Artificial Intelligence Laboratory |
| spellingShingle | Actor theory partial orders of events parallel or asynchronous computations parallel processes Baker, Henry Hewitt, Carl Laws for Communicating Parallel Processes |
| title | Laws for Communicating Parallel Processes |
| title_full | Laws for Communicating Parallel Processes |
| title_fullStr | Laws for Communicating Parallel Processes |
| title_full_unstemmed | Laws for Communicating Parallel Processes |
| title_short | Laws for Communicating Parallel Processes |
| title_sort | laws for communicating parallel processes |
| topic | Actor theory partial orders of events parallel or asynchronous computations parallel processes |
| url | http://hdl.handle.net/1721.1/41962 |
| work_keys_str_mv | AT bakerhenry lawsforcommunicatingparallelprocesses AT hewittcarl lawsforcommunicatingparallelprocesses |