[OSy] Je MSIM deterministicky?

[Jan Záloha]

Presne tak to delam od zacatku.

______________________________________________________________
> Od: radim.vansa at matfyz.cz
> Komu: Operating Systems Course <osy at dsrg.mff.cuni.cz>
> Datum: 06.12.2009 22:47
> Předmět: Re: [OSy] Je MSIM deterministicky?
>
>Reaguju trochu opožděně, ale abys neměl vždycky různé adresy po změně trochy kódu, tak nepoužívej jako začátek kernel heap přímo &_kernel_end, ale zarovnej si ho na začátek nejbližšího mega paměti (minimálně zarovnání na stránku je stejně nutné při použití alokátoru fyzické paměti - tak se vyhneš změně adres jen při přikompilování ladících výpisů.
>
>Radim Vansa
>
>> ------------ Původní zpráva ------------
>> Od: Robert Sisaj <sisarian at gmail.com>
>> Předmět: Re: [OSy] Je MSIM deterministicky?
>> Datum: 04.12.2009 13:54:41
>> ----------------------------------------
>> Konkretne sa pri vykonavani tohoto kodu pouziva 1 cpu, pamat a potom uz len
>> dprinter a dtime.
>> > > > b) Pravdepodobnejsi je, ze ve skutecnosti neni zdroj
>> >   nedeterministickeho chovani v MSIMu, ale primo ve Vasem kodu.
>> >
>> > Netusim, ako by nas kod mohol vnasat nedeterminizmus (odhliadnuc od pouzitia
>> dkeyboard).
>> > Jinymi slovy, nenapada me jiny postup, jak zjistit, co je spatne, nez
>> > zkratka najit a izolovat zdroj toho nedeterministickeho chovani. Nejlepe
>> > postupnym orezavanim Vaseho kodu vytvorit pokud mozno minimalni test case,
>> > na kterem se problem projevuje, a na zaklade toho zjistit, kde je pricina
>> > takoveho chovani.
>> >
>> > Orezat to na mensi kus, pri ktorom sa nedeterminizmus prejavi bude zrejme
>> problem :-( Toto chovanie vidim prvykrat, prejavilo sa mi to s nasim
>> kernelom pri teste map2 z AS2. Test obcas prejde tak ako ma, obcas sa
>> zasekne (zostane bezat len idle thread kernelu). Obcas pred zaseknutim vidno
>> chybovu hlasku testu, ze pamat je nekonzistentna.
>> > Mierny zasah do kodu kernelu tento nedeterminizmus odstranil (resp. test
>> presiel zakazdym tak ako mal). Ten zasah z pohladu testu (msimom skutocne
>> vykonavaneho kodu) je IMHO neviditelny, prakticky by mala byt len o nieco
>> vacsia binarka kernelu a cast kodu teda lezi na inych adresach.
>> > Robo
>> > > >
>> >
>> > M.D.
>> >
>> >
>> > _______________________________________________
>> > OSy mailing list
>> > OSy at dsrg.mff.cuni.cz
>> > https://dsrg.mff.cuni.cz/mailman/listinfo/osy
>> >
>> > > 
>_______________________________________________
>OSy mailing list
>OSy at dsrg.mff.cuni.cz
>https://dsrg.mff.cuni.cz/mailman/listinfo/osy
>