Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-03-11

| 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/
07:23 mornfall xstill: jo, ten Pond jsem nepushnul protože ta poznámka už neplatí tak mi přišlo hloupý ji tam dávat když víme že to tak není :)
07:23 mornfall spito: a tys to zase rozbil :P
08:16 mornfall xstill: [ 1:37]     /var/tmp/divine-3.2.4+pre5673/divine/toolkit/ntreehashset.h: 295: assertion `pos + ls <= itSize' failed; got [34] > [-1] instead
08:16 mornfall http://divine.fi.muni.cz/status/log/6jmgjj087myz186lf4rbd36vnz1zhbs2-divine-ubuntu1210_debug_x64-3.2.4+pre5673/vanilla:algorithm_owcty.sh
08:17 mornfall padá to jen na x64 ubuntu (...)
08:17 mornfall možná něco lehce nedefinovanýho a starší překladač to interpretuje jinak
08:29 mornfall spito: asi tě potěší že ten test je OK jen se to za tu 1s prostě nestíhá :P
09:11 xstill mornfall: tos měl říct žejo, bych to zaamendoval tu poznámku
09:13 mornfall já už spal jen jsem chtěl protlačit některý ty patche hydrou
09:14 spito xstill: kde jis?
09:14 spito *jsi
09:14 spito chtěli tě pochválit
09:14 mornfall ať pak nelovíme co se kde rozbilo když pushnu najednou celou elektrárnu
09:14 spito mornfall: a co se nestíhá?
09:14 mornfall spito: už jsem to opravil viz divine@
09:15 xstill spito: ještě doma, nectělo se mi vstávat
09:16 xstill mornfall: ten assert je extra divnej, protože to by znamenalo buď, že lambda neumí zachytit konstantu nebo, že velikost blobu je -1
09:19 xstill mornfall: ubuntu 12.10 stejně leda tak zabít
09:19 mornfall to asi jo, ale trochu mě to znepokojuje
09:19 mornfall kdyby to nešlo přeložit, ok
09:19 mornfall ale tohle je trochu divný
09:20 spito mornfall: a ten zbytek pushneš až někdy po článku?
09:21 mornfall spito: vfs ti klidně pushnu až doběhne hydra
09:21 mornfall memoizaci pro LLVM/pooly taky
09:22 xstill mornfall: jako můžu tu konstantu chytit hodnotou do té lambdy, třeba to pomůže, tejně je to asi lepší
09:26 xstill mornfall: měl bys tam mít amedovaný ten pool patch a pokus o opravu té lambdy
09:27 mornfall xstill: nechceš tu lambdu prvně zkusit?
09:29 xstill co bych na tom zkoušel? zkompilovat to jde a rozbít se to tím těžko mohlo
09:29 spito mornfall: na VFS prvně potřebuješ libc++3.6
09:29 spito teda...aby se na to nezapomnělo
09:32 mornfall xstill: no jestli to pomůže :)
09:35 xstill to bude trvat strašně dlouho než si udělám lokální build ubuntu
09:36 mornfall to pusť na arke ne?
09:36 mornfall zejména když to pojmenuješ že to je workaround na bug v gcc ...
09:38 xstill nojo taky chtít po mě rozumný název půl hodiny po probuzení…
09:41 xstill tak jsem to pustil na arke a uvidíme no
09:41 xstill až na to, že se to snaží získat build slot takže budeme rádi když uvidíme odpoledne
09:42 mornfall ále, zachvíli doběhne hydra
09:42 mornfall sloty budou
10:17 xstill hm, to příjdu a na FI a abych hned šel na oběd
10:31 spito je možný, aby mi draw a simulate dávaly odlišné výsledky?
10:31 mornfall možný je všechno
10:31 mornfall ale asi to není zrovna dobře
10:37 spito tak ne, on tam je limit n azanoření
10:37 spito *na zanoření
10:38 spito redukce se spouští na LLVM automaticky, že?
10:39 mornfall ano
10:41 spito i tak je těch stavů nějak hodně
10:41 spito víc jak 300 na jeden printf a scanf
10:42 spito ale co, funguje to
10:55 mornfall hm, to jsem zase po dlouhý době vytáhl profiler :-)
11:27 xstill hm, signal 8 je sakra co
11:27 xstill sigfpe
11:29 xstill wtf. nějak se to na té auře rozpadá, jedno zdechlo na neznámo co, druhé na segv a třetí toto
11:29 xstill jenže copak můžu zapnout core když ten divine má limit 320GB na paměť…
13:39 xstill mornfall: segví to v divine::Lake::Pointer divine::llvm::MachineState<divine::llvm::machine::NoHeapMeta>::snapshot<divine::Ephemeral>(divine::Ephe
13:39 xstill meral) ()
13:40 xstill stavy jsou velké 27kB
13:40 xstill mornfall: není možné, že došla ephemeral paměť?
13:40 xstill memset teda zdechnul
13:42 xstill teda ta velikost stavů je v průměru
13:46 xstill protože ono to nebude ani 2MB žejo
13:58 xstill aha je to blocksize
14:07 xstill to se mi zase úplně nezdá, že by to sežralo víc než 2MB
14:09 xstill hm, a milion stavů asi nevygeneruju ani v debugu natož pak ve valgrindu…
14:20 xstill krom toho teda zaokrouhlit velikost stavu nahoru na násobek 4 není úplně OK
14:27 xstill mornfall: jo došla ephemeral paměť, dodal jsem si abort na pool.h:324 (if ( off + sz > blocksize ))
14:28 xstill podle mě je možné, že se ti to v tom first-fit alokátoru fragmentuje
15:05 xstill mornfall: tu máš offsety: http://pastebin.dqd.cz/a3K7/
15:10 xstill mornfall: tak testy na ubuntu neprošly
15:20 xstill máš tam off-by-one
15:21 xstill (pool.h:320)
15:24 xstill bez off-by-one: http://pastebin.dqd.cz/FuUR/
15:29 xstill mornfall: máš tam cca 90 ephemeral bloků
15:29 xstill to je dost blbě řekl bych
15:58 xstill http://pastebin.dqd.cz/5prM/ tady je i stáří objektů
16:30 xstill mornfall: máš tam patche na to
21:40 xstill hm, s tím novým poolem je to na hashtabulce dost znát :-)
21:40 xstill kompresní poměr > 400x při 80M stavech
21:42 xstill 80M stavů v 5.5GB paměti :-)
21:56 xstill mornfall: potřeboval bych abys pushnul patche, začíná v tom bejt nechutnej bordel, mám tu asi 4 repozitáře které se liší tím které verze konkrétních změn jsou v nich pushnuté a v které verzi jak si tu přehazuju ty moje a tvoje změny co nejsou v mainline
23:27 xstill https://paradise.fi.muni.cz/~xstill/ntree/test.pdf zdá se, že máme problém s vracením paměti co patřila hashtabulkám do systému, otázka je teda nakolik to vadí no (nebo vm nefunguje dobře, což by bylo taky možné)

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