Странный результат выполнения нескольких потоков

@da1z · Регистрация: 03.12.2009

Студворк — интернет-сервис помощи студентам

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 internal class Program
 
    {
        private static void Main()
        {
            int numTasks = 20;
            var state = new SharedState();
            var tasks = new Task[numTasks];
            for (int i = 0; i < numTasks; i++)
            {
                tasks[i] = new Task(new Job(state).DoTheJob);
                tasks[i].Start();
            }
            for (int i = 0; i < numTasks; i++)
            {
                tasks[i].Wait();
            }
            Console.WriteLine("суммарное значение {0}", state.State);
        }
    }

Ниже показаны результаты, полученные после выполнения этого приложения
несколько раз:
суммарное значение 7858 95
суммарное значение 77 6131
суммарное значение 774 400
суммарное значение 87128 6

Почему такие результаты?

Добавлено через 6 минут
забыл немного

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
class SharedState
    {
        public int State { get; set; }
    }
 
 
    class Job
    {
        private SharedState sharedState;
 
        public Job(SharedState SharedState)
        {
            this.sharedState = SharedState;
        }
        public void DoTheJob()
        {
            for (int i = 0; i < 50000; i++)
            {
                sharedState.State += 1;
            }
        }
    }

@DataPlanner · 14.02.2014, 20:10

Беспорядочно пишешь в одну переменную. А что должно быть?

Psilon · 15.02.2014, 00:39

da1z,
http://ru.wikipedia.org/wiki/%... 0%BA%D0%B8

http://ru.wikipedia.org/wiki/%... %D0%B0_ABA

@da1z · 17.02.2014, 14:41 **[ТС]**

Я так понимаю, что получается следующее:
когда например переменная sharedState.State равна 1000 и в в каком то потоке она меняется с 1000 на 1001, то другие потоки могли уже её увеличить на несколько значений, но этот поток устанавливает её в 1001 и из-за этого всё происходит. правильно?

@titavich · 17.02.2014, 15:16

Сообщение от da1z

Я так понимаю, что получается следующее:
когда например переменная sharedState.State равна 1000 и в в каком то потоке она меняется с 1000 на 1001, то другие потоки могли уже её увеличить на несколько значений, но этот поток устанавливает её в 1001 и из-за этого всё происходит. правильно?

присваивание значения переменной это не атомарная операция, её можно разбить на подоперации(могу путаться в определниях, но смысл такой):
поток 1: достаёт значение переменной, кладёт её в регистр
поток 2: такая же операция
поток 2: увеличивает на один
поток 2: возвращает обратно
поток 1: увеличивает на один(но делает это со старым значением)
поток 1: возвращаёт на место точно такое же значение которое уже там есть
таким образом, результат операция может потеряться
чтобы такое не происходило, следует использовать средства синхронизации
самый простой способ для данного примера использовать класс Interlocked(у него как раз есть метод Increment для Вашего случая) - все его методы выполняются атомарно

Psilon · 17.02.2014, 20:28

da1z, правильно.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 12.02.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами и вызывать обработчики событий столкновения. . . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 11.02.2026 Содержание блога Библиотека SDL3 содержит встроенные инструменты для базовой работы с изображениями - без использования библиотеки SDL3_image. Пошагово создадим проект для загрузки изображения. . .	SDL3 для Web (WebAssembly): Загрузка PNG с прозрачным фоном с помощью SDL3_image 8Observer8 10.02.2026 Содержание блога Библиотека SDL3_image содержит инструменты для расширенной работы с изображениями. Пошагово создадим проект для загрузки изображения формата PNG с альфа-каналом (с прозрачным. . .	Установка Qt-версии Lazarus IDE в Debian Trixie Xfce volvo 10.02.2026 В общем, достали меня глюки IDE Лазаруса, собранной с использованием набора виджетов Gtk2 (конкретно: если набирать текст в редакторе и вызвать подсказку через Ctrl+Space, то после закрытия окошка. . .
SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .

@DataPlanner 158 / 187 / 48 Регистрация: 25.11.2013 Сообщений: 978
	14.02.2014, 20:10
	Беспорядочно пишешь в одну переменную. А что должно быть? 0

Psilon Master of Orion 6102 / 4958 / 905 Регистрация: 10.07.2011 Сообщений: 14,522 Записей в блоге: 5
	15.02.2014, 00:39
	da1z, http://ru.wikipedia.org/wiki/%... 0%BA%D0%B8 http://ru.wikipedia.org/wiki/%... %D0%B0_ABA 1

@da1z 192 / 192 / 29 Регистрация: 03.12.2009 Сообщений: 853
	17.02.2014, 14:41 [ТС]
	Я так понимаю, что получается следующее: когда например переменная sharedState.State равна 1000 и в в каком то потоке она меняется с 1000 на 1001, то другие потоки могли уже её увеличить на несколько значений, но этот поток устанавливает её в 1001 и из-за этого всё происходит. правильно? 0

Psilon Master of Orion 6102 / 4958 / 905 Регистрация: 10.07.2011 Сообщений: 14,522 Записей в блоге: 5
	17.02.2014, 20:28
	da1z, правильно. 0