Čo je stav blokovania?

Stav blokácie (lock contention) nastáva, keď niekoľko vlákien alebo procesov súčasne sa snaží získať výlučný prístup ku spoločnému zdroju (napríklad premennej, súboru alebo zámku), ktorý je chránený mechanizmom zámku. To spôsobí, že niektoré z nich sú pozastavené a čakajú na uvoľnenie zdroja.

Hlavné príčiny:

• Viacvláknové/multiprocesové prostredie.
• Zdieľané meniteľné zdroje.
• Neoptimálne využívanie zámkov (príliš dlhé alebo granulárne zámky).

Dôsledky:

• Zníženie výkonu kvôli čakaniu.
• Zvýšenie nákladov na správu zámkov.
• Možné deadlocky (zacyklenia) pri nesprávnom použití.

Spôsoby minimalizácie:

• Skrátenie doby, počas ktorej je zdroj uzamknutý.
• Použitie menej granulárnych zámkov (zamknúť iba potrebnú časť zdroja).
• Aplikácia atómových operácií, ak je to možné.
• Použitie štruktúr dát bez zámkov.
• Horizontálne škálovanie, ak architektúra to umožňuje.

Príklad kódu v Pythone, ktorý demonštruje konkurenciu o zámok:

import threading
import time

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

def inkrementácia():
    globalčítač
    # Získanie zámku
    lock.acquire()
    try:
        # Simulácia práce
        time.sleep(0.01)
       čítač += 1
    finally:
        # Uvoľnenie zámku
        lock.release()

vlákna = []
for _ in range(10):
    t = threading.Thread(target=inkrementácia)  # Vytvorenie vlákien pre zvýšenie
    vlákna.append(t)
    t.start()  # Spustenie vlákien

for t in vlákna:
    t.join()  # Čakanie na dokončenie všetkých vlákien

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

Tu lock.acquire() a lock.release() chránia prístup k čítač. Bez zámku (alebo pri konkurencii) by konečná hodnota mohla byť menšia ako 10 kvôli súťažným podmienkam (race conditions).