Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-01-14

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

All times shown according to UTC.

Time Nick Message
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
18:22 xstill mornfall: btw. taky je možné poznat, jestli je to aproximace za běhu, tj. stačí si poznamenat nucený evict ze store bufferu, což by se teoreticky dalo zareportovat do divine a podle toho poznat, jestli je to aproximace nebo ne. Ale teď bych to dokázal tam maximálně hnusně nahackovat…
18:25 xstill spito: počítám, že z těch tvých studentů ještě žádný testy nevypadly?
18:25 spito nope
18:27 xstill jestli se ti ale válí někde nějaké (ideálně lock-free) paralelní věci, které by mohly být relativně menší, tak mi je pošli, zkusím z toho vymlátit ještě nějaké modely
18:27 mornfall xstill: jo to jo... ono by asi šlo stejně dobře udělat ten buffer rádoby nekonečnej
18:29 mornfall (stačilo by aby to byl linked list a ne fixně velký pole, jestli ještě není)
18:30 xstill tak, můžeš zkusit nastavit pár tisíc a dívat se co se stane. Ale vzhledem k tomu, že já v tom SB můžu mít i opakující se záznamy, tak hrozí že to nebude konečný. Ono to není fixní pole, realokuje se na přesně potřebnou velikost (řekl jsem si, že (re-)alokace nás stojí míň, než overhead linked-listu nebo prázdné položky v poli)
18:30 xstill což teda zas možná znamená, že počet memory lokací nemusí být upper bound
18:32 xstill jo, ono totiž pokud budeš střídat store a; store b; tak to nemáš moc jak slučovat, a ačkoli to musíš vyhazovat skoro fifo, tak to neznamená, že to můžeš vyhodit když příjde nová hodnota pro tu lokaci asi
18:33 xstill spito: v projektu z paraleních věcí asi nebyly žádný lock-free struktury kromě tý fronty, co? Že bychom třeba verifikovali kódy od studentů…
18:35 spito chceš je poslat?
18:37 xstill jo, pošli mi je
19:07 xstill spito: dík
19:08 spito jsou to tajné materiály, takže kdyby se tě někdo ptal, tak je nemáš ;) ;)
19:09 xstill jasně
21:49 spito xstill: záloha na githubu je fajn :)

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