最近読んだ論文

2014年1月4日土曜日

動的適応可能な分散ファイルシステムの提案

OS-126
動的適応可能な分散ファイルシステムの提案
孫 静涛、 佐藤一郎

若干、と言うか相当、日本語がおかしい。と思ったけど、私の英語よりはずっとマシなことは間違いない。日本語の論文誌を維持するには、この程度のおかしさは許容していくべきなんだろうなあ。。国際化のひとつの方向性として。

内容的にはアイディアを表明しただけの論文で実装はまだない。通常時は一つのサーバを複数のクライアントが共有するクライアント・サーバモデルで運用するが、負荷が増大した際には全てのノードのクライアントとが協調動作するP2P型ネットワークとなる分散ファイルシステムを提案している。で、そのソフトウェア移送をエージェントでやると。

データはどこにある前提なんだろうか？いずれにしろ、ぱっと見では、あまりメリットがあるようにも見えない。いいんだろうか。

システム状態の変化にロバストな異常タスク特定手法を備えた MapReduce タスクスケジューラ

システム状態の変化にロバストな異常タスク特定手法を 備えた MapReduce タスクスケジューラ
浅原 理人, 藤森 偉恭, 成田 和世, 劉 健全

task の粒度が同一だと仮定できる場合、bag of task処理の終盤で、処理が何らかの理由で滞っているとかんがえられる task をキャンセルし、他のノードで実行することがある。しかし共用環境においては、正確に処理の遅延が判断できないため、無駄にtaskをキャンセルしてしまう可能性がある。

この論文ではより正確な予測を行なうために、タイムウィンドウを用いて参考にするタスクを絞り、ポアソン分布に従うと仮定してタスクの所用時刻を予測する。

キャンセルしないで、平行して実行すればどっちにしろ無駄にはならないような。。

クラウド上の仮想マシンの安全なリモート監視機構

OS-126
クラウド上の仮想マシンの安全なリモート監視機構
重田一樹、光来健一

九工大のグループ。IaaSクラウド上でIDSを用いるはなし。仮想計算機を使ってホスト側にIDSを動かすのはよくある話。クラウドだと、ホスト側が必ずしも信頼出来ないので、 IDS本体はリモートの信頼できるサイトで稼働させる、というおはなし。 RemoteTransというのがシステム名？
技術的にはTransCallという、ゲスト内にシステムコールをフックしてホスト側に飛ばすライブラリをネットワーク経由で飛ばせるようにしているようだ。
IaaS事業者は信頼するが、管理VMから他のVMを管理している管理者は信頼しない、すなわち VMMは信頼できるが、他のVMは信頼出来ない、という脅威モデル。かなりピンポイントというか、今ひとつリアリティのないモデルのような気がするが。。

2013年8月16日金曜日

京速コンピュータ「京」におけるPGASモデルによる気象コードNICAMの実装

京速コンピュータ「京」におけるPGASモデルによる気象コードNICAMの実装　　　
中尾昌広，佐藤三久

SWOPP2013

FORTRAN+MPIを用いて過去枯れた全天球気象コードNICAMをPGASモデルによるXcalableMPで実装したら１９％も速くなったよ！というお話。

普通抽象界面を上げると遅くなりそうなのに、逆に早くなったのはMPIだと京のRDMAをちゃんと使えないのに対して、XscalableMPではRDMAを使ってちゃんと非同期通信できているかららしい。

ZHT: A Light-weight Reliable Persistent Dynamic Scalable Zero-hop Distributed Hash Table

IPDPS 2013
ZHT: A Light-weight Reliable Persistent Dynamic Scalable Zero-hop Distributed Hash Table

- Exa HPCターゲット
- Zero hop distributed hash
- append をサポート
- On Memory
−BlueGene/P 160K coreでも動作

16
13ページ中5ページがマイクロベンチによる評価。

FusionFS という分散ファイルシステムのメタデータサーバとして利用されている。

MATRIXという分散ジョブスケジューリングシステムつかわれている。

