Synchronization Mechanism for Modular Programming Language
Any programming language that supports concurrency needs a synchronization construct with which to express access control for shared resources. This thesis examines synchronization constructs from the standpoint of language design for reliable software. The criteria a synchronization mechanism must...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149498 |
| _version_ | 1826197494107734016 |
|---|---|
| author | Bloom, Toby |
| author2 | Liskov, Barbara H. |
| author_facet | Liskov, Barbara H. Bloom, Toby |
| author_sort | Bloom, Toby |
| collection | MIT |
| description | Any programming language that supports concurrency needs a synchronization construct with which to express access control for shared resources. This thesis examines synchronization constructs from the standpoint of language design for reliable software. The criteria a synchronization mechanism must satisfy to support construction of reliable, easily maintainable concurrent software are defined. |
| first_indexed | 2024-09-23T10:48:33Z |
| id | mit-1721.1/149498 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T10:48:33Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1494982023-03-30T03:59:08Z Synchronization Mechanism for Modular Programming Language Bloom, Toby Liskov, Barbara H. Any programming language that supports concurrency needs a synchronization construct with which to express access control for shared resources. This thesis examines synchronization constructs from the standpoint of language design for reliable software. The criteria a synchronization mechanism must satisfy to support construction of reliable, easily maintainable concurrent software are defined. 2023-03-29T15:02:51Z 2023-03-29T15:02:51Z 1979-04 https://hdl.handle.net/1721.1/149498 05146975 MIT-LCS-TR-211 application/pdf |
| spellingShingle | Bloom, Toby Synchronization Mechanism for Modular Programming Language |
| title | Synchronization Mechanism for Modular Programming Language |
| title_full | Synchronization Mechanism for Modular Programming Language |
| title_fullStr | Synchronization Mechanism for Modular Programming Language |
| title_full_unstemmed | Synchronization Mechanism for Modular Programming Language |
| title_short | Synchronization Mechanism for Modular Programming Language |
| title_sort | synchronization mechanism for modular programming language |
| url | https://hdl.handle.net/1721.1/149498 |
| work_keys_str_mv | AT bloomtoby synchronizationmechanismformodularprogramminglanguage |