次のプログラムはある銀行口座への入金を行うプログラムである。2人が同時に入金を行うと2つのスレッドが作られ、関数 do_deposit の部分が交互にCPUを使いながら動作する可能性がある。変数
balance は銀行口座の残高、変数 deposit は銀行口座に入金する金額を表す。共用変数 balance への相互排除を実現するためセマフオを用いることとした。セマフォＳの初期値、及びプログラム中の
ア 、 イ に入る正しい組合せを①～⑤の中から選べ。
int balance; /* 銀行口座の残高．スレッド間で共用される */
void do_deposit (int deposit) {
int x;
[ ア ];
x = balance;
x = x + deposit;
balance = x;
[ イ ];
}
セマフォ Ｓ の初期値 ア イ
① 1 signal(S) wait(S)
② 1 wait(S) signal(S)
③ 0 signal(S) wait(S)
④ 0 wait(S) signal(S)
⑤ 任意の値でよい signal(S) wait(S)
②
セマフォは、複数のプロセスが並行して動作し、一つの資源を共有する場合にそのアクセスを制御するための機構のことである。
セマフォの値は「あといくつのプロセスが使えるか」を表す。
wait(S) はＰ操作ともいい、セマフォの値から1を引き、実行を継続する。
signal(S) は Ｖ操作ともいい、セマフォの値に1を足し、待っているタスクが実行可能となる。
従って、セマフォＳの初期値を1にして、wait(S) により処理を継続し、balance に値を入力後は signal(S) として、再びセマフォの値を1とする。
| Ⅳ－１５ | 目次 | Ⅳ－１７ |