Maged M. Michael
- Attiya, H. and Hendler, D. Time and space lower bounds for implementations using k-CAS. In Proceedings of the 19th International Conference on Distributed Computing (2005), 169--183. Google Scholar
Digital Library
- Brown, P.J., Smith, R.M. 1973. U.S. Patent 3,886,525. Shared data controlled by a plurality of users (filed June 1973).Google Scholar
- Cain, H.W., Frey, B. Williams, D., Michael, M.M., May, C. and Le, H. Robust architectural support for transactional memory in the Power architecture. ACM/IEEE 40th International Symposium on Computer Architecture (2013). Google ScholarDigital Library
- Dragojevic, A., Herlihy, M., Lev, Y. and Moir, M. On the power of hardware transactional memory to simplify memory management. In Proceedings of the 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (2011), 99--108. Google ScholarDigital Library
- Fatourou, P., Kallimanis, N.D. A highly efficient wait-free universal construction. ACM Symposium on Parallelism in Algorithms and Architectures (2011) 325--334. Google ScholarDigital Library
- Heller, S., Herlihy, M., Luchangco, V., Moir, M., Scherer III, W.N. and Shavit, N. A lazy concurrent list-based set algorithm. In Proceedings of the Ninth International Conference on Principles of Distributed Systems (2005): 3--16. Google ScholarDigital Library
- Herlihy, M. Wait-free synchronization. ACM Transactions on Programming Languages and Systems 13, 1d (1991), 124--149. Google ScholarDigital Library
- Herlihy, M., Luchangco, V., Martin, P.A. and Moir, M. Nonblocking memory management support for dynamic-sized data structures. ACM Transactions on Computer Systems 23, 2 (2005), 146--196. Google ScholarDigital Library
- Herlihy, M., Luchangco, V. and Moir, M. Obstruction-free synchronization: double-ended queues as an example. In Proceedings of the 23rd International Conference on Distributed Computing Systems (2003), 522--529. Google ScholarDigital Library
- IBM System/370 Principles of Operation. 1975. GA22-7000-4.Google Scholar
- Intel Architecture Instruction Set Extensions Programming Reference. 2012.Google Scholar
- Jacobi, C., Slegel, T.J., Greiner, D.F. Transactional Memory Architecture and Implementation for IBM System Z. In Proceedings of the 45th Annual IEEE/ACM International Symposium on Microarchitecture (2012), 25--36. Google ScholarDigital Library
- McKenney, P. Structured deferral: Synchronization via procrastination. ACM Queue (2013); http://queue.acm.org/detail.cfm?id=2488549 Google ScholarDigital Library
- McKenney, P.E., Slingwine, J.D. Read-copy update: using execution history to solve concurrency problems. In Proceedings of the 10th IASTED International Conference on Parallel and Distributed Computing and Systems (1998).Google Scholar
- Michael, M.M. and Scott, M.L. Simple, fast, and practical nonblocking and blocking concurrent queue algorithms. In Proceedings of the 15th Annual ACM Symposium on Principles of Distributed Computing (1996); 267--275. Google ScholarDigital Library
- Michael, M.M. Hazard pointers: Safe memory reclamation for lock-free objects. IEEE Transactions on Parallel Distributed Systems 15, 6 (2004), 491--504. Google ScholarDigital Library
- Michael, M.M. Scalable lock-free dynamic memory allocation. In Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementation (2004). Google ScholarDigital Library
- Michael, M.M. Practical lock-free and wait-free LL/SC/VL implementations using 64-bit CAS. In Proceedings of the 18th International Conference on Distributed Computing (2004); 144--158.Google Scholar
- Timnat, S., Braginsky, A., Kogan, A. and Petrank, E. Wait-free linked-lists. In Proceedings of the 16th International Conference on Principles of Distributed Systems (2012), 330--344. Google ScholarDigital Library
- Valois, J.D. Lock-free linked lists using compare-and-swap. In Proceedings of the 14th Annual ACM Symposium on Principles of Distributed Computing (1995), 214--222. Google ScholarDigital Library
- Wang, A., Gaudet, M., Wu, P., Amaral, J.N., Ohmacht, M., Barton, C., Silvera, R. and Michael, M.M. Evaluation of Blue Gene/Q hardware support for transactional memories. In Proceedings of the 21st International Conference on Parallel Architectures and Compilation Techniques (2012), 127--136. Google ScholarDigital Library
Index Terms
- The balancing act of choosing nonblocking features
Recommendations
The Balancing Act of Choosing Nonblocking Features: Design requirements of nonblocking systems
DevelopmentWhat is nonblocking progress? Consider the simple example of incrementing a counter C shared among multiple threads. One way to do so is by protecting the steps of incrementing C by a mutual exclusion lock L (i.e., acquire(L); old := C ; C := old+1; ...
Nonblocking, repackable, and rearrangeable Clos networks: fifty years of the theory evolution
The article gives an overview of major theoretical issues associated with a switching network structure proposed by C. Clos (1953). The concepts of strict-sense and wide-sense nonblocking as well as repackable and rearrangeable networks are described, ...
Scalable and Practical Nonblocking Switching Networks (Extended Abstract)
PDCAT '05: Proceedings of the Sixth International Conference on Parallel and Distributed Computing Applications and TechnologiesSwitching networks are widely used as core components in network switches and routers, and communication subsyetems in parallel computing systems. Most switching networks are multistage interconnection networks built with small-size switching elements. ...
Comments