[OSy] Testy pro 1. semestralku - problemy

[Martin Decky]

> 1) kompilace testu s mutexy hlasi warningy napr:
> assignment1-tests/mutex3/test.c:182: warning: format '%p' expects type 'void *', but argument 3 has type 'unsigned int'
> 
> jedna se o kompilaci robust_thread_func:
> 
> 		panic ("Failed to %s thread %p "	\
> 			"(got %d, expected %d).\n"	\
> 			"Test failed....\n", opname, 	\
> 			thread, _res, expv);		\
> 
> mame thread_t jako unsigned int, ne jako void*
> 
> vadi to ?
> 
> pokud to vadi, bude stacit, kdyz vypnu kontrolu parametru panicu tak,
> ze to bude furt spatne, ale nic se nezahlasi ?

Asi nehrozumnejsi bude zmenit makro robust_thread_func v defs.h (tj.
zmenit tu formatovaci direktivu). Je sice pravda, ze do testu byste
pokud mozno nemeli zasahovat, ale v tomto pripade se bude jeznoznacne
jednat jen o formalni zmenu, nikoliv zmenu chovani.

Kdyz to zdokumentujete, nevidim v tom problem.

> 2) test mutex6 predpoklada nerekurzivni implementaci mutexu,
> zadani ale nic takoveho nerika, rekurzivni implementace samozrejme
> nevyda ETIMEOUT ale EOK

Citace ze zadani: "Pokud zadani nespecifikuje nejaky detail, je zavazne
chovani, ktere ocekavaji testy. Pokud testy dane chovani netestuji,
zadani si podle uvazeni dodefinujte a sve rozhodnuti zdokumentujte."

> bude vadit, kdyz misto mutexu pouziju spinlock pro ucely testu?

To rozhodne vadit bude, mutex a spinlock jsou zasadne rozdilne veci.


M.D.