Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-09-14

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

All times shown according to UTC.

Time Nick Message
07:30 xstill co jakou kolizi?
07:30 xstill ono je to s tím strašně divný
07:38 xstill ah už vidím co
09:49 xstill vidím, že chceš dělat release brzo :-)
10:21 xstill %11 = call %struct._DivineLP_Info* @__divine_landingpad(i32 %10) #7, !dbg !17262
10:21 xstill /home/xstill/DiVinE/mainline/divine/llvm/execution.h: 1103: assertion `bad parameters for opcode 48' failed;
10:25 mornfall to jsem už opravil dneska ;-)
10:27 xstill :-)
10:52 xstill jo funguje to
10:53 xstill assertion f __cxa_throw_divine znamená co? Nechycenou výjimku?
10:54 xstill pod tím je ještě EXIT. To jako že se to unwindoval celý stack?
11:01 mornfall j
11:02 mornfall new teď hází bad_alloc totiž :-)
11:02 xstill hm, mám(e) docela brutální regresi na ntree (proti mojí bc, ficher9): bez komprese: 24s -> 31s; s kompresí 37s -> 91s
11:03 xstill ad new -- to jsem si myslel
11:03 xstill jen z toho trace to není úplně jasné
11:03 xstill teda spíš vůbec (nejsi-li divine dev)
11:04 mornfall no, to bude ještě veselý než vymyslíme něco aby to jasný bylo
11:04 mornfall bude potřeba nějak dostat string z userspace do systému, ideálně nekonstantní
11:05 mornfall aby se to mohlo k tomu assertu nějak přišpendlit a vypsat
11:15 xstill jo to by bylo dobrý
11:41 xstill mornfall: zdá se že jediná významná změna v ntree je hashování -- myslíš že je možné, že to zpomalilo 2x - 3x kompresi?
11:42 xstill (předělali jsme to tak, že se teď musí počítat hash komprimovaného stavu)
11:52 xstill někde nám tam přilezlo '13.00%  libc-2.17.so        [.] vfprintf' ale nevím odkud
12:22 xstill hm, tak regrese je převážně chybějící NVLAGRIND v mém releasu
12:25 xstill stále jsme sice asi o 14% pomalejší, ale to i bez komprese
12:36 spito joined #divine
12:44 xstill hm, problém je, že ten NVALGRIND tam není kvůli nějaké chybě v cmake
12:51 mornfall :D
12:56 xstill no, nejspíš za to může "CMAKE: Set default compile flags in way they can be changed by user."
13:25 spito left #divine
14:40 xstill hm, pythia05 už tři dny builduje libdivine-instances ve smyčce na 4 vláknech, pochybuju, že by toho byla schopná s vadným CPU
14:43 mornfall zajímavé
14:43 mornfall co jí teda kruci je? :)
14:45 xstill nevím, možná disk
14:46 mornfall to by se asi projevovalo jinak
14:46 xstill jsou nějaké další projevy kromě restartu?
14:50 xstill ani se to nepřehřívá
14:50 xstill zkusím verifikovat store
14:53 mornfall no, hlavně to zdechá v kernelu
14:58 xstill hm, divné
17:00 xstill i store je v pohodě snad
17:06 xstill hm proč vlastně nebuildujeme knihovny pro llvm verifikaci do divine? Je nějaký důvod kromě toho, že vyžaduje divine compile?
17:15 mornfall nejsou moc přenositelné
17:19 xstill méně než ta binárka?
17:20 mornfall podstatně :) ono totiž záleží na tom jakej clang máš zrovna v cestě
17:22 xstill hm, to jo
17:24 xstill ale pokud by se třeba kontrolovala verze, tak by to šlo ne? Bylo by to víc user-friendly.
17:49 mornfall tak já nevim, jednak moc neumíme kontrolovat verzi
17:49 mornfall druhak najít nainstalovaný knihovny není žádná sranda
17:49 mornfall zatím bych to radši nechal jak to je
17:59 xstill zvítězil jsem nad cmake :-)
18:32 mornfall to máš dobrý :)
18:32 mornfall já brzo zjistím jestli jsem zvítězil nad hydrou
18:34 xstill ty s ní děláš nějaký zajímavý věci...
18:35 mornfall jestli to klapne tak jsem anně ušetřil tak 5G paměti
18:37 xstill drsný
18:38 mornfall /tmp/nix-build-divine-minimal-3.0.90+pre4098.drv-0/divine-3.0.90+pre4098/divine/explicit/explicit.test.h:9:9: error: unknown type name 'DataBlock'; did you mean 'divine::dess::DataBlock'?
18:38 mornfall to jsem něco zapomenul pushnout?
18:39 mornfall /tmp/nix-build-divine-minimal-3.0.90+pre4098.drv-0/divine-3.0.90+pre4098/divine/coin/transition.cpp:44:39: warning: comparison of constant -1 with expression of type 'bool' is always false [-Wtautological-constant-out-of-range-compare]
18:39 mornfall tohle je dobrej warning
18:40 xstill hm, že bych zase zapomněl na testy
18:41 xstill jo ten warning jsem viděl, ale je to coin do toho se nevrtám
18:41 xstill hm, ty testy jsou fakt špatně, sorry
18:42 mornfall já na to vyrobim ticket
18:42 mornfall jinak to tam bude na věky :)
18:43 xstill ten test jsem opravil
19:17 xstill hm, narazil jsem na Intrinsic::trap
19:17 xstill (ať už je to cokoli)
19:19 xstill call void @__divine_assert(i32 0) #7, !dbg !181
19:19 xstill call void @llvm.trap(), !dbg !181
19:19 xstill unreachable, !dbg !181
19:19 xstill ale proč to tam najednou je nevím
21:03 mornfall potřebuju to mSATA SSD... není místo

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