Peeking into the Past: Efficient Checkpoint-Assisted Time-Traveling Debugging

Miraglia, Armando; Vogt, Dirk; Bos, Herbert; Tanenbaum, Andrew S.; Giuffrida, Cristiano

doi:10.1109/issre.2016.9

Cited by 8 publications

(1 citation statement)

References 44 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Aurora creates periodic checkpoints of a running application that can later be inspected with a debugger or executed. We can use this to build a type of time travel debugger [37] or, since new incremental checkpoints leave old ones intact, to bisect the history to find violations of invariants. Repeatedly restoring from the same image can uncover nondeterministic failures that do not manifest on every execution.…”

Section: Applications Of Auroramentioning

confidence: 99%

The Aurora operating system

Tsalapatis

Hancock

Barnes

et al. 2021

Proceedings of the Workshop on Hot Topics in Operating Systems

View full text Add to dashboard Cite

Applications on modern operating systems manage their ephemeral state in memory, and persistent state on disk. Ensuring consistency between them is a source of significant developer effort, yet still a source of significant bugs in mature applications. We present the Aurora single level store (SLS), an OS that simplifies persistence by automatically persisting all traditionally ephemeral application state. With recent storage hardware like NVMe SSDs and NVDIMMs, Aurora is able to continuously checkpoint entire applications with millisecond granularity.Aurora is the first full POSIX single level store to handle complex applications ranging from databases to web browsers. Moreover, by providing new ways to interact with and manipulate application state, it enables applications to provide features that would otherwise be prohibitively difficult to implement. We argue that this provides strong evidence that manipulation and persistence of application state naturally belong in an operating system. CCS CONCEPTS• Software and its engineering → Operating systems; • Computer systems organization → Secondary storage organization; Reliability; Dependable and fault-tolerant systems and networks; • Information systems → Storage architectures.

show abstract

Section: Applications Of Auroramentioning

confidence: 99%