Actor systems for real-time computation:
Actor theory was invented by Hewitt and collaborators as a synthesis of many of the ideas from the high-level languages LISP, GEDANKEN, SMALLTALK, SIMULA-67 and others. Actor theory consists of a group of active objects called ACTORS, which communicate by passing messages to one another. This thesis...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass.
Mass. Inst. of Technology, Laboratory for Computer Science
1978
|
| Schlagworte: | |
| Zusammenfassung: | Actor theory was invented by Hewitt and collaborators as a synthesis of many of the ideas from the high-level languages LISP, GEDANKEN, SMALLTALK, SIMULA-67 and others. Actor theory consists of a group of active objects called ACTORS, which communicate by passing messages to one another. This thesis explores several problems associated with implementing Actor theory as a basis for computer system design. First, we give a firmer foundation to the theory by setting forth axioms which must be satisfied by any physically realizable message-passing system. We then give an operational semantics for this theory by exhibiting an interpreter which is a concrete model for the theory. Thirdly, we explore the implementation questions of mapping this conceptual system onto current hardware in such a way that simple primitive operations all take a (small) bounded amount of time. In particular, the issues of storage and processor management are investigated and a real-time incremental garbage system for both is exhibited and analyzed. (Author). |
| Beschreibung: | Zugl.: Cambridge, Mass., Mass. Inst. of Techn., Diss., 1978 |
| Beschreibung: | 145 S. |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021879861 | ||
| 003 | DE-604 | ||
| 005 | 20040229000000.0 | ||
| 007 | t | ||
| 008 | 880811s1978 |||| 00||| eng d | ||
| 035 | |a (OCoLC)227492365 | ||
| 035 | |a (DE-599)BVBBV021879861 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 088 | |a MIT/LCS/TR-197 | ||
| 100 | 1 | |a Baker, Henry G. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Actor systems for real-time computation |c by Henry Givens Baker |
| 264 | 1 | |a Cambridge, Mass. |b Mass. Inst. of Technology, Laboratory for Computer Science |c 1978 | |
| 300 | |a 145 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Zugl.: Cambridge, Mass., Mass. Inst. of Techn., Diss., 1978 | ||
| 520 | 3 | |a Actor theory was invented by Hewitt and collaborators as a synthesis of many of the ideas from the high-level languages LISP, GEDANKEN, SMALLTALK, SIMULA-67 and others. Actor theory consists of a group of active objects called ACTORS, which communicate by passing messages to one another. This thesis explores several problems associated with implementing Actor theory as a basis for computer system design. First, we give a firmer foundation to the theory by setting forth axioms which must be satisfied by any physically realizable message-passing system. We then give an operational semantics for this theory by exhibiting an interpreter which is a concrete model for the theory. Thirdly, we explore the implementation questions of mapping this conceptual system onto current hardware in such a way that simple primitive operations all take a (small) bounded amount of time. In particular, the issues of storage and processor management are investigated and a real-time incremental garbage system for both is exhibited and analyzed. (Author). | |
| 650 | 7 | |a Communication and radio systems |2 dtict | |
| 650 | 7 | |a Computations |2 dtict | |
| 650 | 7 | |a Computer Hardware |2 scgdst | |
| 650 | 7 | |a Computer Programming and Software |2 scgdst | |
| 650 | 7 | |a Cybernetics |2 scgdst | |
| 650 | 7 | |a Data storage systems |2 dtict | |
| 650 | 7 | |a High level languages |2 dtict | |
| 650 | 7 | |a Information theory |2 dtict | |
| 650 | 7 | |a Memory devices |2 dtict | |
| 650 | 7 | |a Non-radio Communications |2 scgdst | |
| 650 | 7 | |a Numerical Mathematics |2 scgdst | |
| 650 | 7 | |a Parallel processing |2 dtict | |
| 650 | 7 | |a Real time |2 dtict | |
| 650 | 0 | 7 | |a Datenfluss |0 (DE-588)4191571-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitverarbeitung |0 (DE-588)4151002-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Rechnernetz |0 (DE-588)4070085-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Rechnernetz |0 (DE-588)4070085-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Echtzeitverarbeitung |0 (DE-588)4151002-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Datenfluss |0 (DE-588)4191571-9 |D s |
| 689 | 2 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015095319 | ||
Datensatz im Suchindex
| _version_ | 1804135820074942464 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Baker, Henry G. |
| author_facet | Baker, Henry G. |
| author_role | aut |
| author_sort | Baker, Henry G. |
| author_variant | h g b hg hgb |
| building | Verbundindex |
| bvnumber | BV021879861 |
| ctrlnum | (OCoLC)227492365 (DE-599)BVBBV021879861 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02857nam a2200541zc 4500</leader><controlfield tag="001">BV021879861</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040229000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">880811s1978 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)227492365</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021879861</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">MIT/LCS/TR-197</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Baker, Henry G.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Actor systems for real-time computation</subfield><subfield code="c">by Henry Givens Baker</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">Mass. Inst. of Technology, Laboratory for Computer Science</subfield><subfield code="c">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">145 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Cambridge, Mass., Mass. Inst. of Techn., Diss., 1978</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Actor theory was invented by Hewitt and collaborators as a synthesis of many of the ideas from the high-level languages LISP, GEDANKEN, SMALLTALK, SIMULA-67 and others. Actor theory consists of a group of active objects called ACTORS, which communicate by passing messages to one another. This thesis explores several problems associated with implementing Actor theory as a basis for computer system design. First, we give a firmer foundation to the theory by setting forth axioms which must be satisfied by any physically realizable message-passing system. We then give an operational semantics for this theory by exhibiting an interpreter which is a concrete model for the theory. Thirdly, we explore the implementation questions of mapping this conceptual system onto current hardware in such a way that simple primitive operations all take a (small) bounded amount of time. In particular, the issues of storage and processor management are investigated and a real-time incremental garbage system for both is exhibited and analyzed. (Author).</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Communication and radio systems</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computations</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer Hardware</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer Programming and Software</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Cybernetics</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Data storage systems</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">High level languages</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Information theory</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Memory devices</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Non-radio Communications</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Numerical Mathematics</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Parallel processing</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Real time</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenfluss</subfield><subfield code="0">(DE-588)4191571-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitverarbeitung</subfield><subfield code="0">(DE-588)4151002-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Rechnernetz</subfield><subfield code="0">(DE-588)4070085-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Rechnernetz</subfield><subfield code="0">(DE-588)4070085-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Echtzeitverarbeitung</subfield><subfield code="0">(DE-588)4151002-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Datenfluss</subfield><subfield code="0">(DE-588)4191571-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015095319</subfield></datafield></record></collection> |
| id | DE-604.BV021879861 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:03:43Z |
| indexdate | 2024-07-09T20:46:34Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015095319 |
| oclc_num | 227492365 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 145 S. |
| publishDate | 1978 |
| publishDateSearch | 1978 |
| publishDateSort | 1978 |
| publisher | Mass. Inst. of Technology, Laboratory for Computer Science |
| record_format | marc |
| spelling | Baker, Henry G. Verfasser aut Actor systems for real-time computation by Henry Givens Baker Cambridge, Mass. Mass. Inst. of Technology, Laboratory for Computer Science 1978 145 S. txt rdacontent n rdamedia nc rdacarrier Zugl.: Cambridge, Mass., Mass. Inst. of Techn., Diss., 1978 Actor theory was invented by Hewitt and collaborators as a synthesis of many of the ideas from the high-level languages LISP, GEDANKEN, SMALLTALK, SIMULA-67 and others. Actor theory consists of a group of active objects called ACTORS, which communicate by passing messages to one another. This thesis explores several problems associated with implementing Actor theory as a basis for computer system design. First, we give a firmer foundation to the theory by setting forth axioms which must be satisfied by any physically realizable message-passing system. We then give an operational semantics for this theory by exhibiting an interpreter which is a concrete model for the theory. Thirdly, we explore the implementation questions of mapping this conceptual system onto current hardware in such a way that simple primitive operations all take a (small) bounded amount of time. In particular, the issues of storage and processor management are investigated and a real-time incremental garbage system for both is exhibited and analyzed. (Author). Communication and radio systems dtict Computations dtict Computer Hardware scgdst Computer Programming and Software scgdst Cybernetics scgdst Data storage systems dtict High level languages dtict Information theory dtict Memory devices dtict Non-radio Communications scgdst Numerical Mathematics scgdst Parallel processing dtict Real time dtict Datenfluss (DE-588)4191571-9 gnd rswk-swf Echtzeitverarbeitung (DE-588)4151002-1 gnd rswk-swf Rechnernetz (DE-588)4070085-9 gnd rswk-swf Rechnernetz (DE-588)4070085-9 s DE-604 Echtzeitverarbeitung (DE-588)4151002-1 s Datenfluss (DE-588)4191571-9 s |
| spellingShingle | Baker, Henry G. Actor systems for real-time computation Communication and radio systems dtict Computations dtict Computer Hardware scgdst Computer Programming and Software scgdst Cybernetics scgdst Data storage systems dtict High level languages dtict Information theory dtict Memory devices dtict Non-radio Communications scgdst Numerical Mathematics scgdst Parallel processing dtict Real time dtict Datenfluss (DE-588)4191571-9 gnd Echtzeitverarbeitung (DE-588)4151002-1 gnd Rechnernetz (DE-588)4070085-9 gnd |
| subject_GND | (DE-588)4191571-9 (DE-588)4151002-1 (DE-588)4070085-9 |
| title | Actor systems for real-time computation |
| title_auth | Actor systems for real-time computation |
| title_exact_search | Actor systems for real-time computation |
| title_exact_search_txtP | Actor systems for real-time computation |
| title_full | Actor systems for real-time computation by Henry Givens Baker |
| title_fullStr | Actor systems for real-time computation by Henry Givens Baker |
| title_full_unstemmed | Actor systems for real-time computation by Henry Givens Baker |
| title_short | Actor systems for real-time computation |
| title_sort | actor systems for real time computation |
| topic | Communication and radio systems dtict Computations dtict Computer Hardware scgdst Computer Programming and Software scgdst Cybernetics scgdst Data storage systems dtict High level languages dtict Information theory dtict Memory devices dtict Non-radio Communications scgdst Numerical Mathematics scgdst Parallel processing dtict Real time dtict Datenfluss (DE-588)4191571-9 gnd Echtzeitverarbeitung (DE-588)4151002-1 gnd Rechnernetz (DE-588)4070085-9 gnd |
| topic_facet | Communication and radio systems Computations Computer Hardware Computer Programming and Software Cybernetics Data storage systems High level languages Information theory Memory devices Non-radio Communications Numerical Mathematics Parallel processing Real time Datenfluss Echtzeitverarbeitung Rechnernetz |
| work_keys_str_mv | AT bakerhenryg actorsystemsforrealtimecomputation |