Operētājsistēmas. Baņķiera algoritms (Deikstra, 1965.g.)

Uzdevuma nostādne
Izstrādāt programmu, kura konstatē ir vai nav sistēmas stāvoklis drošs. Sākumā jāievada sekojošus datus:
Procesus skaits sistēmā
Resursu vienību skaits sistēmā
Katra procesa maksimālā vajadzība pēc resursa
Tālāk dialogā tiek ievadīti procesu pieprasījumi resursu iedalīšanai vai resursu atbrīvošanai. Programma konstatē vai var apmierināt pieprasījumu, izejot no tā, ka sistēmas stāvokli, jāpaliek drošam. Ja var, tad sistēma fiksē jauno stāvokli, ja nē – izdod attiecīgu paziņojumu un pieprasījumu neapmierina.

Laiksakritīgie procesi.
Programma ir komandu statiska secība. Process ir darbību secība, tas ir, dinamisks
objekts. Process ir programma izpildīšanas stadija.
Eksistēšanas gaitā process var mainīt savu stāvokli.
1.-izplatišanas;
2.-gataviba;
3.-sablokešanas;
4.-apturets – gatavs;
5.-apturets – sabloķēts;
Process atrodas izpildīšanas stāvoklī, ja procesors tiek iedalīts procesam un atrodas
procesa rīcībā. Process atrodas gatavības stāvoklī, ja vārētu izpildīties uzreiz pēc
procesora nodošanas viņa rīcībā. Process atrodas sabloķēšanas stāvoklī, ja viņš gaida,
kad notiks kaut kāds notikums, lai būtu iespējams turpināt savu darbu.
1.2. – process tiek pārcelts gatavības stāvoklī, ja ir beidzies procesam iedalītais
laika kvants līdz tam momentam, kad process brīvprātīgi atbrīvo procesoru.
1.3. – process tiek pārcelts sabloķēšanas stāvoklī, ja viņš inicializē ievad un izvad
procedūras un gaida to pabeigšanu.…