The goal of the two process models is to enumerate the possible cases arising from send/receive message communication. From these cases, we can rationally reconstruct the approximated execution to determine how overhead, waiting, and delay times are to be adjusted. From this reconstruction, we can then derive expressions for overhead analysis and correction. The outcome of the study is that we found a high degree of similarity in the analysis results. This leads us to propose a general scenario for two processes that can be applied to all scenario analyses.
The general scenario considers an arbitrary message send on one
process and corresponding message receive on the other process. Thus,
this is a generalization of the One Send scenario. Figure
7 shows the two cases. Similar to the One
Send scenario, we only have two cases to consider. In contrast, we
use the delay values and
instead of the
and
overheads in the analysis.
The importance of the general scenario is the case analysis showing
how the delay values are updated and what information is shared
between processes during message communication. (Keep in mind that we
are arbitrarily designating P1 as the sender and P2 as the receiver.
The analysis also applies when P1 is the receiver and P2 the sender,
with appropriate reversals of notation in the expressions.) Notice
that the overhead values (not shown) and
are accumulated
overheads. The
value is updated here to account for waiting time
processing, but whenever any new measurement overhead occurs on P1 or
P2, the accumulated overheads
and
must be updated
accordingly. Similarly, any new measurement overhead must also be
added to the delay values
or
.
The conclusion of the two process modeling is that we can handle the parallel overhead compensation for ALL two-process scenarios by applying the general analysis described above on a message-by-message analysis, maintaining the overhead and delay values as the online analysis proceeds.