The Pedigree Project  0.1
+ Collaboration diagram for Critical sections:

Used to protect short regions of code against concurrent access.