netail.net

_ [お知らせ][VolumeDeskbar] Volume Deskbar 1.0.8 リリース ▲

テスト環境が手元になかったのでリリースが遅れてしまいましたが，ホイールのクリックでのミュート切り替えができるようになりました．

_ LRU と Belady's Anomaly ▲

廃棄物処分屋さんによる見積もりがあるので，今日は自宅待機中．

以前レター論文で発表した，「実行履歴を機械的に分割する」ネタでキャッシュの中身入れ替えアルゴリズムを使っていたときに，Belady's anomaly（Belady's anomaly についての解説 ）が起きてたらどうしよう，という話になったと思うのだけど，実装時に LRU 選んだから問題は発生しないということに今さら気づいた．キャッシュのミスが連続するピーク位置は移動するかもしれないけど，ミスの回数は増えない．当時ちゃんと考えたのかもしれないけど，よく覚えてないので，いちおうこの辺にメモしておく．

Belady's anomaly っていつ発表されたんだろう，と思って調べてみたら，Citeseer でそれらしき引用文を発見．L. Belady, R. Nelson, and G. Shedler. An anomaly in the space-time characteristics of certain programs running in paging machines. Communications of the ACM, 12(6):349--353, June 1969. だそうで，さすがに PDF も何もありません．

ページングのほうでは，Page Fault Frequency (PFF) 置き換えアルゴリズムなんていうものもあって，ページフォルト率が閾値 p より上がってくるとページ枠を増やし，q より低下するとページ枠を減らすというものらしい．授業でちゃんと教わった気がするんだけど記憶にあまり残ってなかったので，やっぱりメモしておく．

_ ポスドクの invitation letter PDF とカナダのビザ申請 ▲

質問を投げている間にオリジナルのほうが届いたので意味はなかったけど，メモ: 担当者のサインもちゃんと入った invitation letter の PDF ファイル版をメールで受け取ってたので（郵送が未到着の状態で），それを印刷したものでも査証の申請ができるのか聞いたところ，「PDFのプリントアウトで一度申請し，審査官のほうで原本を見る必要があると判断した場合には連絡するので，そのときに提出できればOK」という旨の返事があった．