Next: , Previous: , Up: Top   [Contents]


5 Dezyne blocking

In this chapter, we will

We will reconsider an implementation that handles possibly delayed communication over an ‘external’ port from the previous chapter.

The behaviour described with the ‘blocking’ keyword requires you to be able to reason about your application in terms of active threads and their calling context. In the tutorial, various examples will be discussed but it helps if you are familiar with the concepts.

Usage of ‘blocking’ requires the System it is contained in to be generated with a thread-safe-shell. For more information on the thread-safe-shell, please refer to https://www.verum.com/supportitem/code-integration-extra-materials/ and https://www.verum.com/supportitem/thread-safe-shell/.