Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-12-24

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
02:49 ilbot3 joined #divine
02:49 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
09:53 xtomast1 joined #divine
10:12 xtomast1 zkopiroval jsem i ten bitkod. nedeterministicka volba tam je na nekolika mistech -- netusil jsem, ze to je problem... navic si to bez ni moc neumim predstavit, jak napsat nektere veci (napr. kazda kolektivni operace muze, ale nemusi byt synchronizujici; MPI_Send muze, ale nemusi bufferovat)
10:12 xstill xtomast1: no on to nemá být problém, ale je možné, že fairness s tím je rozbitá
10:12 xstill (fairness celkově moc nikdo netestoval)
10:12 xtomast1 zkusil jsem tu simulaci protiprikladu, v te smycce je u 3 z tech 4 stavu tid = 0 a u toho posledniho tid = 2
10:14 xstill to mi příjde jako docela chyba, pokud vím tak s fairness by smyčka měla procházet přes všechna vlákna
10:14 xstill mornfall: ^^
10:14 xtomast1 no jo, tu __divine_choice se mi asi podarilo u tech drivejsich prikladu uspesne obejit
10:14 xtomast1 tak se mi zdalo, ze to funguje
10:16 xstill podle mě nemá moc smysl obcházet chybu v DIVINE, dává mi větší smysl napsat, že to v DIVINE momentálně nefunguje a verifikovat to co zvládneš bez fairness
16:12 xtomast1 joined #divine
23:24 spito__ joined #divine

| Channels | #divine index | Today | | Search | Google Search | Plain-Text | summary