Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-11-19

| 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/
07:17 mornfall spito: co je aktivní čekání?
18:55 xstill stejně je to divný, i když na začátku isPrivate vrátím true pokud je _thread_count <= 1, tak mi to nastarutuje flush vlákno dřív než spustí první pthread vlákno
19:23 mornfall xstill: no, třeba __lart_weakmem_flush() to pustí vždycky
19:23 mornfall aspoň to tak na pohled vypadá
19:24 xstill mornfall: nojo, na něj jsem zapomněl, to bude ono, v pthread budou __sync_synchronize()
19:24 xstill a pthreads jsou v těch inicializátorech
19:25 mornfall a je to pod maskou takže na to vůbec není v simulate vidět :P
19:26 xstill hm, je _Atomic i v C++?
19:27 mornfall to fakt nevim
19:27 xstill clang to žere a nic neříká (i bez -std) ale gcc to nežere
19:28 xstill jo, to je veselý stdatomic.h sice g++ má, ale přeložit ho neumí
19:29 xstill (v C to umí)
19:36 xstill btw. teď se koukám, že clang generuje store pointrů zarovnané na 8
20:24 spito mornfall: je to celé takové divné
20:25 spito jakmile zapojím pheme, tak se to trošku zpomalí
20:25 mornfall co je na tom divné?
20:25 spito ale jak jak začnu používat náhodnou distribuci, tak se to ve variantě kanálů zaseká úplně řádově
20:25 spito a na pheme není perf
20:25 spito :)
20:26 mornfall jakou náhodnou distribuci zase?
20:26 xstill to se dá zařídit
20:26 spito tak u každé zprávy se náhodně zvolí, kdo na ní odpoví
20:26 xstill spito: máš alokované všechny procesory na té pheme?
20:26 spito ne
20:26 xstill to je možná chyba když tam máš vlákna
20:27 mornfall spito: a to se provede jak přesně?
20:27 mornfall když máš dedikovanej kanál na dvojici vláken...
20:28 spito náhodně se vybere, který stroj bude násobit číslo -1
20:29 mornfall ty furt měříš synchronní zátěž?
20:29 spito no, asi jo
20:29 mornfall a volí se teda komu se pošle dotaz, ne kdo odpoví ne?
20:30 spito volí se, koho se bude ptát
20:30 spito a vždycky odpovídá jedno vlákno
20:34 xstill spito: máš tam perf
20:35 spito operation not permitted
20:36 xstill co s tím děláš?
20:41 spito perf top
20:42 xstill musíš mu dát --pid
20:42 spito to jsem udělal
20:42 xstill krom toho mě to teda říká něco jiného
20:42 spito -p
20:43 xstill hm, ono teda stejně asi lepší pouštět to přes perf record
20:43 xstill ale můžu ti to zapnout
20:47 xstill a teď?
20:48 spito :) dík
21:02 spito mornfall: je možné pozorovat, že testovací provoz škáluje?
21:40 xstill SEGV, při hledání protipříkladu
22:05 xstill btw. fifo máme zverifikovaný s TSO do hloubky 3 a má stejně stavů jako do hloubky 2, takže lze předpokládat, že pro libovolně dlohý store buffer je korektní

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