- P0 할당
· Finish = false
· Need <= Work : [0, 0, 0, 0] <= [1, 5, 2, 0]
· Work = Work + Allocation1 = [1, 5, 2, 0] + [0, 0, 1, 2] = [1, 5, 3, 2]
· Finish = [true, f, f, f, f]
- P2 할당
· Finish = false
· Need <= Work : [1, 0, 0, 2] <= [1, 5, 3, 2]
· Work = Work + Allocation3 = [1, 5, 3, 2] + [1, 3, 5, 4] = [2, 8, 8, 6]
· Finish = [true, f, true, f, f]
- P3 할당
· Finish = false
· Need <= Work : [0, 0, 2, 0] <= [2, 8, 8, 6]
· Work = Work + Allocation3 = [2, 8, 8, 6] + [0, 6, 3, 2] = [2, 14, 11, 8]
· Finish = [true, f, true, true, f]
- P4 할당
· Finish = false
· Need <= Work : [0, 6, 4, 2] <= [2, 14, 11, 8]
· Work = Work + Allocation3 = [2, 14, 11, 8] + [0, 0, 1, 4] = [2, 14, 12, 12]
· Finish = [true, f, true, true, true]
- P1 할당
· Finish = false
· Need <= Work : [0, 7, 5, 0] <= [2, 14, 12, 12]
· Work = Work + Allocation3 = [2, 14, 12, 12] + [1, 0, 0, 0] = [3, 14, 12, 12]
· Finish = [true, true, true, true, true]
- 모든 i에 대해 Finish[i] = true 이므로 안정상태임.