データベース
基本情報技術者試験 科目A免除 修了試験 20130728 実施分 問23
各タスクがタスク間共有変数を更新するときに，タスク間の同期制御を行わないと思わぬ結果を招くことがある。タスク間共有変数 x の初期値が 3 のとき，タスク A が代入文 x＝x＋x を実行し，タスク B が代入文 x＝x×x を実行すると，最終的な x の値が 12 となるのは，どの順番で実行されたときか。ここで，各代入文はそれぞれ次の四つの部分に分けて処理される。
タスク A (x＝x＋x)
a1 x の値を参照し e とする。
a2 x の値を参照し f とする。
a3 e＋f を計算し g とする。
a4 g によって x の値を更新する。
タスク B (x＝x×x)
b1 x の値を参照し h とする。
b2 x の値を参照し i とする。
b3 h×i を計算し j とする。
b4 j によって x の値を更新する。
答えを選ぶ
出典：基本情報技術者試験 科目A免除 修了試験 20130728 実施分 問23（問題文は IPA の公開問題。解説は当サイト作成）
答えと解説を見る
正解：イ
覚える知識
排他制御なし共有変数更新の実行順序トレース
排他制御がないと、参照した古い値で更新が行われ結果が実行順序に依存する。
この問題で必要なこと
各順序で参照・計算・更新を追跡する。イではb4でx=9、その後a2でf=9となりa3の3+9=12が書き戻される。
ひっかけ
どの参照が更新前後かの取り違えを誘う。
この知識の出題：本試験系 0 回・免除試験 10 回（公開問題での観測値）