MAMA: Mostly Automatic Management of Atomicity
نویسندگان
چکیده
Correctly synchronizing the parallel execution of tasks remains one of the most difficult aspects of parallel programming. Without proper synchronization, many kinds of subtle concurrency errors can arise and cause a program to produce intermittently wrong results. The long-term goal of this work is to design a system that automatically synchronizes a set of programmer-specified, partiallyindependent parallel tasks. We present here our progress on the MAMA (Mostly Automatic Management of Atomicity) system, which can infer much but not all of this synchronization. MAMA provides a safety guarantee that a program either executes in a correctly atomic fashion or it deadlocks. Initial experiments indicate that MAMA can semi-automatically provide atomicity for a set of Java benchmarks while still allowing parallel execution.
منابع مشابه
Automatic Mutual Exclusion and Atomicity Checks
This paper provides an introduction to the Automatic Mutual Exclusion (AME) programming model and to its formal study, through the AME calculus. AME resembles cooperative multithreading; in the intended implementations, however, software transactional memory supports the concurrent execution of atomic fragments. This paper also studies simple dynamic and static mechanisms for atomicity checks i...
متن کاملCausal Atomicity
Atomicity is an important generic specification that assures that a programmer can pretend blocks occur sequentially in any execution. We define a notion of atomicity based on causality. We model the control flow of a program with threads using a Petri net that naturally abstracts data, and faithfully captures the independence and interaction between threads. The causality between events in the...
متن کاملA 3-level Atomicity Model for Decentralized Workkow Management Systems a 3-level Atomicity Model for Decentralized Workkow Management Systems a 3-level Atomicity Model for Decentralized Workkow Management Systems
A work ow management systems (WFMS) employs a work ow manager (WM) to execute and automate the various activities within a work ow. To protect the consistency of data, the WM encapsulates each activity with a transaction; a transaction manager (TM) then guarantees the atomicity of activities. Since work ows often group several activities together, the TM is responsible for guaranteeing the atom...
متن کاملPhyllodes Tumor of the Breast: 307 Treated Cases, the Largest Mexican Experience at a Single Breast Disease Institution
Background: Phyllodes tumor (PT) of the breast in Hispanic patients is more frequently reported with large tumors and with more borderline/malignant subtypes compared with other populations. The objective of this study was to describe characteristics of patients with PT and to identify differences among subtypes in a Mexican population. <...
متن کاملA 3-level Atomicity Model for Decentralized Workkow Management Systems
Decentralized workkow management systems (WFMSs) provide an architecture for multiple, heterogeneous WFMSs to interoperate. Atomicity is a standard correctness model for guaranteeing that a set of operations occurs as an atomic unit, or none of them occur at all. Within a single WFMS, atomicity is the concern of its transaction manager. In a decentralized environment , however, the autonomous t...
متن کامل