Operating system support for application-specific speculation

EuroSys'11 - Proceedings of the EuroSys 2011 Conference

Volumn , Issue , 2011, Pages 229-242

  Wester, Benjamin ^a   Chen, Peter M ^a   Flinn, Jason ^a  

^a UNIVERSITY OF MICHIGAN   (United States)

Author keywords

Mechanism; Policy; Speculative execution

Indexed keywords

APPLICATION-SPECIFIC; CHECK POINTING; FIREFOX; OPERATING SYSTEM SUPPORT; OPERATING SYSTEMS; PERFORMANCE TRADE-OFF; POLICY; POLICY CHOICES; POLICY DECISIONS; PROGRAMMABILITY; SEMANTIC INFORMATION; SPECULATIVE EXECUTION;

SEMANTICS;

COMPUTER OPERATING SYSTEMS;

EID: 79955974508     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1966445.1966467     Document Type: Conference Paper

References (21)

1. Brian D. Carlstrom, Austen McDonald, Hassan Chafi, JaeWoong Chung, Chi Cao Minh, Christos Kozyrakis, and Kunle Olukotun. The Atomos transactional programming language. In Proc. 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 1-13, Ottawa, Ontario, Canada, June 2006.
2. Brendan Cully, Geoffrey Lefebvre, Dutch Meyer, Mike Feeley, Norm Hutchinson, and Andrew Warfield. Remus: High availability via asynchronous virtual machine replication. In Proc. 5th USENIX Symposium on Networked Systems Design and Implementation, pages 161-174, San Francisco, CA, April 2008.
3. Jim Gray and Andreas Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann Publishers, Inc., 1993.
4. Maurice Herlihy and J. Eliot B. Moss. Transactional memory: Architectural support for lock-free data structures. In Proc. 20th Annual International Symposium on Computer Architecture, pages 289-300, San Diego, CA, May 1993. (Pubitemid 23675551)
5. D. Jefferson, B. Beckman, F. Wieland, L. Blume, M. DiLoreto, P. Hontalas, P. Laroche, K. Sturdevant, J. Tupman, Van Warren, J. Weidel, H. Younger, and S. Bellenot. Time Warp operating system. In Proc. 11th ACM Symposium on Operating Systems Principles, pages 77-93, Austin, TX, November 1987.
6. Kirk Kelsey, Tongxin Bai, Chen Ding, and Chengliang Zhang. Fast Track: A software system for speculative program optimization. In Proc. 7th Annual IEEE/ACM International Symposium on Code Generation and Optimization, pages 157-168, Seattle, WA, March 2009.
7. John R. Lange, Peter A. Dinda, and Samuel Rossoff. Experiences with client-based speculative remote display. In Proc. 2008 USENIX Annual Technical Conference, pages 419-432, Boston, MA, June 2008.
8. Tong Li, Carla S. Ellis, Alvin R. Lebeck, and Daniel J. Sorin. Pulse: A dynamic deadlock detection mechanism using speculative execution. In Proc. 2005 USENIX Annual Technical Conference, pages 31-44, Anaheim, CA, April 2005.
9. Bernhard R. Link. XTrace - trace X protocol connections. http://xtrace.alioth.debian.org/, September 2010.
10. Omid Madani, Hung Bui, and Eric Yeh. Efficient online learning and prediction of users' desktop actions. In Proc. 21st International Joint Conference on Artificial Intelligence, pages 1457-1462, Pasadena, CA, July 2009.
11. James Mickens, Jeremy Elson, Jon Howell, and Jay Lorch. Crom: Faster web browsing using speculative execution. In Proc. 7th USENIX Symposium on Networked Systems Design and Implementation, San Jose, CA, April 2010.
12. Edmund B. Nightingale, Peter M. Chen, and Jason Flinn. Speculative execution in a distributed file system. In Proc. 20th ACM Symposium on Operating Systems Principles, pages 191-205, Brighton, United Kingdom, October 2005. (Pubitemid 44892213)
13. Edmund B. Nightingale, Kaushik Veeraraghavan, Peter M. Chen, and Jason Flinn. Rethink the sync. In Proc. 7th Symposium on Operating Systems Design and Implementation, pages 1-14, Seattle, WA, October 2006.
14. Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, and Emmett Witchel. Operating system transactions. In Proc. 22nd ACM Symposium on Operating Systems Principles, pages 161-176, October 2009.
15. Frank Schmuck and Jim Wylie. Experience with transactions in QuickSilver. In Proc. 13th ACM Symposium on Operating Systems Principles, pages 239-253, Pacific Grove, CA, October 1991.
16. James E. Smith. A study of branch prediction strategies. In Proc. 8th Annual International Symposium on Computer Architecture, pages 135-148, May 1981.
17. Justin D. Smith, Cristian Ţǎpuş, and Jason Hickey. The Mojave compiler: Providing language primatives for whole-process migration and speculation for distributed applications. In Proc. International Parallel and Distributed Processing Symposium, pages 1-8, March 2007.
18. J. Gregory Steffan and Todd C. Mowry. The potential for using thread-level data speculation to facilitate automatic parallelization. In Proc. 1998 Symposium on High Performance Computer Architecture, pages 2-13, Las Vegas, NV, February 1998.
19. Martin Süßkraut, Thomas Knauth, Stefan Weigert, Ute Schiffel, Martin Meinhold, and Christof Fetzer. Prospect: A compiler framework for speculative parallelization. In Proc. 8th Annual IEEE/ACM International Symposium on Code Generation and Optimization, pages 131-140, Toronto, Ontario, Canada, April 2010.
20. Cristian Ţǎpuş, Justin D. Smith, and Jason Hickey. Kernel level speculative DSM. In Proc. 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid, pages 487-494, May 2003.
21. Benjamin Wester, James Cowling, Edmund B. Nightingale, Peter M. Chen, Jason Flinn, and Barbara Liskov. Tolerating lagency in replicated state machines through client speculation. In Proc. 6th USENIX Symposium on Networked Systems Design and Implementation, pages 245-260, Boston, MA, April 2009.