Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-07-20

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

All times shown according to UTC.

Time Nick Message
07:51 spito joined #divine
07:57 xstill tak, https://paradise.fi.muni.cz/~xstill/plot.pdf ale zajímalo by mě proč mi někde chybí data
07:58 xstill podle mě to vypadá celkem dobře (jako graficky a čitelností)
08:07 xstill ještě si teda musím pohlídat osy
08:31 xstill tak osy by byly, fixnul jsem y v 0 rači
08:46 xstill hm, asi bude nejrozuměnší zjistit kvalitu samplů tou tvou metodou na čas/# hran a potom vyplotovat minimum + median + maximum času
08:46 xstill zkusím to naprogramovat
08:54 xstill hm, vtipný je, že ty data co chyběj v souborech jsou
08:59 xstill hm zdá se že gbd moc neumí catchpointy :-(
09:00 xstill ne gdb je na arke úplně vadný
09:01 xstill libovolný p ho zabije
09:02 xstill teda může to být tím, že je to v labdě v lambdě taky
09:04 xstill nojo, mě přežije to načítání z 20 samplů na tak 0-7, kde se sakra ztrácí
09:19 mornfall dobře že jsem se na to vyspal, protipříklad je zcela triviální... vložil jsem do tabulky nulu a ona tam pak nebyla :-)
09:22 xstill a má tam být nebo se tam nesmí vkládat 0?
09:23 mornfall to záleží na tom jak definuješ neplatnou buňku, ale když je to 0 tak to pak nemůže fungovat
09:23 mornfall (a test_hasher dělá přesně to :-)
09:23 xstill wtf. readdir mi na některé soubory dává d_type == DT_UNKNOWN
09:24 mornfall jo
09:24 mornfall to může vždycky a ty se s tím musíš umět srovnat
09:24 mornfall horší je že občas dává DT_REG i když to je device :-)
09:25 mornfall (to se stane přesně když je ten soubor bind-mountovaný)
09:26 xstill no docela diné na tom je, že to dává pro některé soubory v jedné složce a pro ostatní ne
09:26 mornfall to All applications must  properly  handle  a  return  of DT_UNKNOWN.
09:26 mornfall píše man :-)
09:26 mornfall ona to je čistě optimalizace -- vrátí to hodnotu jen když ji dokáže „levně“ sehnat
09:29 xstill hm
09:29 xstill jo tak teď už by grafy měli být z reprezentativních dat
09:30 xstill jo a https://paradise.fi.muni.cz/~xstill/plot-median.pdf je jen median + min/max
09:31 mornfall je zvykem kreslit spíš medián a kvartily :)
09:32 mornfall min a max jsou hrozně nestabilní (obzvlášť max)
09:32 xstill jo jsou
09:32 xstill teda lítá to dost
09:33 xstill zkusím i ty kvartily
09:38 xstill https://paradise.fi.muni.cz/~xstill/plot-kvartil.pdf
09:38 mornfall lepší :-)
09:40 mornfall něco z toho tam rozhodně půjde použít
09:40 xstill zajímavý je, že to lítá i na 1 vlákně když tam není protipříklad
09:40 mornfall :)
09:41 xstill jo ještě naměřím něco
09:41 xstill přinejmenším ty mutexy, ty se k tomu csdr nechovali moc pěkně co jsem zkoušel
09:50 mornfall dokážeme změřit jestli se našel stejnej protipříklad a jak často?
09:51 xstill tak teď ne, ale to by neměl bejt moc problém
09:51 xstill proč?
09:51 mornfall protože píšu úvod ;-)
09:56 xstill tak třeba barrier-1-re-bug-test má 134 unikátních CE na 240 měření
09:56 mornfall :-)
09:56 mornfall s csdr nebo bez?
09:57 xstill 101 z 120 pro Rechability a 33 z 120 pro csdr
09:57 mornfall super
09:57 xstill takže se nikdy nepotkali
09:57 xstill ty dva algoritmy
09:57 mornfall to nevadí
10:00 mornfall svn up
10:09 xstill hezký
10:12 mornfall hm, verify na hashset mi už běží půl hodiny ... :-)
10:26 mornfall asi budu muset zapřáhnout něco většího, už to počítá 40 minut a nezabral ani gigo RSS
10:27 mornfall (s kompresí... bez mi to vypadlo z 6G limitu)
10:27 xstill :-)
10:27 xstill já na arke používám max 6 vláken na benchmarky
10:35 mornfall hm, funguje ti nix na auře? error: cannot connect to daemon at `/nix/var/nix/daemon-socket/socket': Connection refused
10:36 xstill hm nefunguje startování daemona
10:36 xstill pustil jsem ho ručně
10:36 xstill a bude tam nechutně staré nixpkgs
10:36 mornfall to ničemu nevadí
10:37 mornfall já si to klidně natáhnu z cache podle cesty
10:38 xstill jo cache snad nastavená je
10:47 mornfall teď jen trochu pospravovat buildy v hydře :-)
11:58 spito joined #divine
11:58 spito__ joined #divine
12:00 spito__ joined #divine
12:10 xstill hm, pojedu do brna
12:26 mornfall co v Brně?
12:36 mornfall hoho
12:36 mornfall States-Visited: 2742276
12:36 mornfall Property: [assert + memory + arithmetic + leak + user + guard + mutex]
12:37 mornfall Property-Holds: Yes
12:37 mornfall Wall-Time: 10307.388811
12:37 mornfall :-)
12:37 mornfall (jo, skoro 3 hodiny)
13:50 mornfall xstill: blbej dotaz, ale proč má DataPoint překrytý x, y z Point?
13:51 mornfall (bench/plot.cpp)
13:52 mornfall a axe je teda sekyra ;-)
14:56 xstill dobrý (hashset i brno)
14:57 xstill protože su idiot (DataPoint)
14:57 xstill s tou sekerou jsem to nepochopil
14:57 mornfall no, osa je axis
14:57 xstill :-D
14:58 xstill aha já to nějak vím, ale je možný že jsem to někde použíl blbě
14:58 mornfall množné číslo je teda axes
14:58 xstill jop, no on ten kód je dost nekvalitní zatím
15:04 xstill wtf brno.planydopravy.cz přestalo fungovat
15:08 mornfall hm, napoprvé jsem to přečet jako brno plný pravdy :D
15:08 mornfall asi mi lehce hrabe
15:33 xstill hm, já měl pocit že ten mutex deadlock model běží dlouho, asi jsem ho pouštěl v debugu nebo co
15:38 xstill doufám že ČD prodávají brněnské univerzální jízdenky
15:38 xstill chtěl jsem být moderní a pořídit si tu jejich mobilní apku, jenže ten krám neumí objednat jízdenku za apkovou cenu pomocí sms
15:39 xstill takže bez datového tarifu je dost na nic
15:39 xstill a sms jízdenka pořád stojí víc než jednorázová :-(
15:41 xstill https://paradise.fi.muni.cz/~xstill/plot-kvartil.pdf, poslední strana ukazuje trochu negativní dopad csdr, ale ten model je celkem malý
15:44 xstill a k tomu jsem zapoměl wifi i administrační heslo k routeru, ach jo
15:45 xstill a ten papár kde bylo napsaný samozřejmě zmizel
15:49 spito__ joined #divine
16:02 mornfall ach ten spito :D nic jdu na chvíli ven
16:52 xstill ha, konečně po půl roce pořádnej monitor
16:54 xstill jen mám teda blbě namapovaný pozice
17:02 spito__ joined #divine
17:02 mornfall má smysl dělat zejtra divine?
17:03 mornfall spito__: ha, ty umíš vstoupit ve správný moment :D
17:03 mornfall nejseš náhodou v Brně?
17:05 xstill zítra? Jo klidně přijeď do Brna, budu v labu
17:09 mornfall Jiřík má na dopoledne busy, tak jsem mu napsal... takže když tak kolem půl jedný až v jednu, uvidíme co řekne.
17:09 mornfall teda podle kalendáře
17:19 xstill hm, mám tu divine v dost vtipným stavu, model kterej normálně běhá tak v řádu minut už tam visí půl hodiny a z 6 workerů jede jeden
17:19 mornfall shared nebo partitioned?
17:19 xstill kterej urputně kanonizuje nějakej stav už asi alespoň minutu a nechce úplně zkončit
17:19 xstill shared
17:19 mornfall hm
17:19 mornfall a kanonizuje furt ten stejnej stav? :)
17:20 xstill arke, pid = 25632, klidně se attachni
17:20 xstill jo
17:20 xstill byl v machine.cpp:244, hodil jsem finish function a čekal
17:21 xstill je to teda relWithDebInfo, takže je s tím dost těžká práce
17:26 mornfall přidal jsem nějaký reference do svn
17:26 spito__ joined #divine
17:27 xstill jo zítra se tomu budu věnovat nějak intenzivněji, asi bych mohl vymyslet rozumější abstrakt a začít psát algoritmus
17:27 mornfall hm, název tý funkce se mi nevejde na výšku na monitor
17:30 mornfall no, ten stav má něco jako 60k objektů na haldě
17:30 xstill hm, s ohledem na to, že tam neprobíhá dynamická alokace kromě v pthreads je to poněkud podezřelé
17:31 mornfall v 350 kilobajtech
17:31 xstill model = ~xstill/DiVinE/testacases_memics/mutex-partial-deadlock-2.c
17:31 xstill nealokuju explicitně vůbec nic
17:32 xstill teoreticky to může být chyba v pthreads
17:32 mornfall no, já se pokusil vyrobit breakpoint a spadlo gdb
17:33 mornfall a padá dost spolehlivě, takže nevim co s tím no
17:33 mornfall v čem byl ten segv v csdr?
17:33 spito__ joined #divine
17:33 mornfall tohle se klidně mohlo stát i tím že někdo zmanglil nějakej stav někde
17:34 mornfall spito__: ty žiješ nebo jseš jen zombie? :P
17:34 xstill jako poškodil?
17:34 mornfall jo, stačí vhodně přepsat nějakej program counter
17:34 mornfall třeba
17:34 mornfall nebo tak něco, nevim
17:34 mornfall nebo nějakou velikost něčeho
17:34 mornfall zejména když jsou vypnutý asserty
17:35 mornfall tak se moc nekontroluje jestli to třeba nevyletělo při čtení stavu někam úplně jinam
17:35 xstill hm, takže z toho nic nezjistíš? já ten krám teda zabiju ať mi nestojí testy
17:36 mornfall coredumpy máš asi vypnutý co?
17:37 xstill jo
17:37 xstill nezapínám je defaultně od té doby co jsem vytvořil 20GB core a auře
17:37 mornfall :D
17:38 xstill takže co? zabít?
17:39 mornfall vteřinu
17:39 xstill tak ho pak zab, já jdu pryč
17:39 mornfall Saved corefile /tmp/xstill.core
17:39 mornfall (zabil jsem ho)
17:40 mornfall kdyžtak to nakopíruj k sobě vedle tý binárky
18:50 spito__ joined #divine
19:06 spito__ joined #divine
20:38 spito__ joined #divine
21:38 spito__ joined #divine
21:42 spito__ joined #divine
22:31 spito__ joined #divine
23:19 spito__ joined #divine
23:30 spito__ joined #divine

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