“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 218 — #228
i
i
i
i
i
i
i
i
218
4
• La programmation concurrente dataflow
Avec la sémantique de la machine abstraite comme un guide, déterminez les
différents résultats possibles du programme suivant :
local U=1 V=2 in
{TryFinally
proc {$}
thread
{TryFinally proc {$} U=V end
proc {$} {Browse bing} end}
end end
proc {$} {Browse bong} end}
end
Combien de résultats différents sont possibles ? Combien d’exécutions différentes sont possibles ?