Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-05-02

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

All times shown according to UTC.

Time Nick Message
01:49 ilbot3 joined #divine
01:49 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
08:18 xstill_ joined #divine
10:25 yaqwsx Vzhledem k existenci signalhandlerů, má pro nás vůbec smysl jednovláknový scheduler? Ušetřil by pouze 1 alokaci a 1 pointer a 1 int...
12:42 yaqwsx mornfall: U mě na Arke jsou 3 patche, které dokončují modulární DiOS.
14:15 xstill_ čím to je, že se někdy v sekvenčním programu s chybou objeví další zásobník na kterém je jen __dios_syscall který volá __dios_trap?
14:16 xstill_ (v programu nastane memory chyba)
14:19 mornfall to možná záleží kde přesně dojde k přerušení?
14:19 mornfall hm, to asi ne
14:19 mornfall někdy ve smyslu pro některou chybu vždy a pro jinou podobnou chybu nikdy, j?
14:20 xstill_ nevím, teď jsem to viděl a vím, že jsme to už viděl jednou
14:20 xstill_ ale nemám prozkoumané kdy se to děje
14:20 xstill_ je to pokus o čtení mimo rozsah
14:23 xstill_ to vážně člověk potřebuje DIVINE na to aby spadla dereference std::map::end()?
14:23 xstill_ měli bychom DIVINE prohnat víc našich unit testů
15:03 yaqwsx Rád bych se připomněl s otázkou, jestli máme motivaci pro synchronní scheduler.
15:04 mornfall yaqwsx: minimálně ušetří volání choice a snad nějakej permanentní objekt na haldě
15:04 mornfall yaqwsx: nejlepší metoda jak poznat jestli se to vyplatí nebo ne je to změřit
15:05 mornfall jaký má dopad existence signálů na scheduler?
15:06 yaqwsx mornfall: Je s ním teď integrovaná.
15:06 kejsty joined #divine
15:06 mornfall yaqwsx: ve smyslu že to je ve stejné struktuře?
15:07 yaqwsx mornfall: Nevidím teď, jak to elgantně implementovat bez toho, aniž bych duplikoval z velké části implementaci signálů, anebo přinášel runtime overhead.
15:08 mornfall nejde to vytáhnout do mixinu?
15:08 mornfall teda to co se mezi těma schedulerama různí
15:11 mornfall tzn. v podstatě ten datovej atribut a chooseThread, +/-?
15:14 yaqwsx blurry: K čemu slouží struct Process ve Scheduleru? K čemu slouží template argument Thread?
15:17 yaqwsx mornfall: Ok, už asi vidím, jak to pěkně rozsekat na menší kousky.
15:17 yaqwsx blurry: Můžu ti výrazně hrábnout do scheduleru nebo ti nadělám nepěkné konflikty?
15:17 mornfall yaqwsx: asi to nějak přežijeme (snad)
15:18 yaqwsx mornfall: Od kdy vyjadřuješ názory blurry? :D
15:18 mornfall yaqwsx: blurry má v repu XXX patch kterej ty procesy někam posouvá kdybys chtěl vidět jak moc se to rozsype
15:19 mornfall yaqwsx: nevim kde blurry je, ale v labu to není a mám celkem přehled v jakém to má stavu protože jsem byl u toho když to dělala, is all
15:21 yaqwsx Ok. Můj poslední dotaz - kde najdu repo blurry? ~xbaranov/{DIVINE, divine}.{epsilon, 4} se zdá neexistuje.
15:21 mornfall $ darcs pull ~xbaranov/Documents/divine
15:21 mornfall z historie shellu
15:22 mornfall ten patch tam je takže to je asi správně
15:22 yaqwsx mornfall: Díky, jakmile se mi zase bude chtít rokrastinovat od učení se Norštiny, tak se do toho pustím (což bude asi brzo)
15:22 mornfall :D
15:25 yaqwsx Ok, to půjde aniž bych to nějak drasticky blurry rozbil.
15:25 mornfall na patche se podívám večer nebo zítra, ještě dlužím review xstillovi
15:25 yaqwsx mornfall: Jojo, díky.
15:26 kejsty mornfall: teraz je iny problem: ked zbehnes nad programom replay s input fileom, ktory je z ineho passthrough, tak ti ani nepipne
15:26 kejsty lebo proste zabije vsetky behy
15:40 mornfall kejsty: https://devio.us/~bcallah/mg/
16:56 blurry_ joined #divine
16:57 blurry_ yaqwsx: blurry len obcas zabuda, ze existuje irc thingy
17:06 yaqwsx blurry_: Nic se neděje. Alespoň je vidět, že máš i život ;)
19:08 xstill mornfall: ad ty poslední patche (od těch brick-data), divbench compare  --instance 30956862 --instance 31400915 + jsou nezávislé na zbytku

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