Synthesis of Synchronization Code for Data Abstractions
Author(s)
Laventhal, Mark StevenAbstract
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.
Date issued
1978-07Series/Report no.
MIT-LCS-TR-203