Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-02-20

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

All times shown according to UTC.

Time Nick Message
11:48 spito joined #divine
12:01 mornfall xstill: bylo by fajn kdybys mohl upravit std_atomic.sh
12:01 xstill hm
12:01 xstill mornfall: podívám se na to
12:01 mornfall xstill: ad xsabo, jo, ale to GUI a Qt asi ví aj on ne? :)
12:02 xstill nevím
12:02 mornfall já popravdě nerozumim otázce, a na IRCu vydrží vždycky tak 3 minuty
12:04 xstill (gui skončí se segv při zavírání)
12:08 xstill hm, ten atomic nějak trvá
12:10 mornfall napsal sis velký testy :-)))
12:18 xstill hm
12:24 xstill chceš mi říct, že 2x CAS + 2x inkrement ve dvou vláknech je moc?
12:26 mornfall tak se podívej kolik to má stavů
12:26 mornfall jinak tam máš ty vlákna 3 dohromady
12:26 mornfall a počítám že debug build divinu
12:27 xstill jo
12:27 xstill main nic rozumného nedělá
12:28 mornfall tak, furt je dost možností jak se ty joiny budou interleavovat s těma ostatníma vláknama
12:29 xstill hm
12:30 mornfall atomic.bc má 10k stavů
12:31 xstill hm, já vidím 12k a pokračuje
12:32 mornfall jak sis "vypnul" ten svůj atomic, neudělal jsi to v divinu?
12:33 mornfall (a nezapomněl to vrátit?)
12:33 xstill udělal, ale revertnul jsem to a rebuildoval (i prrebuild)
12:34 xstill *prebuild
12:35 mornfall s --no-reduce už to vygenerovalo 200k stavů a nevypadá že by chtěl končit ;-)
12:36 mornfall hm, to je proto že já jsem někde zašantročil ten tvůj patch na atomic :D
12:37 mornfall jo, přesně tak
12:38 xstill 20k stavů
12:39 xstill 7 minut
12:39 xstill (mám 8% baterky, takže končím tak na hodinu)
12:40 xstill (70k hran)
13:45 mornfall (jo, s --no-reduce to po 1.2M stavech zdechlo :-)
13:48 xstill zdechlo na co?
13:49 xstill došla pamět?
14:02 xstill pořád nějak nechápu, kde to nabralo 20k stavů
14:02 xstill každé to vlákno má asi 9 kroků
14:40 ilbot3 joined #divine
14:40 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
14:40 xstill Question about output from DIVINE -- mluví o genrování nějakých klíčů, moc to nechápu
17:42 ndnd joined #divine
17:43 ndnd wow there is even a IRC channel
17:43 ndnd i'm having trouble using divine, it's crashing because of ld.gold at the divine compile --llvm step
17:44 ndnd ld.gold: error: LLVM gold plugin has failed to create LTO module: Invalid bitcode signature
17:50 ndnd mornfall: sorry for ping
18:31 mornfall joined #divine
19:28 xstill kdo to byl? Jen tak náhodný kolemjdoucí?
19:32 xstill hm, ono nám to trochu komplikuje to, že tam může existovat až 5 threadů, protože ty předchozí se po joinu neztratí (neuvolní)
19:33 xstill takže každej další stav je tam 4x podle toho jestly ty dva mrtvé thready dojely nebo ne
19:33 xstill což je dost nemylé, že nám dokončené thready takhle zavazé
19:33 xstill *zavazí
19:40 texi joined #divine
19:40 nzee sorry i was disconnected, did i get an answer to the previous question?
19:44 xstill nzee: the one about ld.gold? Seems to me like version of llvm/llvmgold plugin is different from clang
19:45 xstill but I am not sure
20:09 nzee xstill: how can i check the version of the LLVMgold plugin?
20:12 xstill unless there is something wrong with your system it should be same as llvm-config --version, so you can start there
20:28 nzee xstill: 3.3
20:28 nzee that's what i had when i had the problem; clang also had this version
20:38 xstill hm, is there anything more in the error message?
20:53 xstill do you use llvm+clang installed from your distribution packages? If yes what distribution?
21:14 neie joined #divine
21:31 neie xstill: sorry i'll come back tomorrow to try again, i don't have the error message right now
21:53 xhire_ joined #divine
21:59 xstill ok

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