Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-02-28

| 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/
12:13 mornfall xstill: jak to je teďka s deploy-em?
18:36 xstill mornfall: je to nutný?
18:36 xstill myslím, že Martin Demko ještě měří na pheme
18:49 mornfall tak nutný asi ne
18:49 mornfall ale je to dost blbý
18:54 xstill to je no, ale dost pochybuju že budu mít čas hledat nějaké řešení než dopíšeme ten paper
18:56 mornfall nj... já chtěl jen z /benchmarks udělat něco jinýho než 502 bad gateway
19:00 xstill nojo pokud bys dokázal udělat deploy na cokoli kromě pheme tak to můžeš, ten divine na arke už má nastavenej limit přímo
19:26 xstill hm, partitioned má docela tendenci segvit
19:41 mornfall to asi není dobře
19:41 mornfall chtělo by to ale trochu víc dat
19:42 xstill no momentálně nemám ani core navíc je to v release nedeterministicky a po řádově milionech vygenerovaných stavů :-/
19:42 mornfall tak, core lepší než nic
19:42 mornfall (by bylo)
19:43 xstill v příští dávce si nastavím ulimit
20:18 xstill jinak dobrá zpráva je, že i shared tabulka se dokázala po 402 M stavech dostat na nějakých 178 b na stav (na 32 vláknech), špatná zpráva je, že je to trvá nechutně dlouho (zabil jsem to abych mohl měřit něco rozumnějšího)
20:19 mornfall shared nebo partitioned?
20:21 xstill shared
20:21 mornfall a která je ta která není 'i shared'?
20:21 mornfall jako že něco co není shared se na tu hodnotu dostane výrazně dřív?
20:24 xstill jo ale shared tabulka jako model
20:24 mornfall ach so
20:24 xstill kterej má asi hodně velký stavy nebo co
20:24 xstill protože se jinak komprimuje relativně bídně
20:35 xstill nojo, ntree bez poolu nepojede
20:35 xstill leda že by se dohackovalo tak aby spodní 4 bity byly tag :-D
20:38 mornfall 4 bity jsou docela dost
20:38 xstill teda 2
20:39 mornfall no, to by asi šlo
20:39 mornfall nebude to asi úplně nejrychlejší
20:40 mornfall ale řekl bych že lepší než nic
20:57 xstill zdá se, že bez komprese mají stavy v té tabulce něco jako 57 kB v průměru(!)
20:58 xstill (T=3 N=1 model)
20:59 mornfall jo to je klidně možný
21:08 xstill jo tak do 100GB se bez komprese vešlo 1.8M stavů, s jsem to vypnul při 70GB a 402M stavech
21:10 xstill chtělo by to víc aur :-D

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