Operating systems transactions. - Donald E. Porter; Owen S. Hofmann; Christopher J. Rossbach; Alexander Benn; Emmett Witchel (SOSP, 2009)