Design Decisions for the FTM: A General Purpose Fault Tolerant Machine.
In: FTCS. pp. 71-78.
Transactions and Systems |
| [Banatre et al., 1991]
|
Michel Banatre and Gilles Muller and Bruno Rochat and P. Sanchez ( 1991). Design Decisions for the FTM: A General Purpose Fault Tolerant Machine. In: FTCS. pp. 71-78. |
[Satyanarayanan et al., 1994]
|
M. Satyanarayanan and Henry H. Mashburn and Puneet Kumar and David C. Steere and James J. Kistler ( 1994). Lightweight Recoverable Virtual Memory. In: ACM Transactions on Computer Systems, 12(1):33--57. |
| [Bohannon et al., 1995]
|
Philip Bohannon and Daniel Lieuwen and Avi Silberschatz and S. Sudarshan and Jacques Gava (Oct 1995). Recoverable User-Level Mutual Exclusion. In: Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing. pp. 293--301. |
| [Muller et al., 1996]
|
Gilles Muller and Michel Banatre and Nadine Peyrouze and Bruno Rochat ( 1996). Lessons from FTM: An Experiment in Design and Implementation of a Low-Cost Fault-Tolerant System. (2):332-339. |
| [Lowell and Chen, 1997]
|
David E. Lowell and Peter M. Chen (Oct 1997). Free Transactions with Rio Vista. In: Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles. pp. 92--101. ACM Press. |
| [Pizlo et al., 2004]
|
Filip Pizlo and Marek Prochazka and Suresh Jagannathan and Jan Vitek ( 2004). Transactional Lock-Free Objects for Real-Time Java. In: Proceedings of the PODC Workshop on Concurrency and Synchronization in Java Programs. pp. 54--62. |
| [Welc et al., 2004]
|
Adam Welc and Suresh Jagannathan and Antony L. Hosking ( 2004). Transactional monitors for concurrent objects. In: (ed.), Proceedings of the European Conference on Object-Oriented Programming. Volume 3086 of Lecture Notes in Computer Science. pp. 519--542. Published by Springer-Verlag. |
| [Jones et al., 2005]
|
Cliff Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum and Alan Fekete and Marie-Claude Gaudel and Henry F. Korth and Rogerio de Lemos and Eliot Moss and Ravi Rajwar and Krithi Ramamritham and Brian Randell and Luis Rodrigues (Mar 2005). The Atomic Manifesto: A story in four quarks. In: SIGMOD Record, 34(1):63--69. |
| [Jones et al., 2005]
|
Cliff Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum and Alan Fekete and Marie-Claude Gaudel and Henry F. Korth and Rogerio de Lemos and Eliot Moss and Ravi Rajwar and Krithi Ramamritham and Brian Randell and Luis Rodrigues (Apr 2005). The Atomic Manifesto: A story in four quarks. In: SIGOPS Oper. Syst. Rev., 39(2):41--46. |
[Rajwar et al., 2005]
|
Ravi Rajwar and Maurice Herlihy and Konrad Lai (Jun 2005). Virtualizing Transactional Memory. In: Proceedings of the 32nd Annual International Symposium on Computer Architecture. pp. 494--505. IEEE Computer Society. |
| [Guerraoui et al., 2005]
|
Rachid Guerraoui and Maurice Herlihy and Bastian Pochon (Sep 2005). Polymorphic Contention Management. In: DISC '05: Proceedings of the nineteenth International Symposium on Distributed Computing. pp. 303--323. Published by LNCS, Springer. |
| [Guerraoui et al., 2005]
|
Rachid Guerraoui and Maurice Herlihy and Michal Kapalka and Bastian Pochon (October 2005). Robust Contention Management in Software Transactional Memory. In: Proceedings of the OOPSLA Workshop on Synchronization and Concurrency in Object-Oriented Languages (SCOOL). |
| [Manassiev et al., 2006]
|
Kaloian Manassiev and Madalin Mihailescu and Cristiana Amza (Mar 2006). Exploiting Distributed Version Concurrency in a Transactional Memory Cluster. In: Proc. 11th ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming (PPoPP '06). pp. 198-208. ACM Press. |
| [Lev and Moir, 2006]
|
Yossi Lev and Mark Moir (Jun 2006). Debugging with Transactional Memory. In: Proceedings of the First ACM SIGPLAN Workshop on Languages, Compilers, and Hardware Support for Transactional Computing. |
| [Welc et al., 2006]
|
Adam Welc and Antony L. Hosking and Suresh Jagannathan (Jul 2006). Transparently Reconciling Transactions with Locking for Java Synchronization. In: European Conference on Object-Oriented Programming. pp. 148--173. |
| [Spear et al., 2006]
|
Michael F. Spear and Virendra J. Marathe and William N. Scherer III and Michael L. Scott (Sep 2006). Conflict Detection and Validation Strategies for SoftwareTransactional Memory. In: Proceedings of the Twentieth International Symposium on Distributed Computing. |
| [McDonald et al., 2007]
|
Austen McDonald and Brian Carlstrom and JaeWoong Chung and Chi Cao Minh and Hassan Chafi and Christos Kozyrakis and Kunle Olukotun (Jan 2007). Transactional Memory: The Hardware-Software Interface. In: IEEE Micro, 27(1). |
| [Bai et al., 2007]
|
Tongxin Bai and Xipeng Shen and Chengliang Zhang and William N. Scherer III and Chen Ding and Michael L. Scott (Mar 2007). A Key-Based Adaptive Transactional Memory Executor. In: Proceedings of the NSF Next Generation Software Program Workshop. Invited paper. Also available as TR 909, Department of Computer Science, University of Rochester, December 2006. |
| [Spear et al., 2007]
|
Michael F. Spear and Arrvindh Shriraman and Luke Dalessandro and Sandhya Dwarkadas and Michael L. Scott (Jun 2007). Nonblocking Transactions Without Indirection Using Alert-on-Update. In: Proceedings of the 19th Annual ACM SYMP on Parallelism in Algorithms and Architectures. San Diego, CA. |
| [Dalessandro et al., 2007]
|
Luke Dalessandro and Virendra J. Marathe and Michael F. Spear and Michael L. Scott (Aug 2007). Capabilities and Limitations of Library-Based Software Transactional Memory in C++. In: Proceedings of the 2nd ACM SIGPLAN Workshop on Transactional Computing. Portland, OR. |
| [Spear et al., 2007]
|
Michael F. Spear and Virendra J. Marathe and Luke Dalessandro and Michael L. Scott (Aug 2007). Privatization Techniques for Software Transactional Memory. In: Proceedings of the 26th PODC ACM Symposium on Principles of Distributed Computing. Brief announcement. Extended version available as TR 915, Computer Science Department, University of Rochester, Feb. 2007(http://www.cs.rochester.edu/u/scott/papers/2007_TR915.pdf). |
| [Gottschlich and Connors, 2007]
|
Justin Gottschlich and Daniel A. Connors (Oct 2007). DracoSTM: A Practical C++ Approach to Software Transactional Memroy. In: Proceedings of the 2007 ACM SIGPLAN Symposium on Library-Centric Software Design (LCSD). |
| [Swift et al., 2008]
|
Michael Swift and Haris Volos and Neelam Goyal and Luke Yen and Mark Hill and David Wood (feb 2008). OS Support for Virtualizing Hardware Transactional Memory. In: TRANSACT~'08: 3rd Workshop on Transactional Computing. |
| [Gottschlich and Connors, 2008]
|
Justin Gottschlich and Daniel A. Connors (Apr 2008). Extending Contention Managers for User-Defined Priority-Based Transactions. In: Proceedings of the 2008 Workshop on Exploiting Parallelism with Transactional Memory and other Hardware Assisted Methods April, 2008. |
| [Baugh et al., 2008]
|
Lee Baugh and Naveen Neelakantam and Craig Zilles (June 2008). Using Hardware Memory Protection to Build a High-Performance, Strongly Atomic Hybrid Transactional Memory. In: Proceedings of the 35th Annual International Symposium on Computer Architecture. |
| [Lev and Maessen, 2008]
|
Yossi Lev and Jan-Willem Maessen ( 2008). Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory. In: PPoPP '08: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming. New York, NY, USA, pp. 197--206. Published by ACM. |
| [Volos et al., 2009]
|
Haris Volos and Andres Jaan Tack and Neelam Goyal and Michael M. Swift and Adam Welc (apr 2009). xCalls: safe I/O in memory transactions. In: EuroSys~'09: Proc. 4th ACM European Conference on Computer Systems. pp. 247--260. |
| [Porter and Witchel, 2009]
|
Donald E. Porter and Emmett Witchel (may 2009). Operating Systems Should Provide Transactions. In: HotOS~'09: Proc. 12th Workshop on Hot Topics in Operating Systems. |
| [Porter et al., 2009]
|
Donald E. Porter and Owen S. Hofmann and Christopher J. Rossbach and Alexander Benn and Emmett Witchel (oct 2009). Operating Systems Transactions. In: SOSP '09: Proc. 23rd ACM SIGOPS Symposium on Operating Systems Principles. |