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