A Scalable GVT Estimation Algorithm for PDES: Using Lower Bound of Event-Bulk-Time
Table 1
Formations of messages.
Name
Formalization
Explanation
Basic message
is the index of the message, is the timestamp of the event, and is the data of positive event or antievent.
Event-Bulk
is the index of the EB, is the size of EB, is the local virtual time of the processor, is the minimum timestamp of the events sent by the processor during the EB, is the number of events sent by the processor during the EB, and is used to record the number of remote events received by the processor during the EB. is a map whose key field is the index of the in-coming remote events and value field is the number of in-coming remote events.
Event-Bulk Report message
is the identifier of the processor that sends the message; the definitions of , , and are the same as those in EB; is a data structure similar to of EB and is used to record the number of events that may be in transit.
GVT Notifying message
is the index of GVT computation round and is the new GVT value.
