Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-02-22

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

All times shown according to UTC.

Time Nick Message
00:00 divine-buildbot Hey! build divine-nightly-release #72 is complete: Failure [finished]
00:46 divine-buildbot Hey! build divine-nightly-debug #75 is complete: Failure [finished]
08:45 xstill_ mornfall: podívej se na 1616496 vs. 76778 (nové vs. staré výjimky), tím, že jsem udělal konstatní idexování metadat jsem se dostal na nějakých 6 % od staré implementace. Ještě potřebuju teda pořešit tu regresi proti noexcept.
08:45 xstill_ mornfall: dorazíš dneska?
08:47 mornfall jo, ale až kolem 11 (za chvíli jdu na vlak)
09:11 mornfall xstill_: myslíš 767708 jo?
09:12 mornfall to vypadá docela dobře (rozhodně líp než před týdnem)
09:12 xstill_ jo myslím
09:12 mornfall obojí maj jinak stejnej runtime jo? (teda stejný přidaný consty)
09:13 xstill_ consty jsem nepullnul ještě ani do jednoho
09:13 mornfall takhle to totiž vypadá že když se vyřeší iv112 tak to bude aj rychlejší
09:13 mornfall jo to je lepší
09:13 xstill_ to je skoro divný, že by to bylo lepší
09:14 mornfall no myslel jsem že je lepší do toho netahat další změny, když jde jen o srovnání
09:14 mornfall do článku se to může pak obenchmarkovat v rychlejší verzi
09:15 xstill_ já zas myslel, že je divný, že by to mohlo být rychlejší
09:16 mornfall trochu jo, ale s výjimkou domácích úkolů je to konzistentně rychlejší, a ani ne úplně o málo
09:17 mornfall sice jsem se díval na všechno (bez --result V) ale aj s tím V to vypadá podobně
09:17 mornfall iv112 dělá 25 minut, celej rozdíl je znatelně míň než to
09:18 mornfall (to je ten std::mutex ve fifo-naive, počítám)
09:18 xstill_ no vlastně, on tam není ten patch na smazání instruction.op, takže to by ještě chtělo se podívat jestli dokážu implementovat ty lpinfo z toho co tam zbylo v runtime reprezentaci
09:18 xstill_ to může dělat rozdíl v času počítám
09:18 mornfall to asi může no
10:39 xlauko mornfall: Máme niekde nejaký automat, ktorý vezme DIVINE?
10:52 xheno joined #divine
10:53 mornfall xlauko: registrácia a nejaký global invariant check je v test/dios/monitor/
10:55 mornfall xlauko: potrebuješ ešte _VM_CF_Cancel a _VM_CF_Accepting (ten call na control je rovnaký)
10:55 mornfall xlauko: ideálne asi do dios.h pridať pomocné funkcie ktoré to budú robiť
10:55 xlauko mornfall: čo som sa inak zatial stihol baviť s Alexandrom, tak aktuálne nemajú podporu POR a ani paralelného emptiness checku.
10:56 mornfall xlauko: volanie __dios_register_monitor môže prísť do globálneho konštruktoru
10:56 mornfall viz test/c/2.global-ctors-dtors.c
10:57 mornfall xlauko: to asi v zásade ničomu nevadí
10:57 mornfall iný por než τ nemáme a τ si vyrieši VM samé
10:58 xlauko mornfall: Len, že to nebude mať moc velký prínos pre nás, ak toto bude implementovať Tadeáš.
11:03 mornfall xlauko: ale má, i keď možno nie okamžitý... pomôže nám to definovať rozhranie a budeme mať argument že divm sa dá použiť aj inak než len v divine
11:14 mornfall spito: když už se ví že žiješ, stihl ses už podívat na ty shadow?
11:14 spito koukal jsem na to a mám i představu
11:15 spito bych se dneska mohl zastavit po 17 hodině
11:15 mornfall jo, budu tady
11:15 mornfall (mě totiž jen napadlo, že by se mohlo beztrestně úplně vypustit jakýkoliv řešení offsetu v ukazateli a pamatovat si jen který 4 bajty jsou objid)
11:16 mornfall (mohlo by se tím všechno trochu zjednodušit a zároveň zrychlit a value::Pointer si musí kontrolovat jen že objid se načetlo z místa kde objid bylo, offset může být cokoliv)
12:07 xstill_ mornfall: neudělaj ti v tom bordel typy? když bys objid const pointru dal k heap pointru třeba? (i když to jde i teď teda)
12:23 xstill_ mornfall: proč jsi vlastně dělal ty static buildy?
12:24 mornfall xstill_: protože pak stačí vzít ten divbench samotnej a není potřeba udržovat celý build stromy
12:25 mornfall tzn. mkdir bench ; cp /...-noexcept/tools/divbench bench/divbench-noexcept ; cp /...-oldexcept/tools/divbench bench/divbench-oldexcept
12:25 mornfall cd bench ; ./divbench-noexcept report --list-instances řekne která instance to je (na daném stroji teda)
12:26 mornfall když si to dá člověk do /home tak se nemusí pak už s ničím kopírovat na pheme
12:27 mornfall xstill_: jo, ale to by asi šlo schovat do toho objid místo do offsetu (jak moc objid kolizí to bude stát nedokážu odhadnout)
12:28 xstill_ co se vlastně rozbije pokud udělám pointr s platným objid ale neodpovídajícím typem?
12:29 mornfall nejspíš všechno a to dost zásadně
12:29 mornfall (objid u const ukazatele znamená něco zásadně jinýho než u heap ukazatele)
12:30 xstill_ jo, to vím, že znamená, ale nevím jak se to projeví
12:32 mornfall mohl bys tím vytvořit pointr ze vzduchu
12:32 mornfall to je asi docela nežádoucí
12:32 mornfall (vezmeš validní const pointr, přehodíš mu typ na heap a máš 'validní' pointr do haldy, i když ten objekt třeba nikdy neexistoval)
12:34 xstill_ ale když se ho pak pokusím dereferencovat tak normálně dostanu fault (pokud ten objekt náhodou neexistuje), ne?
12:37 mornfall jo to jo
13:54 mornfall xstill_: je možný že StrongEnumFlags nejdou s g++ 4.9 přeložit?
13:54 mornfall bricks/brick-types:1397:25: error: no match for 'operator|' (operand types are 'brick::t_types::FD' and 'brick::t_types::FD')
13:55 xstill možný to asi je, nejspíš už to dlouho nikdo nezkoušel
13:55 xstill proč?
13:56 mornfall asi to budu muset opravit když nechci aby se na tom studenti vysekali :-) klidně teda nějakým #if __GCC__ > ...
13:56 xstill možná potřebuješ using brick::types::operator|
13:56 xstill studenti, kde?
13:57 mornfall pb173, nějakej union jim dát musim jinak budou hrozně trpět
13:57 mornfall a pokud nechcou čarovat s C++ 17 tak moc možností není
13:57 xstill akorát tena nevím jak je možné, že to funguje, protože bych čekal, že to funguje na ADL, což tady není ten případ
13:57 mornfall na aise je gcc 4.8 by default
13:58 xstill no ono ani v libc++4 tuším ten variant není
13:58 xstill mornfall: na aise je teď llvm-4.0.0 modul s libc++4
13:59 xstill ještě není moc otestovanej ale budem ho používat na advanced C++
14:00 xstill protože tam nám 4.8 těžce nestačí
14:10 xheno joined #divine
14:39 xheno mornfall: Je nejaký problém, ak by boli tie automaty nedeterministické?
15:35 mornfall xheno: nie je, môžu normálne používať __vm_choose

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