Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-05-03

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

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
18:25 xstill mornfall: pamatuješ si proč je to FIXME v NTreeHashSet::Data (ř. 365, 373)?
18:36 xstill mornfall: a potřeboval bych vědět, jestli přijmeš "toolkit: Take advantage of transparent hashset insertion in NTree." než začnu opravovat tu kompresi s --fair
18:38 mornfall hm, nejsou mi jasný dvě věci: proč je potřeba equal X T aj T X a proč potřebuje destroy aj T aj X
18:39 xstill hm, ten první destroy potřeba není
18:40 mornfall myslíš equal?
18:40 xstill ne, destroy( T, T ), ten equal je tam 2x protože nevím kterej tam má být…
18:41 xstill nikde nemáme specifikovaný kterej směr porovnávání se má volat v tabulce
18:41 xstill a nechctělo se mi zkoumat jestli je to konzistentní
18:41 mornfall to by možná bylo lepší vyřešit než požadovat v API aby tam bylo obojí, ono se tím lehce zatahujou nový chyby
18:42 mornfall na který třeba někdo přijde až v momentě kdy bude dělat něco úplně jinýho a omylem použije ten druhej směr kterej pro nějakej typ vlastně nefunguje
18:43 xstill hm, asi jo
18:44 mornfall s tím destroy mi přijde že to má sloužit jako nějaká pojistka, ale proti čemu?
18:44 mornfall nemyslím to že jsou dva, ale že bere dva parametry
18:44 mornfall aha
18:45 xstill viz ntree
18:45 mornfall to je kvůli tomu poolu co
18:45 mornfall ale vždyť to je haluz
18:45 mornfall hasher ten pool má
18:45 mornfall to snad nemůže být jinej pool ne?
18:45 xstill ale ten je sdílenej přes všechny vlákna
18:46 xstill (hasker a teda i pool)
18:46 xstill *hasher
18:47 mornfall hm, a to že je hasher sdílenej máš označený jako TODO v komentáři
18:48 xstill jo, to už se mi nechtělo teď hned řešit
18:48 mornfall to bude taky jedno z těch FIXME
18:48 mornfall to druhý bude to proč je rozbitý fair
18:48 xstill nic opravil jsem to equal, až se to zkompiluje tak to pošlu
18:50 mornfall je třeba možný že slack v hasheru je dobře (protože se opraví) ale ta kopie v data zůstane špatná
18:53 xstill no ne slack je nastavenej dobře myslím (tj. bez fairness), ale ntree je pak zmatenej z těch offsetů co dodává splitter asi
18:56 mornfall hm, *nějakej* slack někde musí být blbě
18:56 xstill jo, to zkoumám…
18:57 xstill ale teda gdb by mohlo být rychjelší :-/
19:05 xstill zatím jsem ti poslal ty opravený patche
19:12 xstill wtf gdb, umístit breakpoint rvá nechutně dlouho, a to nemám tak velkej build
19:12 mornfall asi má ten řádek hodně instancí
19:13 xstill no 2 :-/
19:13 mornfall no, nemyslím nutně jen šablonových
19:13 mornfall pokud se to 100x nainlinuje tak musí nastavit 100 breakpointů
19:13 xstill jo generator/llvm.h:543, this->_slack je 0 (metrics s --fair)
19:13 xstill takže to je ta chyba
19:16 xstill hm, blbost
19:16 xstill ta instance nemá fairness
19:17 mornfall zapíná se vůbec fairness pro safety?
19:17 xstill mám tam -p myslím
19:17 mornfall (jestli jo tak by se možná neměla a mělo by to snad i vypsat warning :)
19:18 xstill dělá to tam něco jiného, než že to zvětší stavovej prostor?
19:19 mornfall jestli ano tak je to bug :)
19:20 mornfall nicméně pro safety ve smyslu -p safety to nedělá ani to
19:20 xstill jakto?
19:21 mornfall protože kopie začne generovat až z akceptujícího stavu
19:21 mornfall kterej tam žádnej nebude
19:22 mornfall jen to bude pomalejší
19:22 xstill aha, pak to opravdu nedává smysl zapínat
19:22 mornfall a ten jednobajtovej slack bude taky potřeba vyřešit, protože to asi stojí docela hodně
19:22 mornfall (nezarovnaný přístupy jsou drahý)
19:24 xstill no to nevím jestli se dá řešit nějak moc jinak než zvětšit ho
19:27 mornfall to asi nedá
19:28 xstill hm, tak ten slack v interpretru je nakonec v pořádku teda
19:31 mornfall zrovna tam by to znamenalo že to nebude fungovat nikdy
19:31 mornfall komprese nekomprese
19:35 xstill no já už narazil na assert i bez komprese
19:35 xstill ale jen na jednom modelu co je dost velkej navíc :-/
19:37 mornfall hm, to byl ale jinej assert ne?
19:37 mornfall teda ten problém je jinej
19:39 xstill no právě že ten co je v tom #318 jako první (popravdě nevím jak se mohl objevit na ten příkaz co tam je)
19:42 xstill no práda, restartoval se mi počítač :-/
19:43 mornfall ten co je v description vůbec na slacku nezávisí
19:43 mornfall ten druhej jo
20:10 xstill no splitHint je posunutej, protože offsety co lezou z LLVM jsou vzhledem k začátku LLVM stavu
20:10 xstill otázka je jak to vyřešit, protože LLVM teď netuší, která část slacku je která
20:11 xstill bude potřeba nějak procpat informaci o tom co je slack algoritmu a co grafu, minimálně do ntree
20:15 xstill ono to stejně bude divoký asi
20:18 mornfall hm
20:18 xstill jako viděl bych to tak, že otočím slack v ntree spátky na začátek, a nikdy se nebude komprimovat, jen se možná (část) bude hashovat a porovnánat
20:18 xstill on je stejně na konci z historyckých důvodů asi

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