Perl 6 - the future is here, just unevenly distributed

IRC log for #divine, 2016-09-29

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

All times shown according to UTC.

Time Nick Message
01:48 ilbot3 joined #divine
01:48 Topic for #divine is now DIVINE: A Parallel LTL Model Checker (http://divine.fi.muni.cz) | http://irclog.perlgeek.de/divine/
05:19 xstill malloc není syscall, ne? (asi není důvod aby byl zatím, __vm_obj_make je hypercall, ten je ok). Nicméně stejně nechceš volat malloc ale napsat si vlastní alokátor který bude volat __vm_obj_make/_free asi, protože jinak budeš závislý na tom, že defaultní nastavení mallocu je, že nefailuje
07:00 yaqwsx_cz joined #divine
07:58 yaqwsx_cz joined #divine
14:55 divine-buildbot Hey! build divine-next-debug #49 is complete: Failure [finished]
14:55 mornfall kuš :-)
14:58 mornfall kdyby to tak umělo notifikovat změny stavu, teď když to nic neřekne tak nic nevíme (možná to je opravený dalším patchem a možná se nic dalšího nestalo)
15:24 divine-buildbot Hey! build divine-next-debug #50 is complete: Failure [finished]
16:01 xstill_ co bys chtěl aby to psalo?
18:05 mornfall xstill_: no, každej failnutej a první success po failu
18:09 divine-buildbot joined #divine
18:09 xstill done
18:17 mornfall to jsem myslel že bude bolet víc, jak jsi minule nadával :)
18:18 xstill tohle zrovna jde, co nejde je mít různá nastavení pro různé buildy
18:29 divine-buildbot Hey! build divine-next-debug #51 is complete: Success [finished]
18:48 xstill vida, dokonce to funguje
19:26 yaqwsx joined #divine
19:44 mornfall yaqwsx: jo, syscall v kernelu totiž nedává smysl
19:44 yaqwsx Jj, odpověď jsem si četl ráno a zpomněl jsem ti odepsat.
19:44 mornfall yaqwsx: (a jak říkal xstill, malloc by neměl být syscall)
19:45 yaqwsx Tam byl problém s tím, že standardní alokátor někde volal pthready.
19:45 mornfall jo, tohle přesně se v kernelu nesmí stát :-)
19:45 yaqwsx Jop, už se neděje.
19:45 mornfall (proto je tam taky ten fault)
19:46 mornfall tak dej vědět až si to budu moct pullnout :-)
19:47 yaqwsx Jj, bude to snad brzo. Teď jsem narazil ještě na problém, že mi fault handler čte neinicializované hodnoty a zatím netuším kde a jak.
19:49 yaqwsx Nejsem si jist, volání __vm_trace( _VM_T_StateType, context );__vm_control( _VM_CA_Set, _VM_CR_State, context ); musí být poslední v initu nebo za ním může ještě něco následovat?
19:50 mornfall nemusí, může to být kdekoliv
19:50 yaqwsx Dík
19:57 yaqwsx Filozofická otázka: když uživatel zadá špatnou konfiguraci, která se vyhodnocuje v DiOSu, vyhodím fault. Bohužel fault nelze korektně zpracovat, dokud neopustím boot (nepletu-li se). Jak to řešit?
19:59 mornfall Asi vyrobit v boot-u stav z kterýho pak scheduler pozná že se nemá snažit...
19:59 mornfall Fault v boot-u by totiž asi znamenal prázdnej stavovej prostor a to je docela nic moc.
19:59 yaqwsx Ok, to zní rozumně.
20:00 mornfall nebo ještě lépe nastavit scheduler kterej jen vyhodí ten fault
20:54 yaqwsx Než začnu recordovat - máš něco proti includům #include "fault.hpp" místo #include <dios/fault.hpp>.

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