Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-07-16

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

All times shown according to UTC.

Time Nick Message
01:49 ilbot3 joined #divine
01:49 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
10:39 xstill hele to je dobrý, já jsem Jiříkovi loni na podzim odevzdal úkol do iv112 a když jsem teď z něj udělal divine model, tak tam našel bug
10:39 xstill navíc takovej, že CSDR ho najde za 2 sekundy a reachabilita za 45 :-)
10:39 xstill (protipříklad je dlouhej ale má jen q CS)
10:40 xstill q = 1
10:42 mornfall :-)
10:43 mornfall tak vidíš
10:44 mornfall můžeš mu to omlátit o hlavu :D
10:44 xstill nejdřív musím zjistit co tomu je
11:01 xstill aha tak ne, já su jen kokot když jsem to upravoval pro divine :-D
11:12 mornfall ale tak ten bug tam furt je, to stačí ne :-)
11:18 mornfall warning: '&&' within '||' [-Wlogical-op-parentheses] pff :-)
11:50 xstill no já je tam píšu, jednak jsem si dlouho nepamatoval co má prioritu, jednka kvůli čitelnosti
11:51 mornfall tak když je na to warning tak je tam píšu taky ;-)
12:07 mornfall potřebuju (podstatně) rychlejší počítač :|
13:35 xstill podstatně rychlejší ani moc neexistuje řekl bych :-(
16:27 xstill hm, neděláme spurious wakeup v conditional variables
16:29 mornfall to je co? :)
16:29 mornfall jo jako vlastnost
16:29 xstill no pthread_cond_wait ti může vráti aniž by dostal signál/broadcast, ne?
16:29 mornfall resp. to že není nikde napsaný že se to nemůže spontánně probudit
16:30 mornfall to asi neděláme, nebo o tom aspoň nevim
16:30 xstill no neděláme, to by se řešilo stejně jako malloc
16:32 mornfall to maskování je pěknej bordel
16:33 mornfall prostě musím uhodnout jestli bude nebo nebude ta sekce mít nějakej efekt
16:34 xstill co?
16:34 mornfall no když potkáš __interrupt_mask, musíš vědět co bude uvnitř aby ses rozhodl správně co dělat
16:34 xstill sakra potřebuju víc paměti, nebo používat jinej počítač k tomu
16:35 xstill tam je víc možností, to není jen, že všechno je nedělitelné až po unmask?
16:37 mornfall no, já mam teď trochu složitější kritéria na redukci, a vždycky než provedu instrukci potřebuju vědět na co přesně hrábne, abych případně ošéfoval interleaving kolem tý hrany... a mask..unmask se chová jako jedna instrukce
16:37 mornfall a interrupt je už pozdě
16:38 xstill aha protože bys potřeboval vidět o neomezeně instrukcí dopředu na ten interrupt?
16:38 mornfall jo no :-)
16:38 mornfall ale už jsem to snad vymyslel
17:39 mornfall no, nemít typechecker tak si jdu zhruba teď hodit mašli... :P
18:19 xstill někdo mi zavraždil divine na arke
18:20 xstill devítkou, to je dost divný
18:20 xstill hm, teoreticky to mohl být cgroup oom kiler nebo tak něco, ale je divný, že by to neřeklo něco rozumnějšího
18:21 xstill jsem nějak zapomněl zapnout kompresi
18:21 mornfall já to nebyl
18:21 mornfall máš to v dmesgu :-)
18:21 mornfall co jinýho by to mělo říct?
18:22 mornfall hm, pobil toho docela dost ten oom :)
18:22 xstill co?
18:23 mornfall hm, jen hydra-evaluator, 86x :-)
18:23 mornfall (on ho vždycky systemd nahodil a oom zase zabil)
18:24 xstill kde to vidíš?
18:24 mornfall dmesg?
18:28 xstill jo a i journalct, ale ta hydra byla už někdy dřív podle toho co čtu
18:29 mornfall hm, asi jo
18:29 mornfall ono asi nic jinýho do dmesgu nechodí
18:30 xstill aspoň že jsem ji nezabil já
19:38 xstill hm, protipříklad končící 12 jsem ještě asi neviděl
19:39 xstill případně 22 :-D
19:54 xstill hm, ty nějak zařezáváš šířku výstupu (stakctrace v llvm)?
20:00 xstill hm, ne, něco mi zařezává veškerej výstup, včetně protipříkladu
20:00 xstill wtf
20:04 xstill wtf screen
20:34 xstill no chtělo by to debugger na divine trace
20:34 xstill + teda chtělo by to alespoň vidět dovnitř this
20:39 xstill hm, inkrement na nedefinováné paměti (uvnitř objektu na stacku) se mi nezahlásil jako memory error
20:39 xstill v describe je ale ?
20:40 xstill a následné == se asi vždy vyhodnotilo na false
20:50 xstill jo a neumím naprogramovat autoresetovací bariéru ale alespoň mám rozumně velký model s bugem
21:07 xstill nojo, neumím programovat

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