Trình bày phương pháp phòng tránh bế tắc sử dụng thuật toán người cho vay (banker’s algorithm), cho ví dụ minh họa cụ thể.

Khi tiến trình muốn khởi tạo, thông báo dạng tài nguyên và số lượng tài nguyên tối đa cho mỗi dạng sẽ yêu cầu 

Nếu số lượng yêu cầu không vượt quá khả năng hệ thống, tiến trình sẽ được khởi tạo

Trạng thái được xác định bởi tình trạng sử dụng tài nguyên hiện thời trong hệ thống:  

- Số lượng tối đa tài nguyên mà tiến trình yêu cầu:

- Dưới dạng ma trận M[n][m]: n là số lượng tiến trình, m: số tài nguyên

- M[i][j]: số lượng tài nguyên tối đa dạng j mà tiến trình i yêu cầu

Số lượng tài nguyên còn lại:

- Dưới dạng vectơ A[m] 

- A[j] là số lượng tài nguyên dạng j còn lại và có thể cấp phát

Lượng tài nguyên đã cấp cho mỗi tiến trình:

- Dưới dạng ma trận D[n][m]

- D[i][j] là lượng tài nguyên dạng j đã cấp cho tiến trình i

Lượng tài nguyên còn cần cấp

- Dưới dạng ma trận C[n][m]

- C[i][j]=M[i][j]-D[i][j] là lượng tài nguyên dạng j mà tiến trình i còn cần cấp

Trạng thái an toàn: trạng thái mà từ đó có ít nhất một phương án cấp phát sao cho bế tắc không xẩy ra

Cách phòng tránh bế tắc:

Khi tiến trình có yêu cầu cấp tài nguyên, hệ thống giả sử tài nguyên được cấp

Cập nhật lại trạng thái & xác định xem trạng thái đó có an toàn? 

- Nếu an toàn, tài nguyên sẽ được cấp thật

- Ngược lại, tiến trình bị phong tỏa &chờ tới khi có thể cấp phát an toàn