Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-02-16

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

All times shown according to UTC.

Time Nick Message
04:28 Guest42242 joined #divine
04:31 Guest42242 left #divine
10:31 divine-next 3 new patches validated [mornfall]
13:21 xstill_ mornfall: ty zkažený výpisy v simu (   [global* 2 0 ddp] [i32 1 d] [code* 0 0 ddp]) jsou pravděpodobně hypercally, konkrétně mem interrupt toto asi
13:22 mornfall jo, to asi může být pokud máš dostatečně novej sim
13:22 mornfall opravím
15:58 xstill_ hm: <0x7fd096382828> = !DIDerivedType(tag: DW_TAG_ptr_to_member_type, baseType: <0x7fd096400a18>, size: 64, extraData: !"_ZTSNSt3__19nullptr_t5__natE")
15:58 xstill_ E: .../divine/vm/debug.cpp: 281:
15:58 xstill_ encountered unexpected debuginfo metadata
16:02 mornfall to jde asi dočasně vyřešit přidáním if ( di_derived( ...DW_TAG_ptr_..., t ) return "???";
16:08 xstill_ jo, vypadá to, že v oldexcept z nějakého důvodu nefunguje std::rethrow_exception a podobné věci
16:11 xstill_ nojo, ona má jinej typ, jenže ten unwinder z DIVINE 3 počítá, že je všechno __cxa_exception
17:13 xstill_ mornfall: pushnul jsem do testsuity ty výjimkový testy, genscript vygeneruje instance pro ty, který prochází v obou implementacích, nedaří se mi zjistit kde je problém
17:15 mornfall ok, přidat co nejvíc modelů co fungují je teď lepší investice než ladit ty co nefungují
17:18 xstill_ jo, přidám další libc++
17:20 xstill_ akorát ty testy jsou docela malý
17:21 xstill_ zkusím se podívat spíš mimo support kategorii
17:24 mornfall malý testy jsou taky užitečný (hlavně když jich je hodně)
17:28 xstill_ ok
18:17 xstill_ ten bad alloc nebo co je v brick testech hned v globálním konstruktoru
18:17 xstill_ takže to moc smysl testovat nemá
18:21 xstill_ akorát ty testy co jsem spustil dneska odpoledne ještě nedoběhli, tak nevím jestli máme moc šanci to stihnout
18:31 mornfall to je nějaký divný ne?
18:31 mornfall jak jsi to pouštěl?
18:33 mornfall určitě má smysl testovat variantu s simfail:malloc a ne-exception assertama když se vyignoruje unhandled exception
20:02 xstill jak vyignoruje?
20:02 xstill mornfall: pustil jsem ty 4 instance na arke
20:02 mornfall za sebou?
20:02 xstill jj
20:02 mornfall jo to asi zabere docela dost času
20:04 mornfall já nevim jakej přesně error hodí std::terminate, ale stačí se zbavit toho
20:04 xstill jako dát handler ve kterém bude exit?, nebo __vm_controll( … kill )?
20:05 mornfall cokoliv
20:05 mornfall klidně upravit default handler taky aby šel rozeznat jako samostatná kategorie
20:08 xstill aha, takže ti jde čistě o vygenerování celého stavového prostoru
20:11 mornfall ne, to je stejný typ úkolu jako třeba nofail:malloc... nevadí mi když ten program umře na nechycenou výjimku, ale vadí mi když umře na assert
20:13 xstill ok
20:42 xstill je to marný, je tam invalid read v kontruktoru, asi malloc v __cxa_demangle
20:43 xstill a pokud hrábnu na runtime abych to opravil tak budem muset přeměřit všechno
20:44 xstill leda bych to ohackoval tak aby konstruktory měli nofail vždycky
20:45 mornfall já bych radši opravil ten runtime teda
20:46 xstill tím se nám ale změní id instance a budem to muset přeměřit
20:48 xstill ale bylo by to čistší no
20:49 xstill on ten demangle se navíc používám i mimo konstruktory
20:49 mornfall pokud to bude zítra dopoledne všechno nachystaný tak to zas takový problém nebude
20:53 xstill je to divný s tím __cxa_demangle, protože na top level si hlídá malloc failure ale uvnitř pak má nějaké stringy se specielním alokátorem s malloc
20:58 mornfall asi bug
21:00 xstill akorát nás to teda může kousnout ve chvíli kdy free přestane být jen wrapper na __vm_obj_free, protože ten __cxa_demangle vrací pointer kterej pak máš uvolnit
21:00 xstill ale takových věcí asi bude víc
21:01 mornfall v jakým smyslu kousne?
21:01 mornfall jestli nahrazuješ malloc za __vm_obj_make tak to není moc dobrej fix...
21:01 xstill a co mám dělat?
21:02 mornfall no ideálně to opravit
21:02 xstill ta chyba je v tom, že posílaj stringu alokátor a když ten alokátor selže tak ten string se nakopíruje do nulového pole
21:02 xstill to bych musel hrábnout do implementace std stringu nebo ten alokátor vyhodit a chytat tam výjimky
21:04 xstill to je tak trochu bug v tom, že libc++abi používá std::string
21:13 xstill mornfall: mohl bys zatím naimportovat to libc++ do databáze a říct mi jak dochedulovat ty nové věci?
21:14 xstill hm až na to, že mi zdechl push
21:14 xstill tak ještě počkej
21:14 xstill mornfall: už to tam je (bricks ještě není hotový)
21:20 mornfall schedule by mělo mít něco jako --tag
21:21 mornfall import bude za chvíli
21:24 mornfall snad je to tam
21:33 xstill select max( model.id ), model.name from model join model_tags on model.id = model_tags.model join tag on tag.id = model_tags.tag group by model.name, model.variant  having tag.name = ?
21:33 xstill terminating with uncaught exception of type nanodbc::database_error: /home/xstill/DIVINE/sym/external/nanodbc/nanodbc.cpp:1766: 42803: ERROR: column "tag.name" must appear in the GROUP BY clause or be used in an aggregate function;
21:38 mornfall fix v ~xrockai/src/divine/work
21:49 divine-next 1 new patch validated [mornfall]
22:07 xstill jo, už to funguje, dík
22:26 xstill mornfall: ještě mě napadá (protože to pořád počítá), nemohl bys vypnout nightly build ať nám to neinterferuje?
22:31 mornfall pozdě
22:43 xstill hm, a noexcept bricks stejně nebude fungovat, protože je to plný coutů, který samozřejmě nefungujou bez VFS

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