Leveraging hardware message passing for efficient thread synchronization

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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