Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2015-06-15

| 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: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
07:27 mornfall hm, zmizela mi půlka ISu
07:27 mornfall jak jsem přestal být student
07:36 mornfall jo a blíží se termín na MEMICS
07:37 mornfall (zatím relativně pomalu)
07:47 xstill a napadá tě co tam poslat?
08:09 mornfall chvíli jsem koketoval s myšlenkou alokace registrů pro LLVM
08:09 mornfall ale budeš muset být významný spoluautor protože já už nejsem PhD student
08:10 mornfall (to že ještě nebudeš nevadí, podstatný je že tam bude někdo kdo to nemá za sebou)
08:11 xstill no to vím, že nevadí že nebudu, loni jsem tam už publikoval. Ale nevím co by to ode mě požadovalo ty registry…
08:12 mornfall loni jsem tam byl jako PhD student já, technicky teď požadavky splňovat nebudeme
08:12 mornfall „All submissions should be (co-)authored by PhD students“
08:13 xstill hm, aha, takže minule jsi tam byl za PhD ty?
08:13 mornfall já myslim že vymyslíme něco jiného
08:13 mornfall tak byl nebyl
08:14 mornfall prostě si myslim že to neberou tak doslova jako to tam píšou
08:14 xstill tak myslím, že mgr student by pro ně nemusel být problém
08:15 mornfall „Moreover, a special issue of a journal with an impact factor is planned for extended versions of a selection of the best papers published at MEMICS.“
08:15 mornfall tohle je ovšem zajímavý
08:15 xstill to bylo už vloni
08:15 xstill teda myslím
08:15 mornfall to jsme tak propadli?
08:15 xstill aj nám to tam vzali snad
08:15 mornfall nepleteš si to s LNCS proceedings?
08:16 xstill to není ono?
08:16 mornfall ne
08:16 xstill aha, tak to asi nebylo
09:15 mornfall jedna věc co by mohla jít je implementovat store buffery (jako transformaci programu)
09:15 mornfall tzn. nahradíš všechny load a store za call na odpovídající funkce
09:17 mornfall asi nechceš uplně volat getspecific/setspecific v každém load/store ale při malém rozšíření pthreads by to mělo jít aj bez toho
09:17 mornfall (pthread_create by alokoval store buffer pro daný vlákno)
11:31 spito mornfall: máme nějaká další témata pro RH než boost a glibc zatím?
11:34 xstill mornfall: no to by asi mohlo jít udělat, ale bude potřeba nějak poznat jestli náhodou nejsi pod __divine__mask, jinak tím všechno rozbijem
11:51 mornfall no, jak se má vlastně mít memory model k mask je možná i docela k zamyšlení
11:52 mornfall hm, andersen na 4M bitkódu běžel 2.5 minuty
11:52 mornfall to není úplně málo
11:53 mornfall spito: minimálně ještě lvmetad, dotáhnout nscd
11:53 mornfall spito: intel TBB
11:55 mornfall spito: možná by stálo za to vyrobit stránku v trac-u na to
12:00 xstill mornfall: no to je, si tak říkám, že to nekonec nemusí být až tak jednoduchá věc, bude potřeba rozmislet co s bariérama, jestli třeba __mask má být bariéra, jenže to by zas mohlo dělat neočekávané vylévání bufferu
12:13 mornfall rozmyslet*
12:13 mornfall http://www.rdrop.com/users/paulmck/scalability/paper/whymb.2010.07.23a.pdf
12:15 mornfall (jestli jde nějak rozumně simulovat invalidation queue nevím)
12:16 mornfall jinak bych spíš řekl že mask/unmask by neměl dělat nic a tam kde krom toho chceš bariéru tak si ji tam přidáš
12:16 mornfall mask/unmask je (a má být) dost low-level
12:52 xstill no, to mě taky napadlo s tou bariérou, pak máš ale nevíhodu, že bariéru musíš mít vždycky, ale store buffer budeš mít jen někdy. Ale to by nemuselo tak vadit, ta bariéra může být noop bez store bufferu
13:07 xstill ale teda netuším jestli se to hodí na memics
13:32 mornfall nevýhodu* dneska ti to fakt jde...
13:33 xstill nojo
13:35 mornfall llvm má fence instrukci
13:36 mornfall nicméně nevim jistě jestli to je to co chceme
13:36 mornfall (ta transformace by ji klidně pak mohla předělat na call kterej vylije ten store buffer)
13:37 xstill tak předělat to na funkci co vyleje ten buffer chceme určitě
13:37 xstill ale budeme muset to někdy i psát do našeho kódu
13:38 xstill a bude potřeba vyřešit jak řekneme, že v nějaké funkci se tahle šaráda nemá dělat, protože to budeme chtít vypnout minimálně v pthreads
13:39 mornfall no, to můžeš vyřešit i tím že dáš za mask a před unmask bariéru
13:40 mornfall proč by se to na memics nehodilo?
13:42 mornfall (vylepšit to pak můžeš tím, že store o kterým staticky víš že je mezi zamaskovanýma bariérama nemusíš přepisovat)
14:15 xstill tak nevím, i když ono tak asi nic moc teoreticky zajímavýho nebude, co?
15:08 mornfall ne, právě ze to je teoreticky úplná nuda

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