Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2014-03-14

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

All times shown according to UTC.

Time Nick Message
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/
17:07 xstill hm, víš o tom, že gcc má něco co nazývají address sanitizer a thread sanitizer? Mělo by to detekovat pamětově chyby/race za běhu. Docela by mě zajímalo jak dělaj to druhý.
17:09 xstill a víc toho má přijít v 4.9 https://stackoverflow.com/questions/20738232/gcc-4-9-undefined-behavior-sanitizer
17:10 mornfall slysel jsem o tom, j
17:12 xstill a clang má taky něco takovýho (možná i přesně totéž)
17:12 xstill a máš představu co to umí? hlavně ten thread sanitizer?
17:14 mornfall nemam, podle toho odkazu zatim v podstate nic
17:15 mornfall ale typicky se delaj veci jako kontrola parovani mutexu...
17:15 mornfall v C dost velkej problem, v C++ de facto irelevantni
17:15 xstill no tak to umí i valgrind/helgrind nějak
17:16 mornfall helgrind toho umi podstatne vic
17:17 xstill to je možný, já už ho dlouho nepoužil ale naposledy jsem měl pocit, že atomické proměnné se mu moc nelíbí
17:17 mornfall zejmena dokaze rozumne presne aproximovat lock coverage
17:18 mornfall staticka analyza toho musi uhodnout vzdycky mnohem vic
17:19 xstill lock coverage je co vlastně?
23:01 xstill no sláva konečně fungující debugger na školním pc
23:02 xstill blbý je, že si ho tam člověk musí zkompilovat aby ho měl

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