Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-08-07

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

All times shown according to UTC.

Time Nick Message
10:49 mito_ joined #divine
10:49 xstill joined #divine
10:49 spito joined #divine
10:49 xHire joined #divine
10:49 mornfall joined #divine
10:49 ChanServ joined #divine
12:44 mornfall hm, udělal jsem port na LLVM 3.7, jen mi nefunguje linker
12:46 xstill jakože brick linker, nebo neslinkuje divine?
12:46 xstill asi to taky znamená, že bych se měl připravit na aktualizaci systému, co?
12:47 mornfall brick-llvm.h
12:47 xstill a co s tím je?
12:47 mornfall | [ 0:33] linking functions/_PDCLIB/_PDCLIB_seed.c.bc
12:47 mornfall | [ 0:33] linking functions/_PDCLIB/_PDCLIB_closeall.c.bc
12:47 mornfall | [ 0:33] error: Linking globals named '_PDCLIB_closeall': symbol multiply defined!
12:48 xstill a je?
12:49 mornfall tak s 3.4 se to neděje... ale zjistím jak ty .bc vypadaj
12:50 xstill no, stejně bych si tipnul, že chyba je v bitkódu na ne v linkeru, leda by se rozbilo weak linkování, ale to pochybuju, že pdclib používá
12:50 mornfall no, v tom prvním není nic
12:50 mornfall _PDCLIB_seed.c.bc je v podstatě prázdnej
12:50 mornfall (jenom metadata)
12:50 mornfall ah, a   5 @_PDCLIB_seed = global i64 1, align 8
12:51 xstill no, jenže ono to neznamená, že konflinkt je v těhlech 2 souborech, ale že něco před _PDCLIB_closeall.c.bc konfliktuje s ním
12:51 mornfall žádný jiný tam nejsou, to jsou první dva
12:52 xstill divný, každopádně tahle hláška tuším jde přímo z llvm linkeru, ne ode mě
12:52 mornfall ano, jde
13:03 mornfall jo, llvm za to nemůže, ono se to snaží slinkovat closeall 2x k sobě
13:03 mornfall zjistím, vyřeším
13:14 mornfall jo, pokrok, | [ 0:58] lib: line 247: 65890 Bus error               (core dumped) divine compile --llvm $f --precompiled=. "$@" &> progress
13:14 mornfall (takže knihovnu už to vyrobilo, nějakou)
13:16 xstill bus error, to je nějaký vadný mmap, ne?
13:16 mornfall nevim, jdu nakoupit a pak se na to podívám
13:17 mornfall (nicméně bitkód z 3.4 mi divine načte a zverifikuje)
13:18 xstill zajímavé
13:58 mito_ joined #divine
14:49 xstill mornfall: přehrabu ti lart runner, ať to trochu vypadá
14:50 mornfall no, teď bys možná nemusel
14:50 xstill proč?
14:51 mornfall protože llvm 3.7?
14:51 mornfall široko daleko nejhorší moment :P
14:51 xstill no, to bych potom asi neměl dělat nic…
14:51 xstill to se zrovna moc nehodí
14:52 mornfall jsem myslel že chceš dělat HC
14:52 mornfall nebo nový transformace
14:52 mornfall nebo tak
14:53 xstill HC jsem asi nedomyslel :-/
14:57 xstill respektive teda pořád někde přistupuju na smazaný bloby
15:04 mornfall xstill: pushnul jsem ti ty portovací patche do next-u, ale nevim jak moc to (ne)funguje
15:06 xstill nojo, ono mi to moc nepomůže, nemám kde vzít llvm 3.7 zatím
15:07 xstill natož pak clangSelf počítám
15:07 mornfall ano, to bude ještě veselé
15:13 xstill hm, v lokální frontě nemůže být něco dvakrát, ne? I když to záleží na algoritmu asi…
15:14 xstill ale v reachabilitě by se to stát nemělo
15:14 mornfall co znamená být dvakrát?
15:15 mornfall stejnej blob tam může být kolikrát chce
15:15 mornfall (dokonce přímo musí)
15:15 xstill jakto?
15:15 mornfall protože tam jsou uložený hrany
15:15 xstill v lokální frontě je jeden handle
15:16 xstill až v processOpen se generují následníci
15:17 xstill jakože jsou tam stavy, ne hrany
15:17 mornfall jo to je pravda, fyzicky tam uložený nejsou
15:17 mornfall je tam jen from, to se vygeneruje až když je potřeba
15:19 mornfall (a je to novej blob, takže by to mohlo fungovat... pokud bloby 'mažeš' v momentě kdy se vyhazujou z fronty, v processClosed)
15:19 xstill no a právě proto mi přišlo, že (v reachabilitě) by tam měl být každý stav uložený jen jednou
15:21 mornfall POR máš vypnutej jo?
15:21 xstill nezkompilovanej
15:22 xstill ale nemazal jsem je v processClosed ale v processOpen, vlastně nevím proč (a měnil jsem ten handle na vrchu fronty, ale stejně to padalo)
15:25 mornfall no, jestli to smažeš v processOpen mělo by to zdechnout na prvním deadlocku
15:25 mornfall asi
15:25 xstill teď mi ovšem generování následníků hrabe na smazanej blob
15:26 xstill na deadlocku to nezdechalo
15:31 mornfall hm, to nový lldb začíná i trochu fungovat
15:34 xstill už zas musím vypínat demanglování ve valgrindu abych viděl ty symboly celé, achjo…
15:38 xstill no fakt v tým frontě musí být jeden handle 2x asi
16:19 xstill jo gdb taky funguje úplně super…
16:19 mornfall co?
16:20 xstill nic prostě jsem dal vypsat objekt a ono to začalo žrát 100% a nic to nedělá
16:21 xstill a měl jsem teda puštěnej záznam no
16:21 xstill a znova, pro velký úspěch…
16:24 xstill a samozřejmě nejlepší je, že když vypíšu hodnotu v parametru než se předá do funkce a pak uvnitř té funkce tak dostanu komplet jinej výpis
16:26 xstill aha tak to jen volat funkce nějak blbne
16:52 xstill ha, už to funguje
16:52 xstill teda minimálně to nepadá pořád :-D
16:55 xstill měřil někdy někdo kolik toho HC zahodí?
16:56 xstill 30% stavového prostoru není OK doufám…
16:56 mornfall to by se nemělo moc dít
16:56 mornfall myslim že v jednotkách procent pro plnou paměť (po HC)
16:57 xstill jo, já i tuším proč se to děje, spíš netuším proč se to nedělo
16:58 xstill aha, hlavně ale já mám totiž protipříklad, takže to je tím, blbnu nějak
17:00 xstill a zapoměl jsem si poslat výkaz asi :-/
17:02 xstill jo dobrý, nic se neztrácí
17:10 xstill teď jsem třeba ztrati asi 40 stavů z 5M, to je asi v pořádku už
17:10 mornfall jo to asi jo
17:11 xstill a dokonce se zdá že to i šetří paměť
17:12 xstill jdu domů a pak nahodím testy
18:16 xstill chybí nám test na weak reachability
18:20 xstill hm, tak mi ty testy pěkně popadaly
18:22 mornfall jestli tě to potěší tak prun v linkeru těžce nefunguje
18:22 mornfall prune*
18:22 xstill on fungoval
18:22 mornfall jo, fungoval
18:25 xstill mě by třeba potěšilo kdyby člověk dokázal nějak rozumně dostat breakpoint na vyjímku ale ne na tu co vyhazuje dve parser…
18:26 xstill nj. samozřejmě že to nefunguje
19:12 xstill jak moc zvrhlý je spoléhat se na to, že při {} inicializaci se parametry vyhodnocují v pořadí? (standard to vyžaduje)
19:43 xstill hm, ltlce.h: 363: assertion `hSeen.count( shared().ce.current.asNumber() ) == 0', to snad může slehlat jedině tak, že je v parent grafu cyklus, ne? by mě zajímalo jak se to povedlo
20:03 xstill hm, to se nedomyslel, ty protipříklady nemůžou vůbec fungovat
21:25 mornfall čemu má sloužit to getAsInstruction() v brick-llvm.h?
21:58 mornfall moc to nefunguje, ale zlepšuje se to
21:58 mornfall pokračování asi zítra

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