Ну по логике программы, если первый поток на чтение получит

Question

Ну по логике программы, если первый поток на чтение получит

x == true и завершится с y == false, то второй поток на чтение не пройдет while, пока не получит y == true, а x - уже true и в итоге всегда z > 0. В чем здесь дырка я все-равно не понял. Можно как-то на уровне исполнения описать такую ситуацию для компилятора?

#c #embedded #programming #russian

0

15.02.2021

4 ответов

4 просмотра

Zopich Автор вопроса

Constantine Drozdov
Дырка в том, что вы считаете, что существует некот...

Ну я не про порядок в мире железок, а про условия в потоках, кт и задают некий порядок. А то что они работают параллельно я представить могу, почему они могут получать разные комбинации - не понимаю. Как поток кт проверяет в цикле x, может видеть y == false, если в другом потоке y стал true иначе он бы не прошел тот поток и было бы наоборот, но так или иначе z должно быть > 0, потому что таково условие и как компилятор может зареордерить, чтобы это испортить? :0

0

15.02.2021

Constantine Drozdov

Zopich
Ну я не про порядок в мире железок, а про условия ...

Вы же понимаете, что не существует некоторого "абсолютного" времени и "абсолютного" порядка между событиями?

0

15.02.2021

Zopich Автор вопроса

Constantine Drozdov
Вы же понимаете, что не существует некоторого "абс...

Да, но тут то мы его задаем сами, по-крайней мере я это вижу в коде. У нас 2 атомарных флага в общей памяти этих потоков, кт этот порядок и обеспечивают, что может случиться плохого?

0

15.02.2021

Constantine Drozdov · Accepted Answer

Constantine Drozdov

Дырка в том, что вы считаете, что существует некоторый "физический порядок" между событиями записи x и y. Скажем, представьте себе, что потоки стоят в вершинах квадрата в порядке a c b d и передают данные пакетами вдоль по этому квадрату.

0

15.02.2021

170 похожих чатов

Ну по логике программы, если первый поток на чтение получит

4 ответов

Похожие вопросы