Research Article
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].