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.

Synthesis of Synchronization Code for Data Abstractions

Thumbnail Image
Download
Name

MIT-LCS-TR-203.pdf

Size

7.75 MB

Format

Adobe PDF

Checksum (MD5)

13219a451d764536d6aee1d21eb0a1ef

Author(s)
Laventhal, Mark Steven
Advisor(s)
Liskov, Barbara H.
Date Issued
July 1978
Series/Report no.
MIT-LCS-TR-203
Abstract
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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.