Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-04-10

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

All times shown according to UTC.

Time Nick Message
01:49 ilbot3 joined #divine
01:49 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:54 mornfall spito: jaký změny?
10:32 spito joined #divine
10:33 spito mornfall: a to mi teda řekni, čím to je, že build na Fedoru 18 neprojde kvůli testu bittuplu
10:33 xstill spito: typuju, že tam najdeš gcc 4.7.2
10:34 spito jinak změny = v podstatě patche, úpravy....
10:34 xstill mornfall: bylo by potřeba zaříznout 18 a přidat 20
10:34 spito xstill: a máš pravdu, je tam gcc 4.7.2
10:35 xstill asi je tam rozbitá nějaká optimalizace
10:35 xstill bude potřeba se na to vykašlat, stejně tak llvm 3.1 už asi nepůjde
10:35 spito on je to navíc debug build
10:35 spito release projde
10:35 spito :D
10:35 xstill divný
10:36 spito mornfall: ten s tím OOM je tenhle http://divine.fi.muni.cz/hydra/build/5289243
13:38 xstill mornfall: kde ty alokuješ v generátoru? Všechny ostatní genrátory volaj makeBlob, jen llvm ne.
13:53 xstill ach jo, ty to tam máš strašně provázaný
13:58 mornfall co?
14:00 xstill alokaci, pool všechno
14:01 mornfall no, alokuje v podstatě jen MachineState::snapshot(...)
14:01 mornfall ostatní alokace nejsou stavy, ale prostě kusy paměti pro interní potřebu
14:01 mornfall ano, znamená to že llvm potřebuje aj proxy aj pool
14:01 mornfall (pool pro interní alokace, proxy pro alokace stavů)
14:02 xstill no to není až takový problém, spíš se to musí protlačit hloubš
14:02 xstill budu si to muset projít než do toho začnu hrabat
14:03 xstill ale možná to nebude až tak strašný
14:03 mornfall nikam dál se to neprotláčí
14:04 mornfall (teda ne dál než do MachineState)
14:08 xstill hm, jdu se nejdřív projít, sedím zase celej den doma
17:16 mornfall http://filippo.io/Heartbleed/#anna.fi.muni.cz sláva :-) ale že to byl porod
18:21 xstill hej to si ze mě dělaj srandu snad
18:22 xstill já měl vždycky za to, že cgrupy jsou hierarchický aby ty podgrupy nemohly překročit limit nadgrup a ono to nefunguje
18:22 xstill teda alespoň u paměti
18:23 xstill právě jsem úspěště přesvědčit pheme22 ať mi přidělí limit 20GB dp dsched/xstill_default zatímco dsched má limit 16
18:33 xstill hm, existuje memory.use_hierarchy ale to pro změnu nejde zapnout
18:34 xstill aha jde

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