skip navigation

This page looks better in modern browsers. Please upgrade.

Brown Home Brown Home Brown Home Brown CS
Research Project:

Transactional Memory

Hardware and softward approaches to scalable multiprocessor synchronization

Project status: Active


Research Areas

Parallel Computing
 

Publications

Cole, C., and Herlihy, M. Snapshots and Software Transactional Memory. Science of Computer Programming 58, 3 (Dec 2005), 310-324. [ pdf ]

Guerraoui, R., Herlihy, M., and Pochon, B. Toward a Theory of Transactional Contention Managers. In Proceedings of the 24th Annual Symposium on Principles of Distributed Computing (PODC) (Jul 2005), pp. 258-264. [ pdf ]

Harris, T., Marlowe, S., Peyton-Jones, S., and Herlihy, M. Composable Memory Transactions. In Principles and Practice of Parallel Programming (PPOPP) (2005), pp. 48-60. [ pdf ]

Heller, S., Herlihy, M., Luchangco, V., Moir, M., Scherer, B., and Shavit, N. A Lazy Concurrent List-based Set Algorithm. In Proceedings of the 9th International Conference on Principles of Distributed Systems (OPODIS) (Dec 2005). [ pdf ]

Herlihy, M., and Sun, Y. Distributed Transactional Memory for Metric-Space Networks. In Proceedings of the 19th International Symposium on Distributed Computing (DISC-05) (Sep 2005), P. Fraigniaud, Ed., Springer, pp. 324-338. [ pdf ]

Herlihy, M., Luchangco, V., Martin, P., and Moir, M. Nonblocking Memory Management Support for Dynamic-sized Data Structures. ACM Transactions on Computer Systems 23, 2 (2005), 146-196. [ pdf ]

Rajwar, R., Herlihy, M., and Lai, K. Virtualizing Transactional Memory. In Proceedings of the 32nd Annual International Symposium on Computer Architecture (2005), pp. 494-505. [ pdf ]

Doherty, S., Herlihy, M., Luchangco, V., and Moir, M. Bringing Practical Lock-free Synchronization to 64-bit Applications. In Proceedings of the 23rd Annual ACM Symposium on Principles of Distributed Computing (PODC-04) (New York, NY, USA, 2004), ACM Press, pp. 31-39. [ pdf ]

Herlihy, M., Luchangco, V., and Moir, M. Obstruction-free Synchronization: Double-ended Queues as an Example. In Proceedings of the 23rd IEEE International Conference on Distributed Computing Systems (May 2003), pp. 522-529. [ pdf ]

Herlihy, M., Luchangco, V., Moir, M., and Scherer, W. Software Transactional Memory for Dynamic-sized Data Structures. In Proceedings of the 22nd Annual ACM Special Interest Group on Operating Systems (SIGOPS) - Special Interest Group on Algorithms and Computation Theory (SIGACT) Symposium on Principles of Distributed Computing (Jul 2003). [ pdf ]

Herlihy, M., and Moss, J. E. B. Transactional Memory: Architectural Support For Lock-Free Data Structures. In Proceedings of the Twentieth Annual International Symposium on Computer Architecture (1993), pp. 289-300. [ pdf ]


Page Owner: Webmaster Last Modified: Mon Oct 23 14:57:09 2006