Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-10-27

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

All times shown according to UTC.

Time Nick Message
00:30 spito left #divine
02:47 _ilbot 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:32 mornfall kdo zkusí gcc 4.8.2? :)
07:37 xstill už funguje v nixu?
07:39 mornfall je v stdenv-updates
07:40 mornfall takže nejspíš funguje
07:41 xstill tam už jsem ho zkoušel 3x buildovat, ještě jim nefungovalo
07:42 mornfall jakože stdenv-updates si neumí přeložit ani překladač? wut? :)
07:42 xstill no zdá se že neumí
07:42 xstill nebo něco dělám hodně blbě
07:42 mornfall jdu to zkusit
07:43 xstill (dělal jsem  nix-build -A gcc48 pkgs/top-level/all-packages.nix v stdenv-updates barch, to by podle mého pochopení fungovat mělo...)
07:45 mornfall to pkgs/top-level/all-packages.nix je sice zbytečný¸ale fungovat by to mělo
07:45 mornfall (máš tam default.nix)
07:46 xstill aha
07:50 mornfall tak něco to dělá tak uvidíme :-)
07:53 mornfall zajímavý je, že --shared -w 1 ten protipříklad nezvládne nikdy, ale -w 2 většinou jo
09:30 mornfall xstill: řekl bych že ten chybějící soubor co si člověk lehce prefetchne byl jediný problém -- aspoň zatím to překládá a překládá
09:31 xstill tak mě to zatím teď taky překládá
09:31 xstill ale ono mi to minule zdechlo dost pozdě
09:31 mornfall tak uvidíme :)
09:32 mornfall ty protipříklady jsou pekelně rozhasený
09:41 xstill hm zdá se že nám nefuguje --max-memory
09:41 xstill xstill    20   0  317g 271g  66m S 3168.5 61.5  30253:20 tools/divine verify barrier.bc -r -d --statistics -p safe3 -w 32 --max-memory=250000 --compression
09:42 mornfall neštvi :D
09:42 mornfall koukni do /proc
09:43 xstill co tam?
09:44 mornfall pid/status VmPeak
09:44 xstill VmPeak:333055060 kB
09:44 mornfall to je fakt rozbitý
09:45 xstill jdu to zabít než to zabije auru
09:47 mornfall bylo by dobrý zjistit co dělá ResourceGuard vlákno
09:47 xstill pozdě
09:48 mornfall no, počítám že to se projeví víceméně hned... dej tomu menší limit :-)
09:50 xstill jo vyzkouším, on to stejně byl release...
09:50 mornfall já chci opravit ty protipříklady
09:50 mornfall začínám tušit :-P
09:53 spito joined #divine
09:55 spito xstill: musím říct, že ta komprese funguje fakt hezky
09:55 spito statistiky mi říkají, že jsem už naalokoval tak 600GB paměti
09:55 spito a reálně to žere tak 4% z ramky aury
09:56 spito nechcem náhodou to, aby byla komprese defaultně zapnutá?
09:57 xstill no ona funguje takhle pěkně pro LLVM a pro timed, pro DVE moc ne, takže by musal default být závislý na generátoru
09:59 spito jo, tak to jo
09:59 spito mornfall: ten debugovací výpis mám opravit, nebo ho opravíš ty?
10:00 mornfall ho oprav, budeš mít malé bezvýznamné plus :-)
10:01 spito tak jako vždycky :)
10:02 mornfall hm, já su taky trumpeta, proč mohl bych osekat instance když debuguju jednu věc
10:02 mornfall -proč
10:03 spito using S2 = Interruptible< SetupOverride< S, This > >;SharedBFV< S2 >
10:03 spito proč toto?
10:03 spito proč interruptible nedat hned do visitora?
10:03 mornfall cokoliv :)
10:04 mornfall asi mi to přišlo už těžko čitelný (moc < > )
10:04 spito jo, to chápu
10:04 spito jenom S2....to vypadá jak labutě
10:04 spito či srdce na stole
10:04 mornfall :D
10:04 mornfall kawaii (roztomilý)
10:05 spito jasný
10:09 mornfall hlad útočí
10:09 spito hehe, tady ještě ne
10:10 mornfall já dneska ještě nejedl :(
10:10 spito (a tady budeme velmi zlí, neboť si dáme kuřecí vývar se sekanou se zelím a bramborem)
10:10 spito mornfall: budeš hubenej
10:10 spito a upadnou ti ručičky
10:11 mornfall babišovo kuře jo? pf
10:12 spito no, asi jo, ono ani jinačí být skoro nemůže
10:12 mornfall to se máte :-)
10:12 mornfall tak si to užijte :-P
10:12 spito ale sekaná je z místních jatek
10:13 spito a ty babišovi nepatří...pravděpodobně
10:19 mornfall meh
10:22 xstill hm u mě limit fuguje
10:22 mornfall veselé
10:22 xstill zkusím ještě větší teda
10:23 xstill aha tak nefunguje
10:24 mornfall ha
10:28 xstill tak funguje :-D
10:28 xstill asi
10:29 xstill hej co to je v machine.cpp:352?
10:29 xstill tedy spíš 358
10:30 mornfall to je takový nelokální goto :-P
10:30 xstill je to poněkud fuj
10:30 xstill a kazí mi to catchpoint
10:30 mornfall :-)
10:31 mornfall no ono se z lambdy blbě vyskakuje
10:31 xstill hm já nevím jak te catchpoint vypnout
10:32 xstill hm, musal bys to projít celé jinak
10:32 xstill a není to drahé takle používat výjimky?
10:33 mornfall no jde to udělat tak že si budeš ručně všude podávat return value
10:33 mornfall a pak testovat
10:33 mornfall je to otrava
10:33 mornfall není to úplně zadarmo no
10:35 xstill tak mě limit na 1GB fuguje
10:35 xstill a int tam nikde nevidím aby to přeteklo
10:45 mornfall heej, hustý
10:52 xstill co?
10:53 mornfall ten ApproximateCounter je furt blbě :-)
10:54 mornfall isZero je pozdě, protože mezi posledním sync a dalším isZero se může něco nacpat do fronty a ztratí se to v tom mínusu
11:11 spito (no, já to možná říkal už na začátku)
11:11 mornfall sláva vlasti, vejletu
11:11 spito opravil jsi to?
11:11 mornfall jistě
11:17 mornfall příště neříkej a radši pošli patch
11:31 mornfall spito: mohl bys možná napsat na ten ApproximateCounter nějaký testy :D
11:31 mornfall případně to teď přečíst a říct mi jestli to je vůbec dobře
12:25 spito mornfall: no, já je chtěl napsat
12:25 spito ale pak jsem si říkal, že to je přece tak jednoduchý, že to musí fungovat :D
12:26 spito mornfall: a ty testy napíšu
12:30 mornfall xstill: /home/mornfall/dev/divine/release-3.1/divine/algorithm/genexplicit.h:357:48: error: no member named 'Yes' in
12:30 mornfall ok :)
12:31 xstill co?
12:31 mornfall xstill: rozbil sis explicit :-) opravím
12:31 xstill aha já ho nepřekládal...
13:19 mornfall spito: ten patch s tou debug hláškou jsi ty neposlal nebo já ztratil?
13:19 mornfall jinak teda vyhlašuju poslední 4 hodiny na posílání patchů do alpha 2 :-P
13:20 spito neposlal
13:20 spito poslal
13:20 spito teď
13:20 mornfall ok
13:21 spito chtěl jsem si nechat proběhnout testy
13:21 spito a pak byl oběd
13:21 mornfall výmluvy
13:21 spito a takový ty věci, znáš to
13:21 spito přesně
14:15 mornfall xstill: hm, fakt to gcc nejde přeložit... to je zase systém
14:15 mornfall istream.cc:(.text._ZNSi6ignoreEli+0x211): undefined reference to `std::istream::ignore(long)'
14:15 xstill já se dostak k tomutéž
14:16 xstill nechceš třeba otravovat někoho na #nixos?
14:16 mornfall otázka je jestli s tím dokáže někdo něco udělat
14:17 mornfall tak jako tak, prvně release
14:19 xstill tak pokud nedokážou tak budou mít do budoucna asi problém
14:21 mornfall no myslel jsem to tak že to může být prostě rozbitý gcc a čeká se na upstream :)
14:22 xstill taky fakt, ale rozbitá byla už ta 4.8.1 když tam byla
14:23 xstill a ta derivace je od prvního pohledu nechutná
14:23 mornfall https://github.com/NixOS/nixpkgs/issues/778
14:24 xstill super
14:28 mornfall hm, až na to že já mam úplně blbej stdenv-updates ... ach ten git
14:30 xstill já mám dnešní
14:31 mornfall je to bug v gcc
14:31 mornfall http://www.mail-archive.com/gcc-bugs@gcc.gnu.org/msg397568.html
14:32 mornfall nezdá se že by to vývojářům nějak trhalo žíly, ten bug tam leží od konce července bez dalšího komentáře
14:32 mornfall jdu to opravit
14:39 mornfall == All 39 tests (1748 subtests) passed. 0 tests skipped.
15:03 spito mornfall: pačé
15:03 spito teda testy
15:05 mornfall funguje to? :)
15:05 spito vyzkoušej to
15:05 spito mě to na antee fungovalo
15:06 spito testy by měly simulovat shared visitora
15:29 mornfall no, prošlo to aj s Release buildem
15:33 xstill člověk by skoro došel k názoru, že všechno funguje :-P
15:34 spito taková naivita
15:35 spito teda takhle, ten test počítá s tím, že pokud dojde k předčasnému ukončení, netestuje se, jestli je fronta prázdná a počítadlo nulové
15:35 spito protože tohle může nastat i v divine
15:35 mornfall na ten tvůj test jsem se ještě nedíval :-P
15:36 mornfall do releasu to cpát nebudu, pokud není chyba v implementaci
15:36 mornfall anyway, http://concepts.axiomatics.org/~ans/concepts-lite.pdf
15:43 xstill to si přečtu, časem...
15:44 spito vypadá to hezky
15:44 spito jako by se i C++11 se šablonama dalo používat :D
15:46 xstill tak otázka je z toho co jsem si zatím v tom paperu všimnul, jestli to přinese něco zásadně novýho co zatím nejde
15:46 xstill protože constexpr funkci která pro daný typ varí bool si můžeme narvat do static_assert teď
15:46 xstill ale zatím jsem to jen prolít
15:46 mornfall jenže static_assert nezmění overload rezoluci
15:47 mornfall musíš to rvát do enable_if
15:47 xstill ok, beru to už je přínos, enable_if není zrovna čitelný
15:51 spito xstill: například chybový hlášky - umožní ti to vypsat chybu tam, kde ji uděláš, ne někde v hlubinách STL (přinejlepším)
15:51 mornfall spito: to by šlo aj tím enable_if, jen teda ta hláška nebude o moc civilizovanější, jestli vůbec
15:52 spito :D
15:52 xstill tak chybový hlášky by především šli tím static_assert
15:54 mornfall no to právě funguje jen když nemáš overloading
15:55 xstill jakto? No neříkám, že by to bylo jednoduchý popsat...
15:56 mornfall navíc bys teda musel přepsat polovinu STL aby to fungovalo rozumně
15:56 mornfall když máš overloading tak ten static_assert bude většinou stejnej jako to co je v enable_if
15:56 mornfall tzn. můžeš ho smazat
15:56 mornfall nebo možná ne vždy, ale často
15:57 mornfall každopádně to je solidní otrava
16:00 xstill to bude
16:00 xstill jinak chápu to dobře že koncepty ti udělaj něco jako typový třídy v haskellu?
16:01 mornfall zhruba :-)
16:01 xstill :-)
16:01 mornfall ono je to ve skutečnosti znatelně silnější
16:05 xstill tak zase haskell toho umí mnohem víc odvodit
16:06 mornfall jo to jo, i když to je taky trochu uphill battle
16:07 xstill tím myslíš co?
16:07 mornfall přijde mi že poslední dobou se od automatické inference dost upouští když to jde proti expresivitě
16:08 mornfall zejména teda typový rodiny jsou na to náchylný -- inference pro ně není rozhodnutelná
16:09 mornfall v podstatě cokoliv silnějšího než klasický třídy minimálně koketuje s nerozhodnutelností
16:10 mornfall a existenciální typy jsou na tom podobně, kolikrát musíš pak cpát anotace aj do let-u
16:11 xstill asi si stím až tak moc nehraju, ale jo už jsem narazil i na něco co mi to neodvodilo
16:11 mornfall no nic, zamyslete se jestli něco chcete do tý alphy 2
16:11 mornfall jdu cvičit a pak vyrobím tarball ;-)
16:49 mornfall Hm, tohle jsem asi nechtěl vidět... FATAL: Internal instantiation error.
16:57 mornfall to gcc je úplně nekonečný...
16:59 mornfall teď to překládá openssl, radši ani nechci vědět proč
17:02 mornfall aha, ono to ještě vyrábí teprv stdenv :-P
17:02 mornfall doufám že pak to začne celý od začátku :-)
17:03 mornfall jo no, building /nix/store/67ybz823cshjzv1d551ylsycq0a8ix2l-gcc-4.8.2
17:03 xstill nebude to tím, že je to bootsrap? A stdenv asi openssl bude...
17:03 mornfall :-)
17:04 xstill jinak promiň, ale budu ti muset úterní hack-fest fakt zrušit toto úterý
17:08 mornfall tak aspoň se vyspim :-)
17:09 mornfall vlastně mám celý týden volno protože jsou prázdniny
17:10 mornfall teda zítra ještě škola ale pak padla až do dalšího pondělí; to je docela win
17:10 mornfall jsem v pokušení vzít si k tomu ještě dovolenou
17:11 mornfall http://divine.fi.muni.cz/download/divine-3.0.91.tar.gz ... kdyby to někdo chtěl třeba otestovat než updatuju web
17:19 xstill ok
17:19 xstill skusím to zbuildovat a něco pustit
17:19 xstill ty protipříklady ve shared jsou už opravený?
17:20 mornfall snad jo
17:22 xstill ale buildovat budu jen clangem, doufám že gcc jsi si zkusil
17:22 xstill musal bych hledat příslušný llvm a tak
17:23 mornfall ne, nezkusil -- můžu to leda pustit nix-build-em, ale to jsem udělal pár dní dozadu a prošlo to
17:24 xstill aha
17:40 spito pápá Lála, pápá, Poo
17:40 spito left #divine
18:01 xstill testy zatím vypadají pozitivně
18:03 xstill ../examples/llvm/at.c:71:1: warning: 'extern' variable has an initializer
18:04 xstill tohle je v pořádku?
18:04 xstill (definice LTL)
18:06 xstill hm,  G(!(critical1 && critical2)) to snad ani nemůže v principu nastat ne? Vždyť mi nikdy nemůžou platit 2 propozice naráz.
18:09 mornfall nemůže a nemůžou
18:09 mornfall :-)
18:10 xstill hm no v příkladech máme solidní bordel ale to asi pro alpha 1 nevadí
18:10 xstill *2
18:10 mornfall ten tam máme odjakživa... skoro :-)
18:13 xstill počkej určitě nemůžou -- co když bude každá v jiném vlákně?
18:15 mornfall good point
18:15 xstill mimochodem, jak se chová AP z hlediska redukcí?
18:17 mornfall BuiltinAp je observable
18:18 xstill jo tak to je asi v pohodě
18:19 xstill TESTS FAILED: tools/draw.sh
18:19 xstill running graphviz...                   terminating
18:19 xstill ./util: line 3:  9261 Aborted                 divine draw -r cat -o out.dot --property=deadlock --no-reduce data/proc_instance.dve
18:20 mornfall zajímavé ... a ten assert neukazuje?
18:21 xstill jakej assert?
18:22 mornfall tam je někde natvrdo abort()?
18:22 xstill tak on je to release
18:23 mornfall jo tak... z core asi nic nedostaneš?
18:23 xstill hm problém spíš jse že to nepadá vždy
18:25 xstill hm ale kde je ten core teď
18:26 mornfall _build/test
18:26 mornfall řekl bych
18:26 xstill jo, ale jsou v něm je otazníky
18:26 mornfall nj
18:27 xstill tak ne to je jen gdb hloupý a neumí najít binárku
18:28 xstill wtf.
18:28 xstill #5  0x00007f3e85a434fe in std::terminate() () from /nix/store/aqsaz0fr8lhpj22w5pp8f2nn45kg346g-libc++-pre190100/lib/libc++abi.so.1
18:28 xstill #6  0x0000000003278585 in wibble::sys::Mutex::~Mutex() ()
18:28 mornfall resource busy
18:29 mornfall nejde zničit zamčenej mutex
18:29 mornfall řekl bych teda
18:29 xstill to by sedělo
18:29 xstill 122         if (res != 0)
18:29 xstill 123             throw wibble::exception::System(res, "destroying pthread mutex");
18:29 xstill ale jak toho dosáhneme
18:29 mornfall to nevim
18:29 mornfall máš větší kus toho backtrace?
18:30 xstill jo
18:30 mornfall na tohle byl v tracu aj ticket jen pak to nikdo rok neviděl tak jsme to zavřeli (iirc)
18:30 xstill #0  0x00007f3e851bbfb5 in raise () from /nix/store/zm4bhsm8lprkzvrjgqr0klfkvr21als4-glibc-2.17/lib64/libc.so.6
18:30 xstill #1  0x00007f3e851bd436 in abort () from /nix/store/zm4bhsm8lprkzvrjgqr0klfkvr21als4-glibc-2.17/lib64/libc.so.6
18:30 xstill #2  0x00007f3e85a0ded7 in abort_message () from /nix/store/aqsaz0fr8lhpj22w5pp8f2nn45kg346g-libc++-pre190100/lib/libc++abi.so.1
18:30 xstill #3  0x00007f3e85a0df6a in default_terminate_handler() () from /nix/store/aqsaz0fr8lhpj22w5pp8f2nn45kg346g-libc++-pre190100/lib/libc++abi.so.1
18:30 xstill #4  0x00007f3e85a43473 in std::__terminate(void (*)()) () from /nix/store/aqsaz0fr8lhpj22w5pp8f2nn45kg346g-libc++-pre190100/lib/libc++abi.so.1
18:30 xstill #5  0x00007f3e85a434fe in std::terminate() () from /nix/store/aqsaz0fr8lhpj22w5pp8f2nn45kg346g-libc++-pre190100/lib/libc++abi.so.1
18:31 xstill #6  0x0000000003278585 in wibble::sys::Mutex::~Mutex() ()
18:31 xstill #7  0x000000000327799e in wibble::sys::PipeThrough::run(std::__1::basic_string<char, std::__1::char_traits<char>, std::__1::allocator<char> >) ()
18:31 xstill #8  0x00000000033fe1f3 in divine::Draw<divine::instantiate::Setup<divine::TypeList<divine::instantiate::algorithm::Draw, divine::instantiate::generator::Dve, divine::instantiate::transform::N
18:31 xstill one, divine::instantiate::visitor::Partitioned, divine::instantiate::store::DefaultStore, divine::instantiate::topology::Local, divine::instantiate::statistics::NoStatistics> > >::graphviz()
18:31 xstill ()
18:31 xstill #9  0x00000000033fda64 in divine::Draw<divine::instantiate::Setup<divine::TypeList<divine::instantiate::algorithm::Draw, divine::instantiate::generator::Dve, divine::instantiate::transform::N
18:31 mornfall http://divine.fi.muni.cz/trac/ticket/201
18:31 xstill one, divine::instantiate::visitor::Partitioned, divine::instantiate::store::DefaultStore, divine::instantiate::topology::Local, divine::instantiate::statistics::NoStatistics> > >::run() ()
18:31 xstill #10 0x0000000003271fdf in divine::Main::run() ()
18:31 xstill #11 0x000000000326684d in divine::Main::Main(int, char const**) ()
18:31 xstill #12 0x00000000032653bf in main ()
18:32 mornfall aha
18:32 xstill zajímavé že to teď neřekne výjimku
18:36 mornfall race ve wibble a už tam je spoustu let :-)
18:38 mornfall můžeš nakopírovat ten trace do toho tiketu a otevřít ho? příležitostně to opravim :-)
18:42 xstill nechtěl bys třeba mít v tracu v komponentách wibble?
18:42 mornfall třeba i jo
18:43 xstill bys ho tam mohl přidat
18:45 mornfall přidal jsem, a rovnou jsem tě upgradoval na admina
18:46 xstill jo povýšil jsem :-D, sakra teď po mě budete chtít abych se o to staral :-(
18:47 xstill hm Pivník by uplně nemusal být admin
18:54 mornfall /nix/store/x3ihcwksifjzk1nhdbvw7vf39r0v5prr-gcc-wrapper-4.8.2 bingo
18:57 xstill dobrý, a toho jsi dosáhl jak?
18:59 mornfall opravil jsem to :-)
18:59 mornfall je to v stdenv-updates
18:59 mornfall -> pull
18:59 xstill aha, jasný já sledoval master
21:00 xstill to je docela zákeřný, že když člověk v cmake změní llvm-config tak se lib a include cesty k llvm nezmění
21:18 xstill podle tracu to vypadá poměrně dobře, jen nevím co chceš dělat s tou detekcí memory leaků...
21:19 mornfall dneska už nic :D
21:21 xstill :-D
22:26 spito joined #divine

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