Repeatable execution, and why operating systems should support it
- đ¤ Speaker: Stephen Kell (University of Cambridge) đ Website
- đ Date & Time: Tuesday 27 January 2015, 13:15 - 13:45
- đ Venue: Computer Laboratory, William Gates Building, Room FW11
Abstract
Many applications benefit from repeatability: being able to run the same program deterministically on the same input, hence seeing the same output, across both time (reproducing an earlier run) and space (reproducing the same execution on a different machine, say). Two major use cases are bug reproduction in everyday software, and distribution of scientific software. In this very informal talklet I will sketch a case for supporting repeatability somewhere near the core of the operating system, rather than (as at present) in user-space tools (e.g. rr, UndoDB, CDE ) or hypervisors (revirt, VMware Workstation). Time permitting, I’ll speculate wildly about the potential benefits to storage subsystems, toolchain design, software build and deployment, compiler bootstrapping, debugging, and the optimisation of recurring time/space trade-offs.
Series This talk is part of the Computer Laboratory NetOS Group Talklets series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computer Laboratory NetOS Group Talklets
- Computer Laboratory, William Gates Building, Room FW11
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- School of Technology
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)



Tuesday 27 January 2015, 13:15-13:45