Tesi Robotica Un coprocessore per Stereo-Matching: Profiling ... | Page 70

i

i
“MF_Tesi” — 2011/9/12 — 11:39 — page 70 — #70

i

5.5. COSTRUTTI PRINCIPALI

i

70

Concettualmente una regola si considera atomica ed istantanea ed ordinata
rispetto all’esecuzione di altre regole. Con istantanea si intende che l’intero
corpo della regola viene eseguito in un singolo istante, con atomica intendiamo
che l’intera regola deve essere eseguita, non esistono esecuzioni parziali di regole.
Con ordinata invece si intende che ogni regola viene eseguita prima o dopo un’altra regola, mai contemporaneamente. Il vantaggio dell’atomicità delle regole
consiste dunque nella semplificazione del processo di progettazione del sistema,
in quanto il progettista non deve preoccuparsi delle possibili sovrapposizioni di
condizioni e quindi evitare situazioni di race c ۙ][ۜ˂