Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-07-19

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

All times shown according to UTC.

Time Nick Message
08:49 mornfall nevím jestli by nebylo lepší dát bench/* pod tools/ (bench-run, bench-plot?) ... ale to se kdyžtak časem uklidí podle toho jak se to vyvine
08:51 xstill no zatím je to dost nevyvinutý, časem se to klidně může přesunout
08:51 mornfall teďka jsem trefil ^C někde kde jsem asi neměl
08:51 xstill (+ momentálně plot potřebuje kompilovat s -std=c++1y, takže to úplně není na to aby se buildoval normálně s divine)
10:46 mornfall no
10:46 mornfall trochu se to vymklo :-)
10:58 mornfall a nějak nefunguje TCO
10:59 mornfall takže se to chová trochu jako cheney on the mta...
11:00 mornfall chce to aspoň 200M zásobníku :|
11:03 mornfall Wall-Time: 49.909197
11:03 mornfall CE-Init: 1,1,1,2,98,3
11:03 mornfall States-Visited: 1883
11:03 mornfall vs
11:03 mornfall Wall-Time: 12.579546
11:03 mornfall CE-Init: 1,1,1,1,1,2,1,1,2,3,3,3,1,2,3,1,2,3,3,3,4,4,3,2,2,2,4,4,4,4,4,3,3,4,4,4,4,4,3
11:03 mornfall States-Visited: 8305
11:04 mornfall počítám že když vyřeším ten zásobník bude to trochu lepší s časem, ale asi ne nějak zázračně moc
12:33 xstill co? nějak tě nechápu (co je TCO?)
13:55 mornfall tail call optimisation
14:09 xstill ah
14:11 mornfall stejně to nefunguje :) teda čmáranice na papíře naznačují že to nefunguje ;-)
14:14 xstill ta nová redukce? jak to má pracovat?
14:14 mornfall no, počítám závislosti
14:16 mornfall trochu problém je že je musím počítat aj do budoucnosti :-)
14:17 mornfall a je v tom trochu chaos
14:17 mornfall doteď jsem doufal že budu moct držet nějaký uspořádání na vláknech a jít furt jen jedním směrem
14:18 mornfall když napočítám správný „zakázaný množiny“ na kill a na dep tak vím co všechno můžu udělat v tom dalším vlákně aniž bych rozbil to předchozí
14:19 mornfall což je super, ale přijdu tím o progress :-) protože můžu to druhý vlákno úplně odrovnat
14:22 mornfall hm
14:23 mornfall no a kdybych chtěl progress napravit reprioritizací, tak mám zrazu n! možností který musim všechny projít, a to není zrovna málo :-)
14:26 xstill hm to není, a kde vezmeš ty množin? to napočítáš podle jednoho z těch vláken?
14:27 mornfall v podstatě
14:27 mornfall ale ne jednoho ale všech poskládaných (nějak) za sebe
14:28 mornfall když necháš táhnout jen jedno vlákno tak se dřív nebo pozděj buď zasekne nebo skončí
14:32 xstill no a co potom zajištuje tu redukci? To pak jdeš tak dlouho dokud tě ty množiny pustí?
14:37 mornfall jo
14:44 mornfall další možnost je teda nasekat si tam interleaving na vhodný místa
14:45 mornfall podle toho cos porušil... když je někde ve vlákně B kill x, a vlákno A má předtím dep x, musíš dát vláknu A možnost běžet aj před aj po tom kill-u
14:45 mornfall nějak
14:46 mornfall navíc teda celý to uvažuje plusminus jen stavy který existujou pod τ+
14:46 mornfall takže by nemělo jít si tím pohoršit
14:46 mornfall (jinak než na čase výpočtu)
14:47 mornfall ale bude to teda potenciálně generovat hodně šipek, viz následník 98 z toho protipříkladu nahoře :-)
17:55 mornfall hm, member-function-pointer bind dělá děsivý věci teda
17:56 xstill jaký?
17:59 mornfall http://pastebin.dqd.cz/Kcer/ ... nedělá to v podstatě nic jinýho
18:00 mornfall %3 a %5 jsou adresy toho member-function-pointru a objektu
18:03 mornfall hm, přitom to nemá ani vtable
18:03 mornfall co to kruci dělá... :-)
18:03 xstill je toho nějak moc na to abych to pochopil
18:16 mornfall to by mě zajímalo jak se dostal do toho basicbloku
18:17 mornfall funguje to zhruba takhle: member pointer je 128b
18:17 mornfall pokud je parita prvního 64b slova sudá, tak je to obyčejnej ukazatel na fci
18:20 mornfall pokud je lichá tak se odečte jednička, a použije se jako offset do vtable, přičem v tom druhým slově je schovaný offset vtable pointru uvnitř objektu... nebo tak zhruba :D
18:20 mornfall a divine to nějak nepobral
18:21 mornfall on totiž možná dokáže vyrobit function pointr kterej je sám od sebe lichej
18:21 mornfall a tenhle kus kódu si pak myslí že má hledat vtable kterou ten objekt vůbec nemá
18:21 mornfall a navíc s úplně vadným offsetem
18:21 xstill :-(
18:22 xstill ten offset na vtable uvnitř objektu je předpokládám potřeba kvůli multiple inheritance, co?
18:23 mornfall tak něco no
18:27 mornfall jo no, každá druhá funkce má lichej ukazatel :-)
18:28 mornfall (id fce je poslední složka... když to otočím tak by to třeba mohlo začít fungovat, funkce snad začínaj instrukcí 0)
18:47 mornfall joined #divine
18:47 mornfall (jističe... fakt to musím někdy vyřešit :-)
18:49 xstill :-) slabý?
18:55 mornfall slabý a rychlý
18:56 mornfall občas nerozdýchaj náběh vysavače, a to má omezovač rozběhu
18:58 mornfall mariapanno, co to ten iostream dělá...
18:58 mornfall NOT IMPLEMENTED (thread 0): <mbtowc> [ stubs.cpp:24 ]
18:58 mornfall mbtowc v globálním konstruktoru? jako fakt?
18:59 xstill tak to je blbý (vysavač)
18:59 xstill co je mbtowc?
18:59 mornfall multibyte -> wchar_t konverze
19:00 xstill a to se tam vzalo kde?
19:00 xstill aha iostream, no potěš
19:04 mornfall on se snaží zjistit jak se to chová...
19:05 mornfall If s is NULL, the mbtowc() function returns nonzero if the encoding has nontrivial shift state, or zero if the encoding is stateless.
19:06 mornfall if ( !s ) return 0; ještě zvládnu
19:08 mornfall no, to bychom snad i měli
19:16 spito joined #divine
19:16 mornfall ale, to jsou nám hosti
19:16 mornfall nesežrali tě na MoRu?
19:16 spito Ne, žiju
19:16 spito Ale já jsem jel z MoR rovnou domů
19:16 xstill spito: nazdar
19:17 spito A řeknu ti, přežít bez notebooku týden, to je fuška
19:17 mornfall ten divine je pěkně otravnej :D
19:17 mornfall někde je memory leak
19:17 spito Někde = concurrent set?
19:18 mornfall jak to mám vědět kde :-)))
19:18 spito Tak, jsi skoro vševědoucí
19:18 xstill jak jsi objevil ten leak?
19:20 mornfall no, divine mi vynadal :-)
19:20 xstill to už jsi tak daleko, že verifikuješ divine?
19:20 mornfall ne, jen hashset::Concurrent
19:20 mornfall ale ten leak nemusí být tam, žejo
19:21 xstill pošli mi ten model prosím
19:21 xstill případně i něco dalšího
19:21 mornfall já ještě žádnej nemam :-)
19:22 mornfall zatím chytám haluze typu iostream
19:22 xstill tak když ho verifikuješ
19:22 xstill aha
19:22 mornfall a ještě musim doimplementovat aritmetiku s overflow
19:23 mornfall tak v delete (new HS); žádnej leak není :-)
19:24 xstill :-) já už zase mám asi 15 opakování všech testů a výsledky vypadaj zhruba pořád stejně, ono z toho asi nic lepšího nebude, protože prostě divine není moc deterministický
19:24 xstill ale ty grafy vypadají dost divně
19:25 xstill minimálně to musím exportovat jako bodovej graf s errorbary a nepoužívat ty splajny
19:25 xstill umí to brick-gnuplot nebo si to musím dodělat?
19:25 mornfall bodovej graf to umí, ale to je asi tak všechno
19:25 mornfall errorbary nepoužívej to je k ničemu
19:26 mornfall pokud máš víc než jednu sadu dat v grafu tak to nejde číst
19:26 xstill no tak já nevím co s tím, tohle vypadá dost divně
19:31 mornfall nebude lepší to udělat jako sloupcovej graf?
19:31 xstill jo to by mohlo jít
19:31 mornfall jen se to bude muset doprogramovat :))
19:33 mornfall leak se našel, brick::shmem::Thread nemá destruktor :-)
19:34 spito joined #divine
19:34 xstill jo a schody odolavají nastavení precision na max
19:35 xstill ale to je asi jedno
19:35 mornfall a nastavuješ to na správným místě?
19:35 xstill no asi budu muset zjistit jak funguje gnuplot
19:35 xstill no nakonci před plots.plot
19:35 mornfall podstatný jsou ty stringstreamy v implementaci gnuplotu
19:36 mornfall konkrétně v DataSet::data(...) asi
19:36 xstill ah
19:36 mornfall a v rawdata snad
19:36 xstill tak nic no
19:41 mornfall hm, freenode nějak hapruje
19:42 mornfall asi dostanu brzo padáka
19:43 mornfall (...)
19:43 xstill ??
19:44 mornfall hm, v irssi se mi vyresetovalo spojení, ale zdá se že mezi znc a freenodem se nic nestalo
19:44 mornfall divný
19:45 spito A co s tím padákem?
19:45 mornfall spito: z freenodu neasi :)
19:46 xstill ale proč?
19:48 mornfall no, v ten moment jsem měl lag přes 200s
19:49 xstill jo to se mi někdy stává když pořádně nakopnu rsync na nedostatečném připojení :-D
19:49 xstill začíná se ochlazovat konečně bych mohl něco naprogramovat
19:53 xstill jo na měření spolehlivosti výsledků časů divine bude potřeba používat ne čas ale něco jako čas/# hran nebo čas/# vrcholů
19:53 xstill protože ten počet lítá strašně
19:53 xstill někdy se shared
19:53 xstill možná i bez, nevím
19:58 xstill nojo schody zmizely
20:00 xstill hm, asi musím překonfigurovat redshift zpět na české souřadnice
20:04 xstill zdá se že je to docela rozdíl
20:05 xstill není teda divu když v Tro zapadle slunce za 50 minut :-D
20:06 mornfall :-)
20:07 spito joined #divine
20:16 xstill co zamená to LP v RibbonLP
20:17 mornfall LinePoints
20:17 xstill aha
22:08 spito joined #divine
22:18 mornfall a už tu máme první protipříklad
22:19 mornfall to su zvědavej co z něj vypadne
22:19 mornfall ale asi až se vyspim
22:23 xstill https://paradise.fi.muni.cz/~xstill/plot-bar.pdf něco takového by asi šlo udělat (ignoru barvy)
22:24 xstill zrovna tady teda není moc vidět co se děje s těmi rozshay, jen na těch posledních dvou skupinách
22:24 xstill hm protipříklad, to jsem taky zvědavej
22:24 xstill jak dlouho to běželo?
22:25 mornfall nevim, něco jako minutu?
22:25 mornfall :-)
22:25 xstill :-)
22:26 mornfall http://www.gnuplotting.org/plotting-more-advanced-statistical-data/ je taky možnost
22:26 mornfall (když otočíš pořadí yerrorb vs. boxes tak by mělo být vidět aj ten směrem dolů)
22:27 mornfall ale teď jdu spát, zejtra to dořešíme (obojí) :-) dobrou
22:27 xstill dobrou
22:28 xstill a já jdu taky

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