Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-03-29

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

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
07:59 xstill__ joined #divine
11:14 xstill_ joined #divine
14:16 xstill_ mornfall: nahrál jsem nějaké benchmarky z llvm-testsuite, ale jsou dost velké (i po zmenšení), takže asi budou fajn na regrese DIVINE 4, ale divine 3 zatím dal jen jeden
14:16 xstill_ ESMBC dalo 2 (jiné než DIVINE 4)
14:42 mornfall ok, můžeš sepsat nějaké poznámky co je zbenchmarkovaný, čísla instancí, případně co by se mělo zmínit a není zjevný? já to večer nebo zítra zapracuju a submitnu to
14:43 mornfall (minimálně D4 tam hodlám dát i samostatně, aby bylo vidět co všechno jinde nefungovalo)
14:43 xstill_ instance D4 je 15750896, D3 je 13148753, ESBMC je 14901920
14:45 xstill_ dává my smysl dát D4 samo, D4 vs D3 a D4 vs ESBMC
14:45 xstill_ D4 je upstream - ten libc++ patch (můžu přeměřit i s ním)
14:46 xstill_ D3 je poslední otagovaný release, tj 3.3.2 + nějaké drobné mofikace benchmarkování
14:46 xstill_ s/benchmarkování/reportování/
14:46 xstill_ esmbc je 4.1.0 statická verze z webu
14:46 xstill_ většina benchmarků má asi vypnutý malloc failure (i v DIVINE 3
14:46 xstill_ a ESBMC)
14:47 xstill_ (ESBCM na to má přepínač)
14:47 xstill_ DIVINE 3 a ESBMC mají timeout 2 hodiny
14:47 xstill_ konfigurace ESBMC viz /var/obj/xstill-esbmc-4.1.0/bin/divcheck (vychází z SV-COMP + deadlock detection snad jen)
14:48 xstill_ D3 běží se shared a vypnutou kompresí na 4 vláknech + nějaké undefy __linux__ a spol v cc
14:49 xstill_ stroje mají 15 GB cgrupu
14:50 xstill_ k rozdílu na paralelních modelech asi to, že ESBMC prohledává každý běh celý znova (zdá se) v DIVINE 3 naopak chybí to, že se může prohodit pořadí startu vláken
14:50 xstill_ víc mě asi už nenapadá
14:51 mornfall ok, dík... (dovolit to prohození aj v D3 asi není triviální změna co?)
15:00 xstill_ no nevím, ten pthread_create vypadá dost jinak už
15:01 xstill_ ale asi to není principení důvod proč by to nešlo
15:02 xstill_ můžu se na to ještě do večera zkusit podívat
15:02 mornfall určitě bych tam nechal aj normální D3, ale nebylo by špatný mít podložený jestli to je skutečně celej rozdíl
15:02 mornfall (a případně jakej dopad to má na runtime)
15:04 mornfall (nebo to naopak v D4 zakázat, to je nakonec asi jedno)
17:35 yaqwsx mornfall: Až na 1 umím všechno z https://pastebin.com/rHBwY2S2 generovat Cčkovým preprocesorem z Katčiné tabulky.
17:35 yaqwsx A 1 není potřeba, protože Katka má tabulku
17:37 mornfall yaqwsx: výborně; nebylo potřeba moc cpp magie?
17:37 mornfall resp. můžu si to odněkud pullnout? :)
17:38 mornfall (stačí mi verze kterou si můžu přečíst, nemusí to být přeložitelný nebo fungovat nebo podobný zbytečnosti :p)
17:38 yaqwsx mornfall: Žádná C++ magie, jen 50 řádků maker.
17:38 mornfall cpp jsem myslel preprocesor :-)
17:38 yaqwsx mornfall: Ještě dopíšu do pořádně podoby 8 a pošlu ti to.
17:38 mornfall ok díky
17:43 yaqwsx mornfall: arke:/tmp/macroplay
17:45 mornfall yaqwsx: -ENOENTRY
17:45 mornfall -ENOENT jsem chtěl říct :p
17:45 yaqwsx mornfall: Ok, moje chyba, je to na anně
17:46 yaqwsx Mám totiž namountovanou annu, ne arke.
17:48 yaqwsx mornfall: Doplnil jsem ještě chybějící lomítka
17:51 mornfall no, divoký je to dost :p
17:51 yaqwsx To nepopírám, ale i přesto je to čitelností možná lepší než Perl!
19:27 yaqwsx Tak co, projde mi tahle makrová onanie?
20:51 xstill mornfall: 16634308 je DIVINE 3 s těmi modifikovanými pthready
20:59 xstill teda bude spis
21:15 xstill ten rozdil vypada dost zasadni

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