Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-09-24

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

All times shown according to UTC.

Time Nick Message
00:12 divine-buildbot Hey! build divine-next-debug #15 is complete: Success [finished]
00:47 divine-buildbot Hey! build divine-next-debug #13 is complete: Success [finished]
01:06 divine-buildbot Hey! build divine-next-website #8 is complete: Success [finished]
03:15 divine-buildbot Hey! build divine-debug #32 is complete: Failure [finished]
03:37 divine-buildbot Hey! build divine-release #26 is complete: Failure [finished]
03:37 zbeasnyy joined #divine
03:38 mornfall joined #divine
03:41 divine-buildbot joined #divine
03:53 ilbot3 joined #divine
03:53 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
04:20 divine-buildbot joined #divine
04:23 divine-buildbot Hey! build divine-next-debug #12 is complete: Success [finished]
04:25 zbeasnyy joined #divine
07:35 divine-buildbot build #16 of divine-next-debug started
07:35 divine-buildbot build #16 of divine-next-release started
07:35 divine-buildbot build #12 of divine-next-website started
07:35 spito joined #divine
07:35 xstill joined #divine
07:35 spito joined #divine
08:06 xstill mornfall: máš tam patch na odstranění cases z unionu
08:15 divine-buildbot build #17 of divine-next-debug started
08:15 divine-buildbot build #17 of divine-next-release started
08:15 divine-buildbot build #13 of divine-next-website started
08:17 xstill mornfall: musím nějak specielně registrovat nové testy v bricksu (v souboru, kde předtím žádné nebyly)?
08:17 mornfall ani ne
08:18 xstill a podle čeho to pozná, které sobory to má testovat?
08:19 mornfall file( GLOB SRC "${dir}/brick-*[a-z]" )
08:24 xstill aha ne, problém je, že test-divine to dělá podle divine hlaviček, ale ten bricsový include je jen v .cpp
08:25 mornfall asi nic nebrání testovat aj *.cpp
08:26 xstill jo, to asi nebrání
08:33 xstill gdb ten divine těžce nedává, když už to funguje tak tomu jeden step trvá desítky vteřin
08:40 xstill jo, super, teď gdb prostě skončilo, zmáčnu tab a najednou konec, ani žádný signál, ani chybový návratový kód, prostě se to ukončí…
08:44 divine-buildbot Hey! build divine-next-website #12 is complete: Success [finished]
08:57 xstill no s těma cpp v testech je problém, pak by se to muselo kompilovat úplně separátně od libdivine
08:58 xstill zas naregistrovat ty testy i v libdivine asi taky není dobrý nápad
08:58 mornfall není no
09:02 xstill možná by šlo vytahat jaké brics divine cpp includují a ty tam přidat
09:02 mornfall no nebo prostě přidat do make unit test-bricks
09:03 xstill jo, to by snad už taky šlo, pokud nevím jestli nemáme nepotrované bricsy, ale zkusím
09:03 mornfall neportované kam?
09:04 xstill asi nic, blbnu
09:06 xstill měl jsem pocit, že některé bricksy byly rozbité
09:07 xstill jo, třeba rpc, ale to bude vesměs triviální opravit
09:14 xstill to že nám teď některé bricks testy běží dvakrát počítám moc nevadí
09:14 divine-buildbot Hey! build divine-next-debug #17 is complete: Success [finished]
09:16 divine-buildbot Hey! build divine-next-website #13 is complete: Success [finished]
09:18 xstill mornfall: zbavil jsem se brick-process a implementoval předávání stdin do brick-proc + ty testy
09:21 xstill jinak včera jsem přemýšlel, že výrazně lepší statická escape analýza by asi byla složitá jak jaderná elektrárna a si to nemá moc smysl dělat bez slušné points-to analýzy
09:22 xstill s/si/asi/
09:23 zbeasnyy jo, já tím chtěl podchytit hlavně ty jednoduché případy
09:24 zbeasnyy ty složitější snad chytneme dynamicky, ale míň __vm_interrupt = menší overhead
09:24 zbeasnyy a případně pokud bude ta dynamická drahá, tak nám tohle chytne aspoň část a ta dynamická může být optional
09:24 zbeasnyy uvidíme
09:25 xstill pokud by byla dynamická drahá tak bude mít smysl implementovat i složitejší statickou, ale spíš doufám, že drahá až tak nebude
09:29 divine-buildbot Hey! build divine-next-release #16 is complete: Success [finished]
09:35 divine-buildbot build #18 of divine-next-debug started
09:35 divine-buildbot build #18 of divine-next-release started
09:35 divine-buildbot build #14 of divine-next-website started
09:38 xstill proč jsi smazal ty linky na -cc/-ld?
09:38 xstill mám teď konflinkt, amendnu ten 1. cmake patch
09:39 mornfall no, nelíbí se mi ten hack v divine/ui a navíc to mělo nějaký pošahaný závislosti, takže se to pouštělo furt dokola
09:40 xstill ok
09:40 xstill (konflikt opraven)
09:41 divine-buildbot Hey! build divine-next-debug #16 is complete: Success [finished]
09:41 mornfall divine-cc a divine-ld by asi bylo lepší mít jako samostatný binárky, nebo aspoň nějak dořešit že to zavazí v help-u
09:42 mornfall ale symlinky a rozhodování podle argv[0] je celkově nevalný
09:43 mornfall (skoro si myslím, že by to mělo fungovat i když se ta binárka zavolá jako cc/gcc/g++/.../ld, on to někdo dříve nebo později zkusí)
09:44 xstill hm, jo to dává smysl
09:45 mornfall už to že gcc -x c++ a g++ se liší ve volání linkeru je dost záludný :-)
09:47 mornfall vyrobil jsem 3 repa/branche nalinkovaný z /srv/www/divine
09:48 mornfall next je next, se vším co tam hrozí (třeba XXX patche)
09:48 mornfall z next-u se do nightly každou noc pullne všechno co není XXX nebo na XXX nezávisí
09:48 mornfall když tam projde make check na arke v debug-u, tak se to pushne do current
09:49 mornfall buildbot by asi mohl tahat z nightly a z current (a asi by mohl pouštět testy v asan buildu)
09:50 mornfall co je novýho v nightly a případně jak moc je to rozbitý asi nechám posílat na divine@
09:54 mornfall a mám dojem, že git (openhub) je z toho komplet přegenerovávání dost nešťastnej...
09:55 mornfall ale je to divný, čekal bych, že se to chová deterministicky
09:55 mornfall a že git nemá jak poznat že jsem zničil repo a vygeneroval to stejný jen delší
09:57 xstill ok, i když mně dává smysl pustit buildbota i na nextu (alespoň jeden build, buď debug nebo asan)
09:58 xstill ten next počítám jen symlink na ten co mám teď?
09:59 mornfall jen pak nesmí používat darcs pull, ale vždy novej get
09:59 xstill jo, vždy novej get (na všech buildech to tak mám)
09:59 mornfall jo, pak je to asi jedno
09:59 xstill i ten poller funguje tak, že udělá get a pak diffne hashe patchů
10:00 mornfall ok
10:00 mornfall next je skutečně ten v ~xrockai/src/divine/next
10:20 divine-buildbot Hey! build divine-next-release #17 is complete: Success [finished]
10:21 xstill heh, llvm-tblen přeložený asanem nefunguje…
10:21 mornfall to je zase výhra
10:21 xstill ale to je docela divný, protože kdysi to fungovalo a s llvm jsme nic nedělali pokud vím
10:21 xstill (teď se nepřeloží)
10:22 mornfall no je možný že jsem někde rozhasil flagy
10:22 mornfall makefile jsem dost měnil
10:24 xstill nevypadá to
10:25 mornfall ještě jsem hrábl na -fPIC a tys něco měnil s -nostd* ... nic jinýho si nepamatuju
10:27 xstill ono si to rekurzivně zalová inicializaci z dynamického linkeru
10:31 xstill achjo: https://llvm.org/bugs/show_bug.cgi?id=27310
10:32 xstill takže asan bude až portujeme na nové LLVM
10:36 divine-buildbot Hey! build divine-next-website #14 is complete: Success [finished]
11:03 yaqwsx joined #divine
11:26 xstill proč divine nevypisuje jaký fault nastal?
11:27 xstill E: .../divine/vm/debug.cpp: 298:
11:27 xstill | [ 0:22]   expected CT
11:28 xstill (/home/xstill/DIVINE/divine4/test/cpp/thread-executes.cpp)
11:30 mornfall jo, to je nějakej composite typ co není struktura asi, budu se na to muset podívat (nejspíš večer)
11:32 mornfall když si zakomentuješ volání toho struct_fields tak by to mělo jinak fungovat
11:33 xstill ok
11:38 xstill aha, divine neumí ty backtrace z jiného než hlavního vlákna, že?
11:38 xstill to já se pak divím, že mi nefungují testy
11:39 divine-buildbot Hey! build divine-next-release #18 is complete: Failure [finished]
11:45 xstill mornfall: jak řeknu simu aby plánoval jinak?
11:48 mornfall thread --random, nebo thread <id>
11:50 divine-buildbot Hey! build divine-next-debug #18 is complete: Failure [finished]
11:55 divine-buildbot build #19 of divine-next-debug started
11:55 divine-buildbot build #19 of divine-next-release started
11:55 divine-buildbot build #15 of divine-next-website started
12:17 divine-buildbot Hey! build divine-next-website #15 is complete: Success [finished]
12:37 xstill celkově nějak moc nefungují backtrace ve verify
12:37 xstill přitom sim mi backtrace vypíše
12:58 ilbot3 joined #divine
12:58 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
13:34 zbeasnyy sim ma vic dat
14:00 divine-buildbot Hey! build divine-next-release #19 is complete: Success [finished]
14:16 divine-buildbot joined #divine
14:23 divine-buildbot joined #divine
14:23 divine-buildbot joined #divine
14:37 divine-buildbot Hey! build divine-next-debug #19 is complete: Success [finished]
15:21 divine-buildbot joined #divine
15:21 divine-buildbot build #1 of divine-nightly-debug started
15:21 divine-buildbot build #1 of divine-current-debug started
15:21 divine-buildbot build #1 of divine-nightly-release started
15:21 divine-buildbot build #1 of divine-current-dist started
15:21 divine-buildbot build #1 of divine-current-release started
15:28 divine-buildbot build #20 of divine-next-debug started
15:29 divine-buildbot Hey! build divine-next-debug #20 is complete: Failure [finished]
15:30 divine-buildbot build #21 of divine-next-debug started
15:30 divine-buildbot Hey! build divine-next-debug #21 is complete: Failure [finished]
15:36 divine-buildbot joined #divine
15:36 divine-buildbot build #22 of divine-next-debug started
15:36 divine-buildbot Hey! build divine-next-debug #22 is complete: Failure [finished]
15:38 divine-buildbot joined #divine
15:39 divine-buildbot build #23 of divine-next-debug started
15:39 divine-buildbot Hey! build divine-next-debug #23 is complete: Exception [finished]
15:41 divine-buildbot joined #divine
15:41 divine-buildbot build #24 of divine-next-debug started
15:41 divine-buildbot Hey! build divine-next-debug #24 is complete: Exception [finished]
16:12 divine-buildbot joined #divine
16:30 divine-buildbot build #2 of divine-nightly-release started
16:30 divine-buildbot build #2 of divine-current-debug started
16:30 divine-buildbot build #2 of divine-nightly-debug started
16:30 divine-buildbot build #2 of divine-current-dist started
16:30 divine-buildbot build #2 of divine-current-release started
16:30 divine-buildbot build #1 of divine-nightly-website started
16:30 divine-buildbot build #1 of divine-current-website started
16:34 xstill ten branch co jsi dělal kvůli buildbotu ještě existuje?
16:53 divine-buildbot Hey! build divine-current-website #1 is complete: Failure [finished]
17:10 divine-buildbot Hey! build divine-next-debug #28 is complete: Failure [finished]
17:30 divine-buildbot Hey! build divine-current-debug #2 is complete: Failure [finished]
17:30 divine-buildbot Hey! build divine-nightly-release #2 is complete: Failure [finished]
17:30 divine-buildbot Hey! build divine-nightly-debug #2 is complete: Failure [finished]
17:30 divine-buildbot Hey! build divine-current-dist #2 is complete: Failure [finished]
17:30 divine-buildbot Hey! build divine-current-release #2 is complete: Failure [finished]
17:30 divine-buildbot Hey! build divine-nightly-website #1 is complete: Failure [finished]
17:53 divine-buildbot joined #divine
17:53 divine-buildbot build #29 of divine-next-debug started
18:01 yaqwsx joined #divine
18:25 xstill heh, cmpxchg bylo blbě
19:11 ilbot3 joined #divine
19:11 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
19:15 xstill_ joined #divine
19:15 mornfall xstill: ten mainline? existuje, ale zrušil bych ho
19:17 mornfall v cmpxchg zjevně překlep z opravy jiného bugu v cmpxchg :)
19:17 mornfall z úterka
19:18 mornfall nevšim jsem si toho protože všechny testy co na to máme procházely
19:18 xstill jo, protože z dokumentace těch intrinsiků není jesné, jestli nějak ten bool vrací (ale asi musí, protože nějak se k tomu libc++ musí dostat)
19:19 xstill každodádně mezi functional testy co jsem přidával jsou i testy na atomic
19:20 xstill (a taky testy co padaj kvůli chybějícímu nebo rozbitému backtrace)
19:20 mornfall jo, tam je fakt problém v tom, že verify musí ten backtrace vymlátit ze stavu
19:21 mornfall kdežto sim má registr kterej ukazuje na běžící frame
19:22 mornfall taky sim neumí vypsat backtrace jinýho vlákna než zrovna běží (ze stejného důvodu)
19:22 xstill a nemůže se to dozvědět podobně jako se sim dozvídá kolik je vláken? že by k nim dostával i frame třeba?
19:23 mornfall to by v principu mohl, ale to verify úplně nepomůže
19:23 xstill proč ne?
19:24 mornfall ten trace je drahej, takže se pod verify nepouští
19:24 mornfall a verify zatím neumí přepnout mód jen na protipříklad
19:24 mornfall teda verify, hlavně dios to asi neumí :)
19:25 divine-buildbot_ build #30 of divine-next-debug started
19:25 mornfall tam je krapet zrada, že se tohleto nastavení nesmí projevit ve stavu, jinak verify nikdy neposkládá trace
19:26 mornfall asi to bude potřeba narvat do _VM_CR_Flags
19:26 mornfall vlastně ne, kecám
19:26 mornfall dios to řeší přepnutím scheduleru na jinej
19:26 xstill aha já právě myslel, že se to pak puští podél těch choice protože to nějaký trace myslím někde vypisovalo
19:26 mornfall to by mělo jít zařídit
19:27 mornfall no to by šlo taky, ale muselo by se to projít 2x
19:27 mornfall a ono to taky není úplně zadarmo
19:28 mornfall ono se to pustí podél stavů, protože neumíme moc dobře ukládat choice na první průchod
19:28 mornfall ukládá se klasickej parent graf ze kterýho se pak konstruuje ten seznam voleb
19:28 xstill aha
19:28 mornfall (na jedný hraně může být volání __vm_choose dost libovolně mnoho)
19:29 xstill jasný
19:31 mornfall ty dva patche co jsem nastáhl do next-u mají překlepy (test were a v druhým furure v názvu souboru), kdybys je mohl amendnout
19:32 mornfall ale ty testy bych asi nechal ještě i tak, pokusím se nějak zítra dořešit ty backtracy
19:34 mornfall jo to struct_fields jsem chtěl vykoumat
19:35 divine-buildbot_ build #31 of divine-next-debug started
19:42 xstill hm, co je zas stou pythia01
19:44 xstill amendnuto
19:45 divine-buildbot_ build #32 of divine-next-debug started
19:48 xstill heh, abychom při téhle délce buildů neprodukovali za chvíli patche rychleji než se to stihne zbuildit :-D
19:49 xstill a to ještě z darcsu to generuje jeden build na jednu notifikaci, zatímco z gitu na jeden commit
19:49 xstill (hlavně asi proto, že to jaksi v darcsu neví moc co jsou nové commity)
20:33 ilbot3 joined #divine
20:33 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
20:35 divine-buildbot_ Hey! build divine-next-debug #29 is complete: Success [finished]
20:40 yaqwsx joined #divine
20:53 ilbot3 joined #divine
20:53 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
20:55 xstill i ten thread-starts mi padá
20:55 xstill případně na pythia01 je k tomu i build
21:00 mornfall jo, --threads 1 jsem tam nenapsal
21:00 mornfall asi to našlo jinej protipříklad
21:05 xstill --max-memory nefunguje?
21:05 mornfall nefunguje no
21:05 mornfall not implemented :)
21:06 mornfall monitoring celkově tam žádnej není
21:06 xstill no, spíš to nic nedělá a vesele to žere paměť :-D
21:06 mornfall no jako že to prostě není implementovaný
21:07 mornfall všechno bude
21:10 xstill :-)
21:11 xstill na tom je nejsmutnější že kromě cgrup na to neexistuje nehackovité řešení a cgrupy jsou na to tady dost nepoužitelný
21:18 mornfall no, na linuxu
21:18 mornfall jinde funguje setrlimit...
21:19 mornfall RLIMIT_DATA     The maximum size (in bytes) of the data segment for a
21:19 mornfall process; this includes memory allocated via malloc(3) and
21:19 mornfall all other anonymous memory mapped via mmap(2).
21:22 mornfall hm, cos dělal? /core.14697: ELF 64-bit LSB core file x86-64, version 1 (SYSV), SVR4-style, from '/usr/lib/systemd/systemd-journald', real uid: 0, effective uid: 0, real gid: 0, effective gid: 0, execfn: '/usr/lib/systemd/systemd-journald', platform: 'x86_64'
21:22 mornfall (na arke)
21:22 mornfall 2 týdny starý to je
21:34 yaqwsx joined #divine
22:06 ilbot3 joined #divine
22:06 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
22:14 divine-buildbot_ Hey! build divine-next-debug #31 is complete: Failure [finished]
22:43 divine-buildbot_ Hey! build divine-next-debug #32 is complete: Failure [finished]
22:47 divine-buildbot_ Hey! build divine-nightly-website #2 is complete: Success [finished]
23:00 divine-buildbot_ Hey! build divine-current-dist #3 is complete: Failure [finished]
23:02 divine-buildbot_ Hey! build divine-current-website #2 is complete: Success [finished]
23:05 divine-buildbot_ build #33 of divine-next-debug started
23:09 divine-buildbot_ Hey! build divine-nightly-release #3 is complete: Failure [finished]

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