Efficient Compiler And Runtime Support For Serializability And Strong Semantics On Commodity Hardware