Sairam Subramanian Gopal's repositories
Single-user-database-management-system
A complete DBMS with four layers – File System, Record Manager, B+ tree index and query processor - C++, STL
000
Paxos
1) Implement Paxos in Java. 2) Rigorously test Paxos. Ideas borrowed from the model checker paper (http://cm.bell-labs.com/who/god/verisoft/popl97.ps). If a test fails, the system gives a trace of all calls to the channel (in order) along with parameters and return values and why it was a failure.
Spoon-Knife
This repo is for demonstration purposes only. Comments and issues may or may not be responded to.