104 search results - page 1 / 21 » First-Class Synchronization Barriers |
62
Voted
ICFP
1996
ACM
15 years 3 months ago
1996
ACM
ISCA
2011
IEEE
14 years 2 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...
130
Voted
ICDCN
2012
Springer
13 years 6 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...
164
Voted
ESOP
2011
Springer
14 years 2 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
15 years 3 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...