polyml/libpolyml/processes.cpp

230     // the root thread. Make the request and wait until it has completed.
231     virtual void MakeRootRequest(TaskData *taskData, MainThreadRequest *request);
235     // Process an interrupt request synchronously.
242     void MakeRequest(TaskData *p, ThreadRequests request);
308     // A requesting thread sets this to indicate the request.  This value
309     // is only reset once the request has been satisfied.
312     PCondVar mlThreadWait;  // All the threads block on here until the request has completed.
545 //      a trap i.e. a request to handle an asynchronous event.
879 // Set the asynchronous request variable for the thread.  Must be called
881 void Processes::MakeRequest(TaskData *p, ThreadRequests request)
883     // We don't override a request to kill by an interrupt request.
884     if (p->requests < request)
886         p->requests = request;
890         p->threadObject->requestCopy = TAGGED(request);
953     // If there is a request outstanding we have to wait for it to
967 // it is going to run foreign code.  If there is an outstanding GC request
983 // Make a request to the root thread.
984 void Processes::MakeRootRequest(TaskData *taskData, MainThreadRequest *request)
988         mainThreadPhase = request->mtp;
990         request->Perform();
1006         request->completed = false;
1007         threadRequest = request;
1009         while (! request->completed)
1026         // heap segment we request a minimum of zero words.
1469     // Wait until the threads terminate or make a request.
1522             threadRequest = 0; // Allow a new request.
1526         // Have we had a request to stop?  This may have happened while in the GC.
1537             // creating a new thread we will request it to stop when the
1545             // We didn't receive a request in the last 400ms
1972     // We request each to enter the RTS so that it will start the timer.