Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-10-23

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

All times shown according to UTC.

Time Nick Message
00:28 divine-buildbot joined #divine
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
07:30 zbeasnyy v svn je intro
09:05 zbeasnyy xstill: co tabulky?
09:35 xstill hm, jsem to nepushnul :-/
09:35 xstill myslel jsem, že jsem včera pushnul tu tabulku se starými daty alespoň
09:35 xstill udělám rovnou tu novou
09:57 xstill zbeasnyy: pushnul jsem tabulku
09:57 xstill ale vylezly z toho výrazně jiný čísla bez těch error modelů a se zbytkem dat, což je trochu podezřelý
09:57 xstill hlavně teda na rychlosti
09:58 xstill ještě aktualizuju tu pvní tabulku
09:58 xstill teď ty vychází výrazně líp ro divine 4
09:59 xstill až teda na paměť, tu je potřeba okomentovat nějak
09:59 xstill houby hůř to vychází
10:00 xstill teda rychlost líp, ale redukce hůř
10:00 xstill to je divný ale, protože jsem přepočítával akorát data k DIVINE 3
10:01 xstill a symetrická verze pořád vychází hůř
10:03 xstill aha, počkej, mě se tam dostal bordel
10:03 xstill se mi tam dostaly ty data z velké hashtabulky
10:09 zbeasnyy ...
10:10 zbeasnyy a labely by to chtelo opravit
10:10 xstill labely si zvládneš napsat, ne?
10:12 zbeasnyy ja zvladnu aj vyrobit tabulky... (labely, ne caption)
10:12 zbeasnyy d3-r0-c0
10:13 zbeasnyy v tab 2 to navic vypada, ze 3 a 4 bez pismen je default konfigurace
11:07 xstill hm, pořád máme díry v datech
11:08 xstill mornfall: máš tam tabulky
11:08 xstill tak vymysli jak to označit líp
11:09 xstill já mám dost problémů s těma dírama v datech a taky bych si to chtěl přečíst
11:28 zbeasnyy kdyz do toho hrabnu vyrobim konflikty
11:29 zbeasnyy a tab 1 ma sloupec navic
11:29 zbeasnyy tak to dodelam vecer
11:30 zbeasnyy dokonce 2 sloupce
11:31 zbeasnyy horsi je ze nesedi d3r s d3rc (pocet stavu)
11:31 zbeasnyy nebo jsou to err- a neni to vyznaceny
11:33 xstill možná by bylo fajn v úvodu dát příklad toho co OS managuje (maměť, vlákna)
12:00 xstill ta první věta 1.1: doplnil bych co jsou ty komponenty na který je to rozdělený; máš nekonzistentně footnoty u tečky (2, 3); poslední odstavec v 3 (před 3.1): nevidím z toho jak ta první věta souvisí se zbytkem
12:03 xstill 3.2 "which can be derived through the API described above," nevím o jaké API jde
12:23 xstill to s tou unvalidací pointrů při přetečení v divine platí?
12:23 xstill nemůže to přetéct do jiného existujícího objektu?
12:24 xstill fig 3 mi není moc jasné jak se to udělá, čekal bych tam nějakej popis
12:24 xstill (+ mi není jasné poroč je placeholder shared, očekával bych, že to bude neplatný pointer)
12:29 xstill je nějaký rozdíl mezi contiguous a continuous?
12:29 xstill používáš obojí
12:29 xstill příjde mi, že na stejné věci
12:32 xstill zmiňuejš hypercally (__vm_obj_make) aniž bys řekl, že je to hypercall a co dělá
14:15 xstill poznámka pod čarou 5 podle mě může vyvolat pocit, že to neděláme
14:18 xstill dalo by se tam dát něco jako "In a realistic implementation (such as the one used by DIVINE for verification of C and C++),…"
14:48 xstill u těch memory interruptů by to možná chtělo zmínit, že nemusí vyvolat předání kontextu do scheduleru (pak naznačuješ, že to tak může být v 4.5)
15:16 xstill některé drobné chyby jsem opravil
15:17 xstill teď se podívám na tu tabulku stavů a na jejich popisy
15:32 xstill hm, ale ta statistika je stejně na nic, třeba 3c a 3 by teoreticky měli mít stejný počet stavů, ale protože jindy umřou na některých modelech tak nemaj
15:32 xstill a když se omezím jen na modely kde všechno doběhlo, tak mi jich zbyde 7
16:38 xstill mornfall: do tabulky 2 jsem pod dvoučáru přidal verzi, která je spočítaná jen z modelů, které všude doběhnou (těch je ale jen 5 :-/)
18:47 xstill joined #divine
20:13 mornfall no, jsem úplně out a potřebuju se vyspat
20:14 mornfall tzn. zítra přijedu do Brna nejdřív odpoledne, jestli vůbec
20:15 mornfall tab 2 pod dvojčárou bych zrušil, před jsou všechny ne-err modely? (nemá popisek)
20:16 mornfall přetečení platí
20:16 mornfall na knížku by to bylo, tenhle článek totiž není popis divinu 4 ale jen relativně malého fragmentu
20:17 xstill jo, pod čarou zruš, nad jsou ne-error
20:18 xstill takže to dopoledne pošleš?
20:18 mornfall snad... musím ještě dotáhnout related work, to bude největší problém
20:18 mornfall a něco proškrtat
20:18 xstill ta tabulka je teda průměr + bootstrapnutá odchylka na ne-error modelech
20:19 mornfall ok
20:20 mornfall nevíš jestli si Jiřík přečetl to intro?
20:21 xstill nevím, zmizel taky dost brzo, v podstatě jsem ho neviděl
20:25 mornfall ty stavy v D3/D3r jsou z c proto že jich bylo všude konzistentně víc?
20:25 mornfall teda komprese vždy našla víc stavů?
20:26 xstill jo, našla
20:29 mornfall leader unicircle je nějaká anomálie s D4s
20:30 mornfall jedinej ne-err model kde má D4rs více stavů než D4r
20:31 mornfall ale s D4/D4s se tak chová aj lamport_nonatomic1-250k, tak se to asi občas děje
20:31 mornfall jen mi není moc jasné proč
20:31 mornfall ale to asi na jindy

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