Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-12-23

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

All times shown according to UTC.

Time Nick Message
02:47 ilbot3 joined #divine
02:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
08:45 xtomast1 joined #divine
09:26 xtomast1 joined #divine
10:25 xtomast1 entry.cpp: http://pastebin.com/Qg16H7C7
10:27 xtomast1 da se rict, ze nejake haluze se tam opravdu deji: je tam bariera, aby na sebe vsechna vlakna pockala na konci
10:29 xtomast1 to jsem taky resil s vami jeste nekdy v dubnu nebo kvetnu -- DIVINE reportoval takove zvlastni memory leaky, a ukazalo se, ze to bylo tim, ze jedno vlakno skoncilo, kdyz ostatni jeste bezela, a to byl zjevne problem
10:30 xtomast1 zkusil jsem to ted znovu a je to tak porad -- podle vseho to vypada, ze kdyz dobehne vlakno 0, tak se s nim ukonci cely program
10:32 xtomast1 (na to jsem se chtel vlastne taky zeptat, jestli je to opravdu tak^, abych mohl napsat lepsi komentar nez je ted na tom radku 42)
15:39 mornfall xtomast1: hm, aha, ještě asi potřebuju zbytek toho protipříkladu
15:40 mornfall (kdyžtak to nasyp někam do souboru na anteu nebo tak něco)
16:28 xstill xtomast1: když doběhne vlákno 0 tak program skončí i mimo DIVINE
17:29 xtomast1 joined #divine
17:57 xtomast1 xstill: aha, no jo. to je teda trapne, ze jsem si to neuvedomil...
17:59 xtomast1 mornfall: nakopiroval jsem snad vsechny relevantni veci do antea:/tmp/sanity_ltl, protipriklad je v souboru out -- ale je to bohuzel jiny protipriklad, protoze jsem ztratil ten puvodni... omlouvam se.
17:59 xtomast1 je to ale velmi podobne, cyklus porad 4 stavy, ktere se lisi jen fairness id
18:00 xtomast1 jen thread 0 cykli jinde, driv, v destruktoru MPI_COMM_WORLD
18:02 xtomast1 a protoze MPI_COMM_WORLD jeste existuje, je tam i message daemon vlakno (thread 2), ktere busy loopuje, jak se od nej ocekava
18:03 xtomast1 jinak moc dekuju za pomoc i v tento svatecni cas
21:03 xstill xtomast1: mohl bys dam ještě dohrát ten .bc?
21:04 xstill případně se podívej která vlákna táhnou, dá se to získat ze simulate (… verify --sim …) tam pak vidíš tid = … při kroku (procházet protipříklad by mělo jít pomocí f)
21:05 xstill ještě mě napadá, nemáš tam někde nedeterministickou volbu (__divine_choice)? Kdo ví co fairness udělá když na to narazí…

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