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.