The canonical amoebot model: algorithms and concurrency control

Daymude, Joshua J.; Richa, Andréa W.; Scheideler, Christian

doi:10.1007/s00446-023-00443-3

Cited by 6 publications

(1 citation statement)

References 49 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…И в основном большая часть схем взаимного исключения использует сообщения именно с такой целью -превратить частные переменные в подобие публичных переменных для хранения состояния о секции. Именно поэтому они редко когда показывают сильно отличающиеся результаты [22,23]. С одной стороны, схемы с общей памятью обычно четко фиксируют число процессов, когда исключение при помощи сообщений может быть организовано среди переменного числа процессов [22].…”

Section: обзор существующих подходов к разрешению конфликтов в паралл...unclassified

On Solving Concurrent Process Problem in Process-Oriented Programs

Permiashkin

2023

jour

View full text Add to dashboard Cite

Prevailing portion of the factories and manufacturers are controlled by programming microcontrollers in the modern world. And the portion keeps growing which is closely tied to processes of the Fourth Industrial Revolution. Precisely, with an idea of fully automated manufactures to help humans to make less decisions and make them faster. Or to exclude humans from the decision making process at all. Due to that, there is a need for the controlling algorithms which should react to the different events, be aware of the external world and be tolerant to both internal and hardware failures. There is a process-oriented paradigm which was developed in Institute of Automation and Electrometry SB RAS and suits perfectly for automatization of such algorithms. This is achieved by splitting the algorithm into huge amounts of the small parallel processes highly tied to the elements of the real world. Which is how real processes on real manufactures work. This is where the conflicts during concurrent programming appear. And because there is a fault tolerance requirement there is a need to solve those conflicts. This work presents the analysis of already existing solutions to the conflicts during concurrent programming with the goal of either reusing those solutions in process-oriented programming or adapting them to it. As a result, there is an answer on how effective the process-oriented paradigm is in solving those kinds of conflicts and how fault tolerant those programs are.

show abstract

Section: обзор существующих подходов к разрешению конфликтов в паралл...unclassified