Witness

• Automatisk detektering af forkert anvendelse af låse i kernen.

• Bygger autonomt et låse hierarki.

• Brokker sig hvis der låses i omvendt rækkefølge.

• Brokker sig hvis en process bliver deskeduleret mens den holder mutex.

• Osv.

• Technologi fra BSD/OS.