S = lockStore.read_state(get_uid(), type());
if (lockStore.remove_state(u, otype)) if (S.valid() && lockStore.write_committed(u, otype, S))
if (lockStore.remove_state(u, otype)) if (S.valid() && lockStore.write_committed(u, otype, S))
S = lockStore.read_state(get_uid(), type());
if (lockStore.remove_state(u, otype)) if (S.valid() && lockStore.write_committed(u, otype, S))
S = lockStore.read_state(get_uid(), type());
if (lockStore.remove_state(u, otype)) if (S.valid() && lockStore.write_committed(u, otype, S))
S = lockStore.read_state(get_uid(), type());
if (lockStore.remove_state(u, otype)) if (S.valid() && lockStore.write_committed(u, otype, S))
S = lockStore.read_state(get_uid(), type());
if (lockStore.remove_state(u, otype)) if (S.valid() && lockStore.write_committed(u, otype, S))
S = lockStore.read_state(get_uid(), type());
if (lockStore.remove_state(u, otype)) if (S.valid() && lockStore.write_committed(u, otype, S))
S = lockStore.read_state(get_uid(), type());
if (lockStore.remove_state(u, otype)) if (S.valid() && lockStore.write_committed(u, otype, S))
S = lockStore.read_state(get_uid(), type());
if (lockStore.remove_state(u, otype)) if (S.valid() && lockStore.write_committed(u, otype, S))
S = lockStore.read_state(get_uid(), type());
if (lockStore.remove_state(u, otype)) if (S.valid() && lockStore.write_committed(u, otype, S))
S = lockStore.read_state(get_uid(), type());