Correlated set coordination in fault tolerant message logging protocols for many-core clusters