WINDAR: a multithreaded rollback-recovery toolkit on windows | IEEE Conference Publication | IEEE Xplore