Why is there a general agreement about not aborting the transaction if we fail to update the cache? I can see why when we fail to write it for the first time, but if we fail to update a value which is stored already that's going to affect staleness of data read by subsequent transactions.