concurrency - 相互排除問題における「スライス」の意味

Question

次のステートメントで「スライス」とはどういう意味ですか。

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

作成者は、このプログラムではミューテックスが満たされていないことを示そうとしています。http://www.mcs.csueastbay.edu/~billard/os/mutex.txtからです

ありがとう。

Answer 1

コンテキストから、それはコンテキストの切り替え (つまり、現在の時点でタイムスライスの境界があること) を意味すると思います。したがって、

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