Потоки разделяют память
В Java несколько потоков могут обращаться к одним объектам одновременно. Это удобно для параллельной обработки, но создаёт гонки данных. Операция, которая выглядит одной строкой кода, может состоять из нескольких шагов чтения и записи. Для защиты используют синхронизацию, атомарные типы, неизменяемые объекты и конкурентные коллекции. Главный вопрос — какое состояние действительно нужно разделять и можно ли уменьшить его объём.
Пулы потоков управляют ресурсом
Создавать отдельный поток на каждую задачу дорого и неудобно. Поэтому применяют исполнители и пулы, которые переиспользуют ограниченное количество рабочих потоков. Размер пула зависит от типа нагрузки. Для вычислительно тяжёлых задач бессмысленно бесконечно увеличивать число потоков, потому что ядра процессора остаются ограниченными. Для операций ожидания возможна другая стратегия. Важно измерять реальную нагрузку, а не выбирать размер по случайной формуле.
Распределённость добавляет частичные отказы
Если сервис вызывает другой сервис по сети, возможна ситуация, когда запрос отправлен, но ответ потерян. Первый компонент не знает, выполнилась операция или нет. Поэтому появляются таймауты, повторные попытки, идемпотентность и очереди сообщений. Сеть может быть медленной, узел — недоступным, данные — временно несогласованными. Это фундаментальное отличие от вызова метода внутри одного процесса.
Параллельность должна окупать сложность
Разделение задачи на потоки или сервисы не гарантирует ускорения. Появляются расходы на синхронизацию, сериализацию, передачу данных и координацию. Иногда последовательный алгоритм проще и быстрее. Перед усложнением полезно измерить узкое место, определить долю работы, которую реально можно выполнять независимо, и только потом выбирать архитектуру.
Попробуйте на практике
Смоделируйте безопасный счётчик задач в двух вариантах.
- Создайте простой счётчик, который увеличивают несколько потоков, и наблюдайте возможные расхождения.
- Замените обычную переменную на атомарный счётчик или синхронизированную операцию.
- Опишите, что изменится, если счётчик находится не в памяти процесса, а в отдельном сетевом сервисе.
- Перечислите минимум два новых отказа, которые появятся из-за сети.
Как проверить результат. Упражнение выполнено, если вы можете объяснить разницу между гонкой потоков и сетевой неопределённостью и назвать отдельные способы работы с каждой.
Частые вопросы
Многопоточность всегда ускоряет программу?
Нет. Для маленьких задач расходы на координацию могут быть выше выигрыша, а последовательный код проще.
Чем процесс отличается от потока?
Потоки одного процесса обычно разделяют память, а разные процессы имеют отдельные адресные пространства и общаются через специальные механизмы.
Зачем нужна идемпотентность в распределённой системе?
Она помогает безопаснее повторять запрос, когда неизвестно, выполнилась ли предыдущая попытка из-за сетевого сбоя.
Самостоятельный разбор темы. Содержание конкретной обучающей программы здесь не представлено.