Какво е състояние на блокиране?

Състоянието на блокиране (lock contention) възниква, когато няколко нишки или процеси едновременно се опитват да получат изключителен достъп до споделен ресурс (например променлива, файл или заключване), защитен от механизъм за заключване. Това води до това, че някои от тях се спират и чакат освобождаването на ресурса.

Основни причини:

• Многонитковост/мултипроцесорност.
• Общи променяеми ресурси.
• Неоптимално използване на заключвания (твърде дълги или гранулирани заключвания).

Последици:

• Намаляване на производителността поради чакане.
• Увеличаване на разходите за управление на заключвания.
• Възможни deadlock-и (задръствания) при неправилна употреба.

Начини за минимизиране:

• Намаляване на времето, през което ресурсът е заключен.
• Използване на по-малко гранулирани заключвания (заключване само на необходимата част от ресурса).
• Прилагане на атомарни операции, ако е възможно.
• Използване на структури от данни без заключване.
• Хоризонтално мащабиране, ако архитектурата го позволява.

Примерен код на Python, демонстриращ конкуренция за заключване:

import threading
import time

lock = threading.Lock()
брояч = 0

def increment():
    global брояч
    # Вземане на заключване
    lock.acquire()
    try:
        # Симулация на работа
        time.sleep(0.01)
        брояч += 1
    finally:
        # Освобождаване на заключването
        lock.release()

нишки = []
for _ in range(10):
    t = threading.Thread(target=increment)  # Създаване на нишки за увеличаване
    нишки.append(t)
    t.start()  # Стартиране на нишките

for t in нишки:
    t.join()  # Изчакване за завършване на всички нишки

print(f"Крайна стойност на брояча: {брояч}")

Тук lock.acquire() и lock.release() защитават достъпа до брояч. Без заключване (или при конкуренция) крайната стойност може да бъде по-малка от 10 поради състезателни условия (race conditions).