Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-03-10

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

All times shown according to UTC.

Time Nick Message
01:02 spito joined #divine
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/
04:23 spito joined #divine
07:33 xstill mornfall: ten ntree patchset je možná ještě rozbitý, zkusím to opravit co nejrychješ
07:45 xstill no spíš mám blbě test
08:04 xstill mornfall: já totiž nevím jak ten novej splitHint pracuje se slackem…
08:05 mornfall novej jako starej ;) mel by ho neresit asi
08:06 mornfall prvni consume by mel zacinat za slackem
08:06 xstill fakt? protože ke start se ve SplitCoroutine přičítá slack
08:12 xstill potom bys ale dost možná měl blbě offsety v llvm
08:12 xstill ale nevím, přidal jsem test se slackem a padá mi to
08:18 xstill to je nějak strašně rozbitý
08:18 xstill najednou to nemůže najít věc v tabulce, to musí být chyba v testu, jinak by přece nemohlo projít functional…
08:21 xstill ach jo když ty testy jsou úpně blbě…
08:25 xstill mornfall: tak jo byl to jen špatnej test, máš tam novej patch kterej přidává testy se slackem.
08:26 xstill mornfall: a podívej se prosím jestli náhodou nemáš llvm splitter ujetej o slack
08:28 mornfall no dplitcoroutine to resi, splithint neresi offsety jen velikosti
08:31 xstill no já jen že v generátoru máš /* all these include slack in their offsets */ i když ono se z toho asi počítají jen délky teď koukám
08:40 mornfall jo no
11:49 xstill skoro bych řekl, že až to všechno co teď máme rozdělané dokopeme tak aby to pěkně fungovalo tak bysme mohli další release udělat 3.3
11:51 mornfall to asi jo
11:51 mornfall jestli to dokopeme :D
11:53 mornfall xstill: máš nějakej krátkej model kde dělá nopool vs pool časovej rozdíl na -w 1?
11:53 mornfall s kompresí...
11:53 mornfall potřebuju si udělat profily
11:53 mornfall hm, asi to zkusim na fifo tam se hodně seká a nepočítá to moc dlouho
11:54 mornfall ... až se dostanu dom
11:57 mornfall hm, jen teda kolem reassemble mám všude konflikty... ale to vyřeším
12:17 xstill hm? co jsi dšlal s reassemble?
12:21 xstill mornfall: můžeš si pustit cokoli (řeba pthread_rwlock) na simulate --trace'D pocet_kroku"
12:22 xstill i když to asi nechceš protože tam není visitor
12:22 xstill tak fifo je docela malé, ale nevím jestli má rozdíl
12:28 xstill hm, tos ovšem mohl říct, že jsi měnil ntree to mě nenapadlo.
12:29 xstill i když ono to smysl dává
12:32 xstill mornfall: resolvuješ to? Pokud ne v nejbližší době můžu to asi udělat potřeboval bych stejně pustit experimenty
12:33 spito kdy máte dealine na článek?
12:33 xstill pátek na abstrakt
12:33 xstill a další pátek na článek
12:39 mornfall az skonci orch nejdriv
12:39 mornfall tj za hodinu a neco
12:40 xstill no já teď jdu převážně poslouchat jak Martin učí, tak to asi můžu zkusit vyresolvovat
12:41 xstill mornfall: stačí jen proti tomu pool patchsetu?
12:42 xstill mornfall: mám amendovat ty původní patche?
12:49 xstill hm sakra
12:57 xstill teď bych přesně potřeboval rebase
13:04 mornfall klidne zarecorduj merge
13:07 xstill asi budu muset
13:18 mornfall uf, to bylo zase
13:25 mornfall xstill: máš ten merge že bys mi to poslal?
13:25 xstill mornfall: skoro, pouštím testy
13:29 xstill hm, mám to tu nějaké rozbité :-/
13:30 mornfall no ten pool nejde přeložit s jiným GEN_* než GEN_LLVM
13:30 mornfall zatím
13:30 mornfall btw. benchmark buildy máš s DEV_CONFLATE=OFF?
13:30 xstill aha gen llvm
13:30 xstill to je snad default na release, ne?
13:31 mornfall default to asi je
13:31 mornfall jen mi došlo že stejně měříš čas se statistikama
13:31 xstill tak pak to tam je
13:31 xstill no jistě, když mám zapnuté statistiky
13:32 mornfall nevim jak s shared, s partitioned to bývala dost brzda ;-)
13:33 xstill nojo bez toho budu dost špatně sledovat jak to alokuje
13:33 mornfall ale je možný že s shared to tolik nevadí
13:33 mornfall no, chtělo by jich pár pustit bez statistik pro srovnání
13:33 mornfall jen čas
13:33 xstill jo klidně potom
13:33 mornfall pokud budem teda mít nějaký časy ve článku vůbec
13:33 mornfall ale asi jo
13:37 xstill to jo
13:37 xstill máš tam merge (i se závislostma ale ty jsem neměnil)
13:38 mornfall ď
13:40 xstill llvm testy prošly
14:12 mornfall hm, podle profileru je celej rozdíl mezi pool a nopool v last-level cache
14:13 xstill last-level je L3 jako?
14:15 mornfall hm, to je bordel
14:15 mornfall jo, LL je L3 (když ji máš, jinak to je L2)
14:16 xstill ok, a čím to vlastně profiluješ?
14:16 mornfall až na to že LLVM loader má docela variaci... ve visitoru to je zase v L1 instruction cache miss
14:16 mornfall callgrind
14:18 xstill a na čem to teda stojí? na dereferenci?
14:21 mornfall asi na dereferenci, ale v interpretu ne v tabulce
14:22 mornfall takže asi bude stačit si memoizovat ten dereferencovanej pointer v rewind() nebo tak něco
14:22 xstill přesně to jsem chtěl napsat
14:23 mornfall jako že skoro celej rozdíl je rovnoměrně rozdělenej do llvm::Evaluator
14:41 mornfall no nic jdu na vlak
14:42 mornfall snad to nějak doladim... k alokaci registrů nevim, zatím to nevypadá že by to fungovalo, o jednom bugu vím kde je ale asi tam bude ještě jinej ...
16:14 xstill tak to asi můžeme už nechat na jindy
16:14 xstill o tom by se nakonec možná dalo napsat i samostatně, ne?
16:37 mornfall posunuli nám deadline
16:37 mornfall abstract 20. paper 27.
16:38 xstill tos mi neměl říkat
16:38 xstill nebo až tak ve čtvrtek
21:12 mornfall jo, memoizace tomu výrazně pomohla, vychází mi rozdíl v cycle estimation na cca 2 procenta
21:12 mornfall (mezi nopool a pool-memo)
21:12 mornfall a teď jdu spát, zítra toho moc neudělám protože koncert
21:25 xstill mornfall: máš tam ještě jednou patche co jsi nepushnul a dodatek ke statistikám

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