2012/12/07

XM6i のユーザ層に関する個人的見解

XM6i のユーザ層に関する個人的見解。あくまで個人的見解です。
そういうわけで Mac 版は生暖かい目で見守って下さい。


投稿者 時刻:

2012/09/06

C# で static class のファイナライザを書く

C# だと static class にはファイナライザを用意できない。

シングルトンを使え、という方針は正しいが、
それでも static class のファイナライザが実装したいときはある。

private 定義のクラスのインスタンスに肩代わりしてもらう方法を考えてみた。
public static class FinalizableStaticClass
{
    private class FinalizeWorkClass
    {
        ~FinalizeWorkClass()
        {
            // ファイナライザ
        }
    }
    private static FinalizeWorkClass finalizeWorkClass = new FinalizeWorkClass();
}
  • FinalizableStaticClass に一度もアクセスしなければ、FinalizeWorkClass のインスタンスは生成されないので、当然ファイナライザも呼ばれない。
  • ファイナライザが呼び出されるタイミングは、通常のフォームアプリケーションだと Main が終了した後。確かめていないけど、多分アプリケーションドメインが終わった時。
  • ファイナライザではアンマネージリソースの後片付けとかぐらいにしておくこと。
Delphi の initialization/finalization が C# にもあればなあ。
投稿者 時刻:
ラベル:

2012/08/23

Thinkpad T410i でグラフィックコントロールパネルが再起動するたびに表示される問題を修正する

Thinkpad T410i で Lenovo Update からディスプレイドライバをアップデートしたら、
ログインするたびに、インテル　グラフィック　メディア　コントロールパネル(GfxUI.exe) が
毎回実行されるようになってしまった。

インテルから Intel HD Graphics の最新ドライバをインストールしたら治った。
投稿者 時刻:
ラベル:

2012/05/30

NetBSD PR lib/46433 についてのコメント

外野がいきなりツッコミ入れるのもどうかと思うので、ここで。

この問題は、 m68k FPE のデバッグをしている時に、libm の exp() のテストがおかしいんじゃないかという疑問を持ったことに端を発する。

2012/05 時点で、m68k FPE の exp(x) が stub 実装で、常に x を返すという痛々しい事実はまず忘れておいて、そもそもこのテストコードの意味を考えてみる。



テストとは、
「信頼されたもの」を使って、「信頼出来るかわからないもの」が信頼出来るかどうか調べる行為である。

今回問題になってるテストコードは
exp(x + y) - exp(x) * exp(y) < eps

さてここで、「信頼されていないもの=調べたいもの」には .N をつけてみよう。

exp.N(x + y) - exp.N(x) * exp.N(y) < eps

左辺に信頼されていないものを集めて、右辺に信頼出来るものを集める。が、もうこれ以上移項できない。

そうするとこの式を見て分かるように、このテストコードでは、「左辺の式が eps 以下である」ことしかテストできていない。exp 自体が信頼できるかどうかは、このコードでは分からない。

仮に exp 自体がすでに信用出来るものである、とすると、このテストコードがテストすることになるのは、数学領域の「exp(x+y) = exp(x)*exp(y)」という式が数学的に正しいかどうか、であって libm の exp ではない。

このテストコードを、まがりなりにも libm のテストとして成立するように書きなおすとしたら、

#define Ex (計算済みのexp(x)を定数にしたもの)
#define Ey (計算済みのexp(y)を定数にしたもの)
exp(x + y) -  Ex * Ey < eps

とすれば、
exp.N(x + y) < eps + Ex * Ey

となって、「exp(x + y) が信頼出来るかどうか」のテストコードとして成立する。

もちろんこうなると、信頼されている Ex * Ey は事前に計算してよいので、

#define Exy (計算済みの exp(x) * exp(y) を定数にしたもの)
exp.N(x + y) - Exy < eps

としてよい。

また、x+y も信頼されているので事前に計算してよい。z=x+y とおけば、

exp.N(z) - Ez < eps

となる。すでにこれは exp[2f]?_product のテストではない。掛け算どこにも出てこない。

以上、libm のテスト exp[2f]?_product  は意味が無い、という考察でした。






もしかして、数学の正しさをテストしたかったんならごめん、ライブラリのテストコードじゃなくて他所でやって・・・

投稿者 時刻:
ラベル:

2012/05/18

IDispose 実装のパターン

忘れやすいので書き残しておく。 

class Foo: IDisposable
{
 // アンマネージリソース
 private IntPtr unmanaged;

 // IDisposable を実装している他のクラス(このクラスがオーナー)
 private OtherDisposableClass other;

 // イベントを持ってて、このクラスがイベントをサブスクライブしてる
 // このクラスは参照してるだけ
 private ReferencedWithEvent refwe;

 // 自分のイベント
 public event EventHandler AnyEvent;

 // もし、アンマネージリソースをこのクラスが直接管理していなければ、
 // ファイナライザを用意しなくていい。
 ~Foo()
 {
  Dispose(false);
 }

 public void Dispose()
 {
  Dispose(true);
  GC.SupressFinalize(this);
 }

