Procházet otázky :: SZZ na MFF UK

#

- Hlavní strana
- Okruhy
- Projít
- Stáhnout
- Co je potřeba
- Chci přispět
- Kredity

Hledat:

## Prohlížení státnicových textů

### Pojmy

Race conditions: výsledek operace závisí na plánování

Vzájemné vyloučení (mutual exclusion): kritickou operaci provádí nejvýše jeden proces. Podmínky vzájemného vyloučení:

1. Žádné dva procesy nemohou být najednou ve stejné kritické sekci
2. Nemohou být učiněny žádné předpoklady o rychlosti nebo počtu CPU
3. Žádný proces mimo kritickou sekci nesmí blokovat jiný proces
4. Žádný proces nesmí čekat nekonečně dlouho v kritické sekci

Kritická sekce: část programu, kde se provádí kritická operace

Metody dosáhnutí vzájemného vyloučení: aktivní čekání (busy waiting) a pasivní čekání/blokování.