[OSy] Je MSIM deterministicky?

[radim.vansa at matfyz.cz]

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
> >
> 
> 
>