by
Pat Rogers
![](https://blog.adacore.com/uploads/photos/_300x300_crop_center-center_none/priority-inversion.png)
Extending Priority Inheritance Beyond Protected Operations
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.