A Fair Power Domain for Actor Computations
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 Office of Naval Research of the Department of Defense under Contract N00014-75-C-0...
| Main Author: | |
|---|---|
| Format: | Working Paper |
| Language: | en_US |
| Published: |
MIT Artificial Intelligence Laboratory
2008
|
| Online Access: | http://hdl.handle.net/1721.1/40809 |
| _version_ | 1826194741480390656 |
|---|---|
| author | Clinger, Will |
| author_facet | Clinger, Will |
| author_sort | Clinger, Will |
| collection | MIT |
| description | 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 Office of Naval Research of the Department of Defense under Contract N00014-75-C-0522. |
| first_indexed | 2024-09-23T10:01:24Z |
| format | Working Paper |
| id | mit-1721.1/40809 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T10:01:24Z |
| publishDate | 2008 |
| publisher | MIT Artificial Intelligence Laboratory |
| record_format | dspace |
| spelling | mit-1721.1/408092019-04-11T03:54:20Z A Fair Power Domain for Actor Computations Clinger, Will 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 Office of Naval Research of the Department of Defense under Contract N00014-75-C-0522. Actor-based languages feature extreme concurrency, allow side effects, and specify a form of fairness which permits unbounded nondeterminism. This makes it difficult to provide a satisfactory mathematical foundation for the semantics. Due to the high degree of parallelism, an oracle semantics would be intractable. A weakest precondition semantics is out of the question because of the possibility of unbounded nondeterminism. The most attractive approach, fixed point semantics using power domains, has not been helpful because the available power domain constructions, although very general, seemed to deal inadequately with fairness. By taking advantage of the relatively complex structure of the actor computation domain C, however, a power domain P(C) can be defined which is similar to Smyth's weak power domain but richer. Actor systems, which are collections of mutually recursive primitive actors with side effects, may be assigned meanings as least fixed points of their associated continuous functions acting on this power domain. Given a denotation A ∈ P(C), the set of possible complete computations of the actor system it represents is the set of least upper bounds of a certain set of "fair" chain in A, and this set of chains is definable within A itself without recourse to oracles or an auxiliary interpretive semantics. It should be emphasized that this power domain construction is not nearly as generally applicable as those of the Plotkin [Pl] and Smyth [Sm], which can be used with any complete partial order. Fairness seems to require that the domain from which the power domain is to be constructed contain sufficient operational information. Department of Defense Office of Naval Research 2008-03-24T13:58:44Z 2008-03-24T13:58:44Z 1979-06 Working Paper http://hdl.handle.net/1721.1/40809 en_US MIT Artificial Intelligence Laboratory Working Papers, WP-190 application/pdf MIT Artificial Intelligence Laboratory |
| spellingShingle | Clinger, Will A Fair Power Domain for Actor Computations |
| title | A Fair Power Domain for Actor Computations |
| title_full | A Fair Power Domain for Actor Computations |
| title_fullStr | A Fair Power Domain for Actor Computations |
| title_full_unstemmed | A Fair Power Domain for Actor Computations |
| title_short | A Fair Power Domain for Actor Computations |
| title_sort | fair power domain for actor computations |
| url | http://hdl.handle.net/1721.1/40809 |
| work_keys_str_mv | AT clingerwill afairpowerdomainforactorcomputations AT clingerwill fairpowerdomainforactorcomputations |