Synthesis of synchronization code for data abstractions:
Synchronization code is necessary to control shared access of an abstract data object in a parallel-processing environment. This thesis explores an approach in which a synchronization property can be specified in a high-level nonprocedural language, and an implementation for the specified property c...
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Cambridge, Mass.
Massachusetts Inst. of Technology, Laboratory for Computer Science
1978
|
| Subjects: | |
| Summary: | Synchronization code is necessary to control shared access of an abstract data object in a parallel-processing environment. This thesis explores an approach in which a synchronization property can be specified in a high-level nonprocedural language, and an implementation for the specified property can be synthesized algorithmically. A problem specification language is introduced in which synchronization properties can be expressed in a structured but natural manner. A method is then presented for synthesizing an implementation. An intermediate form, called a solution specification, is first derived, representing an abstract solution to the problem. The derivation of the solution specification accomplishes the transformation of the specification from nonprocedural to procedural form. The solution specification can be translated directly into a source language synchronization mechanism, such as a monitor. Specifications for common synchronization properties, such as the readers-writers and bounded buffer problems, are expressed in the problem specification language. Corresponding implementations are then synthesized for these problems. In addition, the derived solution specification can be used in analyzing the soundness of the original problem specification with respect to criteria such as freedom from deadlock and starvation. (Author). |
| Physical Description: | 228 S. |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021878914 | ||
| 003 | DE-604 | ||
| 005 | 20210303 | ||
| 007 | t | ||
| 008 | 880704s1978 m||| 00||| eng d | ||
| 035 | |a (OCoLC)227505715 | ||
| 035 | |a (DE-599)BVBBV021878914 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 088 | |a MIT/LCS/TR-203 | ||
| 100 | 1 | |a Laventhal, Mark Steven |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Synthesis of synchronization code for data abstractions |c by Mark Steven Laventhal |
| 264 | 1 | |a Cambridge, Mass. |b Massachusetts Inst. of Technology, Laboratory for Computer Science |c 1978 | |
| 300 | |a 228 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Zugl.: Diss., 1978 | ||
| 520 | 3 | |a Synchronization code is necessary to control shared access of an abstract data object in a parallel-processing environment. This thesis explores an approach in which a synchronization property can be specified in a high-level nonprocedural language, and an implementation for the specified property can be synthesized algorithmically. A problem specification language is introduced in which synchronization properties can be expressed in a structured but natural manner. A method is then presented for synthesizing an implementation. An intermediate form, called a solution specification, is first derived, representing an abstract solution to the problem. The derivation of the solution specification accomplishes the transformation of the specification from nonprocedural to procedural form. The solution specification can be translated directly into a source language synchronization mechanism, such as a monitor. Specifications for common synchronization properties, such as the readers-writers and bounded buffer problems, are expressed in the problem specification language. Corresponding implementations are then synthesized for these problems. In addition, the derived solution specification can be used in analyzing the soundness of the original problem specification with respect to criteria such as freedom from deadlock and starvation. (Author). | |
| 650 | 7 | |a Access |2 dtict | |
| 650 | 7 | |a Algorithms |2 dtict | |
| 650 | 7 | |a Buffer storage |2 dtict | |
| 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 program reliability |2 dtict | |
| 650 | 7 | |a Data processing |2 dtict | |
| 650 | 7 | |a High level languages |2 dtict | |
| 650 | 7 | |a Monitors |2 dtict | |
| 650 | 7 | |a Parallel processing |2 dtict | |
| 650 | 7 | |a Read write memories |2 dtict | |
| 650 | 7 | |a Semantics |2 dtict | |
| 650 | 7 | |a Synchronism |2 dtict | |
| 650 | 7 | |a Syntax |2 dtict | |
| 650 | 7 | |a Theses |2 dtict | |
| 650 | 7 | |a Time sharing |2 dtict | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 0 | 7 | |a Abstrakter Datentyp |0 (DE-588)4120827-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Synchronisierung |0 (DE-588)4130847-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenaustausch |0 (DE-588)4227289-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Datenaustausch |0 (DE-588)4227289-0 |D s |
| 689 | 0 | 1 | |a Abstrakter Datentyp |0 (DE-588)4120827-4 |D s |
| 689 | 0 | 2 | |a Synchronisierung |0 (DE-588)4130847-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015094407 | ||
Record in the Search Index
| _version_ | 1804135818879565824 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Laventhal, Mark Steven |
| author_facet | Laventhal, Mark Steven |
| author_role | aut |
| author_sort | Laventhal, Mark Steven |
| author_variant | m s l ms msl |
| building | Verbundindex |
| bvnumber | BV021878914 |
| ctrlnum | (OCoLC)227505715 (DE-599)BVBBV021878914 |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03325nam a2200589zc 4500</leader><controlfield tag="001">BV021878914</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210303 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">880704s1978 m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)227505715</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021878914</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-203</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Laventhal, Mark Steven</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Synthesis of synchronization code for data abstractions</subfield><subfield code="c">by Mark Steven Laventhal</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">1978</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">228 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="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Diss., 1978</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Synchronization code is necessary to control shared access of an abstract data object in a parallel-processing environment. This thesis explores an approach in which a synchronization property can be specified in a high-level nonprocedural language, and an implementation for the specified property can be synthesized algorithmically. A problem specification language is introduced in which synchronization properties can be expressed in a structured but natural manner. A method is then presented for synthesizing an implementation. An intermediate form, called a solution specification, is first derived, representing an abstract solution to the problem. The derivation of the solution specification accomplishes the transformation of the specification from nonprocedural to procedural form. The solution specification can be translated directly into a source language synchronization mechanism, such as a monitor. Specifications for common synchronization properties, such as the readers-writers and bounded buffer problems, are expressed in the problem specification language. Corresponding implementations are then synthesized for these problems. In addition, the derived solution specification can be used in analyzing the soundness of the original problem specification with respect to criteria such as freedom from deadlock and starvation. (Author).</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Access</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algorithms</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Buffer storage</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">Computer Systems</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer program reliability</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Data processing</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">Monitors</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">Read write memories</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">Syntax</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Theses</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Time sharing</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Abstrakter Datentyp</subfield><subfield code="0">(DE-588)4120827-4</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="650" ind1="0" ind2="7"><subfield code="a">Datenaustausch</subfield><subfield code="0">(DE-588)4227289-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenaustausch</subfield><subfield code="0">(DE-588)4227289-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Abstrakter Datentyp</subfield><subfield code="0">(DE-588)4120827-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Synchronisierung</subfield><subfield code="0">(DE-588)4130847-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015094407</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV021878914 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:03:41Z |
| indexdate | 2024-07-09T20:46:33Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015094407 |
| oclc_num | 227505715 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 228 S. |
| publishDate | 1978 |
| publishDateSearch | 1978 |
| publishDateSort | 1978 |
| publisher | Massachusetts Inst. of Technology, Laboratory for Computer Science |
| record_format | marc |
| spelling | Laventhal, Mark Steven Verfasser aut Synthesis of synchronization code for data abstractions by Mark Steven Laventhal Cambridge, Mass. Massachusetts Inst. of Technology, Laboratory for Computer Science 1978 228 S. txt rdacontent n rdamedia nc rdacarrier Zugl.: Diss., 1978 Synchronization code is necessary to control shared access of an abstract data object in a parallel-processing environment. This thesis explores an approach in which a synchronization property can be specified in a high-level nonprocedural language, and an implementation for the specified property can be synthesized algorithmically. A problem specification language is introduced in which synchronization properties can be expressed in a structured but natural manner. A method is then presented for synthesizing an implementation. An intermediate form, called a solution specification, is first derived, representing an abstract solution to the problem. The derivation of the solution specification accomplishes the transformation of the specification from nonprocedural to procedural form. The solution specification can be translated directly into a source language synchronization mechanism, such as a monitor. Specifications for common synchronization properties, such as the readers-writers and bounded buffer problems, are expressed in the problem specification language. Corresponding implementations are then synthesized for these problems. In addition, the derived solution specification can be used in analyzing the soundness of the original problem specification with respect to criteria such as freedom from deadlock and starvation. (Author). Access dtict Algorithms dtict Buffer storage dtict Computer Hardware scgdst Computer Programming and Software scgdst Computer Systems scgdst Computer program reliability dtict Data processing dtict High level languages dtict Monitors dtict Parallel processing dtict Read write memories dtict Semantics dtict Synchronism dtict Syntax dtict Theses dtict Time sharing dtict Datenverarbeitung Abstrakter Datentyp (DE-588)4120827-4 gnd rswk-swf Synchronisierung (DE-588)4130847-5 gnd rswk-swf Datenaustausch (DE-588)4227289-0 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Datenaustausch (DE-588)4227289-0 s Abstrakter Datentyp (DE-588)4120827-4 s Synchronisierung (DE-588)4130847-5 s DE-604 |
| spellingShingle | Laventhal, Mark Steven Synthesis of synchronization code for data abstractions Access dtict Algorithms dtict Buffer storage dtict Computer Hardware scgdst Computer Programming and Software scgdst Computer Systems scgdst Computer program reliability dtict Data processing dtict High level languages dtict Monitors dtict Parallel processing dtict Read write memories dtict Semantics dtict Synchronism dtict Syntax dtict Theses dtict Time sharing dtict Datenverarbeitung Abstrakter Datentyp (DE-588)4120827-4 gnd Synchronisierung (DE-588)4130847-5 gnd Datenaustausch (DE-588)4227289-0 gnd |
| subject_GND | (DE-588)4120827-4 (DE-588)4130847-5 (DE-588)4227289-0 (DE-588)4113937-9 |
| title | Synthesis of synchronization code for data abstractions |
| title_auth | Synthesis of synchronization code for data abstractions |
| title_exact_search | Synthesis of synchronization code for data abstractions |
| title_exact_search_txtP | Synthesis of synchronization code for data abstractions |
| title_full | Synthesis of synchronization code for data abstractions by Mark Steven Laventhal |
| title_fullStr | Synthesis of synchronization code for data abstractions by Mark Steven Laventhal |
| title_full_unstemmed | Synthesis of synchronization code for data abstractions by Mark Steven Laventhal |
| title_short | Synthesis of synchronization code for data abstractions |
| title_sort | synthesis of synchronization code for data abstractions |
| topic | Access dtict Algorithms dtict Buffer storage dtict Computer Hardware scgdst Computer Programming and Software scgdst Computer Systems scgdst Computer program reliability dtict Data processing dtict High level languages dtict Monitors dtict Parallel processing dtict Read write memories dtict Semantics dtict Synchronism dtict Syntax dtict Theses dtict Time sharing dtict Datenverarbeitung Abstrakter Datentyp (DE-588)4120827-4 gnd Synchronisierung (DE-588)4130847-5 gnd Datenaustausch (DE-588)4227289-0 gnd |
| topic_facet | Access Algorithms Buffer storage Computer Hardware Computer Programming and Software Computer Systems Computer program reliability Data processing High level languages Monitors Parallel processing Read write memories Semantics Synchronism Syntax Theses Time sharing Datenverarbeitung Abstrakter Datentyp Synchronisierung Datenaustausch Hochschulschrift |
| work_keys_str_mv | AT laventhalmarksteven synthesisofsynchronizationcodefordataabstractions |