Как они реализованы, особенно в случае pthreads. Какие API-интерфейсы синхронизации pthreadони используют внутри? Немного псевдокода приветствуется.
pthread