В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

pro.graphon (and gamedev)

912 membersпожаловаться на группу
2021 April 24

A

Arelav in pro.graphon (and gamedev)
Ну если две инструкции независимы ты не можешь гарантировать мне что первая исполниться позже второй. Ни что не мешает(ну кроме данных тебе гарантий) компилятору или процессору поменять их порядок.
С 17 стандарта с ходу красивый пример как то посложнее привести наверно но все же
источник
18:49пожаловаться#1

AP

Alexander Potapov in pro.graphon (and gamedev)
Да, привели пример Однопоточного кода, в котором видимый порядок исполнения инструкций отличается от задаваемого
источник
18:51пожаловаться#2

A

Arelav in pro.graphon (and gamedev)
Ну видимый не будет хотя смотря что ты подразумеваешь под видимым, но правильный видимый это отношение happens before
Ну какой нибудь тупой пример это func(some expr, some expr, some expr)?
источник
18:52пожаловаться#3

A

Arelav in pro.graphon (and gamedev)
Мне просто непонятно для каких ошибок тебе нужно состояние всей системы?
источник
18:53пожаловаться#4

AP

Alexander Potapov in pro.graphon (and gamedev)
Тут язык гарантий не дает. Соответственно задаваемого порядка в принципе нет
источник
18:53пожаловаться#5

AP

Alexander Potapov in pro.graphon (and gamedev)
Поток A и B пишут в M
в какой-то момент А ломается и ему нужно значение в M для восстановления. Что делать?
источник
18:54пожаловаться#6

A

Arelav in pro.graphon (and gamedev)
Ну я про то что текст выглядит одинаково а его исполнение может быть в разном порядке, в данном случае в зависимости от компилятора, но наверняка можно привести пример и с процессором.
источник
18:54пожаловаться#7

A

Arelav in pro.graphon (and gamedev)
Потоки ничего не пишут
источник
18:55пожаловаться#8

AP

Alexander Potapov in pro.graphon (and gamedev)
Я спрашиваю, когда видимый порядок отличается от задаваемого. Ты приводишь пример, когда задаваемого нет, и видимый также никак не определен
источник
18:56пожаловаться#9

AP

Alexander Potapov in pro.graphon (and gamedev)
Нет, не сможешь с процессором привести пример
источник
18:56пожаловаться#10

A

Arelav in pro.graphon (and gamedev)
Ну хорошо давай так: есть задача А и Б они могут исполнятся конкуретно, и взаимодействуют с неким потоко безопасным объектом м, в какой то момент в Б произошла ошибка, чтобы понять что делать дальше кажется тебе должно быть достаточно той информации что ты знал до ошибки или можешь узнать после, нет необходимости делать stop the world
источник
18:57пожаловаться#11

AP

Alexander Potapov in pro.graphon (and gamedev)
Не понял утверждения. В моем абстрактном приложении пишут
источник
18:57пожаловаться#12

A

Arelav in pro.graphon (and gamedev)
Потому что правильное определение видимого порядка и есть задаваемое
источник
18:58пожаловаться#13

A

Arelav in pro.graphon (and gamedev)
Ну ты говоришь главная проблема графа исполнения что нет состояния системы. А потом пишешь что поток а и б пишут. Но у тебя нет потоков которые пишут, это рантайм
источник
18:59пожаловаться#14

AP

Alexander Potapov in pro.graphon (and gamedev)
Я своим вопросом доношу до тебя мысль что порядок детерминирован
источник
18:59пожаловаться#15

A

Arelav in pro.graphon (and gamedev)
А я пытаюсь донести до тебя мысль что корректное многопоточное исполнение не особо отличается от однопоточного.
источник
19:02пожаловаться#16

A

Arelav in pro.graphon (and gamedev)
Давай так, что такое для тебя видимый порядок?
источник
19:05пожаловаться#17

AP

Alexander Potapov in pro.graphon (and gamedev)
В идеальном мире где потоки исполнения не влияют друг на друга
источник
19:05пожаловаться#18

AP

Alexander Potapov in pro.graphon (and gamedev)
Банальный пример:
Заданный порядок:
SET X 0
PRINT X
SET X 1
PRINT X
Видимый порядок совпадает, если пишется 0 1, иначе не совпадает. То есть когда мы можем наблюдать в какой то момент то, что состояние системы не соответствует тому, что мы задаем командами
источник
19:08пожаловаться#19

A

Arelav in pro.graphon (and gamedev)
Но ведь если пишешь многопоточный код так что у тебя может быть и 1 0 это значит что
1) у тебя нет "видимого" порядка 0 1
2) тебе не важно 0 1 или 1 0
источник
19:10пожаловаться#20