Перейти к содержимому
шпаргалка.
Esc
↑↓навигация↵открыть⌘Jпредпросмотр
На этой странице

Основы многопоточности

Все темы Java Developer

Расскажите о модели памяти в Java

Модель памяти в Java определяет, как потоки взаимодействуют через память и как изменения переменных в одном потоке становятся видимыми для других потоков. Основные концепции:

  1. Основные области памяти:

    • Heap (Куча): Все объекты и массивы хранятся здесь.

    • Stack (Стек): Хранит примитивные данные и ссылки на объекты, находящиеся в куче, для каждого потока.

  2. Видимость и упорядочивание:

    • volatile: Ключевое слово, которое гарантирует видимость изменений переменной для всех потоков. Изменения в volatile переменной сразу становятся видимыми другим потокам.

    • synchronized: Блокировка, которая гарантирует, что только один поток может выполнять блок кода в одно время. Также обеспечивает видимость изменений, выполненных в блоке.

  3. Порядок выполнения:

    • happens-before: Принцип, который гарантирует, что одно действие происходит до другого. Если одно действие happens-before другого, то первое действие будет видно и упорядочено перед вторым.

    • Примеры happens-before:

      • Блокировка и разблокировка монитора.

      • Запись в volatile переменную и последующее чтение этой переменной.

  4. Атомарные операции:

    • Операции, которые выполняются целиком и не могут быть прерваны другим потоком.

    • Класс java.util.concurrent.atomic предоставляет атомарные классы, такие как AtomicInteger, AtomicReference, и т.д.

  5. Переменная final :
    • Значения final переменных устанавливаются только один раз и становятся видимыми для всех потоков после завершения конструктора.

Что такое «потокобезопасность»?

Потокобезопасность (thread safety) — это свойство программы или компонента, которое позволяет им корректно работать в многопоточной среде, то есть, когда к ним одновременно обращаются несколько потоков.

Основные аспекты потокобезопасности

  1. Изоляция данных:
    • Обеспечение того, что каждый поток работает с собственным набором данных, что исключает возможность одновременного доступа к одним и тем же данным.
  2. Синхронизация:

    • Использование механизмов синхронизации (например, synchronized блоков или методов) для контроля доступа к общим ресурсам. Это предотвращает состояние гонки, когда несколько потоков одновременно изменяют одни и те же данные.

    • Пример:

      public synchronized void increment() {
    count++;
}
  3. Использование volatile :

    • volatile задаёт гарантии видимости и порядка согласно Java Memory Model. Оно не делает count++ атомарным и не описывается просто как запрет кэширования.

    • Пример:

      private volatile boolean flag;
  4. Атомарные операции:

    • Атомарные операции выполняются полностью или не выполняются вовсе, без промежуточных состояний, что предотвращает проблемы синхронизации.

    • Классы из пакета java.util.concurrent.atomic предоставляют атомарные операции.

    • Пример:

      AtomicInteger count = new AtomicInteger(0);
count.incrementAndGet();
  5. Использование коллекций из java.util.concurrent :

    • Коллекции, такие как ConcurrentHashMap, обеспечивают потокобезопасность при работе с данными.

    • Пример:

      ConcurrentMap<String, Integer> map = new ConcurrentHashMap<>();
map.put("key", 1);

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

Без синхронизации возможны проблемы, как в примере ниже:

public class Counter {
    private int count = 0;

    public void increment() {
        count++;
    }

    public int getCount() {
        return count;
    }
}

В многопоточной среде несколько потоков могут одновременно вызывать increment, что приведет к некорректному значению count. Для обеспечения потокобезопасности, метод increment нужно синхронизировать:

public class Counter {
    private int count = 0;

    public synchronized void increment() {
        count++;
    }

    public synchronized int getCount() {
        return count;
    }
}

Таким образом, потокобезопасность достигается за счет контроля доступа потоков к общим ресурсам и данных, что предотвращает некорректное поведение программы.

Чем отличается процесс от потока?

Основные отличия процесса от потока:

Процесс

  1. Определение: Независимая программа с собственным адресным пространством.

  2. Изоляция: Полная изоляция от других процессов.

  3. Ресурсы: Имеет собственные ресурсы (память, дескрипторы файлов).

  4. Коммуникация: Использует межпроцессное взаимодействие (IPC) для связи.

  5. Пример: Два запущенных экземпляра браузера.

Поток

  1. Определение: Единица выполнения внутри процесса.

  2. Изоляция: Делит память и ресурсы с другими потоками того же процесса.

  3. Ресурсы: Разделяет ресурсы родительского процесса.

  4. Коммуникация: Легко взаимодействует с другими потоками через общую память.

  5. Пример: Многопоточный веб-сервер, обрабатывающий запросы.

Краткий итог

  • Процессы: Изолированы, имеют свои ресурсы, сложная коммуникация.

  • Потоки: Разделяют ресурсы, простая коммуникация, легковесные.

В чём разница между «конкуренцией» и «параллелизмом»?

Основная разница между «конкуренцией» и «параллелизмом»:

Конкуренция (Concurrency)

  1. Определение: Возможность системы выполнять несколько задач, переключаясь между ними. Не обязательно выполнение задач одновременно.

  2. Цель: Улучшение эффективности и отзывчивости системы.

  3. Пример: Веб-сервер, который обрабатывает множество запросов, переключаясь между ними.

Параллелизм (Parallelism)

  1. Определение: Одновременное выполнение нескольких задач на нескольких процессорах или ядрах.

  2. Цель: Ускорение выполнения задач за счет их выполнения одновременно.

  3. Пример: Обработка большого массива данных с использованием нескольких ядер процессора.

Краткий итог

  • Конкуренция: Многозадачность с переключением, не обязательно одновременное выполнение.

  • Параллелизм: Одновременное выполнение задач на нескольких процессорах/ядрах.

Что такое «зелёные потоки» и есть ли они в Java?

Зелёные потоки и их использование в Java:

Зелёные потоки

  • Определение: Потоки, управляемые виртуальной машиной (JVM), а не операционной системой.

  • Преимущества:

    • Низкие накладные расходы на создание и переключение.

    • Эффективны на системах с ограниченными ресурсами.

  • Недостатки:
    • Не могут использовать преимущества многопроцессорных систем, так как все выполняются в одном системном потоке.

Зелёные потоки в Java

  • Современная Java:
    • Современная Java поддерживает платформенные и виртуальные потоки. Платформенные потоки обычно соответствуют потокам ОС; виртуальные планирует JVM.
  • Проект Loom:

    • Виртуальные потоки вошли в Java 21 как завершённая возможность. JVM планирует множество виртуальных потоков на платформенных потоках; это позволяет масштабировать прежде всего задачи с ожиданием ввода-вывода.

    • Цель: Создание лёгких потоков для повышения конкурентности и производительности, позволяя легко создавать тысячи или миллионы потоков с минимальными накладными расходами.

Эта страница была полезной?