private void clearWaitList() {
waitList.clear();
waitList.put(myId);
}
public void copyWaitListTo(SimpleBitSet other) {
other.put(waitList);
// TODO It might make sense to somehow put a StoreLoad barrier here,
// TODO to expidite the observation of the updated waitList in other clients.
}