/// <summary> /// Output join(r)i, r ∈ rw /// </summary> private void OutJoinRw() { preJoinRw.Waitable.WaitOne(); readerWriter.Join(i); rwStatus.Set(NodeStatus.Joining); }