|
UWSpace >
University of Waterloo >
Electronic Theses and Dissertations (UW) >
|
This Item is Publicly Unavailable as it has Patent/Copyright Pending
|
| Title: | Nested pessimistic transactions for both atomicity and synchronization in concurrent software |
| Authors: | Chammah, Tarek |
| Keywords: | concurrency
parallelism
transactions
locks
transactional memory
atomic sections
lock inference
condition synchronization |
| Approved Date: | 4-Oct-2011 |
| Date Submitted: | 2011 |
| Abstract: | Existing atomic section interface proposals, thus far, have tended to only isolate transactions from each other. Less considered is the coordination of threads performing transactions with respect to one another. Synchronization of nested sections is typically relegated to outside of and among the top-level flattened sections. However existing models do not permit the composition of even simple synchronization constructs such as barriers. The proposed model integrates synchronization as a first-class construct in a truly nested atomic block implementation. The implementation is evaluated on quantitative benchmarks, with qualitative examples of the atomic section interface’s expressive power compared with conventional transactional memory implementations. |
| Program: | Computer Science |
| Department: | School of Computer Science |
| Degree: | Master of Mathematics |
| Appears in Collections: | Electronic Theses and Dissertations (UW)
Faculty of Mathematics Theses and Dissertations
|
This item is protected by original copyright
|
All items in UWSpace are protected by copyright, with all rights reserved.
|
