Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-04-18

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

All times shown according to UTC.

Time Nick Message
08:58 mornfall xstill: ten fallocate kterýho výsledek (v release) ignoruješ asi není úôlně dobře
08:58 mornfall 559 fallocate(3, 0, 0, 18446744073340504432) = -1 EINVAL (Invalid argument)
08:59 xstill hm, a to nastalo jak? ta délka teda hlavně
08:59 mornfall úplně*
08:59 xstill ale jo ignorovat bych to neměl
09:00 mornfall jak ta délka nastala nevim, děje se to když to Kristína spustí na fischer.bc
09:00 mornfall když to spustim já tak to funguje ale (stejná verze)
09:00 xstill to dost nedává smysl
09:00 mornfall a pak teda  561 mmap(NULL, 0, PROT_READ|PROT_WRITE, MAP_SHARED, 3, 0) = -1 EINVAL (Invalid argument)
09:00 mornfall což taky vypadá nesprávně
09:01 xstill tak protože délka je 0, to se nedivím
09:01 mornfall (open a ftruncate projdou OK, pak ten fallocate umře, fstat ok, mmap blbě)
09:01 mornfall hlavně fallocate a mmap maj jinou délku
09:01 xstill podívám se do kódu za moment
09:03 xstill btw. jak je u tebe ten souber velkej?
09:03 mornfall 1.3G
09:03 xstill ok
09:04 xstill no ten mmap selže proto, že brick::MMap dělá stat na zjištění velikosti a ta je 0 (protože ftruncate funguje)
09:04 mornfall jo, to dává smysl
09:04 xstill takže otázka kde se vzala ta velikost…
09:04 mornfall na první pohled vypadá všechno inicializovaně
09:06 xstill jo, hlavně to číslo je jako int64_t záporný
09:06 xstill pouštíte to stejně?
09:07 xstill případně mi pošli jak to pouštíte, zkusím jestli to náhodou nenastane
09:07 mornfall hm, ona to má s kompresí já bez, jinak nevim
09:07 mornfall 1 execve("./../../paradise/divine/_build/tools/divine", ["./../../paradise/divine/_build/t"..., "gen-explicit", "--probabilistic", "--compression", "models/fischer-prob/fischer-prob"...], [/* 44 vars */]) = 0
09:09 xstill a ten model je kde?
09:09 mornfall examples/llvm/fischer.cpp
09:09 mornfall nebo .c
09:09 mornfall nevim
09:09 mornfall prošlo mi to aj s kompresí
09:10 mornfall a -o nedělá rozdíl a na jiných modelech jí to funguje
09:11 xstill a určitě je to ten model? v něm není žádná pravděpodobnostní volba…
09:12 mornfall hm, není, on je v icfem2015/examples/fischer-prob.c asi
09:13 mornfall ale je pravda že align() bere a vrací int
09:13 mornfall trochu větší soubor to asi dost rozhasí
09:13 xstill sakra
09:13 xstill to může být ono
09:14 mornfall (počítám že to chce zešablonovat)
09:17 mornfall ano je to ono
09:17 mornfall counting vertices...  found 716229 states, 3766560832 bytes
09:17 mornfall a spadne mi to úplně stejně
09:18 xstill to jsem trochu nezvlád no :-/
09:18 mornfall takže jsem měl nesprávnej modl jen
09:18 mornfall divný že překladač neřve
09:18 xstill proč by měl?
09:18 mornfall konverze který můžou uřezat hodnotu většinou dávaj warning
09:19 xstill zatím může používat --no-save-states (stejně asi nemá moc smysl aby generovala do toho dessu obsah stavů)
09:19 xstill já to za chvílku pushnu
09:35 xstill mornfall: máš to tam
11:08 mornfall kdyby se povedlo vyřešit tu RAMku tak bych asi udělal release ... mezitím se pomalu pustím do LLVM 3.5 asi
11:09 mornfall resp. 3.6
11:16 xstill nojo, jako moc nevím jak to vyřešit, vzhledem k tomu jak je cmake tupej na ty objektový soubory
11:23 mornfall no, asi z toho fakt vyrob .a, nevim co jinýho
13:12 xstill no ne, tam je problém, že já bych musel asi vyrobit .a z těch instancí, pak ho rozbalit a to pak inkrementálně slinkovat, což nedává moc smysl (krom toho teda mám pocit, že tu archivaci jsme tam vyhodili právě proto, že taky zabírala moc paměti)
13:38 xstill hm, asi to dokážu ohackovat, snad se to nerozbije úplně
13:45 mornfall ne, archivaci jsme vyhodili čistě kvůli místě na disku
13:45 mornfall kvůli místu*
13:49 mornfall hm, všiml si někdo toho Umar Khan-a? :) já totiž až teď...
13:50 xstill hello help? no všiml, ale jaksi jsem moc nevěděl co s ním, tak jsem to neřešil…
17:06 mornfall nicméně by bylo žádoucí opravit ty časový automaty
17:06 mornfall jen fakt nevim na koho to hodit
17:53 xstill hm, tak je to asi marný, i inkrementální build (all) sežere 7GB paměti :-/
17:53 xstill jen mě pěkně štve, že jsem na to nepřišel dřív
19:11 mornfall 7G aj so --no-keep-memory?
19:12 xstill jo, závěrečné přilinkování těch spojených instancí
19:12 mornfall toho posledního .o jo?
19:12 mornfall teda instances.o do divine
19:12 xstill jo
19:13 xstill ale i likování těch instancí dohromady zabralo dost :-/
19:17 mornfall co se stane když z toho stripneš debug do extra souboru a do binárky to přicpeš --add-gnu-debuglink?
19:17 mornfall (objcopy --only-keep-debug instances.o instances.dbg ; objcopy --strip-debug instances.o ; ... ; objcopy --add-gnu-debuglink=instances.dbg divine)
19:18 mornfall nevím jestli to gdb nějak rozdýchá, normálně se čeká že v tom debuglinku bude všechno
19:18 mornfall (a ty debug-only .o asi nepůjde slinkovat dohromady)
19:22 mornfall nebo -gsplit-dwarf v gcc (ale clang to neumí)
19:22 mornfall hm, ale s clangem se to slinkuje i tak jak to je teď
19:24 mornfall takže -gsplit-dwarf by mohlo stačit (protože release v gcc taky prochází)
19:25 mornfall to vyrobí pro každý .o extra .dwo a gdb by to mělo umět najít
19:25 xstill hm, to je celý divný, to poslední likování velkýho .o u mě teď zabírá přes 4GB
19:25 mornfall (a ty .dwo není potřeba nijak linkovat)
19:25 xstill fakt? a jakou magií je to najde?
19:26 mornfall cesty jsou napsaný v binárce (podobně jako cesty ke zdrojákům v tom debuginfu)
19:27 xstill beztak debug v clangu prochází protože inlinuje
19:27 mornfall to nebude tím
19:27 xstill takže to nejde přesouvat? i když to nám asi nemusí až tak vadit
19:28 mornfall dwp -e divine -o divine.dwp
19:28 mornfall tohle by mělo zabalit všechny .dwo tak aby je šlo nainstalovat
19:28 xstill to je co?
19:29 xstill a dwp vezmu kde?
19:29 mornfall to nemáš? hm
19:29 xstill nemám
19:30 mornfall já tom mam v binutils
19:30 mornfall 2.24
19:30 mornfall tj. docela starý
19:30 xstill já mám 2.23.1
19:30 mornfall hm, 2.24 má tak 3 roky
19:30 mornfall to jsme zase něco nevychytali
19:31 xstill jako já už jsem asi tak měsíc neaktualizoval systém, možná dýl, ale stejně…
19:32 mornfall ten software... vyhodit to z okna všechno :\
19:34 xstill hm, o tom dwp se téměř nedá najít ani, že to existuje
19:35 mornfall ale ono to dwp stejně zas tak moc nepotřebujem
19:36 mornfall ono to kdyžtak půjde nainstalovat aj jinak
19:36 mornfall až to budem někdy potřebovat
20:08 xstill ještě můžeme vyzkoušet -Og (ale to je taky jen v gcc asi)
20:51 xstill hm, tak nevím, zkusil jsem -gsplit-dwarf a dostal jsem z toho 4.1 GB .o souborů a 1 GB .dwo, to nevypadá úplně pozitivně

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