Orz日記 by Akio Morita

_ [FreeBSD]VESA option

最近の GENERICカーネルに options VESAが含まれているが、 Tyan Tiger K8Wだと初期化時に panicになる

9.0-RELEASEは問題無し、9-STABLE r235528は VESA option付きでは panicする 10-CURRENTも vesa_configureで panicしてたのはこいつが原因か？

他の環境(Tyan Thunder n3600B, ASUS M4A88)では検証していない

_ [雑記]GCCのメジャーアップデートが早すぎ

GCC5からナンバリングポリシーが変わったせいか、 最近矢継ぎ早にメジャーバージョンが上がっている気がする

一応、5.1が4.10.0相当だからナンバリングポリシー変更で 毎年マイナーアップデートだったのが毎年メジャーアップデートになった だけなのだが、2020年にはメジャーが 2桁に到達するので、 例によってGCCヴァージョンに依存するconfigureスクリプトの類が 誤作動するのではないかと気になるところ

このペースを維持すると、2052年には GCC 42.1がリリースされ、 FreeBSD portsが使っている命名規則だとコマンド名gcc42となり 昔のGCC 4.2.xのコマンド名と衝突することが予測される。

流石に、その頃までGPLv2 GCCを維持している環境は残っていないと信じたいなぁ

_ [SAD]Sort backendの再実装

個別に実装されているsort algorithmをlibc等の実装に置き換える

quick sortに関しては、qsort_sを採用したが、ISO C11のExtension1なので未実装の環境が多いのが難点

関連するコードの検証・再実装を進めているうちにいくつかバグを発見

• Real型の順序付け(Order関数)が全順序になっていないので、Sort[]の出力が初期状態に依存する
  • Order[NaN, x] != -Order[x, NaN] である
• Unionのオプションで渡ってくる比較関数は、同値類の分類関数 SameTestのはずだが、順序付けに用いているので正しく機能しない