処理の差異と順序を考慮した並列コレクション向けJava言語拡張

処理の差異と順序を考慮した並列コレクション向けJava言語拡張　　　
宗桜子，佐藤芳樹，千葉滋

Swopp2013のHPC

ステンシルの袖領域の特化コードをJavaの並列ライブラリで実行できるように言語拡張するというお話。

部分メソッドディスパッチ - ステンシルのどの部分に対応するのかをメソッドの引数から抽出し、ディスパッチするコードを変更する。一つのシグネチャに対して複数のメソッドを使い分けるイメージ。

precedes で複数のメソッドの実行順序を制御する。なんかうまく決定できない状況をかけちゃいそうな気もする（順番のループとか）。グラフ解析ライブラリで決定すると言っているので、検出して実行時に停止するのかな？

評価とかはまだない。実装中？

かなりアプリに特化した印象。それもいいのかな。

2013年6月4日火曜日

情報処理学会第94回プログラミング研究発表会

日帰りで初日のみ参加。

6月3日(月)

セッション１：13:00-15:15

  2013-1-(1)：13:00 - 13:45
   「シェル文法の拡張可能な自己文法拡張スクリプト言語」
    ○松村 哲郎，志田 駿介，若森 拓馬，井出 真広，倉光 君郎（横浜国立大）

  konoha。DSL内に任意の文法を記述できるようにパーサを拡張可能に。

  シェルの文法をkonohaスクリプトに埋め込むことを可能にしている。

  個人的にはそこまでしてDSLで頑張ることの意味がわからない。

  特にシェルのようにいい加減でそれ自身特によくできてないものを

  わざわざ頑張るのはなんか無駄な気がする。

  2013-1-(2)：13:45 - 14:30
   「Mindstorms NXTを対象としたスクリプト処理系のコンパクト化」
    ○志田 駿介，井出 真広（横浜国立大），菅谷 みどり（芝浦工大），倉光 君郎（横浜国立大）

  これもkonoha。 Mindstorms NXTを用いてライントレースを実行できるように、

  konohaを最小化して搭載。基本的にはコンパイラを外に出すこと、バイトコードのバイト長を

  小さくすることがポイント。

  2013-1-(3)：14:30 - 15:15
   「OTCデリバティブ商品定義を目的としたドメイン特化言語の開発と評価」
    ○松本 吉史（（株）電通国際情報サービス），久野 靖（筑波大）

   OTCデリバティブを対象としたDSL。自動的にJavaプログラムへ変換される。

   評価をアンケートで行なっている。

15:15 - 15:25：休憩

セッション２：15:25-17:40

  2013-1-(4)：15:25 - 16:10
   「Aspect Interfaces: Towards Separate Type-checking of Aspect-oriented Programs with Inter-type Declarations」
    ○当山 学（東京大），青谷 知幸（東工大），Eric Bodden（Technische Universitaet Darmstadt），増原 英彦（東工大），Eric Tanter（Universidad de Chile）

  AspectJでは、Inter type declarationを使うと、

  メインのプログラムとアスペクトを分割してコンパイルすることができない。

  本質的にはアスペクトで挿入されるメソッドの型がわからないから。

  なので、挿入されるメソッドの型を別途定義することで分割コンパイルを可能にする、

  というはなし。まだ、インターフェイスを定義しただけでコンパイラはない。

  基本的に後から何かが入ってくることを予め書いておく、という話になっているようで、

  それだと本質的にaspectのコンセプトと違うんじゃないか。

  2013-1-(5)：16:10 - 16:55
   「ライトバリアを応用した不揮発性メインメモリへの書き込み抑制手法の提案」
    ○中川 岳，追川 修一（筑波大）

  ライトバリアを用いて特定の領域への書き込み特性を把握し、それを用いて書き込みを

  抑制する。

  DRAMと不揮発性メモリに

  2013-1-(6)：16:55 - 17:40
   「演算子生成器を介した木上のスケルトン並列プログラミング」
    ○佐藤 重幸（電通大），松崎 公紀（高知工科大）