FreeBSDのSMP対応の現状

ozuma 曰く、 "Daily Daemon Newsによると、FreeBSDコアチームのGreg Lehey氏がAEOSC(Asian Enterprise Open Source Conference)で行った講演、"Improving the FreeBSD SMP implementation"の内容が公開されている。Greg Lehey氏は、現在はFreeBSD SMPngプロジェクトで活躍中。"

ジャイアントロックからの脱却のためにあれこれやってる様が見て取れる。マルチプロセッサでBSD環境をという人は要チェック。

ジャイアンとロック

[Anonymous Coward]

「ほげ～！」って光景が浮かんできてしまいました。ごめんなさい

ドライバの排他制御

[SteppingWind (2654)]

そう言えばICHサウンドドライバって, どうせシングルCPU用のチップセットだからってことでmutex関連のコードを一切入れていなかったんだけど, 最近のHT対応とかで問題でたりしないのかしらん?

古い！

[Anonymous Coward]

このペーパーの内容はあまりに古くて「現状」を伝えるものとは言えず、その点ではほとんど参考になりません。そのリンク先の記事のコメントを参照のこと。

groggy爺さんがSMPngで活躍していたというのも二年以上前の話では？

Adaptive lock って、どれくらい有効だろう？

[Anonymous Coward]

> FreeBSD people looked at the Linux solution and didn’t under^H^H^H^H^Hlike it.

とか書かれていますね。原則スピンロックは使わず、かならずブロックさせるようにするようだけれども、効率はどうなんだろう？ Adaptive lockが効果を発揮するようでは、カーネル内のロック粒度に問題を抱えているっていうことの裏返しじゃないのかな？

そうえいあば以前このslashdot.jpのどこかでも、「Linuxの単純なスピンロックによる排他は美しくないので、許せない」というコメントがあるのを見たような気がします。識者、コメントください。

Re:Adaptive lock って、どれくらい有効だろう？

[Anonymous Coward]

それは当時のbrake-handle氏の信仰に基づいた意見で、今も彼がそう思っているかはわかりません。

また、開発の過程で重要と思われる部分が変化することはよくあるので、「didn’t under^H^H^H^H^H」というのも、さもありなんという感じです。

Re:Adaptive lock って、どれくらい有効だろう？

[Anonymous Coward]

なるほど了解しました。Linuxは実効性を採用し、BSDは論理的な完全性を求めるといった、精神的なところでの方針の違いがあるだけなんでしょうね。その小さな違いが、カーネル開発者にとっては許しがたいのかもしれませんが。

Re:Adaptive lock って、どれくらい有効だろう？

[Anonymous Coward]

「brake-handle」の「当時」の信仰であって、BSDとLinuxの違い一般に広げるのは正確ではないと思います。

Re:Adaptive lock って、どれくらい有効だろう？

[Anonymous Coward]

Adapdive lockの仕組み自体は面白いことがわかるのですが、実際のところどれくらい効果があるんでしょうね？どこかに評価レポートとかありませんか？

Re:Adaptive lock って、どれくらい有効だろう？

[Anonymous Coward]

Linuxは実効性を採用し、BSDは論理的な完全性を求める

ホントに？

BSDの人間って案外手抜き(いい意味での)を好む点もあるような気がするんだが。完全性より実効性みたいな所もあると思うんだけどな。

なんか実効性を考えずに、論理だけの物を作ってるように読めてしまいます。

＃スマートなものを好む傾向があるような気はするけど。