Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-03-22

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

All times shown according to UTC.

Time Nick Message
08:41 xstill hm, ten -Wstrict-overflow fix, to se mi moc nelíbí… ona je to jako v podstatě chyba gcc, že ho dává, ale zase nevím jestli je úplně vhodné ho vypínat na celou tu funkci…
09:42 mornfall xstill: je možný že je gen-explicit rozbitý? právě mi to zesegvilo
09:43 mornfall a jinak to úplně nechce skončit
09:43 mornfall zasekne se po 14 stavech... hm
09:44 xstill možný to je asi
09:44 xstill pošli mi model
09:44 mornfall no, ono spíš nefunguje ProbabilisticLLVM
09:44 mornfall sekne se to aj s metrics --prob
09:50 mornfall hm, vypadá to že počítá isprime( 0 )
10:18 mornfall no, každopádně to nemůže fungovat už docela dlouho... ale koukám že na ProbLLVM nemáme vůbec žádný testy (zase)
10:18 mornfall to je hrozný s náma :D
11:47 mornfall xstill: zdá se že v gen-explicit ve writeFile voláš dereference na (Pool *)nullptr
11:49 xstill to je dost divný, co s tím děláš?
11:50 mornfall gen-explicit -w 8
11:50 mornfall teď zkoušim co se stane s -w 1
11:50 mornfall (umře to někde pod tím ring()-em)
11:50 mornfall a je to něco z posledních 170 patchů ;-)
11:51 xstill super… a to se jako děje pořád?
11:51 mornfall jo
11:52 mornfall 439├>            std::tie( std::ignore, id ) = this->topology().ring(
11:53 mornfall v initials
11:53 mornfall řekl bych že za to může to Ephemeral()
11:53 mornfall nějak
11:54 mornfall i když
11:54 mornfall to je asi blbost
11:57 xstill a ten pool je fakt nullptr? není to jen bug v gdb, že si neporadí s lambdou?
11:57 mornfall #2  dereference<char> (b=..., this=0x0) at /home/xrockai/src/divine/mainline/divine/toolkit/pool.h:632
11:57 mornfall this=0x0
11:58 mornfall vyrobí to vertex kterej nemá nastavenej pool
11:58 mornfall někde
11:58 mornfall hm
11:58 xstill vertex tuším nemá mít nastavenej pool, pokud není z MPI
11:59 xstill má mí store, teda myslím
11:59 xstill *mít
12:06 mornfall hm, on totiž nemá pool ten store
12:06 mornfall zavolá se store->extension (správně)
12:08 mornfall on má nějakej haluznej store pointer
12:08 mornfall rozhodně jinej než je m_store
12:12 mornfall eh,   what():  /home/xrockai/src/divine/mainline/divine/algorithm/genexplicit.h: 203: assertion `ptr <= reinterpret_cast< EdgeSpec * >( pool.dereference( _data.predecessors ) + pool.size( _data.predecessors ) ) - 1' failed; got [0x7f3056ebb028] > [0x7f3056ebb020] instead
12:18 xstill vygenerovalo to asi víc následníků než kolik se napočítalo v prvním roundu, což je dost divný teda
12:18 mornfall hm, s empty.dve dostanu     /home/xrockai/src/divine/mainline/divine/toolkit/pool.h: 703: assertion `from <= to' failed; got [28] > [4] instead
12:19 xstill jo to jsem teď našel taky…
12:20 mornfall taky v _getNodeId
12:20 mornfall asi to spolu bude souviset
12:21 mornfall (ve stejným kontextu)
12:21 mornfall ale já začínám tušit
12:21 mornfall o tom víš že ephemeral paměť jde dereferencovat jen ze stejnýho vlákna v jakým se alokovala? :P
12:21 xstill ups
12:21 mornfall (teda zejména ze stejný instance Pool-u)
12:23 xstill to mi jako mohlo dojít, ale nedošlo :-/
12:23 mornfall mně taky ne, jen jsem měl nějakej mlhavej dojem že ten Ephemeral se mi nelíbí
12:27 xstill nojo, opravíš to?
12:27 mornfall píšu článek :P
12:27 mornfall jako Kika má funkční verzi teď
12:27 mornfall takže to chvíli vydrží
12:28 xstill tak předpokládám, že kdybych tam hodil LongTerm(), tak se to spraví, to jako můžu poslat
12:29 mornfall jo
13:03 mornfall (mh, send -> sent)
13:03 xstill hm
13:04 xstill opraveno
13:07 mornfall dík
17:05 mornfall xstill: jak to dopadlo s těma splitterama?
17:05 mornfall xstill: má to pro LLVM nějakej měřitelnej efekt? jenom čas?
17:17 xstill má to měřitelnej efekt na paměť na některých modelech, udělám ti tabulku za chvíli
17:17 xstill jen teda generic je většinou nejlepší jestli si dobře pamatuji
17:30 mornfall hm, už se mi tam vejde jen conclusions a víc nic
17:30 mornfall tzn. measurements se asi bude muset vejít do toho prostoru který už zabíraj
18:09 xstill jo tak ten rozdíl dokáže bejt dost velkej (pthread_barrier: 8.9GB vs 5.48GB PerObject vs Generic)
19:42 mornfall xstill: precti si co jsem napsal do sekce o spkitterech; bylo by pak asi dobry zmerit perobject kterej vsechny objekty dal dekomponuje
19:59 xstill přečtu, ale nevím nakolik ještě stíháme měřit další splitter na všech modelech
19:59 xstill krom toho ho musí někdo naprogramovat
20:00 xstill za chvíli pošlu tabulky, jednu už mám, ale ještě chci udělat tabulku kde budou vidět velikosti blobů, protože z těch 8 modelů co mám v té první mi doběhly limitu 3
20:03 mornfall já myslim že nemusí být všechny změřený
20:05 xstill respektive teda, pokud by to zítra bylo implementované tak to asi i stihneme, můžeme vlastně využít pheme
20:18 mornfall jen začínám mít podezření že jsem tak trochu grafoman, v tom druhým článku pomalu taky dochází místo
20:25 xstill hm, a musím přeměřit výsledky bez komprese, to se totiž zdá, že směřilo zrovna jak padlo to pole nebo co
20:36 xstill tak nejhorší kompresní poměr na těch měřených modelech je 74-násobná úspora, nejlepší 550x :-D, ještě dladím hlavičky a ty tabulky pushnu
20:47 xstill nějaké tabulky jsem pushnul, grafy zatím zakomentoval, tak ne že se spašíš a zaplníš pagelimit
20:52 mornfall to že vychází jiný poměry je trochu divný
20:52 mornfall (chápu zhruba proč, ale asi by se to mělo někde vysvětlit pak)
20:54 xstill no protože overhead z hashtabulky a slack
20:54 xstill buď se to dá kompenzovat, nebo vysvětlit
20:54 xstill + teda ještě zokrouhlovací chyby
20:55 mornfall aha, to no compression je odhad na čistý vektory
20:56 mornfall to je trochu nekonzistentní se vším ostatním
20:56 mornfall jak moc to je estimate?
20:56 mornfall není to lower bound?
20:56 xstill no ono když to vygeneruje pár procent stavovýho prostoru bez komprese tak se moc jiný věci dělat nedaj, no je to lower bound
20:57 xstill můžu se ti podívat na ty co doběhly jak se to liší
20:57 mornfall tak tam asi napiš lower bound a bude to výraně míň matoucí
20:58 mornfall statistiky s kompresí by ti ale mohli říct aj průměrnou velikost stavu
20:59 mornfall což je lower bound na bez komprese ve smyslu že neobsahuje žádnej overhead
20:59 xstill no však to to je
20:59 mornfall aha, mě zmátlo těch „pár procent stavovýho prostoru“
21:00 xstill no to jsem myslel, že to jsem nepoužil protože to není reprezentativní, asi jsem se blbě vyjádřil
21:00 mornfall aha
21:00 mornfall ok

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