Geef aan wanneer processen onafhankelijk zijn, met elkaar wedrijven, dan wel met elkaar communiceren


  • Als 2 processen C en K onafhankelijk zijn, dan is de sequentiële compositie C;K equivalent aan de sequentiële compositie K;C. Het maakt dan niet uit of eerst C of eerst K wordt uitgevoerd. Het resultaat is gelijk.
    Twee processen wedrijven met elkaar als ze beide exclusieve toegang eisen tot een gemeenschappelijke hulpbron r
    Als B de sequence B1;B2;B3 is en C de sequence C1;C2;C3 dan is er communicatie van B naar C als B2 data produceert die C2 consumeert, zodat B2 klaar moet zijn voordat C2 start. In die situatie heeft B||C dezelfde outcome als B;C

    Rapporteer Plaats commentaar