共有変数 x（初期値0）に対して、2つのスレッドがそれぞれ「x の値を読み出し、1を加えて書き戻す」処理を1回ずつ、相互排除なしに並行して実行した。終了後の x の値としてあり得るものをすべて挙げたものはどれか。

解説

正解は「1 または 2」です。一方のスレッドが読出しから書戻しまでを終えてから他方が読み出せば、x は2になります。しかし、両方のスレッドが x=0 を読み出した後にそれぞれ1を書き戻すと、一方の更新が失われて x は1になります。このように、実行の順序によって結果が変わる状態を競合状態（レースコンディション）といい、読出しから書戻しまでを危険区域として相互排除する必要があります。「2 だけ」は、処理が分割できない（不可分）と誤解しています。「0 または 1 または 2」は誤りで、どちらのスレッドも1を加えた値を書き戻すため、0にはなりません。「1 だけ」は、順番に実行される場合を見落としています。