104 search results - page 1 / 21 » First-Class Synchronization Barriers |
ICFP
1996
ACM
13 years 9 months ago
1996
ACM
ISCA
2011
IEEE
12 years 9 months ago
2011
IEEE
As the number of cores on a single-chip grows, scalable barrier synchronization becomes increasingly difficult to implement. In software implementations, such as the tournament ba...
ICDCN
2012
Springer
12 years 1 months ago
2012
Springer
Synchronization in distributed systems is expensive because, in general, threads must stall to obtain a lock or to operate on volatile data. Transactional memory, on the other hand...
ESOP
2011
Springer
12 years 9 months ago
2011
Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
IPPS
1997
IEEE
13 years 9 months ago
1997
IEEE
Barrier synchronization is a crucial operation for parallel systems. Many schemes have been proposed in the literature to achieve fast barrier synchronization through software, ha...