void handle_request(ActionFuture future, ManualResetEvent sync)
{
Trace.WriteLineIf(this.TraceFlag == true, this.ThisFacetInstance + "/" + this.Rank + ": HANDLE REQUEST 1");
future.RequestList.WaitAll();
Trace.WriteLineIf(this.TraceFlag == true, this.ThisFacetInstance + "/" + this.Rank + ": HANDLE REQUEST 2");
sync.Set();
Trace.WriteLineIf(this.TraceFlag == true, this.ThisFacetInstance + "/" + this.Rank + ": HANDLE REQUEST 3");
future.setCompleted();
Trace.WriteLineIf(this.TraceFlag == true, this.ThisFacetInstance + "/" + this.Rank + ": HANDLE REQUEST 4");
}
void handle_request(ActionFuture future, ManualResetEvent sync)
{
future.RequestList.WaitAll();
sync.Set();
future.setCompleted();
}