データベース
基本情報技術者試験 科目A免除 修了試験 20160724 実施分 問16
各タスクがタスク間共有変数を更新するときに，タスク間の同期制御を行わないと思わぬ結果を招くことがある。タスク間共有変数 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免除 修了試験 20160724 実施分 問16（問題文は IPA の公開問題。解説は当サイト作成）
答えと解説を見る
正解：イ
覚える知識
排他制御なし共有変数更新の実行順序トレース
排他制御がないと、参照と更新の間に他タスクが割り込み、実行順序で結果が変わる。
この問題で必要なこと
各選択肢の順序で参照・計算・更新を追う。イはa1で3、b1~b4でx=9、a2でf=9、a3で3+9=12、a4で12となる。
ひっかけ
途中の更新を見落としてx=18や9などの値を導かせる。
この知識の出題：本試験系 0 回・免除試験 10 回（公開問題での観測値）