Co je to stav blokování?

Stav blokování (lock contention) nastává, když několik vláken nebo procesů současně usiluje o výlučný přístup ke sdílenému zdroji (například proměnné, souboru nebo zámku), který je chráněn mechanismem zámku. To způsobí, že některá z nich jsou pozastavena a čekají na uvolnění zdroje.

Hlavní příčiny:

• Vícevláknové/multiprocesové prostředí.
• Sdílené měnitelné zdroje.
• Neoptimální využívání zámků (příliš dlouhé nebo granulární zámky).

Důsledky:

• Snížení výkonu kvůli čekání.
• Zvýšení nákladů na správu zámků.
• Možné deadlocky (zacyklení) při nesprávném použití.

Způsoby minimalizace:

• Zkrácení doby, po kterou je zdroj uzamčen.
• Použití méně granulárních zámků (zamknout pouze potřebnou část zdroje).
• Použití atomických operací, pokud je to možné.
• Použití struktur dat bez zámků.
• Horizontální škálování, pokud to architektura umožňuje.

Příklad kódu v Pythonu demonstrující konkurenci o zámek:

import threading
import time

lock = threading.Lock()
čítač = 0

def inkrementace():
    globalčítač
    # Získání zámku
    lock.acquire()
    try:
        # Simulace práce
        time.sleep(0.01)
       čítač += 1
    finally:
        # Uvolnění zámku
        lock.release()

vlákna = []
for _ in range(10):
    t = threading.Thread(target=inkrementace)  # Vytvoření vláken pro inkrementaci
    vlákna.append(t)
    t.start()  # Spuštění vláken

for t in vlákna:
    t.join()  # Čekání na dokončení všech vláken

print(f"Konečná hodnota čítače: {čítač}")

Zde lock.acquire() a lock.release() chrání přístup k čítač. Bez zámku (nebo při konkurenci) by konečná hodnota mohla být menší než 10 kvůli závodním podmínkám (race conditions).