[OSy] Je MSIM deterministicky?

[Ondrej Mocny]

Me napada, jestli nahodou nekalibrujete pri startu kernelu pocet ticku mezi volanim scheduleru. Kvuli tomu se
tam dostal nedeterminismus nam, nicmene mne na Windowsech pod Cygwinem to bezi vzdycky na chlup stejne :)

Ondrej Mocny

Robert Sisaj napsal(a):
> Vdaka za nakopnutie, idem to vyskusat.
> 
> Robo
> 
> 2009/12/4 Viliam Holub <holub at dsrg.mff.cuni.cz
> <mailto:holub at dsrg.mff.cuni.cz>>
> 
> 
>     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 <mailto:OSy at dsrg.mff.cuni.cz>
>     > > https://dsrg.mff.cuni.cz/mailman/listinfo/osy
>     > >
> 
>     > _______________________________________________
>     > OSy mailing list
>     > OSy at dsrg.mff.cuni.cz <mailto:OSy at dsrg.mff.cuni.cz>
>     > https://dsrg.mff.cuni.cz/mailman/listinfo/osy
> 
> 
>     _______________________________________________
>     OSy mailing list
>     OSy at dsrg.mff.cuni.cz <mailto: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