Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-02-18

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

All times shown according to UTC.

Time Nick Message
02:49 ilbot3 joined #divine
02:49 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:45 xstill tak on zase report není až tak spolehlivej, když máš oom tak ho nemáš vůbec třeba
07:48 xstill ad #define, ono zase některý chceme, řekl bych, že nechceme *unix*, *linux*, ale už třeba __x86-64__ tam možná chceme nechat, možná nakonec i ten *unix* když už máme unistd
07:48 mornfall no, to by bylo dobrý vyřešit tak jako tak
07:48 xstill co?
07:48 mornfall však jo, je potřeba to vyfiltrovat
07:49 mornfall chybějící report
07:49 mornfall vyfiltrovat -> #define
07:49 xstill ten report? jako v podstatÄ› jediná možnost co mÄ› napadá by byla forknout se na začátku a mít report ve sdílený pamÄ›ti nÄ›kde, a když child zdechne a nedá vÄ›dÄ›t o tom, že  by vypsal report tak vypsat
07:49 mornfall každopádně teda podle očekávání s novým unistd.h to dost přestalo fungovat
07:50 xstill viděl jsem
07:50 xstill ale jsou to vesměs jen drobnosti asi
07:51 mornfall jsou (nic moc jinýho než chybějící kousky unistd.h to asi ani být nemůže :)
07:51 xstill hm, spíš teda nevím, jestli to noinline není na špatném místě deklarace
07:51 mornfall fork tě před OOM nezachrání nutně
07:52 xstill to je možný, ale co tě potom zachrání?
07:52 mornfall spíš by asi bylo smysluplný vypsat to z reportu co můžeš hned
07:52 xstill no když vypíšeš část reportu rovnou a část na konci tak v tom bude bordel, pokud to teda nesypeš do samostatnýho souboru
07:52 mornfall v sql by se to mohlo rozházet do několika tabulek a ne každej run musí mít nutně výsledek
07:53 xstill mě ten sql report začíná připadat jako overkill
07:54 mornfall těžko říct, s tím textem kde je každej kus v jiným formátu to taky není úplně ono
07:54 xstill jako ve chvíli kdy bys to chtěl cpát do něčeho jinýho než sqlite tak to znamená se dost zamýšlet nad tím jak to udělat tak aby v tom nebyl totální chaos když tam bude víc než jeden straj
07:54 xstill tak ještě se můžeme rozhodnout, že to nějak sjednotíme
07:55 mornfall tak přidat do reportu hostname je žádoucí asi tak jako tak
07:56 mornfall když to sypeš do pár tisíc souborů o nic menší chaos v tom nebude
07:56 xstill tak dost snadno se v tom udělá nějaká hierarchie
07:59 mornfall no, jediný rozumný co jsem měl bylo nacpat všechny parametry do názvu souboru a pak v tom hledat ls *klíč*...
07:59 mornfall to že tam dáš / místo - nebo . ti nijak nepomůže
08:00 xstill hm, všechny ty ssize_t, off_t jsou u mě přímo v unistd asi je tam můžu přidat tak aby se to zkompilovalo
08:00 mornfall počítám že to původně přišlo ze sys/types.h...
08:02 xstill no ne, typedef long int __off_t; z glibc-2.19/include/bits/types.h, typedef __off_t off_t; z glibc-2.19/include/unistd.h
08:02 xstill a ty podtržítkový necheme počítám
08:04 xstill hm, ale kde my bereme uvnitÅ™ divine sys/types.h
08:05 xstill external/pdclib/sys
08:05 xstill hm
08:05 xstill je tam jenom types
08:05 xstill a je to hlavně úplně blbě, ssize_t nemůže být int na 64bit
08:07 mornfall měl by to být intptr_t který ale taky nemáš ...
08:09 xstill tak, může to být long
08:10 xstill krom toho máme _PDCLIB_intptr
08:10 xstill což je long
08:12 xstill ale nevím kde se bere ten _PDCLIB_intptr
08:12 mornfall external/pdclib/_PDCLIB_config.h:#define _PDCLIB_intptr long
08:13 xstill no to definuje long, ne? (což je trochu podezřelý)
08:15 mornfall hm?
08:15 xstill hm čtu #define jako typedef
08:15 xstill sorry
08:15 mornfall :-)
08:15 xstill jen se to teda dost možná jednou podělá na x64 windows, protože počítám, že i clang tam bude mít sizeof( long ) == 4
08:17 mornfall a navíc to možná nepůjde na první pohled poznat
08:18 mornfall (divine pointry s non-zero MSB polovinou nevyrábí)
08:32 xstill jako asi se dá využí věcí jako __INTPTR_TYPE__, které clang definuje sám od sebe
08:33 mornfall to budem muset prvně udělat nějaký clang -dM | grep -v a pak překládat s -undef -include ...
08:47 xstill to chce rozmyslet no, máš tam patche
11:30 xstill a už se to zase zelená
11:47 mornfall :-)
15:49 spito mornfall: dobrý? potřeboval bys dneska něco? protože jestli jo, tak to napiš teď, protože pak (cca od 7) půjdu na večerní lyžování a pak budu asi umřetý
15:52 mornfall spito: xstill to po tobÄ› opravil :P
15:52 mornfall takže dobrý
15:52 spito tsss
15:52 spito ale tak...stejně za to může on, tak ať se snaží :D
15:53 mornfall jakto?
15:53 xstill spito: :-D
15:53 spito tak....to asi nechceme ve veřejným logu
15:53 xstill mornfall: ti to pak vysvětlíme
15:54 mornfall to su zvědavej (ale stejně na to za ty dva týdny zapomenu)
16:07 spito http://anna.fi.muni.cz/~xweiser1/lyze/
16:07 spito (mornfall  ^)
16:08 mornfall řekl bych že by se ti hodil lepší foťák :D
16:09 spito ten cestou spadnul a rozbil se
16:09 mornfall mrzuté
22:17 xstill spito: díky za fotky, vypadá to hodně dobře :-)
22:47 spito jako už jsme byli i ve větších střediscích

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