 protected virtual void Dispose(bool disposing)
 {
  if (disposing) {
   // Dispose() から呼び出された時は、保持しているIDisposableメンバを
   // null チェックしてから Dispose() を呼び出して null にセットしておく。
   // 他の例にあるような disposed フラグは使わない。
   // その理由は、other のインスタンスが Open() などのように
   // コンストラクタ外で確保される場合でも同じパターンでコードを書くため。
   // また、null チェックして null 代入しておけば Dispose() が複数回コールされても大丈夫。
   if (other != null) {
    other.Dispose();
    other = null;
   }
   if (refwe != null) {
    // サブスクライブしたイベントを解除
    // More Effective C# 23
    // イベントハンドラの定義宣言は省略...
    refwe.Event -= refwe_Event;
    refwe = null;
   }
  }

  // 直接このクラスが管理しているアンマネージリソースの解放処理をここに書く。
  // 仮に other がアンマネージリソースを保持していることを知っていても、
  // ここで Dispose を呼び出してはいけない。
  // ここはファイナライザからの呼び出しでも実行される場所で、ファイナライザからの
  // 呼び出しである場合、other はすでにファイナライズされているかもしれない。
  // .Net の GC は参照カウントでなくルート探索で動作するので、自分が参照して
  // いるからといって、そのオブジェクトがファイナライズされていない保証はない。
  // したがって、ここでは他のオブジェクトを参照してはいけない。
  // http://msdn.microsoft.com/ja-jp/library/system.idisposable.dispose.aspx

  // もし、IntPtr.Zero も有効な値なのであれば、
  // 別のフラグを用意して、開放したかどうかを管理する。
  if (unmanaged != IntPtr.Zero) {
   UnmanagedResource.Free(unmanaged);
   unmanaged = IntPtr.Zero;
  }

  // 単なる null 代入でいいものはここに書く。
  AnyEvent = null;

  // ObjectDisposedException を実装したければ、ここでフラグ立てるとかする。

  // もし、このクラスが継承クラスなら、
  // base.Dispose(disposing);
 }
}
投稿者 時刻:
ラベル:

2012/05/02

OS X 10.7+XCode 4.3+wxWidgets2.8+cmake で XM6i をmakeしようとして挫折するまで

もともと 10.5 が入っていた mac mini (2007)。これがターゲット。
10.6 DVD を購入。Apple Store で。届くのは速くて、翌日着だった。素晴らしい。
10.6をアップグレードインストール。
...オマチクダサイ
ソフトウェアアップデートで 10.6.8 (だっけ)まで上げる。
10.7 を AppStore で購入しようとして、RAM が 2GB 要ると言われてダウンロードすらできない。
ソフマップまで行って 中古の RAM 1GB と新品RAM 2GB。もう DDR2 667なんて売ってないよ。
そして100円ショップで、スクレイパー2本購入。
ケースの爪を2本折りながら、RAM交換。
10.7を AppStore で購入しようとして、AppleIDの腐った規約に渋々合意。
認証通してダウンロード開始。4GB。
...オマチクダサイ
...
10.7 インストール開始。
...オマチクダサイ
...
XCode 4.3 をダウンロード。1.5GB....
...オマチクダサイ
MacPortsをダウンロードしてインストール。
従来入っていた XCode 3.x と競合。えー、アンインストールするとかしてくんないの。
XCode3.x を手作業でアンインストール。
$ port install cmake +universal
configure が、コンパイラが無いっていうエラーで落ちる。
XCode4.3 が ppc のサポートを打ち切ったのが原因と分かるまで3時間。
$ port install cmake
$ port install nasm
$ port install wxWidgets
こいつ、なかで +universal してて動かない。
$ port install wxWidgets-devel
なんか依存してる perl のコンパイルが出来ないって怒られて動かない。

で。詰んだ。

結論：もうしない。

投稿者 時刻:

2012/04/24

兼森さんと吉田さん


http://ameblo.jp/kanechan-hiroshima/entry-11232083848.html

やっつけで作ってみた。似てるわー。


投稿者 時刻:

2012/04/17

MRU と LRU

MRU と LRU って用語が、混乱してる。

キャッシュにおいては、
LRU は、「最後に使われてからの時間が最長 = 使われなかったもの」を「捨てる」
MRU は、「最後に使われてからの時間が最短 = 使われたもの」を「捨てる」

メニューとかに表示してるリストだと、
LRU は、「最後に使われてからの時間が最長 = 使われなかったもの」を「表示する」
MRU は、「最後に使われてからの時間が最短 = 使われたもの」を「表示する」

ええと、「メニューにMRU表示するアイテムをLRUキャッシュする」は、正しいんかのう。
投稿者 時刻:

2012/03/30

NetBSD 5.99 fd デバッグ on XM6i for Mac ログ 

