Adding locks and vector timestamps