Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-02-01

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

All times shown according to UTC.

Time Nick Message
01:45 ilbot3 joined #divine
01:45 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
08:38 xstill_ joined #divine
08:43 zbeasnyy joined #divine
10:56 xstill hydra se zase nerozjela, restartoval jsem ji
10:56 mornfall asi 7 vteřin po mně
10:57 xstill :-D
11:14 mornfall ale nevypadá že by se chtěla probudit...
11:16 mornfall dal jsem si hydra-eval-jobs do strace tak uvidíme co zjistím
11:19 mornfall ten evaluátor je úplně uhozenej :-P
11:20 mornfall jako jo, problém je v tom že build-remote a/nebo nix-build se občas prostě sekne a ono to zůstane celý viset donekonečna
11:26 xstill no super
11:26 mornfall už je to tu zas
11:38 mornfall xstill: no, on totiž nějak došel k tomu že evaluator buildí nějaký job-y
11:38 mornfall wtf wtf
11:40 xstill jako, že něco běží lokálně?
11:41 mornfall ne, jako že hydra-evaluator buildí job kterej normálně trvá několik hodin
11:41 mornfall místo aby to dělal queue-runner
11:41 xstill wtf
11:43 mornfall on je to možná bug v tom jobsetu, ale ... to je hodně divný
12:14 mornfall hm, ten nix je nějakej úplně divnej
12:49 mornfall xstill: existuje nějaká možnost že create-group --hold neskončí?
12:49 mornfall protože celý to zůstává viset na tom, a build-remote se určitě neměnilo
12:51 mornfall (zcela deterministicky, build-remote zapíše done a skončí, ale to ssh s --hold zůstane viset)
12:51 xstill hm, nevím
12:51 xstill už si ani nepamatuju co ten hold dělá
12:51 xstill ale podívám se
12:51 mornfall (možná je chyba že ten --hold podědí filedeskriptor na stdout nebo stderr, takže dokud neskončí tak celej ten build čeká)
12:52 mornfall asi na stderr
12:52 mornfall každopádně hydra nefunguje kvůli tomuhle
12:54 mornfall hm, když to pustím interaktivně tak to normálně skončí
12:54 xstill jako je tam exit 0 po tom co to přečte done a odregistruje se
12:55 xstill takže moc nevím jak by to mohlo neskončit
12:55 xstill i kdyby se ta odregistrace nepovedla tak by to mělo skončit
12:58 xstill leda by tam byl deadlock
12:59 mornfall to asi ne, čeká to v read(0, ...)
13:00 xstill hm, 0?
13:00 xstill teda co čeká
13:01 xstill blbnu
13:03 xstill jako dsched čeká, jo?
13:03 mornfall jo
13:03 mornfall vypadá to jako kdyby k němu to done nedošlo
13:03 mornfall ale však to pár dnů dozadu normálně fungovalo... achjo
13:16 mornfall hm
13:16 mornfall mohl by to být race
13:16 mornfall kterej se předtím projevoval jen někdy a teď skoro vždy
13:17 mornfall dělám deploy s nějakýma opravama... uvidíme
13:17 xstill race kde?
13:21 mornfall těžko říct... přijde mi že ten --hold zůstává viset na jiným stroji než kterej buildoval
13:22 mornfall takže buď to omylem dostane 2 build stroje, nebo zůstává viset nějakej fail
13:22 mornfall (ale jak by mohl dostat 2x ok mi není úplně jasný, jinak než že readline v perlu se vrátí dřív než má)
13:24 mornfall hm, fakt to je nějaký nemocný
13:30 xstill to je dost divný no
13:31 xstill nevíš náhodou proč se všechny operace s sysinfo zamykaj?
13:31 mornfall aby toho nebylo málo tak místo ($$: ok, group...) to píše )$$: ok, ... bez závorky na konci
13:31 mornfall který kde?
13:32 xstill sysinfo.cpp
13:32 mornfall jo v divine?
13:32 xstill jo
13:33 mornfall tak to co je uvnitř typicky není zrovna threadsafe
13:33 mornfall ty data jsou globální
13:34 xstill ok
13:37 mornfall ha, . v perlu matchuje \r ...
13:37 mornfall to je zase
13:38 mornfall nicméně první ssh vždycky hodí fail a přesto zůstane viset
13:38 mornfall to nedává moc smysl co?
13:39 mornfall je teda pravda že pokud se v ID cgroupy vyskytne podřetězec fail, tak se to lehce zblázní
13:40 xstill to asi není úplně pravděpodobné ale
13:41 mornfall no, to že by se to stávalo pokaždý je asi dost unlikely
13:50 mornfall )18607: error on buildfarm@pheme08.fi.muni.cz, got: Removing of buildfarm_UvX1f1sgJtO1SZBcyik0owEQJCtiiGDP in memory failed. You will probably need to contact your administrator.
13:50 mornfall tak je to jasný no
13:50 mornfall to matchovalo na fail
13:53 xstill hm, ty máš ssh -tt?
13:53 xstill to filnuté odstraňování může být nějakej race v dsched
13:54 xstill ale pokud bys neměl interaktivní terminál tak bys to neměl vidět
13:54 mornfall mám, protože bez toho když zabiješ ssh tak na druhý straně zůstane viset
13:54 mornfall teda ten podstrom
13:54 xstill cjo
13:55 xstill můžu vypnout interactive v --hold
13:55 mornfall to by mohlo pomoct no :-)
13:58 mornfall počítám že --hold když mu zavřeš stdin tak spáchá sebevraždu nějak civilizovaně?
13:58 xstill opraveno, můžeš pouštět deploy
13:58 xstill hm
13:58 xstill měl by
13:59 xstill pokud teda <STDIN> vrátí false
13:59 mornfall ok, už to je opravený aj na straně build-remote
13:59 mornfall vrátí undef
13:59 mornfall (to je false)
13:59 xstill je to ve while, takže to je ejedno
13:59 mornfall takžé deploy
13:59 mornfall e*
13:59 mornfall a hydra snad bude fungovat zase
14:01 xstill no a já musím jít opravovat automaty
14:02 mornfall a já jíst a pak cvičit &c.
14:41 xstill hm, to už se mi dlouho nestalo, že bych přišel do paradise a nikdu tu nebyl
14:41 xstill mornfall: ten zelenej zvýrazňovač jsi v pátek dal kam?
14:50 mornfall na stůl u vzdálený zdi, doprostřed
14:51 xstill aha, to mě mohlo napadnout :-D
16:40 spito joined #divine
17:00 spito_ joined #divine
17:04 spito joined #divine
17:04 spito left #divine
17:49 mornfall release začíná vypadat na spadnutí
17:50 xstill :-)
17:51 xstill … jen aby to nespadlo :-D
17:51 mornfall ále
17:52 mornfall no, spíš se bojim o ty posudky :|
17:52 spito padají?
17:52 mornfall mně se do toho tak hrozně nechce
17:55 spito mně se taky nechtělo do Javy a ubouchal jsem ji
17:55 spito :P
17:58 spito jinak teďka v pátek nepřijdu
17:58 spito a pak za 3 týdny (1. týden semestru) taky ne
20:18 xstill a můžeme dělat release :-)
21:07 spito nádhera, se to zelená jako na jaře
21:08 mornfall hm, a já mam nějaký C v rozvrhu...
21:09 spito hehe
21:09 spito není to náhodou to, co jsi chtěl?
21:09 mornfall nevim, náhodou možná
21:10 mornfall co je to chtít
21:15 spito no, to je nejspíš otázka pro filozofa
21:15 mornfall přesně tak
21:16 spito hehe, to znc fakt funguje
21:20 mornfall tyjo, fakt? nepovídej

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