Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-03-15

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

All times shown according to UTC.

Time Nick Message
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/
09:46 mornfall tak a teď mi řekněte co kdo provedl se serverama
10:16 mornfall tak bych řekl že umřelo veškerý SCSI na antee
11:01 spito mornfall: já to nebyl
11:02 spito i arke je porouchaná
11:10 spito a nemá to třeba nějakou souvislost s tím, jak xstill zmizel?
11:10 mornfall nevím, ale neřekl bych
11:10 mornfall včera to fungovalo
11:16 spito taky pravda, jsem se v noci ještě koukal
11:17 spito co s tím? udělat si výlet do brna, nebo jde tohle opravit na dálku?
11:18 mornfall to záleží od toho co se vlastně porouchalo a jak
12:28 xstill joined #divine
12:30 spito xstill: že jsi na půl dne zmizel? Jinak zase legrace s arke/anteou/annou, nefungují disky.
12:33 xstill spito: zmizel protože jsem včera večer vypnul počítač doma, no a za disky já nemůžu
12:33 spito To ti nikdo nedává za vinu.
12:53 mornfall horší je že na velkých .bc souborech ta statická analýza do deseti minut nedoběhne (ani v release buildu)
13:04 spito Jaká statická analýza? My něco takového máme?
13:04 mornfall no ten alokátor registrů
13:05 spito a ten se pouští pro každý stav?
13:05 mornfall ne
13:05 mornfall to by bylo aby se jeden stav generoval deset minut
13:08 spito Takže to jenom prostě dlouho trvá. Nedalo by se to udělat nezávislé pro každou funkci?
13:09 mornfall to už je
13:09 mornfall jen nejde poznat který funkce se reálně zavolaj a který ne
13:13 spito No dobře, nešlo by tenhle výpočt paralelizovat?
13:14 mornfall no, já budu doufat že to jde udělat nějak výrazně rychlejš aj bez paralelizace
13:14 mornfall ono 3 minuty je taky dost dlouho :-)
13:14 mornfall třeba pro model co má pak 10000 stavů
13:14 xstill to je to tak náročný k délce funkce?
13:15 mornfall no, zhruba kubický
13:15 spito Jo a ještě jsem si říkal - nebylo by vhodnější dát implementaci každé funkce/metody z VFS do samostatného souboru?
13:15 mornfall to je asi jedno
13:15 xstill to je nějak dost…
13:16 spito Tak linker by mohl nějaký nepoživaný věci vyhodit.
13:16 spito a těch funkcí tam je docela dost.
13:16 mornfall za to může spíš libstdc++ než vfs
13:16 mornfall hlavně ani nejde tak o to jak moc funkcí tam je, spíš jak jsou dlouhý
13:18 xstill hej ale to musí prostě jít, kompilátory běžně dělaj nějakej ten register interference graf tak to nemůže trvat dýl než kompilace
13:21 mornfall nj, překladače typicky nemaj k dispozici kilobajt registrů ;-)
13:22 xstill no jenže ten interference graf se dělá právě z instrukcí a pak se na na to mapujou registry myslím
13:23 spito A kdybys omezil paměť registrů, tak by to bolelo?
13:26 mornfall to nejde z principu
13:26 mornfall někam ty hodnoty dát musíš
13:27 spito Na zásobník do proměnných?
13:27 spito (Nebo to je to, čemu se chceme vyhnout?)
13:27 mornfall ne, takhle to prostě vůbec nefunguje :-)
13:29 xstill z čeho je to kubické?
13:34 xstill a teda llvm dělá register allocation nad ssa prý (www.llvm.org/devmtg/2011-11/Olesen_RegisterAllocation.pdf sl. 3)
13:39 mornfall nojo, ale oni furt řeší úplně jinej problém
13:40 mornfall interference graf je n^2
13:40 xstill [root@antea:~]# ls /home
13:40 xstill ls: cannot access /home/xzimmer: Input/output error
13:40 xstill ls: cannot access /home/brim: Input/output error
13:40 mornfall kdybys to chtěl obarvovat, tak to budeš obarvovat n-krát
13:41 xstill a pak to teda tak řádově po minutách vypsalo složky
13:41 mornfall zajímavý
13:41 mornfall (protože nevíš kolik registrů potřebuješ, tzn. začneš jednou barvou, pak dvěma, etc. než se ti to povede)
13:41 xstill no já z toho právě pochopil, že obarvovat to nechtěj
13:41 mornfall no nechtěj, ale oni potřebujou napočítat spill instrukce, který nám jsou k ničemu
13:42 xstill no dobře ale i tak musí napočítat ty závislosti, když budeš mít závislosti tak už ten first-fit udělář rychle ne?
13:51 xstill nicméně teď by bylo vhodnější vyřešit ten home, bez něj nebudeme mít moc aktuálních experimentů do paperu…
13:55 xstill hm, tak hashset teď vygenrovat 620M stavů místo 420M (a skončil), to je poněkud podezřelé, ten model jsem nepřekompilovával…
13:55 xstill uvidím jestli číslo bude sedět na jiném splitteru
13:56 xstill což se teda dozvíme tak v úterý :-/
14:12 mornfall no to já úplně nevim jak to řešit (ty disky)
14:12 xstill a v jakém stavu je iscsi?
14:19 xstill ono je spíš celé vadné to pole, protože /srv/www taky moc nejede
14:21 mornfall nepamatuješ si heslo? :)
14:33 mornfall hm, iscsi vypadá žé funguje a disky v iscsi jdou normálně i číst tak mi přijde
14:33 mornfall (/dev/sdd)
14:34 mornfall můžu rebootnout vtrak
14:34 mornfall protože ten nereaguje...
14:40 spito Co se pokazilo teď?
14:41 xstill teď snad už nic dalšího, to jsou pořád ty home
14:42 xstill mornfall: ale teda /data/install a spol na vg2 jede zdá se
14:43 xstill aj cache jede
14:43 mornfall cache je lokální
14:51 spito nojo, ale jaká součástka se rozbila?
14:51 spito Není to ta samá jako minule?
14:58 mornfall xstill: možná bude nejlepší anteu rebootovat, řekl bych že porouchaný je něco v scsi ovladači
15:01 xstill mornfall: pokud se ti nepodělá thecus tak klidně, ipmi nám tam zdá se funguje tak snad nedojde ke katastrofám
15:27 mornfall no, asi všechno funguje (ale na /home běží fsck tak to chvíli potrvá)
16:01 mornfall no, je to nekonzistentní ale asi to funguje
18:12 mornfall v podstatě to nedělá nic jinýho než __cxa_demangle celou dobu
18:13 xstill co? chybí mi kontext
18:13 mornfall registry
18:13 xstill proč to dělá demangle?
18:13 mornfall ale trochu kecám
18:16 mornfall pocítám že proto že má přes 7000 virtuálních registrů
18:16 xstill to je nějak hrozně moc, ne? Co je to za věc?
18:17 mornfall pár optimalizacema jsem se dostal z pár iterací za sekundu na pár tisíc, ale furt to trvá hrozně dlouho :|
18:18 mornfall xstill: no, začíná to tím že to naalokuje nějakých 250 lokálních proměnných
18:18 mornfall povětšinou std::string-y
18:19 mornfall jo a potřebuje to 6.5KB na stackframe
18:20 mornfall hm, to je ta menší z nich, ta větší potřebuje 13K
18:20 xstill wtf, kde se to bere?
18:20 mornfall libcxxabi počítám
18:21 mornfall jako je to 4000 řádek C++
18:21 mornfall external/libcxxabi/src/cxa_demangle.cpp
18:23 mornfall hm, já to hlavně teď rozbil takže to stejně napočítalo úplný haluze :P
18:23 xstill to je nějak zainlinovaný nebo co? ty funkce tam nejsou až tak dlouhý pokud vidím
18:23 mornfall jo, asi se toho dost zainlinuje
18:24 mornfall vypadne z toho pár funkcí, všechny velký jak prase
18:27 mornfall ale lepší než kvadratický to asi nebude ani když se postavím na hlavu
18:28 mornfall a 7000^2 je dost velký číslo
18:29 mornfall když budu počítat ten graf hodně chytře tak by to ale mohlo fungovat

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