Paper Info
Title
RapiLog: reducing system complexity through verification
Abstract
Database management systems provide updates with guaranteed durability in the presence of OS crashes or power failures. Durability is achieved by performing synchronous writes to a transaction log on stable, non-volatile storage. The procedure is expensive and several techniques have been devised to ameliorate the impact on overall performance at the cost of increased system complexity. In this paper we explore the possibility of reducing the system complexity around logging by leveraging verification instead of using specialised/dedicated hardware or complicated optimisations. The prototype system, RapiLog, uses a dependable hypervisor based on seL4 to buffer log data outside the database system and its OS, and performs the physical disk writes asynchronously with respect to the operation of the database. RapiLog guarantees that the log data will eventually be written to the disk even if the database system or the underlying OS crash or electrical power is cut. We evaluate RapiLog with multiple open-source and commercial database engines and find that performance is never degraded (beyond the virtualisation overhead), and at times is significantly improved.
Year
DOI
Venue
2013
10.1145/2465351.2465383
EuroSys
Keywords
Field
DocType
rapilog guarantee,system complexity,commercial database engine,prototype system,database management system,database system,log data,transaction log,increased system complexity,os crash,hypervisor
Virtualization,Electric power,Crash,Durability,Computer science,Fair scheduling,Hypervisor,Transaction log,Real-time computing,Operating system,Distributed computing,Embedded system
Conference
Citations 
PageRank 
References 
7
0.49
17
Authors
6
Name
Order
Citations
PageRank
Gernot Heiser12525137.42
Etienne Le Sueur21949.63
Adrian Danis3111.24
Aleksander Budzynowski4141.36
Tudor-loan Salomie570.49
Gustavo Alonso65476612.79