84 search results - page 2 / 17 » Nonblocking Concurrent Data Structures with Condition Synchr... |
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE
Achieving high performance for concurrent applications on modern multiprocessors remains challenging. Many programmers avoid locking to improve performance, while others replace l...
JPDC
2007
13 years 5 months ago
2007
Achieving high performance for concurrent applications on modern multiprocessors remains challenging. Many programmers avoid locking to improve performance, while others replace l...
ICDCS
2003
IEEE
13 years 10 months ago
2003
IEEE
We introduce obstruction-freedom, a new nonblocking property for shared data structure implementations. This property is strong enough to avoid the problems associated with locks,...
CF
2010
ACM
13 years 10 months ago
2010
ACM
Tuning applications for multi-core systems involve subtle concepts and target-dependent optimizations. New languages are being designed to express concurrency and locality without...
VMCAI
2009
Springer
14 years 3 days ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...