Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-01-30

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

All times shown according to UTC.

Time Nick Message
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
08:59 xstill_ … velmi informativní
09:00 xstill_ co je na tom špatně?
09:11 mornfall jaká otázka taková odpověď... co o tom víš?
09:12 xstill_ že se to při vytváření interní reprezentace přeskakuje, pak se to počítám musí nějak hledat v sim-u
09:16 mornfall no a to z principu věci nejde, když se podíváš co dbg_value znamená
09:33 xstill_ no vidím +- co znamená, ale není mi teda jasný ani co nejde
09:34 mornfall najít který dbg_value jsou nebo nejsou relevantní nejde
09:36 mornfall vykonání @llvm.dbg.value říká kde je aktuálně k nalezení hodnota dané source-level proměnné
09:37 xstill_ ano, to chápu, takže pokud ji chceš vypsat, tak musíš najít poslední dbg.value které se jí týká
09:37 mornfall no a to je ta věc co nejde, žejo
09:39 xstill_ no, musel bys vědět kterými bb jsi prošel, nebo který dbg.value jsi potkal
09:39 mornfall ... ano
09:40 xstill_ v podstatě by se z toho dal nechat intrinsik implementovaný v kontextu, a normální kontext by to ignoroval a debug kontext by si to zapamatoval
09:42 mornfall ... ano
11:21 xstill_ jo, takže pak půjde ty instrukce napočítat úplně staticky dokonce
11:21 xstill_ a navíc můžu opravit aloka lifting tak aby nerozbíjel debug info, když teď vím jak to funguje
11:42 mornfall jeste je pak otazka co s declare
11:55 mornfall (declare nemá smysl interpretovat, je otázka jestli platit cyklama za jednotnost nebo to vyoptimalizovat pryč a komplikovat si tím život)
11:58 xstill_ tak ono to moc navíc nestojí ty metadata dopočítat až v loaderu
11:59 xstill_ hm, vlastně ono se to stejně asi nedá napočítat staticky, protože na ty tabulky potřebuju mít code pointery
11:59 mornfall to stojí asi mínus (= je to levnější)
11:59 xstill_ myslel jsem v porovnání s lartem
12:00 xstill_ a do konstatn se to dá dát pokud máme spolehlivý horní odhad, takže to, že tam chybí pár dbg.declare nás bude stát jen nějaké volné místo v konstatnách
12:00 xstill_ *konstantách
12:00 mornfall však jo, když se to vytvoří lartem tak se to bude počítat 2x
12:01 mornfall (v lartu a pak když se počítá tabulka konstant z llvm)
12:08 xstill_ aha, jediná výhoda lartu je, že je to potenciálně bezpečnější, ale když už to teď dělám v loaderu tak je to dost jedno
13:05 yaqwsx mornfall: Nakonec ve variantě modulárního DiOSu ve stylu stav je std::tuple komponent, syscally jsou funkce, které dělají std::get< X >.metoda() a nesyscally se snaží být nezávislé na implementaci komponent, nevidím žádný problém.
13:05 yaqwsx mornfall: Takže to zkusím implementovat. Ale záruku na deadline zatím nedávám.
13:05 mornfall yaqwsx: ok, docela by se to hodilo :)
13:06 yaqwsx Co na tom závisí?
13:07 mornfall yaqwsx: efektivnější --sequential mód
15:22 mornfall | instance |         tag |   states | models |  search |     ce |
15:22 mornfall |----------|-------------|----------|--------|---------|--------|
15:22 mornfall |        1 |      divine |  1040378 |      3 |    3:33 |   0:01 |
15:22 mornfall |        1 |       iv112 |  3742973 |     11 |   21:20 |   0:08 |
15:22 mornfall |        1 |       pb161 |   186325 |      1 |    2:04 |   2:17 |
15:22 mornfall |        1 |       pv264 |   182959 |     13 |    0:58 |   0:11 |
15:22 mornfall |        1 | svc-pthread | 17932785 |     30 | 1:00:45 |   0:12 |
15:30 mornfall hm, kam šel alg, kruci
15:30 xstill_ nice, co se state, když něco nedoběhne?
15:31 mornfall nebude to tam
15:31 xstill_ to by asi mohlo a mělo nějak být znázorněné
15:32 mornfall zrovna rwlock z iv112 mi segví divine, ale nevim proč
15:32 mornfall myslím že nemá smysl benchmarkovat na modelech které nedoběhnou
15:33 xstill_ no pokud to chceš porovnávat mezi verzemi DIVINE tak i jo
15:33 xstill_ pokud to doběhne v jedné verzi tak už to je významný
15:34 mornfall porovnávat má taky smysl jen na tom co doběhlo v obou
15:34 xstill_ no to podle mě ne, pokud ti na nové verzi nedoběhne něco co dříve doběhlo, tak to je potenciáně problém
15:35 mornfall nedoběhnutý věci nejde takhle agregovat, má smysl leda tak zjistit že X modelů z toho kterýho tagu nedoběhlo (doběhlo) proti jiné verzi
15:36 xstill_ něco takovýho jsem myslel, sčítat stavy přes nedoběhlé věci smysl nedává
15:37 mornfall srovnávací mód stejně zatím neexistuje, ale neúspěšný běhy záznam v sql samozřejmě zanechají a jde to vytáhnout
15:37 xstill_ ok

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