A semantics of synchronization:
This paper presents a rigorous framework to discuss the synchronization necessary to coordinate accesses to a resource. The framework, among other things, provides a method for specifying concurrency and forms the semantic basis of a synchronization mechanism which avoids certain unfortunate charact...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass.
Massachusetts Inst. of Technology, Laboratory for Computer Science
1980
|
| Schlagworte: | |
| Zusammenfassung: | This paper presents a rigorous framework to discuss the synchronization necessary to coordinate accesses to a resource. The framework, among other things, provides a method for specifying concurrency and forms the semantic basis of a synchronization mechanism which avoids certain unfortunate characteristics of monitors and serializers. Synchronization is viewed as being managed by a resource guardian. A synchronization problem is defined as a predicate on event sequences. The interaction of a guardian and the rest of the system is formalized in terms of a two person game. This formalization results in precise definitions of guardian and guardian behavior. The notion of a 'good' or optimal solution is defined, and the solutions to certain classes of synchronization problems are characterized. An abstract description of the general actions of a guardian is given. This general description, with some restrictions, forms the basis of a simple synchronization mechanism for actually implementing solutions. The mechanism is given a rigorous semantics based on the definition of guardian. This facilitates the verification of correctness. Many examples of the use of the mechanism are given and its advantages are discussed. (Author). |
| Beschreibung: | Zugl.: Diss., 1980 |
| Beschreibung: | 111 S. |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021876560 | ||
| 003 | DE-604 | ||
| 005 | 20040229000000.0 | ||
| 007 | t | ||
| 008 | 880310s1980 |||| 00||| eng d | ||
| 035 | |a (OCoLC)227464968 | ||
| 035 | |a (DE-599)BVBBV021876560 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 088 | |a MIT/LCS/TM-176 | ||
| 100 | 1 | |a Seaquist, Carl R. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A semantics of synchronization |
| 264 | 1 | |a Cambridge, Mass. |b Massachusetts Inst. of Technology, Laboratory for Computer Science |c 1980 | |
| 300 | |a 111 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Zugl.: Diss., 1980 | ||
| 520 | 3 | |a This paper presents a rigorous framework to discuss the synchronization necessary to coordinate accesses to a resource. The framework, among other things, provides a method for specifying concurrency and forms the semantic basis of a synchronization mechanism which avoids certain unfortunate characteristics of monitors and serializers. Synchronization is viewed as being managed by a resource guardian. A synchronization problem is defined as a predicate on event sequences. The interaction of a guardian and the rest of the system is formalized in terms of a two person game. This formalization results in precise definitions of guardian and guardian behavior. The notion of a 'good' or optimal solution is defined, and the solutions to certain classes of synchronization problems are characterized. An abstract description of the general actions of a guardian is given. This general description, with some restrictions, forms the basis of a simple synchronization mechanism for actually implementing solutions. The mechanism is given a rigorous semantics based on the definition of guardian. This facilitates the verification of correctness. Many examples of the use of the mechanism are given and its advantages are discussed. (Author). | |
| 650 | 7 | |a Computer Hardware |2 scgdst | |
| 650 | 7 | |a Computer Programming and Software |2 scgdst | |
| 650 | 7 | |a Computer Systems |2 scgdst | |
| 650 | 7 | |a Computer applications |2 dtict | |
| 650 | 7 | |a Computer communications |2 dtict | |
| 650 | 7 | |a Computer program verification |2 dtict | |
| 650 | 7 | |a Data bases |2 dtict | |
| 650 | 7 | |a Input output processing |2 dtict | |
| 650 | 7 | |a Mathematical logic |2 dtict | |
| 650 | 7 | |a Multiprocessors |2 dtict | |
| 650 | 7 | |a Parallel processing |2 dtict | |
| 650 | 7 | |a Problem solving |2 dtict | |
| 650 | 7 | |a Semantics |2 dtict | |
| 650 | 7 | |a Synchronism |2 dtict | |
| 650 | 7 | |a Synchronization(electronics) |2 dtict | |
| 650 | 0 | 7 | |a Betriebssystem |0 (DE-588)4006216-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Synchronisierung |0 (DE-588)4130847-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Betriebssystem |0 (DE-588)4006216-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Synchronisierung |0 (DE-588)4130847-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015092166 | ||
Datensatz im Suchindex
| _version_ | 1804135816121810944 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Seaquist, Carl R. |
| author_facet | Seaquist, Carl R. |
| author_role | aut |
| author_sort | Seaquist, Carl R. |
| author_variant | c r s cr crs |
| building | Verbundindex |
| bvnumber | BV021876560 |
| ctrlnum | (OCoLC)227464968 (DE-599)BVBBV021876560 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02943nam a2200529zc 4500</leader><controlfield tag="001">BV021876560</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040229000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">880310s1980 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)227464968</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021876560</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/TM-176</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Seaquist, Carl R.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A semantics of synchronization</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">Massachusetts Inst. of Technology, Laboratory for Computer Science</subfield><subfield code="c">1980</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">111 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.: Diss., 1980</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">This paper presents a rigorous framework to discuss the synchronization necessary to coordinate accesses to a resource. The framework, among other things, provides a method for specifying concurrency and forms the semantic basis of a synchronization mechanism which avoids certain unfortunate characteristics of monitors and serializers. Synchronization is viewed as being managed by a resource guardian. A synchronization problem is defined as a predicate on event sequences. The interaction of a guardian and the rest of the system is formalized in terms of a two person game. This formalization results in precise definitions of guardian and guardian behavior. The notion of a 'good' or optimal solution is defined, and the solutions to certain classes of synchronization problems are characterized. An abstract description of the general actions of a guardian is given. This general description, with some restrictions, forms the basis of a simple synchronization mechanism for actually implementing solutions. The mechanism is given a rigorous semantics based on the definition of guardian. This facilitates the verification of correctness. Many examples of the use of the mechanism are given and its advantages are discussed. (Author).</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">Computer Systems</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer applications</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer communications</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer program verification</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Data bases</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Input output processing</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematical logic</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Multiprocessors</subfield><subfield code="2">dtict</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">Problem solving</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Semantics</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Synchronism</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Synchronization(electronics)</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Betriebssystem</subfield><subfield code="0">(DE-588)4006216-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Synchronisierung</subfield><subfield code="0">(DE-588)4130847-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Betriebssystem</subfield><subfield code="0">(DE-588)4006216-8</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">Synchronisierung</subfield><subfield code="0">(DE-588)4130847-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015092166</subfield></datafield></record></collection> |
| id | DE-604.BV021876560 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:03:36Z |
| indexdate | 2024-07-09T20:46:31Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015092166 |
| oclc_num | 227464968 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 111 S. |
| publishDate | 1980 |
| publishDateSearch | 1980 |
| publishDateSort | 1980 |
| publisher | Massachusetts Inst. of Technology, Laboratory for Computer Science |
| record_format | marc |
| spelling | Seaquist, Carl R. Verfasser aut A semantics of synchronization Cambridge, Mass. Massachusetts Inst. of Technology, Laboratory for Computer Science 1980 111 S. txt rdacontent n rdamedia nc rdacarrier Zugl.: Diss., 1980 This paper presents a rigorous framework to discuss the synchronization necessary to coordinate accesses to a resource. The framework, among other things, provides a method for specifying concurrency and forms the semantic basis of a synchronization mechanism which avoids certain unfortunate characteristics of monitors and serializers. Synchronization is viewed as being managed by a resource guardian. A synchronization problem is defined as a predicate on event sequences. The interaction of a guardian and the rest of the system is formalized in terms of a two person game. This formalization results in precise definitions of guardian and guardian behavior. The notion of a 'good' or optimal solution is defined, and the solutions to certain classes of synchronization problems are characterized. An abstract description of the general actions of a guardian is given. This general description, with some restrictions, forms the basis of a simple synchronization mechanism for actually implementing solutions. The mechanism is given a rigorous semantics based on the definition of guardian. This facilitates the verification of correctness. Many examples of the use of the mechanism are given and its advantages are discussed. (Author). Computer Hardware scgdst Computer Programming and Software scgdst Computer Systems scgdst Computer applications dtict Computer communications dtict Computer program verification dtict Data bases dtict Input output processing dtict Mathematical logic dtict Multiprocessors dtict Parallel processing dtict Problem solving dtict Semantics dtict Synchronism dtict Synchronization(electronics) dtict Betriebssystem (DE-588)4006216-8 gnd rswk-swf Synchronisierung (DE-588)4130847-5 gnd rswk-swf Betriebssystem (DE-588)4006216-8 s DE-604 Synchronisierung (DE-588)4130847-5 s |
| spellingShingle | Seaquist, Carl R. A semantics of synchronization Computer Hardware scgdst Computer Programming and Software scgdst Computer Systems scgdst Computer applications dtict Computer communications dtict Computer program verification dtict Data bases dtict Input output processing dtict Mathematical logic dtict Multiprocessors dtict Parallel processing dtict Problem solving dtict Semantics dtict Synchronism dtict Synchronization(electronics) dtict Betriebssystem (DE-588)4006216-8 gnd Synchronisierung (DE-588)4130847-5 gnd |
| subject_GND | (DE-588)4006216-8 (DE-588)4130847-5 |
| title | A semantics of synchronization |
| title_auth | A semantics of synchronization |
| title_exact_search | A semantics of synchronization |
| title_exact_search_txtP | A semantics of synchronization |
| title_full | A semantics of synchronization |
| title_fullStr | A semantics of synchronization |
| title_full_unstemmed | A semantics of synchronization |
| title_short | A semantics of synchronization |
| title_sort | a semantics of synchronization |
| topic | Computer Hardware scgdst Computer Programming and Software scgdst Computer Systems scgdst Computer applications dtict Computer communications dtict Computer program verification dtict Data bases dtict Input output processing dtict Mathematical logic dtict Multiprocessors dtict Parallel processing dtict Problem solving dtict Semantics dtict Synchronism dtict Synchronization(electronics) dtict Betriebssystem (DE-588)4006216-8 gnd Synchronisierung (DE-588)4130847-5 gnd |
| topic_facet | Computer Hardware Computer Programming and Software Computer Systems Computer applications Computer communications Computer program verification Data bases Input output processing Mathematical logic Multiprocessors Parallel processing Problem solving Semantics Synchronism Synchronization(electronics) Betriebssystem Synchronisierung |
| work_keys_str_mv | AT seaquistcarlr asemanticsofsynchronization |