Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-05-06

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

All times shown according to UTC.

Time Nick Message
05:34 mornfall Brýtro.
05:34 mornfall Zdá se, že počasí si na nás zahrálo praktický žert.
05:48 mornfall Já jdu na vlak, v labu kolem devátý.
05:48 mornfall Bbl.
06:38 spito joined #divine
07:02 mornfall xstill: Hej hou, disky jsou u Jiříka v officu.
07:04 spito mornfall: za chvilu dorazím na FI
07:04 spito jenom dochroupu rohl
07:05 mornfall My jdem nahodit tu annu.
07:05 spito s jiříkem?
16:49 spito joined #divine
17:24 mornfall No.
17:26 spito co?
17:27 mornfall Doma bych aj byl.
17:28 mornfall Ale úplně mě to teda neuspokojilo.
17:29 mornfall spito: Mám technickou.
17:29 mornfall spito: Jakej je rozdíl mezi StartDetector a std::atomic< int >?
17:33 spito no, je to v podstatě to samé
17:34 spito akorát v tom StartDetectoru to je uložený referencí
17:34 spito a je to sdílený napříč instancemi
17:34 spito podobně jako ApproximateCounter
17:34 spito ...v podstatě jsem ho okopíroval
17:34 mornfall Tak jo no.
17:34 mornfall :-)
17:34 spito mornfall: nelíbí?
17:34 spito mám to opravit?
17:35 mornfall Jo asi jsem se nechal přesvědčit. :-)
17:36 spito mornfall: na aise mi to píše toto:
17:36 spito V /var/spool/mail/xweiser1 máte poštu
17:36 mornfall Jo?
17:36 spito mám to ignorovat?
17:36 mornfall Si ji přečti ne? :)
17:36 mornfall mutt -f /var/spool/mail/xweiser1 třeba
17:38 spito já myslel, že tam je ještě jiná pošta než mi dává webmail klient
17:38 spito jak se dá z mutt-u odejít?
17:38 mornfall q
17:39 spito hmm, to nefunguje
17:40 spito mornfall: jste mě zamlčeli, že jste už výzkum na téma sdílených hash tabulek už dělali
17:41 mornfall už už
17:41 mornfall jo, ale nefungovalo to :D
17:41 spito a co to bylo zač?
17:41 mornfall no, segmentovaný mutexy
17:41 mornfall s mutexama to bylo k ničemu
17:42 spito něco jako ta nerostoucí tabulka?
17:42 xstill joined #divine
17:43 mornfall Někomu umřel NAS.
17:59 mornfall Už si snad můžete zase odkomentovat ten -D test. :-)
17:59 mornfall A ano, NDFS + NTree je rozbitý.
18:01 mornfall Kruci, a na webu je napsaný „suitble“...
18:01 mornfall Jak to čtete? :P
18:04 mornfall Nebo taky ne, ono se to nějak vesele rozbije když se zapne POR?
18:21 mornfall Chvíli není hydra a je to úplně na šrot.
19:03 xstill mornfall: já bych řekl že NTree + NDFS nefunguje vůbec
19:03 xstill chcípne to někde v Lake
19:03 xstill (allocate)
19:04 xstill což je divné vzhledem k tomu, že je to jednovláknové
19:04 mornfall :-)
19:05 spito joined #divine
19:05 xstill konkrétně se zdá, že Poiter vznihlý v fromFreelist je (p = si.touse.head) je nevalidní
19:05 xstill asi testnu valgrind
19:06 xstill jinak mi docala trvalo než jsem zjistil co je touse (mi nedoušlo že je to toUse)
19:07 xstill zasegvilo mi to valgrind
19:07 mornfall lol
19:07 mornfall to už jsem snad i zkoušel
19:07 spito mornfall: ty jsi ještě neposlal ty 2 moje patche
19:07 mornfall to že touse.head je invalid by typicky znamenalo že někdo přepsal volnou paměť
19:07 mornfall spito: vidíš to
19:08 xstill veselé -- valgrind: You cannot run '/usr/bin/valgrind' directly.
19:08 mornfall spito: Máš to tam.
19:09 xstill to mě teda naštvalo že valgrind valgrind tools/divine verify --nested-dfs ~/timed/fischer9.xml -p 0 --compression=ntree nefunguje
19:09 spito mornfall: teď jsem chtěl ještě opravit chybu na webu divajnu, ale nenašel jsem soubor, tak
19:10 xstill ale na druhý pokus i něco řekl než padl
19:10 spito mornfall: > Please note that the verification is limited to ca. 100MB
19:10 spito nemá tam být "cca"?
19:11 mornfall Nemá. :)
19:11 mornfall http://en.wikipedia.org/wiki/Circa
19:12 mornfall xstill: valgrind ale rekurzivně pustit jde, jen se mu to možná musí vnutit
19:13 mornfall xstill: A neběží náhodou verify --nested-dfs na 2 vláknech?
19:14 mornfall když tomu nic dalšího neřekneš...
19:14 xstill je to invalid free
19:14 xstill to snad ne ne?
19:14 xstill no ne, jsem viděl v cgdb jedno
19:14 Erbureth joined #divine
19:14 mornfall Pravda, asi to mění default.
19:14 xstill je to zcela normální double free
19:15 mornfall xstill: Aha, totiž kdybys měl asserty, tak ti to pool rovnou řekne. ;D
19:15 xstill koukám že jsi upravil hlášky do valgrindu
19:15 xstill mornfall: no to já nechápu proč je nemám
19:16 mornfall Já bych zkusil progrepovat build adresář na NDEBUG
19:19 xstill mornfall: ty dáváš do front jen Handle? nerozbije se to s HC?
19:19 mornfall Nerozbije, pokud se bude správně volat discard.
19:19 mornfall Počítam s tím, že rekonstrukce z HC bude fungovat než se zavolá na ten handle discard.
19:20 mornfall Z HcStore.
19:20 xstill aha, no na to jsem zvědav jak to máš vymyšlené
19:20 xstill bude to zajímavé
19:21 mornfall No, jednoduše, v tabulce bude normálně celý stav, a když zavoláš discard tak se zahodí a uloží se tam místo něj jen extension.
19:24 xstill ale to se ti změní adresa ne?
19:24 mornfall No změní, ale ta by neměla být uložená nikde jinde.
19:26 mornfall Však uvidíme.
19:26 mornfall Ale teď to dělat nebudu.
19:26 xstill ale co když ji někdo bude zrovna zpracovávat?
19:26 mornfall Až se třeba budu v Americe nudit. :-)
19:26 xstill jak může destruktor _Vertex způsobit double free?
19:27 xstill to je snad z principu blbost ne?
19:27 xstill když je to jiný _Vertex tak musí mít jiný nacachovaný stav
19:28 mornfall Máš na to backtrace?
19:28 mornfall Tady to zrovna nějak nechce spadnout.
19:28 xstill tvrdí to valgrind
19:28 xstill fisher9.xml
19:29 mornfall Já nemam timed...
19:29 xstill tak možná to padá i jindy
19:30 mornfall Určitě, teď jsem to viděl v testech.
19:30 mornfall No, počkám si na rebuild. :-)
19:30 mornfall Ani nevim na co jsem hrábl....
19:34 mornfall xstill: Chceš to fakt vědět? :D
19:34 xstill jo
19:34 mornfall Nebo si chceš zadebugovat?
19:35 xstill to bude nějaká hloupost, že?
19:35 mornfall Jasně.
19:35 mornfall Zapomněl jsem na operator= ve _Vertex-u.
19:36 xstill skara, proč mi to nedošlo, ještě jsem kontroloval copy konstruktor
19:41 xstill zajímavé že to sundalo jen NDFS
19:43 mornfall nikde jinde se nepoužije
19:43 mornfall To je to "seed = n" tam.
19:44 mornfall Jak jsem to uviděl kousíček od backtracu tak mi bylo hned všechno jasný.
19:45 xstill zjevně se musím víc koukat
19:51 mornfall Pošleš patch? :-)
19:52 mornfall Já su ve stavu leda tak psát darcs apply a darcs push...
19:52 xstill no klidně teda
19:54 mornfall building divine/CMakeFiles/libdivine.dir/llvm/execution.cpp.o
19:54 mornfall building of `/...-divine-llvm-2.96.drv' timed out after 3600 seconds of silence
19:54 mornfall někdo něco počítá na pheme, co? :-P
19:54 mornfall asi by mu někdo mohl říct že to může vzdát :D
19:56 xstill já s ním mluvit nechci
19:57 mornfall Na dvaceti má puštěnej top. Zajímavé.
19:58 mornfall Jo no, počítá.
19:58 mornfall Nevim jestli mu to rovnou pobít, nebo mu dát vědět že to momentálně nemá smysl, a doufat že ty čísla nepoužije.
19:59 spito divine se teď buildí na pheme?
19:59 mornfall no, najela hydra, žejo
20:00 spito já žil v domnění, že hydra buildí na anně
20:00 xstill mornfall: jde nějak debugovat bash scripty?
20:00 xstill spito: to by anna umřela rychle
20:00 mornfall xstill: set -x pomáhá
20:00 mornfall spito: http://divine.fi.muni.cz/hydra/status
20:01 mornfall Hm. On je tam dokonce 3.4.42 ten Linux.
20:02 mornfall Ale my běháme 3.2.41...
20:02 xstill to je taky LTS?
20:02 mornfall Podle čísla jo.
20:03 xstill zajímavé +1 pro NixOS za dostupnost více LTS verzí
20:03 xstill (než arch)
20:09 mornfall <zx64> ducktape is merely a physical manifestation of regexps
20:10 xstill WTF
20:11 mornfall Ono to mělo být ducttape. :-)
20:11 mornfall resp. duct tape
20:11 mornfall U nás prostě izolepa.
20:12 xstill jo to bylo spíš pozastavení se nad tím jako celkem
20:12 xstill jinak nám padá i test metrics
20:12 mornfall Co kde jak?
20:13 spito shared nebo partitioned?
20:13 xstill partiioned, bez komprese withltl.so
20:14 xstill test3.dve.so
20:14 xstill a tak
20:14 xstill sorry tak ten ne
20:14 xstill aha tak jo
20:15 xstill ### Expected Full-State-Space = 'No' but got 'Yes' instead
20:16 mornfall /tmp/nix-build-divine-minimal-2.96+pre3619.drv-0/divine-2.96+pre3619/divine/graph/visitor.h: 318: assertion `n.store().owner( f ) == n.worker.id()' failed; got [0] != [1] instead
20:18 mornfall Stejně padá aj visitor unit test.
20:18 xstill ach ty asserty
20:18 xstill jsu editovat soubor s DO NOT EDIT!
20:18 xstill je v něm podezřelý -DNDEBUG
20:18 mornfall co to je za soubor?
20:19 mornfall do not edit typicky znamená, že ti to někdo při nejbližší příležitosti přepíše
20:20 xstill flags.cmake
20:21 xstill ach jo já nejsem schopný na poprvé napsat dobře operator=
20:22 spito mornfall: problém je s partitioned visitorem, že? :)
20:22 mornfall ### Expected Algorithm = 'Reachability' but got 'Metrics' instead
20:22 mornfall BOŽE
20:22 mornfall Co jsme to provedli? :D
20:22 xstill hups
20:22 xstill něco se dost zvrhlo
20:23 spito já to nebyl....
20:23 mornfall Aha v tom je totiž namočený MPI.
20:23 mornfall Já ho nějak zapnul protože jsem to chtěl opravit.
20:25 mornfall Já žádný flags.cmake nemám, asi.
20:26 mornfall Máš cmake 2.10?
20:26 mornfall Hm. Nic takovýho není.
20:28 mornfall flags.make aha
20:28 mornfall To tam ale muselo odněkud přijít.
20:29 mornfall Otázka je, dostane se to tam když uděláš mkdir _build2 ; cd _build2; cmake ..? :-)
20:29 mornfall cmake .. -DCMAKE_BUILD_TYPE=Debug
20:30 xstill no já mám pocit že jsem čitý build zkoušel včera
20:31 xstill super teď mi selhaly všechny testy
20:32 spito může být víc iniciálních stavů?
20:32 mornfall spito: J.
20:32 xstill mornfall: je tam pořát šmejd
20:33 mornfall env | grep NDEBUG :-P
20:33 mornfall to fakt není možný :-P
20:34 xstill nic
20:35 mornfall A grep NDEBUG CMakeCache.txt říká co?
20:36 xstill $ grep NDEBUG CMakeCache.txt
20:36 xstill CMAKE_CXX_FLAGS_MINSIZEREL:STRING=-Os -DNDEBUG
20:36 xstill CMAKE_CXX_FLAGS_RELEASE:STRING=-O3 -DNDEBUG
20:36 xstill CMAKE_C_FLAGS_MINSIZEREL:STRING=-Os -DNDEBUG
20:36 xstill CMAKE_C_FLAGS_RELEASE:STRING=-O3 -DNDEBUG
20:36 xstill to je v pohodě podle mě
20:36 mornfall Jo to je.
20:36 xstill před pár dny byl update gcc, asi je to paranoia ale revertnu ho
20:37 mornfall Ten to asi nemá jak udělat.
20:37 mornfall To spíš cmake.
20:37 xstill ten se aktualizoval naposledy v březnu
20:42 xstill já už fakt nevím
20:43 mornfall nechceš mi na chvíli vyrobit účet? :D
20:44 xstill co?
20:44 mornfall no, že bych to prostě zkusil vykoumat
20:44 mornfall tak, ještě můžeš zkusit vyrobit minimální cmake projekt s jedním .c souborem...
20:46 xstill to bych mohl zkusit, kdybych uměl s cmake víc než editovat ten fungující
20:47 mornfall add_executable( test test.c )
20:47 mornfall (v čistým adresáři, vyrob test.c a máš)
20:47 xstill až tak jednoduše?
20:48 mornfall jo, no :-)
20:52 xstill žádný NDEBUG
20:52 mornfall Zajímavé. :-)
20:53 xstill no každopádně jsem ty NDEBUGy smazal z toho do not edit
20:53 xstill a teď to vesele asertuje
20:53 mornfall Můžeš zrušit ř. 20-24 v toplevel CMakeLists?
20:53 xstill v timed
20:54 xstill no ale on to jinak je debug, tj -g žádný -O
20:55 mornfall to je fakt záhada
20:56 xstill tak jsem se zase převedl
20:56 xstill to co jsem psal že selhávají všechny testy
20:56 xstill to byl jiný repozitář
20:57 mornfall :-)
20:57 spito to tak bývá
20:57 mornfall Mně zase myš bliká na oranžovo že má slabý baterky a irituje mě to.
20:57 xstill i když smažu ty 20-24 tak to tam je
20:58 spito mornfall: ty používáš myšítko?
20:58 mornfall Jo, kdyby to bylo tím tak se tam asi dostane aj to -O3.
20:58 mornfall spito: Občas.
20:58 mornfall Má modrý zuby.
20:59 xstill a nelaguje ti?
20:59 xstill já jsem takovou zahodil
20:59 mornfall No, jen když usne.
21:00 xstill no mě usínala mezi dvěma použitíma běžně co mám xmonad
21:01 mornfall Jo to se stává, ale to mi neva.
21:02 mornfall Logitech V470
21:12 xstill mornfall: jak jsi dělal takovu to magii kdy jsi výstup find použil jako parametr pro něco co spouštělo něco dalšího?
21:12 xstill (jde mi o to první něco)
21:12 mornfall xargs?
21:12 mornfall nebo | while read foo; do ...?
21:13 xstill asi to první
21:14 xstill hmm ale ty testy  selhaly stejně
21:15 xstill hlvně nechápu ten assert v timed
21:15 xstill neprojde unit visitoru
21:18 spito xstill: co jsi upravoval?
21:18 xstill nic jen ten operator=
21:18 xstill co si teda pamatuju
21:19 spito a když tu změnu vrátíš, tak to funguje?
21:19 xstill to testuju
21:19 mornfall to nemůže být tím
21:19 spito já si totiž myslim, že sis tam upravil něco jiného
21:21 spito překlad LTL formule na buchi automat dělají všichni model-checkeři?
21:22 mornfall Nojo, když já mam tu chybu na který hydra padá lokálně opravenou a nezarecordovanou.
21:22 mornfall spito: Ne. :-)
21:22 mornfall spito: Jenom ti co dělaj automata-based LTL.
21:23 mornfall spito: A ani ti nemusí nutně používat Büchi.
21:23 mornfall Je spousta jinejch omega-regulárních automatů.
21:23 mornfall Nebo jak se tomu nadává. :-)
21:23 spito kujů :)
21:36 spito left #divine
21:38 xstill tam to ntree je furt rozbité s nested-dfs
21:39 mornfall xstill: aj s tím operator=?
21:39 xstill jo no
21:39 mornfall a furt na doublefree?
21:39 xstill ještě nevím
21:40 xstill zdá se že jo
21:41 xstill je to divný
21:41 mornfall Jdu to zkusit.
21:49 mornfall Aha. Zajímavé. :-)
21:49 xstill co?
21:50 mornfall Na ř. 55 zdá se chybí n.disown().
21:50 mornfall Už to funguje.
21:51 xstill kde? co?
21:51 mornfall Ono se n.node() nacpe do visitor::edge(), která to nacpe do store() kterej to uvolní.
21:51 mornfall nested-dfs.h:54
21:51 xstill aha
21:52 xstill ten operátor sis v mezičase taky vyrobil nebo ho chceš poslat?
21:52 mornfall Vyrobil no.
21:52 mornfall schválně jestli ho máme stejnej...
21:52 mornfall _Vertex &operator=( const _Vertex &x ) {
21:52 mornfall if ( _s )
21:52 mornfall _s->free_unpacked( _n );
21:52 mornfall _s = x._s;
21:52 mornfall _h = x._h;
21:52 mornfall _n = typename Store::Node();
21:53 mornfall return *this;
21:53 mornfall }
21:53 xstill okv podstatě jo až na pořadí
22:02 xstill už zase?
22:02 mornfall co?
22:02 mornfall jo, půlnoc
22:02 xstill jo
22:03 mornfall rebootoval jsem pheme09, zdá se že nesnesla nápor a uswapovala se
22:03 xstill chudák
22:04 xstill no jestli tam byl měřič tak se nedivím že se uswapovala
22:04 mornfall Skoro všechny maj load average > 7.
22:05 mornfall Ale reagujou, takže je nechám běžet.
22:07 xstill ok, aspoň nezahálejí
22:10 xstill sakra to mi to trvalo
22:11 xstill já jdu spát stejně tu tabulku s měřeníma už teď dělat nebudu
22:17 mornfall spát je velice rozumná volba

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