Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Steps for processing threads scheduling internal events
| Insert event e to target LP by Multi-Level Queuing algorithm; |
| % read lock on GVTFlag |
| if GVTFlag > 0 then |
| if e.type == RB-message then |
| minSend=min(minSend, e.st); |
| else |
| minSend=min(minSend, e.rt); |
| end |
| end |
