Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-03-07

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

All times shown according to UTC.

Time Nick Message
00:43 divine-buildbot Hey! build divine-nightly-debug #82 is complete: Failure [finished]
02:48 ilbot3 joined #divine
02:48 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
09:41 xstill_ jo, já myslím, že dobrý
14:29 mornfall https://arxiv.org/submit/1825751 (preprint výjimek)
14:37 xstill_ ok, co na tom mám kontrolovat?
14:37 xstill_ to je záměr, že se člověk musí přihlásit aby to mohl vidět?
14:38 mornfall nevim, ale je to možný, jakmile se to zveřejní už tím nejde hýbat bez vytvoření nové verze
14:48 xstill_ a dostanu se k tomu nějak? registroval jsem se na FI mail
14:58 mornfall co to píše?
15:00 mornfall kdyžtak jsem dal pdf na https://paradise.fi.muni.cz/~xrockai/except-arxiv.pdf
15:40 mornfall yaqwsx: 21.4. je deadline na ATVA, je reálný dát dohromady článek o diosu?
15:50 yaqwsx mornfall: Co všechno by měl obsahovat? Resp. co si představuješ, že bude jeho hlavní náplní?
15:51 yaqwsx mornfall: Doufám, že si všechny projekty na NTNU odbudu do 14 dní, takže jo, asi by to šlo.
15:55 mornfall yaqwsx: zkusím stvořit abstrakt... ale náplní by měl být, překvapivě, dios :-)
16:05 xstill_ mornfall: "You are not the submitter of that submission"
16:05 xstill_ to asi úplně opravit nepůjde…
16:06 mornfall jo to asi ne
16:06 xstill_ má smysl abych to ještě četl celé?
16:07 mornfall když se to zveřejní, vyrobí to nějaký password na sdílení se spoluautory
16:08 mornfall jestli to má smysl nevím, možná
16:09 yaqwsx mornfall: Dobře, položím otázku jinak - jakou novou myšlenku by si měl čtenář odnést z tohoto článku?
16:14 mornfall yaqwsx: máš pocit že na diosu není vůbec nic zajímavýho? nebo že je toho tolik že si nemůžeš vybrat? :)
16:15 mornfall yaqwsx: (je na výběr jestli tool nebo regular paper, 6 resp. 16 LNCS stránek)
16:18 mornfall yaqwsx: témata minimálně scheduler -- od divm k pthreads + symetrická reprezentace + identifikátory, syscall interface, vfs, monitory
16:18 yaqwsx mornfall: Nevím na co se zaměřit, jako co to prodat
16:19 mornfall pracovní název je DiOS: A Small POSIX-Like Operating System for Verification
16:20 yaqwsx Ok, takže obsahem by mělo být i stručné shrnutí "inovátorského příštupu" DIVINE 4
16:21 mornfall pokud budou procesy, tim líp
16:24 mornfall yaqwsx: odkaz na divm a krátký popis co to je/jak funguje tam určitě bude
16:24 mornfall yaqwsx: je to nakonec target platform dios-u, bylo by divný to nezmínit :-)
19:25 mornfall uvažuju jak napasovat rand() na __vm_choose vs nedeterministický int, nějaké nápady?
19:26 mornfall nejlepší by bylo kdyby RAND_MAX byl 32k pro __vm_choose (není to úplně ono, ale řekněme že to je únosný) a INT_MAX (+/-) pro __sym
19:27 mornfall možná není nikde napsaný že RAND_MAX musí být #define na číselnej literál?
19:27 mornfall pak by to asi šlo nějak umlátit...
21:52 yaqwsx Nebude i 32k zabijácké?
21:55 mornfall podle toho co se tam bude pak dít
21:55 mornfall standard žel říká, že 32k je minimální dovolené RAND_MAX
21:55 mornfall je teda pravda že by se to taky mohlo ignorovat a dát tam míň
21:55 xstill ono je otázka jestli vůbec rand má být tak nedeterministický, podle mě ani ne, a podle manuálu má po zaseedování stejnou hodnotou tvořit stejnou sekvenci a pokud není zaseedovaný tak je to jako by seed byl 1
21:56 xstill C++11 random_device je podle mě věc která by měla vracet skutečný nedeterminismus
21:57 xstill u toho randu je teda nemilé, že ideálně by to mělo fungovat tak, že to vrátí nějakou náhodnou sekvenci ale při zaseedování na stejnou hodnotu to bude stejná, ale volba té sekvence bude náhodná, jen to asi moc nejde rozumně
21:59 mornfall no jde taky o to, že by bylo hodně žádoucí aby všechny benchmarky byly standardní C, bez __vm_*
21:59 mornfall (resp. C++)
22:02 mornfall pokud jde o deterministický rand(), z aplikací které běhají na openbsd mají patch na srand_deterministic: audacious, audacity, openal, timidity, bonnie++, cutils, cvstrac, lua a pidgin
22:03 mornfall (defaultní rand() na openbsd je crypto-grade generátor)
22:05 mornfall vyrobit odpovídající srand_deterministic jako je na openbsd by asi nebyl problém (s jednou konkrétní implementací, třeba ta co je teď v pdclibu)
22:14 xstill ok, to mi zní rozumně
22:14 xstill utáhne DiVM choose na 32k? vím, že v D3 choose na větší hodnoty nefungoval vůbec
22:15 xstill i když to byly asi ještě dost větší
22:25 xstill hm, je to odbc/import schopný říct i něco víc než "terminating with uncaught exception of type nanodbc::null_access_error: null access"?
22:30 xstill + v repu chybí tools/bench-postgres.sql a common asi není úplně aktální (chybí is_release), ale s tím jsem se srovnal a něco do sqlite i naimportoval, ale nechce mi to naimportovat libc sadu
22:34 mornfall nejspíš není, otázka je jestli jsi to inicializoval tools/bench-initdb.sh nebo 'ručně'
22:34 mornfall pokud to druhý, tak je vadný typ primárního klíče
22:34 xstill bench-initdb.sh
22:35 mornfall pak nevim, někde je v db null a čeká se že to null nebude
22:36 mornfall 32k choice zabral asi 2 minuty, horší je že generování protipříkladu je dost out z toho
22:37 mornfall dobrý ale je, že v kombinaci __vm_choose( RAND_MAX ) % 2 to vyrobilo jen 4 stavy (a 32k velkou multihranu :p)
22:39 xstill zrovna tyhle věci jde snadno vysupstituovat když je to takle hned za sebou
23:06 divine-next 2 new patches validated [mornfall]

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