Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-07-18

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

All times shown according to UTC.

Time Nick Message
08:34 xstill hm, co všechno musím nastavit aby mi brick-gnuplot udělal graf: vytvořil jsem si gnuplot::Plots, z toho .append() Plot, tomu jsem nasatvil osy a jméno
08:34 xstill a pomocí append jsem si vytvořil data set a vyplnil ho
08:35 xstill stejně jako v brick-benchmark zhruba
08:35 xstill a pak to vytisknu pomocí std::cout << plots.plot() ale v tom výsledku nějak vůbec nevidím ty hodnoty
08:41 xstill když já su taky idiot
08:41 xstill gnuplot::Plot plot = plots.append() dost nefuguje…
08:43 xstill už to jede
08:44 xstill mám moc velkej rozptyl testů, půjčím si arke
08:55 xstill až někdo nebude mít co dělat mohl by se podívat na airlines.bc a zjistit proč je tak nechutně velkej, že ani 1 context-switch se s kompresí nevejde do 48GB paměti
09:08 mornfall chybí &
09:09 mornfall :-)))
09:09 mornfall super (airlines)
09:10 xstill jsem nějakej hodně zblblej
09:18 mornfall je nějakej for ( auto x : ... ) na rbegin? :)
09:18 xstill nevím o něm
09:19 mornfall chybí query::backwards( x ) :-)
09:19 xstill ale tak udělat reverse wrapper by nebylo složitý
09:19 mornfall nebo reversed
09:21 xstill no ono toho chybí dost a hlavně zatím nemám rozmyšleno jak se chovat k "lepším" iterátorům, zrovna reverse potřebuje bidirectional (ten by ještě šel, random access nepůjde, minimálně ne po filter)
09:22 mornfall no to záleží, jestli to uděláš jako range< C::reverse_iterator > tak nepotřebuje nic extra
09:22 mornfall na prohození _end, _begin a směru iterace potřebuješ bidirectional pravda
10:21 xstill chceš poslat jen nové patche nebo všechny?
10:26 xbarnat joined #divine
10:28 mornfall pošli všechno :)
10:37 mornfall horší je že můj experiment s další iterací τ moc nevyšel
10:44 mornfall ale možná vim jak to napravit... hm
10:44 mornfall jen není tak úplně vhodná doba na tohle... :P
10:50 xstill jo, hodil jsem něco do abstraktu, ale ještě to není moc dobré asi, teď měřím, u některých testů to vychází poměrně pozitivně, ale musím jich sehnat ještě víc, mám málo testů s chybama
10:50 mornfall :-)
11:18 xbarnat hele, ad csdr
11:20 xbarnat je mozne s tim pracovat jako s MAPem?, tj. pamatovat si u stavu pocet contextswitchu (stav, #cs), no a kdyz dojdu (s,v) na stav, ktery je ulozeny (s.v') a plati, ze v je mensi jak v', tak ho proste repropaguju?
11:21 xbarnat to by sice prineslo nejakou zatez navic, ale zase by to nutne neslo do sirky a mohl bych narazit na chybu ke ktere jsou nutne 2 cs driv, nez prohledam celou oblast s 0 cs a s 1 cs ...
11:23 xbarnat a vpodstate by to mohlo fungovat i na LTL ...
11:24 xbarnat jako map
11:38 xstill nějak jsem to nepochopil
11:40 xstill když jsem v levelu n (prohledávám stavy po n CS), narazím na stav co má uloženo n + 1 a zjistím, že sem se do něj teď dostal za n tak ho přidám do aktuálního levelu a expanduju, v opáčném případě ho ignoruju (jen uložím do tabulky)
11:41 xstill teoreticky se to dá celé trochu urychlit tím, že se podívám jestli náhodou není ten hraniční stav akceptující, což by mi někdy umožnilo najít CE dřív a někdy by to způsobilo že nenajdu ten s minimálním počtem CS (což se ale může stát i takhle, je to jen aproximace v podstatě)
11:42 xstill stavy které jsou o víc jak 1 CS od aktuálního levelu vůbec nemůžu vidět
11:43 xstill ad LTL, MAP by asi mohl fungovat i v kombinaci s postupem po CS ale muselo by se to nějak vymyslet
11:43 xstill otázka je jestli to stojí za to
11:44 xstill (doufám, že Jiřík čte backlogy)
11:49 mornfall :-)
11:55 xstill hm, https://paradise.fi.muni.cz/~xstill/ dává 500
11:57 mornfall 2014/07/18 13:57:18 [crit] 30968#0: *1893957 stat() "/home/xstill/public_html/plot.pdf" failed (40: Too many levels of symbolic links), client: 90.182.103.35, server: paradise.fi.muni.cz, request: "GET /~xstill/ HTTP/1.1", host: "paradise.fi.muni.cz"
11:58 xstill aha
11:58 xstill nojo, protože ln -s plot.pdf ~/public_html/ nedělá to co jsem čekal :-D
11:59 mornfall :-)))
12:00 xstill tak už, https://paradise.fi.muni.cz/~xstill/plot.pdf jsou nějaké předběžné výsledky, ale nezkompilovali se mi .c příklady, takže je to dost jednotvárné
12:01 xstill a ta x-ová osa vypadá poněkud vadně
12:01 mornfall proč vadně?
12:02 mornfall myslíš to barrier-1-bug.bc? :-)
12:02 xstill popisky 1 2 2 2 3 4 4 4 5 mi nepříjdou moc normální
12:02 mornfall :D
12:02 mornfall to jsem si úplně nevšim
12:03 mornfall ono to je 2.5 a 2.49 nejspíš
12:03 mornfall teda
12:03 mornfall 1.5 a 2.49
12:03 xstill to že shared má tendenci být dost randomizovaný v reachabilitě je věc druhá, ale to bude i tím jak je ten protipříklad krátký (barrier-1-bug je dost malý model)
12:04 mornfall zajímavý je že bez bugu to nemá skoro žádnej overhead
12:05 xstill ještě počet stavů: https://paradise.fi.muni.cz/~xstill/plot-states.pdf
12:07 mornfall koukám že ten gnuplot dost ničíš :D
12:07 xstill tak ono overhead schová generátor
12:07 mornfall ty schodíky...
12:07 xstill jo no
12:08 xstill a popisek States-Visited je tak lehce zaříznutej
12:08 mornfall interpolace je očividně na celý číslo
12:10 xstill tak ony ty osy jsou dost dost roztažený tam
12:10 mornfall hm, ale na celý číslo to není, protože barrier.bc má schodíky rozhodně menší než 1
12:11 xstill myslím že to bude potřeba řešit posunitím os, vzhledem k tomu, že barrier.h má rozdíl 5 stavů z 12k
12:12 mornfall problém je totiž v x-ové ose
12:12 mornfall jednu věc co můžeš udělat je naškálovat tu osu na k-stavy
12:12 mornfall i když on ji asi stejně roztáhne na stejnej rozsah
12:14 xstill no hrát si s tím můžu až bude víc výsledků
12:14 mornfall hm, fakt nevim jak to vzniklo s těma schodama... můžeš mi poslat plot soubor? :)
12:16 xstill https://paradise.fi.muni.cz/~xstill/gnuplot-states
12:17 xstill já nedělám žádný rescale ani bounds zatím
12:19 mornfall hm, schody jsou defaultní setprecision v iostreamu :-)
12:20 xstill :-D
12:20 mornfall rozdíl je až v 7. číslici totiž
12:20 mornfall a tam už se to zařízne
12:20 mornfall takže když se nastaví scale na 1000 tak to bude OK
12:21 xstill nebo zvětší precision
12:21 mornfall ale setprecision asi můžu taky zvětšit
12:24 mornfall jinak když těm datasetům nastavíš styl na LinePoints (v plot.append(..., styl)) měl bys dostat výrazně menší plot soubory (teda pokud neplánuješ malovat error margin-y)
12:52 xstill no to jsem chtěl, on je dokonce i maluje, jen ještě nebylo naměřeno víc než 1 měření
12:54 xstill a u mě maloval moc velký rozptyl
12:54 mornfall :-)
12:55 mornfall jak to počítáš?
12:56 mornfall třeba brick::benchmark::repeat by asi šlo docela zobecnit
13:00 xstill momentálně medián minimum a maximum z n testů (n = 5 teď), ale to budu muset zvážit co je dobré, nebo spíš si nechat poradit, protože se v tom moc nevyznám
13:00 xstill (ty testy běží nezávisle od plotování)
13:01 mornfall jasně, ty benchmarky chci taky (volitelně) oddělit
13:02 xstill a mám bordel v angličtině protože funkci jsem pojmenoval mean a ona počítá medián
13:02 mornfall :-)
13:03 mornfall benchmark::box ;-)
13:55 xstill no já se budu muset podívat na to co s tím děláš, protože mi to zase dost lítá i na té arke
13:56 xstill (plot.pdf je přegenerovaný, ještě asi jen 3 výsledky)
13:57 mornfall tak, z 3 měření kulový spočítáš :-)
13:57 xstill to asi jo
13:57 mornfall já mam jako minimum 10 a maximum asi 300
13:58 xstill hm
13:58 mornfall podle rozptylu
13:58 xstill chce to automatizovat
13:59 xstill až doběhne těhlech 5 tak to pustím znova, ale ono to docela trvá
13:59 mornfall trvá no
14:01 mornfall já su zvědavej jestli na 3. pokus tu novou redukci zvládnu ...
16:03 xstill hm, ten repeat je nějakej magickej, teda hlavně bootstrap nechápu
16:10 mornfall bootstrap je název statistický metody
16:11 xstill aha (já sem ve statistice dost nevzdělanej)
16:11 mornfall generuje to novej sample tím že počítá nějakej estimator (třeba mean) na různých výběrech z originál samplu
16:12 mornfall http://paradise.fi.muni.cz/~xrockai/draft-jul15.2.pdf sekce 3.1.2 ;-)
16:12 xstill ok
16:22 xbarnat joined #divine
16:22 mornfall :-)
16:27 xbarnat no ja jsem to asi nepochopil cele, kdyz prohledavam stavy po n CS, (a delam to postupne pro zvysujici n) jak muzu narazit na stav co ma ulozeno n+1 CS?
16:27 mornfall xbarnat: no, bude to následník nějakého stavu s n CS
16:28 xbarnat myslel jsem prave, ze nebudu prohledavat po vrstvach ale pujde normalne dal i pres CS, a prave jak pises (Vlado), kdyz na razim na sebe sama, akorat s CS vyssim (muze byt i o vic), dam mu aktulani pocet CS co si pamatuji a dam ho do fronty na zpracovani ..
17:21 xstill nějak nechápu jak můžu narazit na sebe sama, asi myslíš kdyby se dělalo něco jako MAP, nicméně potom ten vrchol už bude mít nastavený context switch  na n
18:16 xstill pokusím se z benchmark vyextrahovat to zpracování dat
19:42 xstill tak už jsem to dostal do stavu kdy mi to podle té statistické magie řekne co mám přeměřit, teď by to chtělo nějakej iterativní runner

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