Fast software transactions