[OSy] Je MSIM deterministicky?

[Viliam Holub]

Ja bych na to sel takhle: Zapnu si vypisovani vykonavanych instrukci a ulozim
si dva behy. Podivam se na prvni radku kde se behy lisi a odtud kdy se
rozchazeji simulovane instrukce.

Z toho uz se to urcite zjisti...

V.

On 04. Dec (Friday) v 13:54:08 +0100 2009, Robert Sisaj wrote:
> 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