c++ - ブーストミューテックス: スピンロックまたはカーネルミューテックス?

Question

C++ Boost ライブラリのミューテックス クラスはその下でどのように機能しますか? ユーザー空間に残っているのはスピンロックですか、それともカーネル割り当てのロックですか?