Faulty channels 9 ? Program FC

• Program simulujúci FC

  • strata správy
    cs := tail(cs) if cs ? null
  • duplikácia správy
    cr := cr;head(cs) if cs ? null
  • správny transfér
    cs, cr := tail(cs), cr;head(cs) if cs ? null

(neobsahuje predpoklad, ze len konecne vela chýb mozno vykonat za sebou)

• zavedieme premennú b: boolean, ktorá znací „chyba nenastane“

• Program FC

  declare b: boolean
  
  initially b = false
  assign
  cs := tail(cs) if cs ? null ? ?b
  ? cr := cr;head(cs) if cs ? null ? ?b
  ? b, cs, cr := false, tail(cs), cr;head(cs) if cs ? null
  ? b := true

end{FC}

Previous slide

Next slide

Back to first slide

View graphic version