D Hendler, N Shavit, L Yerushalmi - Proceedings of the sixteenth annual …, 2004 - dl.acm.org
The literature describes two high performance concurrent stack algorithms based on combining funnels and elimination trees. Unfortunately, the funnels are linearizable but …
AA Chien, WJ Dally - Proceedings of the second ACM SIGPLAN …, 1990 - dl.acm.org
To program massively concurrent MIMD machines, programmers need tools for managing complexity. One important tool that has been used in the sequential programming world is …
D Hendler, N Shavit, L Yerushalmi - Journal of Parallel and Distributed …, 2010 - Elsevier
The literature describes two high performance concurrent stack algorithms based on combining funnels and elimination trees. Unfortunately, the funnels are linearizable but …
N Shavit, D Touitou - Theory of Computing Systems, 1997 - Springer
Shared pools and stacks are two coordination structures with a history of applications ranging from simple producer/consumer buffers to job-schedulers and procedure stacks …
N Shavit, D Touitou - Proceedings of the seventh annual ACM …, 1995 - dl.acm.org
Shared pools and stacks are two coordination structures with a history of applications ranging from simple producer/consumer buffers to job-schedulers and procedure stacks …
GA Agha, W Kim - Journal of systems architecture, 1999 - Elsevier
Parallel computing and distributed computing have traditionally evolved as two separate research disciplines. Parallel computing has addressed problems of communication …
S Matsuoka, K Taura, A Yonezawa - … of the eighth annual conference on …, 1993 - dl.acm.org
Re-use of synchronization code in concurrent OO-languages has been considered difficult due to i7lheriinrice anomaly, which we minimize with our new pre posal. Designed with hi …
P Colte, E Kranakis - SIAM Journal on Computing, 1991 - SIAM
This paper studies the invariance groups \bfS(f) of boolean functions f∈\bfB_n (ie, f:{0,1\}^n→{0,1\}) on n variables, ie, the set of all permutations on n elements which leave f …
Bloom Blo79] argues that for a synchronisation mechanism to have good expressive power, it must have access to six di erent types of information: the name of the invoked operation …