Relaxed determinism: Making redundant execution on multiprocessors practical

Proceedings of HotOS 2007 - 11th Workshop on Hot Topics in Operating Systems

Volumn , Issue , 2007, Pages

  Pool, Jesse ^a   Wong, Ian Sin Kwok ^a   Lie, David ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTING SYSTEM; EXECUTION SYSTEMS; EXTERNAL INPUT; NON DETERMINISM;

MULTIPROCESSING SYSTEMS;

EID: 85046466563     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. S. V. Adve and K. Gharachorloo. Shared memory consistency models: A tutorial. IEEE Computer, 29(12):66-76, 1996.
2. D. Bernick, B. Bruckert, P. D. Vigna, D. Garcia, R. Jardine, J. Klecka, and J. Smullen. NonStop advanced architecture. In Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN), pages 12-21, June 2005.
3. A. L. Cox, K. Mohanram, and S. Rixner. Dependable 6= unaffordable. In Proceedings of the Workshop on Architectural and System Support for Improving Software Dependability, pages 58-62, Oct. 2006.
4. B. Cox, D. Evans, A. Filipi, J. Rowanhill, W. Hu, J. Davidson, J. Knight, A. Nguyen-Tuong, and J. Hiser. N-Variant systems: A secretless framework for security through diversity. In Proceedings of the 15th USENIX Security Symposium, pages 105-120, Aug. 2006.
5. G. W. Dunlap, S. T. King, S. Cinar, M. A. Basrai, and P. M. Chen. ReVirt: Enabling intrusion analysis through virtual-machine logging and replay. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI), pages 211-224, Dec. 2002.
6. Intel Corp., 2007. http://www.intel.com/technology/magazine/computing/quad-core-1206.htm (Last accessed: 03/08/2007).
7. T. J. LeBlanc and J. M. Mellor-Crummey. Debugging parallel programs with instant replay. IEEE Transactions on Computers, 36(4):471-482, Apr. 1987.
8. S. M. Srinivasan, S. Kandula, C. R. Andrews, and Y. Zhou. Flashback: A lightweight extension for rollback and deterministic replay for software debugging. In Proceedings of the 2004 Annual Usenix Technical Conference, pages 29-44, June 2004.
9. A. Yumerefendi, B. Mickle, and L. Cox. TightLip: Keeping applications from spilling the beans. In Proceedings of the 4th Symposium on Networked Systems Design and Implementation (NSDI), Apr. 2007.