Reaves.dev

v0.1.0

built using

Phoenix v1.7.12

Rio Vista

Stephen M. Reaves

::

2024-04-24

Notes about Lecture 8b for CS-6210

Summary

System Crash

Two problems concerning failure:

LRVM Revisited

On begin_xact, create a copy of region of memory (called Undo Copy)

On end_xact, write “redo record” to disk to commit changes.

Rio File Cache

Battery backed DRAM used for file cache (mmap-backed application memory)

Vista RVM on top of Rio

Data segment is mapped to filecache

On begin_xact, create a copy of region of memory (called Undo Copy) which is also mapped to filecache

On end_xact, changes are already persisted in data segment so no “Redo Copy” is needed. Undo Copy is still deleted.

Crash Recovery

Treat like Abort

Crash during Crash recovery?

Vista Simplicity

700 LOC

Why?

Upshot