Sembra che l'output della simulazione (anche in modalita test, deterministica) sia nondeterministico e dipenda dall'ordine in cui vengono schedulati i threads.
Ad esempio su diff-5125 nella fase di applicazione delle diffusioni critiche, dato che l'unico controllo che viene fatto dopo aver scelto la specie da diffondere è che ne sia presente una molecola, una diffusione può avvenire o meno a seconda del fatto che un thread differente, che fa arrivare una molecola della specie suddetta nel sottovolume corrente, sia schedulato prima o dopo il thread corrente.
Sembra che l'output della simulazione (anche in modalita
test
, deterministica) sia nondeterministico e dipenda dall'ordine in cui vengono schedulati i threads.Ad esempio su
diff-5125
nella fase di applicazione delle diffusioni critiche, dato che l'unico controllo che viene fatto dopo aver scelto la specie da diffondere è che ne sia presente una molecola, una diffusione può avvenire o meno a seconda del fatto che un thread differente, che fa arrivare una molecola della specie suddetta nel sottovolume corrente, sia schedulato prima o dopo il thread corrente.