Cunoștințe, prelegere, algoritmi de sincronizare

Rezumat: Pentru interacțiunea corectă a proceselor, nu este suficient doar un efort organizatoric al sistemului de operare. Anumite schimbări interne în comportamentul proceselor sunt necesare. Această prelegere abordează aspecte legate de astfel de modificări, oferă algoritmi programatici pentru organizarea corectă a proceselor de interacțiune.







În cursul precedent, am vorbit despre problemele externe ale cooperării legate de organizarea interacțiunii proceselor din partea sistemului de operare. Să presupunem că este organizată o conexiune de proces fiabilă și că ei pot schimba informații. Trebuie să luăm noi măsuri pentru a organiza soluția corectă a problemei prin interacțiunea proceselor? Trebuie să-mi schimb comportamentul intern? Această prelegere este dedicată explicării acestor întrebări.







Intercalarea, condiția de rasă și excluderea reciprocă

Să facem temporar o pauză de la sistemele de operare, procese și fire de execuție și să vorbim despre unele "activități". În cadrul activităților vom înțelege implementarea consecventă a unui număr de acțiuni care vizează atingerea unui obiectiv specific. Activitățile pot avea loc în software și hardware, în activitățile obișnuite ale oamenilor și animalelor. Vom descompune activitatea în unele indivizibile sau atomice. operațiuni. De exemplu, activitatea "pregătirii unui sandwich" poate fi împărțită în următoarele operații atomice:

  1. Tăiați o felie de pâine.
  2. Tăiați o felie de cârnați.
  3. Puneți o felie de pâine cu unt.
  4. Puneți o felie de cârnați pe o felie de pâine pregătită.

Operațiile indivizibile pot avea acțiuni invizibile interne (iau o bucată de pâine în mâna stângă, iau un cuțit în mâna dreaptă, taie-o). Le numim indivizibile, deoarece considerăm că acestea sunt executate simultan, fără a întrerupe activitatea.

Să fie două activități







Articole similare

Trimiteți-le prietenilor: