Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-10-09

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

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #divine
01:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
06:27 xstill jo, ale musím nejdřív něco najít
07:55 xstill ha, vymyslel jsem jak poslat funkci + parametry do threadu na 8 řádků
07:55 xstill ale divine mi tvrdí, že je to špatně
08:26 yaqwsx joined #divine
09:09 mornfall (jinak teda is_private fungovat nebude, protože pak zase musíš měnit ten objekt když se na něj vykopíruje ukazatel)
10:14 mornfall joined #divine
10:58 xstill mornfall: jak je možný, že v jednom vlákně vidím @(14:0| { 13:0 <...>, 53:0, 10:0 <...> }) a do druhýho jsem si předal ten pointer a vidím tam  @(14:0| 0)
10:58 xstill ?
11:07 mornfall jako v tom stejným stavu jo?
11:07 xstill jo
11:07 mornfall a jakýho je typu?
11:07 mornfall jestli to je i8* tak vidíš prostě první bajt tý struktury
11:08 mornfall což asi nula klidně být může
11:08 xstill tak ten druhý výskyt je i8*
11:09 xstill ono je to closure, já si ho hodím přes pointr do druhého vlákna a tam ho chci z toho pointru vykopírovat (tam už typ vím)
11:09 xstill ale vykopírují se mi nuly
11:09 xstill ještě teda můžu udělat to, že ten pointr přetypuju nejdřív abych ho i vyděl ve výpisu
11:10 xstill jenže on mi ho divine stejně asi neukáže protože už tam bude
11:10 mornfall tak, on stejnej pointr nemůže ukazovat na dvě různý hodnoty, to jaksi nejde
11:10 mornfall něco ten objekt musí vynulovat
11:12 xstill aha, nevynuluje, tak ta chyba musí být jinde
11:16 xstill tak to je dobrý teda
11:16 xstill clang mi vygeneroval dost výrazně blbej bitkód
11:19 xstill aha ne, já neumím programovat
11:41 xstill mornfall: co může být jiné použití instrukce než v instrukci? jen metadata, nebo i něco jiného?
11:53 xstill jinak to moje alloca nulování není korektní
12:14 mornfall jinde asi ne, aspoň z hlavy mě nic nenapadá
13:01 xstill ProgramInfo::build in lart.alloca.mzero.5096
13:01 xstill Too many functions, capacity exceeded
13:01 xstill to je takový veselý
13:02 xstill ale jasně, je to tím, že je tam moc těch nových funkcí
13:29 xstill ale začíná to fungovat
15:14 mornfall :-)
15:52 xstill mornfall: co přesně dělá resume? on znova vyhodí aktivní výjimku jestli to dobře chápu, ale není mi jasný, jestli to znamená konec funkce, nebo ne
15:54 mornfall resume znamená konec funkce (je to terminátor a nikam nevede, tak nemá moc co jinýho udělat asi)
15:55 xstill jo, pak nechápu proč mi dominator tree říká, že něco v basickblocku který nemá předky (co tam vůbec dělá) dominuje něčemu v bb kde je to resume
15:57 mornfall no, to zní dost logicky ne?
15:57 mornfall bb bez předků je asi entrypoint a dominuje všemu
15:58 xstill ah… obráceně to píšu, to v tom s resume dominuje tomu bez předků
15:59 xstill (který navíc začíná landingpadem)
16:06 xstill prostě bych očekával, že A dominuje B => z A je dosažitelné B, ale to mi neplatí
16:12 xstill a když to zkompiluju clangem tak to začne assertit, taky dobrý
16:13 xstill aha ne, mě tam chyběl soubor
16:46 xstill ale mít analýzu kvadratickou k počtu instrukcí ve funkci koukám není úplně ono

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