Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-03-26

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

All times shown according to UTC.

Time Nick Message
01:49 ilbot3 joined #divine
01:49 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
09:12 spito joined #divine
12:49 spito joined #divine
16:39 xstill mornfall: instance 15736080
17:38 mornfall nj, alg/bubblesort a alg/bitset hodně používaj printf
17:38 xstill jakože to že to prinf je pomalejší bych nepovažoval moc za problém
17:38 xstill teda ne za velký
17:39 xstill obvzlášť když zároveň klesp počet stavů
17:39 xstill navíc tohle se stejně počítám v porovnání spíš neprojeví, protože to ani D3 ani ESBMC nejspíš nedaj
17:40 mornfall no celkový výsledek je o minutu a půl horší než původně a na svc-pthread to ušetřilo jen 10s
17:41 mornfall což je trochu divný protože na nějakým tom indexeru na pythii to stáhlo čas tak na polovinu, ale neměřili jsme to moc důkladně tak to mohl být fluke
17:41 xstill indexer je co
17:41 xstill ?
18:04 mornfall nějakej benchmark z svc-pthread
18:37 xstill jinak já měřím bez toho "  * libcxx: Move various locale-related static arrays into the heap instead.", protože to celkem má regresi 1:30, ale třeba zrovna na sv-pthread je to zas rychlejší skoro o 2 minuty (15:46 vs 13:57)
18:38 xstill (s tím je 15744644)
18:38 xstill teď jsem to znovu zkoušel
18:42 mornfall hm, dělám něco blbě když ve srovnání s 13148753 vidím jen něco jako 2 minuty svc-pthreadů?
18:43 mornfall nebo se na tom D3 rozsypalo
18:44 xstill to já vidím taky celkem cca 2 minuty
18:45 xstill to je docela podezřelé jestli se na tom D3 vysekal
18:45 xstill nicméně to tak vypadá
20:54 xstill problém s DIVINE 3 v pthreads je, že se tam občas oběvují takové věci jako -o ignore:control, což není uplně jasný jak interpretovat
20:56 mornfall kdybych si pamatoval proč to tam je
20:56 xstill protože je tam čtený z neinicializované paměti zdá se (které nepovažují za chybu)
20:58 xstill nicméně minimálně ten jeden jde rozumně opravit
20:59 xstill asi mi příjde smysluplnější zasáhnout do toho příkladu, než to hackovat na úrovni nofailů
20:59 mornfall jo asi to je lepší opravit
21:28 xstill ok, opraveno a nashedulováno, tak uvidíme
21:30 xstill jinak u mě je patch který trochu zrychlil porovnání (ale asi jen o 1%, viz. 15750896 (oproti  15736080))
21:57 divine-next 1 new patch validated [xstill]

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