AP
Отсылаешься к Dataflow based architecture?
Size: a a a
2021 April 24
A
Вообще мне нравится идея описания исполнения всего кода как графа зависимостей. Но кажется на практике проблемы начинаются на стыке разных либ/приложений?
VK
VK
В смысле, адаптирование данных под чужие компоненты?
AP
Самая большая проблема - у системы больше нет чёткого состояния в какой-то момент времени
A
Можно форкать процесс и убивать его если нужен дамп
AP
Я про то что порядок независимых операций недетерминирован
A
Ну я в том смысле что у тебя если ты пишешь не на своем языке, а на плюсах, должна быть какая то абстракция над кодом, условный intel tbb, и пропихнуть ее в какие то системы, которые не используют не получится.
A
Какая разница?
VK
Кстати, да(
VK
Но вызовы функций чужой библиотеки представимы как зависимости
VK
Ввод, типа цикла сообщений Windows — это тоже какая-то операция, выдающая данные, от которых можно иметь зависимость
AP
У тебя в момент времени X условно произошла ошибка, после которой нужно восстановиться. Но состояние всей системы может находится в промежуточном невалидном виде и соответственно ни к чему нельзя обращаться
VK
Но тебе состояние всего-всего-всего и не нужно обычно, тебе на конкретной стадии нужны данные только для неё
VK
А как наличие временной шкалы позволит восстановиться в огромной архитектуре?
A
Кажется обычно если у тебя на стадии х может произойти ошибка у тебя в графе будет два ребра из х одно типо success другое fail. А ошибки про которые ты ничего не знаешь, решаются только перезапуском подсистемы/всей системы и для большинства систем это кажется ок?
AP
В случае однопоточного приложения - очевидно, порядок инструкций детерминирован. В случае многопоточного уже не очевидно, и решается как известно убого, обычно через барьер ака мутекс для приведения всего к нужному стейту
A
>очевидно
Нет
>Детерминирован
Ну как бы нет. Ты наблюдаешь только happens before
Нет
>Детерминирован
Ну как бы нет. Ты наблюдаешь только happens before
A
Ну и есть другие варианты помимо мьютексов/барьеров, ну и идея с графами задач/данных как раз про то чтобы иметь возможность решать это иначе, чем тупо воткнем мьютекс
AP
Есть команда/инструкция/сигнал, по которому вылетает ошибка. Она происходит после/во время какой-то инструкции. Все детерминированно