help:задачка по многопоточности

[ary]

Функция MyFunc работает параллельно в 2-х потоках .
Сколько итераций цикла "while" будет выполнено?

 

Код:

 int a = 1000;
   void MyFunc()
  {
        while(a>0)
       { 
           a = a-1;
       } 
  }

     
      a)ровно 1000
      b) <=1000
      c)  =>1000
      d) бесконечный цикл

[Антон (LogRus)]

c) =>1000

[Антон (LogRus)]

а если оптимизатор хороший то не одной

[ary]

c) =>1000

Спасибо.А почему,можно объяснить?

[Джон]

а если оптимизатор хороший то не одной

5+!!!

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

ary, учи матчасть про синхронизацию тредов.

[Антон (LogRus)]

Джон, поддерживаю

ary, довольно просто тело цикла и операция сравнения не атомарны это значит, что ядро может отдать квант времени посреди сравнения или вычитания

например оба потока в начале сравнения
a=1
один из потоков проверяет условие и проходит дальше т.к. a>0
и не дойдя до a = a - 1 у него отбирают управление и отдают другому потоку
другой поток тоже проверяет условие и тоже a>0
и оба зашли в тело
можно предположить что оба из них вычтут из a еденицу
и a будет равно -1
но если один поток остановлен как раз перед обновлением значения
а второй поток его обгоняет и делает сам обновление
в a ляжет 0  тут просыпается второй поток который уверен, что a не изменилось пока он спал и тоже записывает туда 0
на выходе из цикла ты имеещь
2 прохода по телу цикла, но изменение a на 1

если ты a внесёшь в тело функции, то неопределёность исчезнет

в общем, цепь простых рассуждений даёт ответ на кучу вопросов

[Джон]

Добавлю, равенство 1000 будет достигнуто при условии, что оба треда получают доступ к а строго по очереди, тогда каждый из них выполнит по 500 итераций. Но это опять доп. условие.

[ary]

LogRus, Джон, большое спасибо.
иду учить матчасть.