Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-06-26

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

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:36 ilbot3 joined #divine
07:36 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
08:06 xstill to je veselý, operator new/delete je vždycky exportovanej i z binárky a do dokonce i když má explicitně nastavené visibility hidden
08:07 xstill a to už jsem si myslel, že to skoro mám
08:14 xstill hm, takže asi alokátor, pokud se z toho nechci zbláznit
09:03 xstill ne, jen to neumím správně nastavit
09:19 xstill mech, ale tomu gdb z toho solidně hrabe
19:25 mornfall xstill: aha to s tím PC jsem nepostřehl, to jde řešit (měl jsem asi v plánu) tak, že se PC přidělí do metadat nějakým průchodem už při překladu, jen to musí jít pustit víckrát aby se doočíslovalo nový funkce při loadu, budou-li
20:13 xstill mornfall: to by teoreticky šlo, jenže já potřebuju v native tu funkci najít podle adresy PC, ale ono to možná nebude ani moc bolet dělat to lineárně, přeci jen se to nebude dít až tak často. Jinak by mi v podstatě stačilo pokud bych měl garantované že adresy funkcí budou odpovídat jejich pořadí v modulu nebo tak něco, pak bych to mohl dělat binárním vyhledáváním
20:31 mornfall to pořadí v modulu je takové nejisté mi přijde
20:32 xstill mě právě taky, proto jsem to podle něj nedělal, musel bych nastudovat LLVM dokumentaci
20:33 mornfall jako divine to tak sice čísluje a je dost pravděpodobný že se to od načtení k načtení nebude měnit...
20:33 xstill divine jo, ale co codegen…
20:34 mornfall jo podle nativní adresy... no na to asi zapomeň :-)
20:34 mornfall to jedině vymlátit z našich runtime metadat
20:34 xstill jakých runtime metadat?
20:35 mornfall __md_*
20:35 mornfall nebo jak se to jmenuje
20:35 xstill jo, z těch to vymlátím jako funkci které entry point je nejblíže před tou adresou
20:35 mornfall tam je pole funkce <-> entrypoint
20:35 mornfall no to si při startu můžeš zesortovat podle čeho je libo
20:36 mornfall tzn. binární hledání podle adresy by klidně šlo
20:36 mornfall ale jestli se to vrátí to nevim
20:36 xstill to bych ale musel udělat po kompilaci nějak podle té binárky
20:36 xstill (pro protipříklady)
20:37 mornfall v __sys_init jsem myslel
20:38 mornfall (při startu jako fakt při startu)
20:43 xstill ajo, to by šlo
20:43 xstill zas by to pak nemohla být konstanta, ale to nevím jestli nás něco stojí
20:51 xstill věděl jsi, že když předáváš nebo vracíš prázdnou strukturu tak ona úplně zmizí? A není to ani podmíněné optimalizacema

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