Значение среза в контексте проблем взаимного исключения

Что означает «срез» в следующем утверждении:

p0 tests lock (now, slice before actually setting lock)

Автор пытается показать, что мьютекс не встречается для этой программы. Это с сайта http://www.mcs.csueastbay.edu/~billard/os/mutex.txt

Спасибо.


person ratsimihah    schedule 07.03.2013    source источник


Ответы (1)


Исходя из контекста, я считаю, что это означает переключение контекста (т. е. наличие границы timeslice в текущей точке). Таким образом,

p0 tests lock (now, slice before actually setting lock)
p1 tests lock (this makes p1 think it is still available)

означает

p0 tests lock
timeslice ends -- context switch to p1
p1 tests lock
...
person nneonneo    schedule 07.03.2013