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(); }