Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2013-10-17

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

All times shown according to UTC.

Time Nick Message
08:01 spito joined #divine
12:08 spito joined #divine
16:11 spito joined #divine
17:38 xstill hm, nejdřív jsem si myslel že ten bug z maillistu je protože memory order. Ale ona je to fakt asi chyba v divine, tohle by mělo assertovat...
17:43 xstill mornfall: máš rozbitý redukce
17:43 xstill bez nich se to najde
17:46 xhavel1 joined #divine
17:47 xstill xhavel1: to jsou k nám hosti :-)
17:47 xhavel1 xstill: :-)
17:48 xhavel1 xstill: neni ten llvm "bug" tim, ze promenne x/y nejsou volatile, takze vysledny .bc se chova opravdu spravne?
17:48 xstill bohužel není
17:48 xstill vypadá to na chybu v redukcích
17:49 xstill nebo teda nevím
17:49 xstill plyne ze standartu, že by to fungovat nemělo?
17:51 xhavel1 srandard nic o interakci pres globalni promenne nerika (mimo atomic<T>)
17:52 mornfall xstill: s --no-reduce to tu chybu najde?
17:54 mornfall vskutku
17:54 xstill najde
17:55 mornfall to je docela nemilé
17:55 xstill to jo no
17:55 mornfall a stačí „klasická“ tau redukce aby ten protipříklad zmizel ... uhoh :)
17:56 xstill to jsem právě zjistil
17:56 xstill ale heap sama to nerozbije (což ale dává smysl)
17:58 mornfall no, já se najim, pak jdu cvičit a pak jdu zkoumat kde je to rozbitý
18:16 xhavel1 mornfall: chapu spravne, ze LoadInst neni pri tau "observable"? to je podle me spatne
18:37 xstill load by nemusal být ne?
18:37 xstill že čtu nepotřebují ostatní vědět podle mě
18:37 xhavel1 predstav si, ze nejaky vlakno udela dvakrat po sobe load ze stejne adresy, ted nemuze precist dve hodnoty
18:39 xhavel1 kdezto realne se muze stat, ze mu tam pred druhym cteni nejaky jiny vlakno soupne jinou hodnotu
18:39 xstill hm, to vlastně dává smysl, protože je to jeden stav tak musí číst furt totéž
18:48 xstill xhavel1: kde jsi zjistil, že load není observable?
18:50 xhavel1 xstill: divine/llvm/interpreter.h:96
18:51 xstill jo už to vidím
18:56 mornfall hm, já to tušil :D
19:02 mornfall zbývá otázka, jestli se tohle může stát aj nějak jinak než na jedný adrese
19:02 mornfall protože se mi zdá, že loady z různých adres můžeš grupovat docela libovolně, přeskládaj se ty zápisy takže v tý jedný hraně uvidíš všechny možný konstelace... snad?
19:13 xhavel1 pořád by to myslím nefungovalo: první vlákno zapíše jedničku postupně do x a y, druhý vlákno ve stejným pořadí čte z x,y, iniciálně tam byly nuly; kdybys udělal obě čtení naráz, nemohlo by druhé vlákno přečíst x=0,y=1 (tzn. kdy zápisy z prvního vlákna proběhnou mezi čteními druhého vlákna)
19:15 mornfall hm, x=0, y=1 by nikdy nemělo nastat pokud se píše prvně do x
19:16 mornfall varianty 00 10 a 11 to druhé vlákno uvidí
19:16 xhavel1 mám na mysli tohle proložení: první vlákno čte z x (nulu); druhé vlákno udělá zápis do x; y; první vlákno čte z y (jedničku)
19:17 xhavel1 ach, já prohodil první/druhé :-) pardon
19:17 mornfall jo to je jedno
19:18 mornfall jasně, tohle se stát může
19:18 mornfall asi teda nezbývá než prostě loady z nesoukromý paměti udělat observable
19:22 xhavel1 nic lepšího mě nenapadá
19:22 mornfall trochu hloupý je, že loady navzájem se ovlivnit nemůžou, ale nenapadá mě jednoduchý trik jak toho využít
19:47 xstill mornfall: Petr Švenda prý má standard C++11, ale jen elektronický
20:06 xstill mornfall: ještě openAFS v meta-centru: https://wiki.metacentrum.cz/wiki/AFS
20:07 xstill ale teda víš o tom, že OpenAFS nemá normální unix-like přístupová práva?
20:07 mornfall jo, to by nebyl ten hlavní problém
20:07 mornfall ale ta replikace co to má funguje dost divně
20:08 mornfall jako že máš read-write volume a replikovat ho jde jen do read-only volume a pokud read-only existuje tak ho klienti automaticky používaj
20:08 mornfall což mi přijde trochu praštěný
20:08 mornfall a lustre na tom není o nic líp
20:08 mornfall je to kříž s těma filesystémama
20:11 xstill jo no, jinak meta-centrum to prý nepoužívá na home
20:13 mornfall co tak třeba ceph(fs) :-)
20:15 mornfall hm, cephfs is not recommended for production data, hlavně že je v mainline kernelu už 3 roky
20:17 xstill :-D
20:17 xstill já už dnes nic řešit nebudu
20:17 xstill jdu spát
20:34 mornfall asi moosefs + ucarp pro failover
21:26 mornfall no, nebo glusterfs
21:26 mornfall ten vypadá asi nejlíp

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