Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
The AdaCore Blog
(Uncensored)
subscribe
Extending Priority Inheritance Beyond Protected Operations
https://blog.adacore.com/priority-extending-mutexes
links
backlinks
This blog entry shows how to define protected types that extend the language-defined priority inheritance for protected actions to the statements outside those protected actions. We create a mutex type for illustration.
