Pthread_mutex on linux is also an adaptive mutex, although the spinning count might not be optimal.