An Analysis of Locking Performance on L4Re

For user applications, L4Re offers an interface to pthreads. The performance of the locking implementation provided by this interface yields poor performance in multithreaded applications. We will review why this is the case, what can be improved to make the locking implementation better, and take a look at a proposal to solve the identified issues. Finally, we will compare the performance of this proposal to the current state of L4Re's locking implementation and discuss, how further improvements could be reached.

(Großer Beleg)