Leveraging hardware message passing for efficient thread synchronization
نویسندگان
چکیده
منابع مشابه
Efficient Synchronization for Message-passing based Embedded Multiprocessors
This paper presents a novel and efficient synchronization mechanism for message-passing based embedded multiprocessors. The proposed synchronization is built on messagepassing protocols between a synchronization controller (SYNC) and the processors, which are connected via a low latency on-chip network. The proposed SYNC is a hardware engine, centrally managing and scheduling all synchronizatio...
متن کاملEvent Synchronization by Lightweight Message Passing
Concurrent ML’s events and event combinators facilitate modular concurrent programming with first-class synchronization abstractions. A standard implementation of these abstractions relies on fairly complex manipulations of first-class continuations in the underlying language. In this paper, we present a lightweight implementation of these abstractions in Concurrent Haskell, a language that alr...
متن کاملRegion Synchronization in Message Passing Systems
The development of correct synchronization code for distributed programs is a challenging task. In this paper, we propose an aspect oriented technique for developing synchronization code for message passing systems. Our approach is to factor out synchronization as a separate aspect, synthesize synchronization code and then compose it with the functional code. Specifically, we allow the designer...
متن کاملEfficient Sequential Clamping for Lifted Message Passing
Lifted message passing approaches can be extremely fast at computing approximate marginal probability distributions over single variables and neighboring ones in the underlying graphical model. They do, however, not prescribe a way to solve more complex inference tasks such as computing joint marginals for k-tuples of distant random variables or satisfying assignments of CNFs. A popular solutio...
متن کاملEfficient Barrier Synchronization Mechanism for BSP Model on Message Passing Architectures
The Bulk Synchronous Parallel (BSP) model of computation can be used to develop efficient and portable programs for a range of machines and applications. However, the cost of the barrier synchronization used in the BSP model is relatively expensive for message-passing architectures. In this paper, we relax the barrier synchronization constraint in the BSP model for the efficient implementation ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2014
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2692916.2555251