Что хотят услышать интервьюеры:

При многопоточности основные риски связаны с состоянием, которое разделяют несколько потоков: гонки данных, взаимные блокировки и трудноловимые ошибки порядка выполнения. Важно уметь объяснить, почему код может работать по-разному на разных запусках. Также ценится понимание того, как снижать риски с помощью синхронизации и правильного разделения ответственности.

Определение:

Многопоточность — это выполнение нескольких потоков в рамках одного процесса, часто для повышения отзывчивости и производительности. Сложности возникают потому, что потоки могут одновременно читать и изменять общие данные, а порядок их выполнения заранее не гарантирован.

Пример использования:

Например, несколько потоков одновременно увеличивают общий счётчик заказов. Без синхронизации часть инкрементов может потеряться, потому что операция count++ не является атомарной.

using System;
using System.Threading;
using System.Threading.Tasks;

class Program
{
    static int count = 0;
    static object locker = new object();

    static void Main()
    {
        Task[] tasks = new Task[4];

        for (int i = 0; i < tasks.Length; i++)
        {
            tasks[i] = Task.Run(() =>
            {
                for (int j = 0; j < 100000; j++)
                {
                    lock (locker)
                    {
                        count++;
                    }
                }
            });
        }

        Task.WaitAll(tasks);
        Console.WriteLine(count);
    }
}

Пояснение кода:

Код не требуется. Пример показывает типичную проблему гонки данных и её решение через lock.
Шаги такие: несколько задач параллельно выполняют инкремент общего поля count; без lock два потока могут прочитать одно и то же значение и записать результат поверх друг друга; lock делает участок с count++ недоступным для других потоков в момент выполнения, поэтому значение не теряется.

Ключевые моменты:

Гонки данных возникают, когда несколько потоков одновременно читают и пишут общие данные без синхронизации.
count++, проверка и последующая запись часто неатомарны, поэтому результат может быть некорректным.
Возможны взаимные блокировки, когда потоки ждут ресурсы друг друга и не могут продолжить выполнение.
Сложно воспроизводимые баги связаны с недетерминированным порядком выполнения потоков.
Синхронизация нужна, но её избыток ухудшает производительность и может привести к contention.
Для снижения рисков важно минимизировать общее состояние, использовать потокобезопасные примитивы и чётко проектировать границы доступа к данным.

Какие сложности могут возникнуть при работе с многопоточностью в программных системах?