最初のページ 戻る 次へ 最後のページ 画像

厳格な二相ロッキングプロトコル

厳格な二相ロッキングプロトコルのもとで合法なスケジュールは競合直列可能であり厳格なスケジュールになる