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 23 days 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 8 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...