On Synchronization Patterns in Parallel Programs
نویسندگان
چکیده
E cient synchronization is a key element in obtaining good speed-up from parallel programs. The overhead introduced by synchronization, especially lock manipulation, can sometimes remove any bene t from parallelizing programs. Techniques to e ciently obtain locks under high contention have been studied in the literature using arti cial programs. We consider the impact of these techniques in a more realistic framework using a sample of real parallel programs running on a shared-bus multiprocessor system. Cycles lost to lock contention and the number of processors waiting to acquire a lock are the two principal metrics that we use. Trace-driven simulation experiments are performed for sequentially consistent and weakly consistent architectural models.
منابع مشابه
Identifying and Validating Irregular Mutual Exclusion Synchronization in Explicitly Parallel Programs
Existing work on mutual exclusion synchronization is based on a structural definition of mutex bodies. Although correct, this structural notion fails to identify many important locking patterns present in some programs. In this paper we present a novel analysis technique for identifying mutual exclusion synchronization patterns in explicitly parallel programs. We use this analysis in a new tech...
متن کاملIdentifying and Validating Irregular Mutual Exclusion Synchronization in Explicitly Parallel Programs (Research Note)
Existing work on mutual exclusion synchronization is based on a structural definition of mutex bodies. Although correct, this structural notion fails to identify many important locking patterns present in some programs. In this paper we present a novel analysis technique for identifying mutual exclusion synchronization patterns in explicitly parallel programs. We use this analysis in a new tech...
متن کاملBusiness Cycle Synchronization and Patterns of Trade: Cases from Gulf Cooperation Council Countries
Do similarities in trade patterns of GCC countries (UAE, KSA, Qatar, Bahrain, Kuwait, and Oman), which are geographically and politically alike and also enjoy oil income, affect the synchronization of their business cycles and make them have similar booms and busts? In this paper, we attempt to connect these two features and explore this question. Using various estimation methods (Common Corre...
متن کاملFuzzy Modeling and Synchronization of a New Hyperchaotic Complex System with Uncertainties
In this paper, the synchronization of a new hyperchaotic complex system based on T-S fuzzy model is proposed. First, the considered hyperchaotic system is represented by T-S fuzzy model equivalently. Then, by using the parallel distributed compensation (PDC) method and by applying linear system theory and exact linearization (EL) technique, a fuzzy controller is designed to realize the synchron...
متن کاملPractical Permissions for Race-Free Parallelism
Type systems that prevent data races are a powerful tool for parallel programming, eliminating whole classes of bugs that are both hard to find and hard to fix. Unfortunately, it is difficult to apply previous such type systems to “real” programs, as each of them are designed around a specific synchronization primitive or parallel pattern, such as locks or disjoint heaps; real programs often ha...
متن کامل