Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-01-24

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

All times shown according to UTC.

Time Nick Message
12:41 xstill to by mě docela zajímalo co se děje, že clang 3.7.1 produkuje dost zásadně jinak vypadající kód než 3.7.0. 3.7.0 používá relativně rozumný názvy registrů a návěští, .1 má většinu nepojmenovaných…
12:45 xstill a díky tomu se teda dost blbě hledá v čem se to liší významně
12:57 xstill hlavně že 3.7.1 jim ani nestály za release notes
13:08 xstill mornfall: máš nějakej nápad jak zjistit čím to je? Jediný co zatím vím je, že když zkopíruju bc po weakmem od sebe tak je velikost stavového prostoru stejná jako u mě, ale pokud zkopíruju jen výsledek divine compile a lart pustím tam tak se to změní. A ta změna je klidně 10x
13:32 xstill nojo, jsou tam nějaký store který jsme dřív zdetekovali jako neutíkajcí a teď utíkaj
13:34 xstill to je pak jasný, ta analýza je hrozně hloupá asi i trochu blbě, kdo ví co to může rozhodit
13:34 xstill btw. llvm-diff je celkem použetelnej, protože dokáže porovnávat nezávisle na jménech registrů (ale teda už stringy ho rozhodí, ale to se dá pochopit)
13:55 xstill hm, tak jsem nainstaloval starší llvm a pořád totéž, achjo
14:15 xstill mornfall: btw. ten bound je maximální počet store instrukcí přes všechny konečné běhy, nebo nekonečno, pokud existuje alespoň jeden store na cyklu. Ono totiž pokud to nikdy z jiného vlákna nebude číst, tak se ten buffer nikdy nemusí vylít
14:17 xstill (na cyklu = na cyklu ve smyslu nekonečného běhu)
14:19 xstill z toho taky plyne že s tím fixpointem to není moc slavný, protože jakmile se ti to málo synchronizuje tak si sice přibývaj běhy, ale nejsou zajímavý (jsou tam flushe navíc, ale není tam nový chování). U fifo se časem dostanu k tomu, že každý další slot zvětší stavový prostor o 1, protže je tam nějaký inicializační prefix, který nejspíš obasahuje spoustu store, které se pak
14:19 xstill musí flushnout před startem prvního vlákna
14:19 xstill a ještě si musím rozmyslet jestli to, že to přestane růst je fakt fixpoint
14:59 xstill je
15:06 xstill kurvadoprdele
15:07 xstill já mám na arke špatný repo
15:10 xstill ale našel jsem alespoň první fixpoint, byď teda buffer délky 63 je dost velkej
15:22 xstill (ale to bylo na tom špatným divine)
15:23 xstill a do háje, ten počet stavů není monotonně rostoucí
15:38 mornfall to zní skoro jako bug
15:39 mornfall a teda k tomu nekonečnýmu bufferu díky store v cyklu, nemusí to ukládat na různou adresu a/nebo různou hodnotu?
15:40 mornfall (obojí by znamenalo že ten stavovej prostor byl nekonečnej už před weakmem)
15:41 mornfall to kde je před weakmem určitě konečnej a po skoro určitě nekonečnej je když to na daný adrese osciluje (i když to bychom skoro mohli umět vyřešit)
15:41 mornfall (tzn store 0, x .. store 1, x ... store 0, x ... etc, pro x adresu)
16:01 xstill no v týhle implementaci to tam může klidně opakovaně cpát totéž a bude to nekonečný
16:02 xstill ono se to nijak nespojuje, ani by nemělo, protože mezitím může na tu stejnou lokaci ukládat někdo jinej
16:04 xstill a jo, tamto bude asi bug, jen nemám žádný nápad jak ho najít
16:50 xstill mornfall: btw. na antee byli 4 disky, 2 selhaly, teď jsou tam 4 device, sda + sdb je staré pole, sdd je nové, sdc je systém; otázka je kde je ten 4. disk (respektive ten ve slotu 2, pokud to něčemu pomůže)?
16:50 xstill *byly
16:51 xstill není teoreticky možný, že systém je na hw raidu který se hlásí jako to sdc (když se může iscsi hlásit jako sd*, tak proč by nemohl raid)?
16:52 xstill to by pak vysvědlovalo proč to píská, a zároveň znamenalo, že jsme potenciálně dost v háji
17:02 mornfall xstill: nemůže, protože sdc se hlásí jako seagate ST3146356SS
17:05 mornfall ale určitě tě potěší že sda má v logu taky spoustu read errorů
17:17 xstill hm, tam systém není na raidu, ale ten druhý disk je stejně asi mrtvý
17:17 xstill čím jsi zjistil ten seagate …?
17:19 xstill sda je asi tak všechno…
17:20 xstill (home, svn,…)

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