Какие бывают нотации для записи алгоритма работы многопоточных программ?

Чем не подходят исходники на любом ЯП, в котором параллельное выполнение кода доступно из коробки?

Этот вариант приходил мне в голову, я таких яп не знаю(в смысле не умею на них писать), какой посоветуешь?

Вспомнил только пи-исчисление, но здесь https://en.m.wikipedia.org/wiki/Process_calculus больше. Или не то?

По описанию - похоже, спасибо.

Вопрос, насколько хорошо оно подходит, для ежедневных будней документирования реальных систем.

Надо как следует разобраться, пример из русскоязычной вики выглядит довольно наглядно.

https://ru.wikipedia.org/wiki/Сети_Петри

Ссылка из

Вспомнил только пи-исчисление, но здесь https://en.m.wikipedia.org/wiki/Process_calculus больше.

- Actor model - Later Actor programming languages.

Ну или вот: Concurrent programming languages

Точнее: Scala, Erlang, Elixir

CSP Хоара, хотя для «обычных» многонитвых программ на Си он подходит плохо.

Понял. Спасибо.

Тут надо смотреть выбирать.

Похоже, пока что из текстовых вариантов это однако самый наглядный. Спасибо.

TLA+ не подходит?

https://en.wikipedia.org/wiki/TLA+

Очень интересно. Спасибо.

сети Петри и пи-исчисление, мультиагентное моделирование, model checking в смысле linear temporal logic

да, оно.

или по ссылкам из этой статьи в сторону temporal logic of actions, linear programming + logic programming = linear logic programming (linear logic, ещё, ещё). геометрически

акторы ещё есть в для понифагов (с волшебною дружбомагией).

ещё в стиле BDD можно попробовать записать: Given ... When ... Then ... , как систему правила-события-действия.

логика диалогов

Как много нам открытий чудных, анон в сей мир несёт.

Спасибо.

страничка этой Cris Martens (марсианка?:) про Celf и linear temporal logic. см. также её диссер.

Вот это звучит, как что-то дюже похожее на правду и наиболее приближенное к практике.

ещё накидал.

Есть у всех нотаций похожих недостаток(лично для меня конечно же), даже если я пну себя осилить нечто подобное, то мои коллеги - не проникнуться.

Сиквенс диаграмма, интуитивно понятна даже человеку не знакомому с синтаксисом нотации.

Вот про BDD идея мне понравилась, надо посмотреть на имеющиеся нотации, и понять, как там можно(если можно) записать параллельно происходящие события.

erlang

Надо скрестить лучи. Какой посоветуешь bdd фреймворк для erlang?

всё дело в волшебных огурцах

впрочем, у cris martens тоже довольно наглядные примеры: рогалики, например, или там эрпоге дыщь

тащем-та, не суть важно эрланг или хипстерский linear logic programming, важна сама суть: разбить алгоритм на элементарные блоки, и синтезировать из них нечто более оптимальное (походу описав порождающие метамодели, металогики, нотации взаимодействия процессов и прочая, прочая).

если что не выходит наглядно — значит, где-то в модельке дыра. полезная моделька должна описывать существенные для взаимодействия вещи.

записать параллельно происходящие события

беги, лола, беги и флешбеки одновременныя (см. в диссер за подробностями)

Спасибо.

Похоже я слишком дно, что бы сходу охватить полезность и овладеть техниками сиими(если они вообще применимы в моей работе), отложу до отпуска видимо.

Приятно, что на лоре, в отличии от более других ресурсов, насыпали столько на почитать :)

ежели не особо умничать, то диаграмму последовательности UML можно и в PlantUML написать. вполне наглядно получается, можно из org-mode рисовать.

Это все для поиска причины падения из темы «голый gdb» ?

Это для записи алгоритма решения, хотя, я его уже записал более приземлёнными способами. Но есть подспудное ощущение, что можно лучше.

PlantUML хорош, да. Даже конфлюэнс в него умеет (по крайней мере есть плагин и он установлен у меня на работке).