A two-level checkpoint algorithm in a highly-available parallel single level store system | IEEE Conference Publication | IEEE Xplore