We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Synchronization Mechanism for Modular Programming Language

Thumbnail Image
Download
Name

MIT-LCS-TR-211.pdf

Size

3.34 MB

Format

Adobe PDF

Checksum (MD5)

e2c4d3f8bac152132009987dfa8a7eab

Author(s)
Bloom, Toby
Advisor(s)
Liskov, Barbara H.
Date Issued
April 1979
Series/Report no.
MIT-LCS-TR-211
Abstract
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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.