Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2017-01-13

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

All times shown according to UTC.

Time Nick Message
02:49 ilbot3 joined #divine
02:49 Topic for #divine is now DIVINE | http://divine.fi.muni.cz | http://irclog.perlgeek.de/divine/
02:51 divine-buildbot Hey! build divine-next-debug #358 is complete: Success [finished]
08:23 yaqwsx joined #divine
08:44 mornfall yaqwsx: interrupty si lehce zaručíš zápisem do globální proměnné
08:54 yaqwsx Ok, díky za info - takže chyba je ještě někde jinde.
09:43 yaqwsx joined #divine
09:43 yaqwsx mornfall: Prý jsi našel chybu
09:43 mornfall yaqwsx: Monitor::run() nic nedělá
09:43 mornfall yaqwsx: asi měl volat step() :p
09:44 yaqwsx mornfall: To mám z toho, že programuji po nocích.
09:44 mornfall (úplně jsem viděl ten facepalm :p)
09:45 yaqwsx mornfall: :-P
09:55 yaqwsx mornfall: Nepamatuji si už přesně, ale __vm_control( _VM_CA_Bit, _VM_CR_Flags, _VM_CF_Error, _VM_CF_Error ); by mělo nastavit error hranu, ne?
09:55 xstill_ myslím, že ano
09:56 mornfall yaqwsx: jo asi jo
09:58 yaqwsx Proč mi tedy ani run ani verify nezastaví?
09:59 mornfall yaqwsx: a monitor triggered to vypíše jo?
09:59 yaqwsx Jj
10:00 mornfall yaqwsx: protože si to v scheduleru zase hned smažeš
10:00 mornfall yaqwsx: ten monitor by měl běžet spíš na konci než na začátku
10:00 mornfall hm, kecám, nesmažeš
10:01 mornfall maže se Interrupted, Mask a KernelMode, to by Error mohlo nechat být
10:09 kejsty joined #divine
10:10 yaqwsx mornfall: Toto skutečně nuluje i error flag:
10:10 yaqwsx __vm_control( _VM_CA_Set, _VM_CR_Frame, t->_frame,
10:10 yaqwsx _VM_CA_Bit, _VM_CR_Flags,
10:10 yaqwsx uintptr_t( _VM_CF_Interrupted | _VM_CF_Mask | _VM_CF_KernelMode ), 0ull );
10:12 mornfall yaqwsx: to by skoro mohl být bug
10:13 yaqwsx mornfall: Ale stejně asi dává smysl volat monitor i po syscallu.
10:19 mornfall yaqwsx: nevidim kde by se to mělo mazat
10:19 mornfall yaqwsx: monitor by se měl volat přesně jednou těsně před returnem ze scheduleru (myslím si)
10:20 yaqwsx mornfall: Pokud běží monitor až po tom __vm_control, error flag zůstane zachován, jinak zmizí.
10:23 mornfall yaqwsx: jo, ale nemůžu přijít na to proč
10:23 mornfall zkusím na to nezapomenout, teď to asi nezjistim
10:24 yaqwsx V pohodě. Teď to funguje :D
10:30 yaqwsx mornfall: Zarecordováno.
10:46 yaqwsx Ohledně přepínače na simulování syscallů - co preferujete? dvojici "syscall:simulate" a "syscall:propagate" anebo "syscall:SMÄCKER" a "syscall:TRÄDASTER"?
10:46 mornfall yaqwsx: ... :P
10:47 yaqwsx To druhé zní drsně, ale podporu pro UTF8 semi nechce implementovat.
10:48 mornfall propagate → passthrough?
10:48 yaqwsx Ok
10:58 yaqwsx kejsty: U mě leží patch, který přidává přepínač na syscally.
11:08 kejsty joined #divine
11:17 kejsty joined #divine
11:26 kejsty joined #divine
11:35 kejsty joined #divine
11:44 kejsty joined #divine
11:53 kejsty joined #divine
12:13 yaqwsx joined #divine
12:57 divine-buildbot Hey! build divine-next-debug #359 is complete: Failure [finished]
13:25 divine-buildbot Hey! build divine-next-debug #361 is complete: Failure [finished]
13:32 divine-buildbot Hey! build divine-next-debug #360 is complete: Failure [finished]
14:25 divine-buildbot Hey! build divine-next-debug #362 is complete: Failure [finished]
14:34 kejsty joined #divine
15:06 yaqwsx Na jaké téma se můžu ve volných chvílích ohledně DIVINu podívat déle?
15:06 mornfall yaqwsx: no, nebylo by vůbec špatný mít dios-lite
15:07 yaqwsx Co si pod ním mám představit?
15:32 divine-buildbot Hey! build divine-next-debug #363 is complete: Failure [finished]
15:48 mornfall yaqwsx: něco co nebude umět vlákna, vfs a podobně, a bude mít minimální stav
15:48 mornfall yaqwsx: ještě bys mohl za weakptr schovat mapu threadid na lidsky čitelný identifikátory
15:55 divine-buildbot Hey! build divine-next-debug #364 is complete: Failure [finished]
16:02 yaqwsx Jaká je motiva pro dios-lite?
16:03 yaqwsx BTW: Od honeywellu jsme ještě nic nedostali, že?
16:04 spito sedíte ještě v labu?
16:05 xstill_ spito: jo
16:05 xstill_ yaqwsx: může to býtrychlejší
16:06 xstill_ yaqwsx: co bys chtělo od honeywellu?
16:11 xstill_ https://gitlab.fi.muni.cz/paradise/divine-testsuite-private
16:12 mornfall yaqwsx: motivace je odlehčit verifikaci v případech kde se nic moc nepoužívá
16:19 xstill_ mornfall: /home/xstill/repo/pb161/mini01
16:20 xstill_ xheno: /home/xstill/DIVINE/sym/test/ext-pv264
16:30 divine-buildbot Hey! build divine-next-debug #365 is complete: Failure [finished]
17:27 divine-buildbot Hey! build divine-next-debug #367 is complete: Failure [finished]
17:33 divine-buildbot Hey! build divine-next-debug #366 is complete: Failure [finished]
17:52 xstill_ xheno: /home/xstill/DIVINE/sym/test/lib/build
18:11 yaqwsx xstill_: Na chůzce s Honeywellem padlo, že nám pošlou ukázku vygenerovaného kódu, nedejbože dokumentaci.
18:20 mornfall xstill_: ${DATA}test.data/soubor.c
18:22 xstill_ ${DATA}soubor.c
18:22 mornfall ../test.build
20:09 mornfall btw. kiwiirc existuje aj jako chrome extension
20:09 mornfall (takže by tam možná pak nebyl problém s heslem do znc)
20:44 mornfall yaqwsx: ještě bys taky mohl od dios/core oddělit třeba util/ (stdlibwrap kupříkladu)
20:49 mornfall dios.* bych asi přejmenoval na boot.*
20:53 mornfall a asi nejdůležitější, oddělit user/ -- třeba main.* (což je vlastně ekvivalent crt* věcí), user-side wrappery na syscally a tak
20:55 mornfall (to teda platí aj o filesystem/)
20:56 mornfall yaqwsx: (a k motivaci dios-lite, pokud by se někdy měl divine účastnit svcomp-u, tam se to asi uplatní taky)
21:29 mornfall (btw. jak je možný, že si nikdo nevšiml že DIVINE daily má datum o den napřed? :P)
22:59 divine-buildbot Hey! build divine-next-debug #369 is complete: Failure [finished]
23:23 divine-buildbot Hey! build divine-next-debug #370 is complete: Failure [finished]

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