00000CE0 IOSC 要求していない割り込み  <- dd if=/dev/rfd0c of=/dev/null bs=512 count=1
00000CE0 IOSC 要求していない割り込み
00000CE0 IOSC 要求していない割り込み
00000CE0 IOSC 要求していない割り込み
00000CE0 IOSC 要求していない割り込み
00000CE0 IOSC 要求していない割り込み
00000CE0 IOSC 要求していない割り込み
0003BEF0 FDD  イジェクト禁止 ドライブ0
00000CE0 IOSC 要求していない割り込み
00000CE0 IOSC 要求していない割り込み
00000CE0 IOSC 要求していない割り込み
00000CE0 IOSC 要求していない割り込み
0003AC48 FDD  モータON ドライブ0セレクト
0003ABEE FDC  INVALIDコマンド
0003ABEE FDC  SPECIFYコマンド
0003ABEE FDC  SEEKコマンド
0003ABEE FDC  シーク成功 ドライブ0 シリンダ00
0003ABEE IOSC 割り込み要求 ベクタ$60
00000CE0 IOSC 割り込みACK ベクタ$60
0008C826 IOSC 割り込み要求 ベクタ$60
00000758 IOSC 割り込みACK ベクタ$60
0003BF0C IOSC 割り込み要求 ベクタ$60
0003ABEE FDC  SENSE INTERRUPT STATUSコマンド
0003ABEE IOSC 割り込みキャンセル ベクタ$60
0003B13A FDC  DMA転送完了 0 bytes
0008D082 DMAC CCR STR ON
0008D082 DMAC チャネル0 スタート
0008D082 DMAC Ch=0 DAR=00e94001     <- e94001=FDCステータスレジスタ
0003ABEE FDC  READ DATAコマンド
0003ABEE FDC  (C:00 H:00 R:01 N:02)
0003ABEE FDD  リードセクタ C:00 H:00 R:01 N:02
0003B15A DMAC TransDMA dma[0].type=0   <- なので DMA しまくってもステータスレジスタが読めるだけ
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A DMAC TransDMA dma[0].type=0
0003B15A FDC  DMA転送完了 64 bytes   <- fdc.cpp が1回のイベントで64バイトまで転送する
0003B146 FDC  Read. len=511     <- だれかがやっとデータレジスタ読んだ、が、すでにえらいこっちゃ
00000D0C DMAC TransDMA dma[0].type=0
00000D0C DMAC TransDMA dma[0].type=0
0
投稿者 時刻:

2012/02/15

VisualStudio2010 ビルド イベントの不思議な挙動

たとえば

static Main()
{
    Console.WriteLine("Error : hoge");
}


な C# プログラムを書く。これをビルドして hoge.exe とする。

他のプロジェクト(ProjAとする)のビルド後イベントに hoge.exe を実行するように記述する。

で、ProjA をビルドすると、ビルドエラーになる。


どうも、標準出力に
^Error(|¥s+.*):.*

を書き出すと、エラーとして処理を停止してくれる、らしい。

ただ、この挙動、ドキュメントされてないみたい。プロセスの終了コードのことはドキュメント
されているのを見たけど、標準出力のことは書いてないようだ。
投稿者 時刻:
ラベル:

2012/01/19

Thinkpad T410i キーボード交換

Thinkpad T410i を二台所有しているんだが、二台ともキーボードとトラックポイント側のマウスボタンが故障。
どこが壊れたかって言うと、キーボードフィルムと接続フレキの間の接触不良。だれだこんな設計した奴。

でごそごそやっても改善しないので、キーボードを交換することにした。


55Y9024の中身がどうも同じものらしい

ので、45N2172 買うより安いか


ってことで買ってみた。NTT-X で 5380円。

で、さっそく 55Y9024 分解。
見えているネジ以外に、ネジが２本、Lenovo シールの下にある。

あと、はめ込みはかなり固いが、中身しかいらないので、割らない程度にガシャっと外す。

元の本体キーボードから、スピーカーボタンとかのベゼルと、電源ボタンを外しておく。
この部品は 55Y9024 には無い。
これを 55Y9024 から外したキーボードに移植。

外した電源ボタン。

55Y9024キーボードにはめたところ。

55Y9024キーボードに貼られていたシール。

出たゴミ(笑)。

で、取り付けたら、それだけ。
あとは ThinkVantage 診断ツールでテストして、「動いた　わぁい」。

さて、もう一個買うか。
投稿者 時刻:

2012/01/06

ロックアウトゲート

ロックアウトゲートが作りたいのだが。

ロックアウトゲート(いま勝手に考えた言葉)とは:

# ロックアウトされていないときは入りたいスレッド(従業員)が好きなだけ出入りできる。
# あるスレッド(経営者)がロックアウトしようとしたとき、
* いま入っている従業員スレッドが全員出るまで待つ。
* 新たに入ろうとする従業員スレッドは無期限に待たされる。
* 全員出たらロックアウト状態として制御を返す。
# 経営者スレッドがロックアウトを解除するまではだれも入れない。経営者も入れない(笑)。

ReaderWriterLockSlim を使って実装できそうな気がするんだがなんかうまくいかん。

最終目的はロックアウトゲートじゃないから、他の実現方法を考えたほうがいいということか。
投稿者 時刻:
ラベル:
登録: 投稿 (Atom)