Performing efficient insertions in wavefront table based causal graphs

摘要

A causal relationship between two events occurs when a first event meaningfully precedes a second event and is identified by a causality module. The causality module analyzes multiple events to determine whether the events are causally related. Reductions in both required storage space and search operations are obtained by tracing interrelated causal chains of events. Further improvement is achieved by reducing re-computation of wavefront tables through annotating causality chain with information that facilitates determination of validity of a wavefront table.