Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-08-10

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

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
08:41 xstill hm, tak máme konflikt mezi bricks assert a assert v dbm, s tím preprocesorem je to úplně marný
09:30 xstill a máme ICE v gcc 4.9
10:39 xstill máš tam znova patche, včetně fixu na to ICE, tak se na to mrkni
10:40 xstill pokud by se ti nezdály ty ifdefy v bricks tak to asi jde pushnout bez nich měl by na nich záviset jen divine.bc
12:09 mornfall o tom assertu v dbm vím no
12:09 xstill no já sem ho udefnul před tím jedním includem i po něm, to zatím pomohlo
12:55 mornfall Unresolved symbol (global variable): _ZTVN6divine4MetaE. Context:
12:55 mornfall (divine.bc)
12:55 mornfall aha já to totiž překládám blbě
12:58 mornfall tak bych řekl že mi někde utekl nějaký memoryflags :-)
13:02 mornfall hm, kdo používá conditional br s konstantou...
13:28 mornfall komprese začíná mít docela znatelnej vliv na rychlost s LLVM... 32 vs 24s
13:29 mornfall ale zase 2G vs 600M
14:20 xstill zajímavý, tos to tolik zrychlil?
14:20 xstill ale 2G -> 600M není až tak super na LLVM
14:21 xstill ale záleží co je to za model
14:44 mornfall taky je možný že je ten splitHint dražší teď
14:44 mornfall i když by nemusel být zrovna moc
14:53 mornfall ještě kdybych věděl kde jsem naměřil těch 24, teď je to 28 a mám pocit že to byl tenhle model...
14:54 mornfall ale s předvčerejším LLVM to je 116
14:58 xstill tak časem se můžeme podívat na ntree přes callgrind
14:59 xstill ale ono na menších modelech to zpomalovalo trochu
15:00 xstill hm, v mé bc je zpomalení tak většinou kolem 10% pro větší modely a 20% pro měnší, ale jsou tam i modely co jsou 2x pomalejší
15:01 xstill ono zase pokud ušetříme 70+% paměti tak to může stát trochu času, a ntree jsem nikdy neoptimalizoval na rychlost
15:12 mornfall jo to jo
15:13 mornfall ty diviny na auře jsou snad nesmrtelný
15:19 mornfall 402M stavů
15:22 mornfall teď ještě jestli rehashuje nebo je zaseklej...
15:23 mornfall jo, rehashuje
15:23 mornfall to chce novej divine :-)
17:37 mornfall hm, verify-hashset s T = 3, N = 1 za 2.5 hodiny sežral necelý 2G...
17:37 mornfall a furt běží
17:50 xstill už to doběhlo? nebo to není na auře?
17:52 mornfall na auře jsem to zabil
17:52 mornfall tohle jsem naivně pustil u sebe na laptopu ;-)
17:53 mornfall mělo by to být výrazně menší než T = 3 N = 3 který běželo tam
17:54 xstill to jako že 3 vlákna vkládaj každý 1 prvek?
17:55 mornfall j

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