Dan Tsafrir Tomer Hertz David Wagner Dilma Da Silva Portably solving file races with hardness amplification. 2008 4 TOS 3 http://doi.acm.org/10.1145/1416944.1416948 db/journals/tos/tos4.html#TsafrirHWS08