Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-07-29

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

All times shown according to UTC.

Time Nick Message
10:46 xstill tak, byrokratické bludiště jménem erasmus snad konečně dokončené :-)
11:13 xstill tak update, výsledky jsou kompletní, jdu si to celé přečíst
11:21 mornfall (přidal jsem \smallskip před caption do tabulek, protože to bylo napláclý na čáru)
11:27 xstill ok
11:32 xstill hm, nějak nechápu ten argument, že žádný algoritmus nemůže zabránit neomezenému znovu navštěvování
11:34 mornfall s konstantní informací na stav si nejde pamatovat že $k$-tý stav je dosažitelný z druhého stavu
11:35 mornfall a tedy ani nejde v konstantním čase poznat, že šipka z $k$-tého stavu do druhého uzavřela cyklus, když nejkratší cesta mezi nimi má délku $k-1$
11:38 xstill hm
11:39 xstill ok, asi to začínám chápat
12:03 xstill hm popisky figur by měli začínat malým, nebo velkým písmenem?
12:04 xstill asi by mohli začínat velkým a končit tečkou, ne?
12:08 mornfall mohly, no :-)
12:10 xstill jo opravím to
12:10 mornfall a já musim zatím zjistit jak se má podmiňovací způsob k minulému času :P
12:16 mornfall jo, příčestí se píše stejně jako minulý čas ve 3. osobě, tzn. v neživotném mužském a v ženském rodě v množném čísle -y :-)
12:17 xstill ok, chvíli mi tralo než mi došlo co děláš :-)
12:18 xstill jinak "due to the fact that…" nebo "due to fact that…"? Nebo to záleží i na tom faktu?
12:19 mornfall due to the fact, pokud fact je literál
12:19 mornfall pokud tam je ten konkrétní fakt, tak záleží
12:20 mornfall (zejména jestli to je počitatelné, třeba memory locality není tak nemá člen, ale assumption je, tak má)
12:20 mornfall stejně tam je chyba ale (ten předpoklad je jen jeden :-)
12:21 xstill kde?
12:22 mornfall opravím
12:22 xstill no já taky edituju text trochu, ale tak snad se to nepotká
12:23 mornfall to svn je nehorázně pomalý
12:27 mornfall svn log --diff se na každou položku logu připojuje znova po ssh...
12:28 xstill no, git svn mi vyřešil většinu problémů
12:34 xstill tak jsem to commitnul
12:37 xstill moc nechápu jak mohly centralizovaný version control vzniknout dřív než distribuovaný, člověk by řekl že před 10 - 20 lety bylo to, že se to pořád připojuje k serveru větší problém
12:38 mornfall to trochu podceňuješ stáří version control :-)
12:38 mornfall centralizovaný systémy jsou z doby kdy internet moc nebyl a server seděl ve stejný budově jako ty
12:40 xstill :-), ok ale stejně, kdy začaly vznikat distrubuovaný VC? Zjistil jsem že darcs je prý 2003, git 2005, bylo něco před tím?
12:41 mornfall bitkeeper 98, arch 2001
12:42 xstill to není až tak dávno
12:42 mornfall je to blíž k 20 než k 10, žejo :-)
12:43 xstill taky fakt :-)
12:43 mornfall navíc perforce bylo částečně distribuovaný už 95
13:08 xstill hm, tak ještě conclusion a pokrátit…
14:02 xstill tak sláva dokážu dát 2 grafy vedle sebe :-)
14:12 xstill hm, a pod grafem bysme zase potřebovali zápornou vertikální mezeru asi
14:17 xstill jo, když dám 2 grafy vedle sebe tak jsem na 12 stránkách
14:18 xstill jen se mi mlátí popisky, ale to nějak spravím
14:19 xstill a čitelné to celkem je ty grafy
14:40 xstill tak jo, grafy dotvořeny, kdyžtak na ně mrkni, ale myslím, že to je celkem dobrý
14:42 xstill teda v ideální případě by se ještě vyhodil ten popisek "7" a "Threads" by se posunul níž…
14:45 xstill hm, to taky půjde
14:46 xstill i když to není úplně nejhezčí metoda
14:52 xstill ale i pěkně to jde
14:58 xstill odevzdává se jim pdf, nebo tex?
14:58 xstill hm tak prej hlavičky tam být nemaj
15:35 xstill hm, co se stalo, najednou jde najít protipříklad v modelu airlines který předtím odolával jakémukoli pokusu o verifikaci
15:42 xstill hm, neměli bysme tam mít klíčový slova?
15:50 xstill jo no jasně že je blost aby CSDR našlo kratší protipříklad než reachabilita, máme někde bug
15:50 xstill teda našlo to protipříklad který končí 0
15:51 mornfall blbost to není, ale není to ani moc pravděpodobný
15:51 xstill no je, protože reachabilita na 1 vlákně je normální bfs
15:52 mornfall nojo, jedno vlákno :-) to jsem nepustil ani nepamatuju
15:54 xstill navíc ten běh prohledal výrazně menší stavovej prostor
15:54 xstill (asi 10x)
15:54 xstill a přitom tvrdí, že nezdechnul
15:58 xstill něco je dost zásadně blbě
15:59 xstill máme 22 vadných testů z 240 na fifo-bug modelu
16:00 xstill všechno CSDR
16:00 mornfall reachability nebo csdr?
16:00 mornfall ok
16:01 mornfall asi tam je bug :-)
16:01 xstill potěší
16:01 xstill ale že se objeví jen na 1 modelu
16:01 mornfall a na mě tady čeká ghc 7.8.3 to su zvědavej co všechno se rozbije
16:01 xstill (mě se rozbil darcs)
16:01 xstill takže jedu na 7.6.3 pořád
16:02 xstill teda nezkompiloval se ani
16:02 mornfall no bude veselo
16:02 mornfall já vlastně udělal rebase celýho nixpkgs
16:02 mornfall zase jednou
16:05 xstill nojo SEGV
16:07 xstill hodí cgdb v coredumpu člověka na vlákno které způsobilo ten segv, nebo prostě na první?
16:07 mornfall nevim
16:07 mornfall ale určitě aspoň vypíše co spadlo
16:09 xstill no vypadá to, že je to z tbbmalloc
16:12 xstill což je teda dost divný
16:12 mornfall zkorumpovaná heapa
16:12 mornfall normálka :-)
16:13 xstill asi jo, prej se to snaží číst z 0x7ffc00000000 což mi příjde jako dost divná adresa
19:38 mornfall na jednom vlákně nebo na více?
19:39 xstill mě se to povedlo na 4
19:39 xstill není to deterministický a ve valgrindu to nepadá
19:39 mornfall přirozeně :D
19:48 xstill ale ve dvou coredumpech je to to stejný místo
19:49 xstill volané z copy konstruktoru vektoru v ProgramInfo::Instruction
19:50 xstill někde hluboko v tbbmalloc v allocateFromFreeList
19:50 xstill (fronted.cpp:1795)
19:50 xstill zkusím ještě jestli dostanu totéž s jiným počtem vláken
20:55 xstill jo a máme race ve start detektoru
20:56 xstill nějak jsem omylem dostal divine do stavu kdy jedno vlákno už běží a ostatní čekají na start detektoru kterej má hodnotu 5 (ze 6)
20:56 xstill což teda vůbec nedává smysl
21:00 xstill co je ovšem vtipný, že to jedno vlákno co jede se sekne v BitLock::lock() při pokusu zamknout iniciální stav
21:01 xstill což moc nechápu jak může nastat
21:02 mornfall máš to veselý...
21:47 xstill pěknej race, CSDR expansion nezamklo vertex no a pokud zapíše done zrovna tak, že ho loadne v době kdy to má někdo zamnčený a on to stihne mezi tím odemknout tak se to zase zamkne
21:48 xstill no a pokud je to inciální vertex v shared tak to jde celý do kytek…
21:58 mornfall dobrý...
21:58 mornfall počítám že to taky může přepsat zamčenej vertex na odemčenej?
22:02 mornfall https://github.com/seL4/l4v

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