La tolleranza ai guasti: esempi© 2001 William Fornaciari- 50 - Computazione parallela su rete di workstation Precompilazione Ogni passo è individuato dal blocco cobegin-coend Il precompilatore elimina cobegin-coend e trasforma ogni thread in una procedura a sé La notazione, in pseudo- Pascal, è Sxyz x identifica il passo y identifica il thread z identifica listruzione begin cobegin begin S111, S112, S113,… end begin S121, S122, S123,… end coend cobegin begin S211, S212, S213,… end coend end procedure P11 begin S111, S112, S113,… end procedure P12 begin S121, S122, S123,… end procedure P21 begin S121, S122, S123,… end
{}