Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-03-02

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

All times shown according to UTC.

Time Nick Message
01:50 mornfall nojo, když já jsem taky tak trochu idiot
02:47 ilbot3 joined #divine
02:47 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:09 mornfall aha, hm, statistiky fungujou jen na linuxu
07:13 xstill hm, jako že nefungujou na windows nebo na bsd?
07:13 mornfall na bsd nefungujou
07:14 mornfall xstill: pushnul jsem opravenej globals splitter
07:15 mornfall xstill: divím se že ti to nezesegvilo předtím
07:15 mornfall protože to dělalo dost veselý věci :-)
07:16 mornfall jinak třeba fifo.bc má 8K jenom globální proměnný
07:19 xstill to je dost
07:21 xstill no, segví to teď
07:21 xstill jdu si udělat debug build
07:22 mornfall na čem to testuješ?
07:23 xstill pthread_rwlock z examples
07:24 mornfall jo to schytalo nějakej assert, jdu se na to podívat
07:27 mornfall aha, zarovnání
07:38 mornfall xstill: máš to tam, zatím to vypadá že už to nepadá
07:38 mornfall a já abych šel na vlak
07:44 xstill tohle vypadá líp, ozvu se až dojdu an FI
07:57 mornfall hm, kulový, EC z Budapešti je ještě někde v Blavě
07:58 mornfall takže za hodinu
08:14 xstill tak tenhle je dost rychjelší, což teda moc nevím čím může být, ale je
08:16 xstill a při +- stejném počtu stavů i líp komprimuje (na 350k stavů jsem potřeboval cca 520s/320s (starý/nový), a paměť je 2237 b/stav resp. 1763 b/st, to vypadá dobře :-)
08:16 xstill ale docela by mě zajímalo jak je možný ten časový rozdíl
08:25 mornfall možný je tak že teď by tam měla být plusminus jen jedna kopie velkých read-only (v podstatě) proměnných, takže relativně velkej kus toho stavu asi zůstává v cache a je v paměti kontinuální
08:26 mornfall navíc ten strom je plytší protože jsem mu dal pár kvaternárních pater
08:27 xstill aha, to by se mohlo projevit
08:27 xstill jak se projevje "v podstatě read-only" proměnná?
08:27 mornfall no, pdclib tam má nějaký globální data který v principu měnit jdou ale v praxi to asi žádnej program (z těch co máme) nedělá
08:28 xstill jo tak
12:58 mornfall nix-store --add-root clang-unwrapped --indirect -r ...
16:48 spito mornfall: tak jsem to poslal znovu, snad budeš spokojen :)
19:49 mornfall prolítl jsem to, vypadá to ok, snad na to zítra ještě najdu chvíli a pushnu to
19:50 mornfall xstill: s tím pool-em to nebude až *tak* jednoduchý, protože zrovna LLVM generátor si občas alokuje nějakej mezistav interně
21:14 spito mornfall: dík, jsi zlato :-*
21:14 spito :D
21:14 mornfall spito: odkdy jseš gay? :-)
21:15 spito O:-)
21:15 mornfall puso :P
21:15 spito a ty od kdy? *wink* *wink*
21:37 spito dávám si jeden skromný cíl: Nesmí mě předběhnout Release Bot v počtu patchů.
21:52 xstill to je zase bordel tady :-D
21:53 xstill spito: tak to bysme museli releasovat docela hodně :-D, zatím překonal jen Marka a Vilíka a to není zrovna moc náročné :-D

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