Проверенная реализация алгоритма блокировки Петерсона?

Кто-нибудь знает о хорошей/правильной реализации алгоритма блокировки Петерсона на C? Я не могу найти это. Спасибо.