Что такое потокобезопасный класс?

Потокобезопасный класс

Потокобезопасный класс — это класс, экземпляры которого можно безопасно использовать из нескольких потоков одновременно без возникновения race conditions и нарушения целостности данных.

Ключевые характеристики

1. Консистентность состояния Потокобезопасный класс гарантирует, что его внутреннее состояние остаётся консистентным даже при одновременном доступе нескольких потоков. Это достигается правильной синхронизацией.

2. Видимость изменений Изменения, сделанные одним потоком, всегда видны другим потокам благодаря happens-before отношениям, определённым в Java Memory Model.

Способы обеспечения потокобезопасности

Синхронизация через synchronized:

public class Counter {
    private int value = 0;
    
    public synchronized void increment() {
        value++;
    }
    
    public synchronized int getValue() {
        return value;
    }
}

Использование volatile для примитивов:

public class Flag {
    private volatile boolean running = false;
    
    public void stop() {
        running = false;  // видно всем потокам
    }
}

Immutable объекты (самые безопасные):

public final class ImmutablePoint {
    private final int x;
    private final int y;
    
    public ImmutablePoint(int x, int y) {
        this.x = x;
        this.y = y;
    }
}

Иммutable объекты по определению потокобезопасны, так как их состояние не может измениться.

Использование потокобезопасных коллекций:

List<String> list = Collections.synchronizedList(new ArrayList<>());
Map<String, String> map = new ConcurrentHashMap<>();

Lock из java.util.concurrent.locks:

import java.util.concurrent.locks.ReentrantLock;

public class LockExample {
    private final ReentrantLock lock = new ReentrantLock();
    private int value = 0;
    
    public void increment() {
        lock.lock();
        try {
            value++;
        } finally {
            lock.unlock();
        }
    }
}

Примеры из стандартной библиотеки

• String — потокобезопасна благодаря immutability
• ArrayList — НЕ потокобезопасна
• CopyOnWriteArrayList — потокобезопасна
• HashMap — НЕ потокобезопасна
• ConcurrentHashMap — потокобезопасна
• StringBuffer — потокобезопасна (synchronized)
• StringBuilder — НЕ потокобезопасна

Правила проектирования потокобезопасного класса

1. Чётко определи грань синхронизации — какие операции должны быть атомарными
2. Минимизируй область синхронизации — синхронизируй только критические секции
3. Избегай вложенных блокировок — рискуешь deadlock'ом
4. Документируй потокобезопасность — укажи в документации, какие методы потокобезопасны
5. Тестируй многопоточное поведение — используй инструменты типа ThreadSanitizer

Цена потокобезопасности

Потокобезопасность имеет издержки по производительности из-за синхронизации и контролей видимости памяти. Поэтому в однопоточных контекстах (как StringBuilder вместо StringBuffer) используй более быстрые варианты.

Потокобезопасный класс — основа надежных многопоточных приложений в Java.