Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints

Figure 14

Screenshot of Trace Compass showing the barrier at which threads are waiting before unmapping operations, after their calls to munmap [2].