Implemented test cases. Code is working, except primary does not commit
tentative writes. Write log not managed properly. Retirement not
implemented.