Abstractions for concurrent programming in embedded systems

The task of programming concurrent systems is substantially more difficult than the task of programming sequential systems with respect to both correctness and efficiency. Nowadays multi core processors are common. The tendency in development of embedded hardware and processors are shifting to multi core and multiprocessor setups as well. This means that the problem of easy concurrency is an important problem for embedded systems as well. There are numerous solutions for the problem of concurrency, but not with embedded systems in mind. Due to the constrains of embedded hardware and use cases of embedded systems, specific concurrency solutions are required. In this paper we present a solution which is targeted for embedded systems and builds on existing concurrency algorithms and solutions.