FPGA FPGAの状況 FPGAボード 立地で使い勝手の良いものは高い 雑誌付録もあるが…… PDP-11 16bitミニコン 1970-1990頃 回路図などの詳細なマニュアルが公開されている 大型冷蔵庫くらいあったものが、最終的には1チップに 初期のUNIXのプラットフォーム ソースコードが公開されていて、UNIX第6版の詳細な注釈本(Lions本)も出ている FPGAにPDP-11を実装する 目標は「PDP-11用のプログラムが動く」 PDP-11の命令セットや周辺回路はHDLで記述 HDL 見た目はプログラミング言語に似ている コンパイル・リンク・ロード→論理合成・配置実装・プログラム 本質的に並列処理 仕様を記述する、という思想から出発 テスト記述も意識している 主流はVHDLとVerilog HDL SystemCというものもあるがいまいち流行らない VHDL Adaベース 強い型付け言語 激しくダサい(主観) 何故ダサいか 大文字と小文字の区別がない エラーが出ないのに動かないことがある シミュレーション HDLによる記述はシミュレーション出来る ghdlなら無料 波形が格好いい 目で見て理解 問題の発見に有効 信号が伝わっていくときの遅延など、様々なレベルでシミュレーションが出来る シミュレーション例 ghdl + gtkWave UNIXのブート中の例 何をやったか w11(OpenCores)をAvent Microboardに移植 元々他のFPGAボードでは動いていた 入出力デバイスのフィッティング デモ ……元々使っていたボードが壊れましたので出来ません -> 別のボード UNIX v6 当時は出力がターミナルではなくてプリンタといったこともありえたので、 現在のように環境などがログインプロンプト時に出ない w11 CPU coreのdoxygen出力 ロジアナ XilinxならChipScopre 何が嬉しいのか ソフト屋はマニュアル通りハードウェアが使えれば十分なのか ユーザはマニュアル通りソフトウェアが使えれば十分か 必須ではないが、知っていればお得 野望 PDP-11の回路をFPGAでそのまま実装 VAXを実装 「PDP-11でライバルと差を付けよう！」 Extreme Java @Fantom_JAC 自己紹介 Java原人(Java原理主義者) Javaのためならなんでも 無線、特にZigBee (Java原人からみた) Javaとは 小型の組み込み機器等に使えるプラットフォーム やりたかったこと JavaからUSB無線ドングル 環境 Javaで直接レジスタがたたける EHCIデバイス 想定と違った 途中に仕様の分からないドライバと・仕様の分からないAPIが挟まっていた 必要なもの EHCIドライバ USBスタック・フレームワーク Ralinkドライバ 802.11MACスタック TCP/IPスタック EHCIとは USB2.0のコントローラ仕様 ちゃんとレジスタの仕様が公開されている 用意されたUSB環境 cHCが存在しない EHCIで1.1も繋がる謎仕様 1ポート OTGを経由している OTGにはレジスタの仕様の標準がない Global Controller OTG Controller 「せめてJavaらしく」 自分でメモリ管理するJava new出来ないので USBスタック JSR-80にたぶん準拠 実装はない…… TCKは通してません IMBの作ったRIを使用 squilla-jsr80 JSR-80をOSGiに対応させた UsbDeviceDriverを継承するとデバドラが簡単に作れる Ralink その界隈ではあまりにも有名 RT2860/3070を使用 FreeBSD用非公式ドライバを移植 Ralink IO Ralink共通(?)のAPIセット たぶんUSB以外のインタフェースでも共通 USBの実装はControl Ralinkの謎 起動時にファームウェアを丸ごと転送 しかも転送がよく転ける 膨大な量の転送 改造すれば普通に電波法破れそう メモリいじってパッチを当てている疑惑 怪しいノード管理 wcid = associationId & 0xFF 8bit <- 16 bit ControlFrameだけは実装されているっぽい リアルタイム性の問題 squilla-net Javaでプロトコルスタックを書くためのライブラリを作った 802.11関連 ManagementFrame MLME Javaに欠けているWLAN用API Androidにはある…… MLME SCAN JOIN AUTHENTICATE JOINがよく分からない 実際にはsyncのこと？ TCP/IPスタック IPv4 適当 フラグメント処理とかやっていない ARP RequestおよびReply監視用Thread一本 UDP 簡単 Thread未使用 TCP もう二度と実装したくないプロトコルスタック堂々の一位(一人に聞いた) 不可解な輻輳制御 理不尽な仕様書 ... Slow-startもCongrestion avoidanceもなし TCPConnectionごとにThread一本 基本動作 基本はステートマシン tickと呼ばれるMethodを無限ループで呼び続ける 3Dゲーム開発でよくやる手法 tickされた時に 受信FIFOに溜まっていれば取り出して、TCPInputに投げて処理 なければTCPOuputにて、ACK可能か判断し、送信 最後に再送タイムアウトが発生したかチェックして、再送信 何故Single-Threadか 当初はMultiの予定 GCが使えないので管理が大変 GCより高いプライオリティで動いている プログラムのミスが起こりやすい リソースを消費する tickが空回りしないように何もしないときは50ms程sleep BufferedPipe スライディングウィンドウ実現のために作ったクラス 内部はリングバッファ 非同期に可変長のバイト列を出し入れ つまり両端がInputStream/OutputStream 探したけど意外とこういうクラスはなかった 元々TCP向けなので入出力個別にシャットダウン可能 readするとブロック 残酷な現実 やっぱりどうしてもTCPはまともに動かない 相性が酷い より具体的にいうと、暗黙の了解のようなものが多かった スクラッチから実装することの意義 勉強になる 百聞は一コーディングにしかず デバッグが容易 腐っても自分の書いたコード ライセンス問題ゼロ 話のネタになる 分かったこと Linuxはすごい EHCIのコードの雑さ ネット周りのスパゲティ よくこれで動いているな FreeBSDは読みやすい 特にネットワークスタック IEEEの仕様書は非常に親切 ちゃんとPDFで公開されている！ IETFの仕様書は非常に非親切 そもそも ギョウムで必要でした 半年強で実装 結局使われず TCP動かなかったし… 「Javaなんて使わない方が良いんじゃないの？」 今後 JavaMEがCortex-M向けに出るらしいので 使い道募集中 組み込みJavaの場合GCが無い ImmotalHeapというものを使用する 自分でfreeする なのは完売 super_rti とある関数のバトルプログラミング フック処理 相手のプロセスに干渉して、特定のタイミングで自分の任意の処理を呼ばせる 外部からソフトウェアの拡張を行える 誰からもフックされないようなプロセスを作るには？ 管理者特権は出てこない Windowsでのフック dllを作る フィルタドライバ APIを使う よく使われるAPIの話 dllやドライバは管理者特権が必要だったりで、気づかれやすい dll injection OSのプロセス保護を突破しやすい プログラムを作りやすい ドMくんとドSくん なのフェイの薄い本ください -> なのは完売 守りたい、この笑顔 anti dll injection 賢いLoadLibraryAを作ればよい 攻撃用dllであれば拒否する APIフック 今回は sexyhookを使う バリアを作った感じ LoadLibraryは複数ある LoadLibraryAがやられたようだな… 裏ボス：SetWindowsHookEx LdrLoadDll LoadLibraryの元締め的役割 SetWindowsHookExも採取的にはLdrLoadDllを呼び出す LdrLoadDllに対応すれば良い 全てのdll injectionに対応可能 dllを使わない攻撃 実はdllは無くても攻撃出来る CreateRemoteThreadで直接マシン語コードを挿入可能 anti thread injection そもそもThreadはどうやって作られているのか スレッドが実行されたら、実行される中身をUSOThreadに飛ばしてしまう スレッド開始 -> BaseThreadInitThunk -> uso thread 判別が難しいので、現時点では無差別 やられっぱなしは悔しいので攻性防壁 結構難しい 攻撃してきた相手を特定する必要がある 注意としては、dllを削除するのは危険 anti thread injection 攻撃者のコードによっては反撃出来る dll名からexeを特定して、exitする zap! zap! 攻撃してきたらsleepに置き換える 攻撃元はfreezeしてしまう 残酷なのは戦争 相手の攻撃より先にバリアを張るのが大切 コマンドとシェルスクリプトで企業システムを作る 上田隆一 @uecinfo USP友の会 @usptomo bashでCGIを書く人間 word pressを使っていたが、injectionされたので「bashで作ればinjectionされないでしょう」 Universal Shell Programming Laboratory 自社開発指導 顧客企業の情報システム部 CUIでOSを使う講習 vimの講習 awk・sedの講習 シェルスクリプトの書き方 イントラ用CGI いわゆるSIの世界 4次受け・5次受け当たり前 DBのレイアウト表の作者が某大手の3次受け 1次2次は何をしてたのか？ まず、どのRDBMSを入れるか、から始まる 実績があるが高い企業と、安いが知らない企業はどちらが選ばれるか 知らない企業は警戒される ソフトウェア開発の問題点 見えない 安いといわれても、実物がどんなものになるか分からない 失敗リスク 関わる人が増えていく 失敗しない設計を請け負うSE・下請け、弁護士 「これを入れれば大丈夫」というミドルウェア 俺たちは成功する、という広告を請け負う広報・代理店 「震度ゼロで倒壊しない家！」 そんなに人が居ないソフトウェアハウス 実績をコツコツ作る 自分たちで作ってもらう 仲間作り 自分たちの取り組みを知って貰う 失敗しない仕組み 人・マニュアル・「見通しのよいアーキテクチャ」 USP手法(ユニケージ) コマンド＋シェルスクリプト データをテキストファイルで持つ ファイルシステムを使う 余計なソフトウェアを入れない コマンド、apache、NFS、その他標準のもの データを整理整頓するノウハウ塊 ファイルがファイルシステム上であちこちに分散してしまわないようなシステムを構築する データの整理整頓 実会社でのデータの流れを意識 例えば伝票の扱い DBに相当するレベル 受け取った伝票は捨てないで綴じる 綴じた伝票をノートに書き出して台帳 台帳から統計データを集計 アプリケーションに相当するレベル 統計データを加工、問われたら答えるデータを準備 Apacheのログ解析での例 L1 ログをそのままコピーしてきたもの L2 awkで扱える形式に変換 L3 集計したデータ L4 表示する形式にしておく ブラウザに表示する直前のデータ -> アプリケーション DBを使う方法との差異 DB v.s. テキストという話ではない 「DBを使う」は道具の話 レベル1-5はアーキテクチャの話なのでもっと親切 データを整理整頓して失敗を避ける仕組み DBは木構造の概念が薄い -> DBより生のUNIXが良い ファイルからファイルへの変換 ファイルの入力リダイレクト -> コマンド -> パイプ -> コマンド -> 出力リダイレクト コマンド＋シェルスクリプト コマンドはCで書かれているので速い シェルスクリプトの例 関数を使わない sedが酷い ログファイルに全角は来ないだろう -> 「あ」をsplit文字に使う プログラミングしない人にはこちらの方が分かりやすい gyo というコマンドで行数を数える wcはオプションが必要、遅い 一億行のparasort -> 20秒 keta コマンド open-usp-tukubai FreeBSD ports デバッグはteeとheadコマンドを使っている FreeBSD 9 新機能 後藤大地 @daichigoto さらに先の未来10へ & 最小特権オペレーション Capsicum ONGS オングス 代表取締役 FreeBSD committer FreeBSD unionfsの再設計と再実装 FreeBSD Daily Topics 可能な限りデイリーでFreeBSDのトピックをアップ FreeBSD Expert 2012 Digital Edition EPUBとHTMLで 今すぐ購入しよう！ ZFSv28 「ZFSのバージョンは上げない」が安定運用の鉄則 どうしても新しい機能が使いたい場合は新しいサーバを作ってコピーが良い 重複排除の機能 実装上非常に大容量のメモリが必要となる 4GB以上、8GB～が推奨 AMD64版が推奨 v28以降のコードは出るのか Oracleの動きが分からない 暗号化はGEOMを使うという手もある 最小特権オペレーション Capsicum NFSv4のサポート nfsuserdが新しく追加 useridとgroupidのマッピングを行う必要が無くなったため デーモンの起動する順序が重要 rcoderコマンドで確認出来る nfscallbackd コールバックの機能を使いたいときは有効にする MacOSX LionからNFSv4にアクセス出来るようになった USF2 Soft Updatesジャーナリング機能 どのタイミングで再起動してもデータは壊れないといわれている メタデータとデータ本体の整合性がとれなくなることはある スナップショット機能 起動時にfsckが掛かる場合、バックグラウンドfsckを行うために用いる ただし、I/O負荷が高いので、実用には耐えかねる FreeBSDでは、Soft Updatesの操作に対してジャーナルログを取るようにした ブロックサイズとフラグメントサイズが引き上げられた dumpfsを見ると分かる UFS vs ZFS 必ずしもZFSが良いとは限らない 小さいファイルが大量にある場合はUSFは高速で動く BSD Installの導入 sysinstallの欠点 最近のFreeBSDで導入された機能を使用出来ない CUI installer OSの機能をフルに使う場合は、Cで書くよりもシェルスクリプトで実装した方が拡張しやすい GUIインストーラがどうしても必要であれば、PC-BSDを使うと良い TCP輻輳制御アルゴリズムの切替え 本書ではjailとVImageを使って別々のネットワークスタックを用意し、個別の輻輳制御を試している 動的切替えが重要な理由 無線の輻輳制御と高速なネットワークの輻輳制御を一つのアルゴリズムで行うのは現実的ではない v6オンリーカーネル v4が有効になっていると、v4が影響して問題が出ているのか、分かりにくい v4オンリー、IP無しのカーネルも可能 ATAサブシステムがCAMサブシステムに統合された disk ad -> adaに名前が変更になった ataraidが使えなくなった GRAIDを使って GPTがデフォルトへ MBRの制限が無くなったので、スライスを使わなくなっている FreeBSD 10へ USF2のライブラリサイジング BHyVe+jail GCC -> clang GPL3への懸念 どうなるか分からない部分はある Capsicum ケーパビリティの実装の一つ FreeBSDの既存のリソース保護機能 保護ドメイン アクセス制御リスト 複数の保護レベルを持ちたいとき 特に問題になるのはChromeのようなアプリケーション 最小特権オペレーション エンジニアが学習する量が非常に少なくて済む ファイルディスクリプタに、どこまでアクセスして良いか書かれている cap_enter(); イメージとしては、プロセスが自分でjailの中に飛び込んでいく感じ ケーパビリティに入った後にopenしようとするとエラーになる 一度ケーパビリティモードに入ると、forkしても出られない Chromeの実装における書くOSの追加コード Windows 20k以上 FreeBSD 100 FreeBSDサーバ構築・運用ガイド 労力の割に儲からないので、これが最後のFreeBSD本になるかも… ZFSの特許に対するFreeBSDの対応 ディベロッパーからの回答「I don't know.」 会社に任せているので分からない ライセンス的には問題ないでしょう dtraceは現状のまま取り込むことは出来なさそう @sora_h Self Introduction Rubyコミッター 中卒フリーター (オワコン最終兵器) cookpad 新幹線通勤 飯テロ tweet紹介でほぼ終わった 「あと33分の質問出来るよ」 Nyarlathotep @hiromu1996 Self Introduction 「ちゃんと高校に行っています！」 未踏の合宿から直接来ました 名状しがたいプログラミング言語nyaruko brainfuck置き換え(笑) Esolangの恐ろしさを教えてやる SKIコンビネータ チューリング完全 Uコンビネータ チューリング完全 同級生の純粋関数型言語野郎に、Iotaの命令置換じゃんといわれた ニャルコンビネータとか作る ------------------------------------------------ LTタイム m4で実用的プログラミング @a4lg 最初にお詫び 例によって手抜き ネタかぶり… => @hiromu1996 m4とは きわめて実用的なマクロ言語 CPPなどよりはるかに自由度が高い いろいろな所で使われている configureスクリプト (autoconf) sendmail posix m4でプログラミング マクロの中で同じマクロが出現しても良い CPP: #define a a -> a m4: define(`a', `a()')a() -> 無限ループ マクロの中から新しいマクロを定義出来る GNUの拡張はもはやカオス m4 言語 クオート `文字列' ``マクロ展開を抑制'' dnl コメント マクロ変数 ifelse() 数値計算をやる expr(`数式') 便利すぎるので今回は禁止 incr(`') / decr(`') m4における再帰 再帰 = ループ ≠ 再帰呼び出し m4におけるマクロはスタックを使わない m4におけるマクロ定義 = スタック マクロ定義はスタック状に詰むことが出来る 数々の黒魔術 ループ Diversion exprを使う m4はチューリング完全なのでは？ brainf*ck処理系の実装 DEMO trコマンドで、brainf*ckの入力をm4のマクロに変換 おまけ 会場で10分で作った「名状しがたいプログラミング言語」 github:a4lg Arduinoで作る耳grep @katsyoshi whoami mikutter fav.rb, pakuri.rb 耳grep 2012/2/19 盛大なgrep TL バイナリにwavヘッダ Arduino for 耳grep バイトごとに音を鳴らそう headerとか面倒 PCでやっても面白くない => ではArduinoで Arduinoとは PICみたいなもの プログラマブル DEMO 再生が速すぎて…… 1MBで30分近く掛かる おわり 聞こえにくかった？ ノイズですまんかった バイナリアンだったらもう一工夫在るのかなぁ grepはどこでやるのでしょう？ 考えてなかった！ シリアルのレートは9600で、サンプリングレートは？ そのまま出ている バイトを10倍して、40を足している Software Development with Editor @suma90h Interest Developing Hex Editor Development life-cycle with Text Editor 我々は毎日何を行っているのだろう？ テキストエディタはこのままでいいのか？ KernelとVMの共通点 ハードウェアの抽象化 リソース管理 APIの提供 テキストエディタは？ テキスト内部を気にせず編集 -> 抽象化 編集バッファ -> リソース管理 elisp -> VM？ コンテキストスイッチ kernel <=> アプリ VMM <=> kernel -> 今回は考えない エディタ <=> 人間 エディタと人間 ソフトウェア開発において 考え、設計し、 実装する with Editor ビルド、実行、デバッグ コンテキストスイッチ バイナリエディタでは 16進数ダンプ、ASCIIなど読める部分を読む 色で見る、耳？ 考える データを抜き出したり加工したり 複数のことを同時に考えるのは人間には無理ぽ GB単位のバイナリデータを目grepは無理 バイナリエディタで支援 大規模ソフトウェア開発 コード量が増えると一度に編集出来ない 未来のエディタに求めたいこと バイナリエディタ 求められる機能ははっきりしている -> ok テキストエディタは？ Terminalとエディタ、人間のコンテキストスイッチを減らしたい でも、マルチタスクしたい リファレンス、ブラウザを見たい 分散システムの結合テストとかもやる SAN値論理と名状しがたいプログラミングSAN値Prolog たけおか @takeoka 二値論理 三値論理 e進数がもっとも情報の表現効率がいい 2.72進数というのは扱いにくい -> 三値論理 SAN値とは 論理型言語にSAN値というものを入れる 評価時の「頭のおかしさ具合」を「SAN値」と呼ぶ 評価時に、SAN値に近いSAN度を持つ節が選ばれる 節は評価して、真であったらSAN値が比較される 似た研究 ファジィ論理 Prolog 閾値より大きな事実が選ばれる 「大きい」ではなく、SAN値に近いものを選ぶ Lispで書いたPrologの処理系 「set-sanchi」 プロンプトが「にゃ?」 軽快なPlan 9 Update Illumos KVM上陸 @go_vm 軽快なPlan9では KVMの上で動いているPlan9 ネットワークに繋がっていないゲストがOSとのsocketを呼び出して、外のネットワークからデータを取ってくる ハイパーコール Linux KVMがIllmosに移植された Joent社の成果 Node.jsとかもやっているところ コードの構造は同じ Linux KVMが読めれば同じように読める ただしコードはBSDスタイル 床抜き clojureでスタブを書いた 起動中にbell研のサイトに繋がってhtml取ってくる しかし、ifconfigするとネットワークは繋がっていない Illmos KVMの利点 ネットワークの設定が楽 dtraceが使える いろんなイベントを観察出来る 軽快なBHyVe @syuu1228 BHyVeの現状 独自ローダからFreeBSDカーネルをゲストOSとしてロード、ブート出来るだけ BIOSが動かないので、ブートローダが動かない BIOSの仕組み int13h -> ソフト割込み -> CPUが割込みベクタを読む -> BIOS状のハンドラを実行 KVMでは SeaBIOSがHWへのIOを実行 実機状のBIOSと同じ動きをする IOはTrapされてQEMUで処理される SeaBIOSを載せればいいやん 却下 <= GPLだから BSDLでBIOSをエミュレートするソフトは既にある doscmdとか (FreeBSD状で動作) 仮想8086モードでDOSプログラムを動作 BIOSコールなどをtrap 32bit実装だし、移植するならhypervisor側に入れた方が良い ソフト割込みの時点でTrapするようにする IntelVTの機能でソフト割込みをTrapすると… 全てのソフト割込みがTrapされてしまう 多くのOSがシステムコールにソフト割込みを使っている ソフト割込みの中からBIOSコールだけを抽出したい ステート管理が必要になる リアルモードを用いるOSではシステムコールでTrapがかかる 軽快なBIOSコール VMの床抜き術はここでも使えます！ 疑似BIOSを用いる 疑似BIOSがVMCALL命令を発行 AMD対応は？ ToDOリストに載ってる段階 つくっておぼえる！仮想マシン　～直前で実装編～ @siritori @iorivur MIPSのマシンを erlangで haskellで 実装してみました 昨日頑張りました 意地でも手続き型言語では書かない Erlang アクターモデルな並列指向言語 OTPというすごいフレームワークを使うための言語 出来ている所 出来ていない所 ELFローダ レジスタとメモリ ETS 命令の実装 高階関数 感想 MIPSのVMを複数立ち上げるのも朝飯前なのでやってみたい Haskell みんなMonadになる できているところ できていないところ 例外、コプロセッサ命令、ジャンプ命令 実装 再帰がそのままクロックのようなイメージ Erlang 実行中にコードの書き換えが可能 Haskell インタラクティブにレジスタに対する命令が入力出来る なんでMIPSなの？ さすがにx86をやる勇気はなかった なんでErlangなの？ 関数型言語を触ってみたかった ビットマッチングが出来たから Xとかオワコンじゃね…っていう男の人って @naota344 自己紹介 SD誌でLinuxカーネルについて連載している X.ORGのコード スパゲティ XはもういやなのでWayland Xのアーキテクチャ X serverじゃまじゃね？ Wayland client <-> Compositor <-> KMS / evdev Wayland Terminal フォントが気持ち悪い デモ Wayland自作クライアント 画像を表示するクライアント Wayland Waylandはプロトコル オブジェクト wl_display コアオブジェクト wl_shm クライアントとのメモリ共有 などなど メッセージ UNIXドメインソケットで送られる クライアント -> サーバ リクエスト 逆はイベント 実装 Haskellで書いた 問題点 クライアントIDを適当にやったらSEGVした intがうまく渡せないときがある Haskellだけど実装があれ Fdをメッセージと一緒に渡すので、パッチが必要だった x86_64/Linuxに独自メモリ空間を買って増設 @nminoru_jp メインフレームのソフトウェアエミュレータ 富士通のメインフレームのエミュレータ IBM System/370互換 エミュレータを高速化するには ゲストとホストでCPUが異なる計算機を想定 ARM,MIPS,SPARCなどをx86_64上で ゲストの仮想メモリがネック ホストのMMUを使いたい どうやって使う ・OSを自前で作る ・OSから一部のCPUを切り離して独自処理 ・既存のOSを改造 Linuxの仮想メモリの中に自分専用のVMを！ /proc/oreorevm をmmap CPU命令をインタープリタがロード・ストア ゲストのTLBミスなどはSIGSEGV Hugetlbを参考に Shadow Page Table ゲストの仮想メモリ空間をホストのページテーブルに組み込む 俺俺VMの利点 ゲストCR3を切替え対応 ゲストのコンテキストスイッチに応じてSPTの書き換えが必要 毎回破壊するとコストが高いので、過去のSPTも保存 PUDをゲスト仮想空間一つに割りあてると効率がよい ゲストモード対応 ゲストにもusermodeとsupervisormodeがある JITコンパイラ対応 まとめ 俺俺VMではx86_64のMMUが使える！ カーネルのリベースが必要だが、大変 なにかうまい手はないか…… bcacheのベンチマーク 低速で大容量のブロックデバイスを高速で小容量のブロックデバイスでキャッシュすることで 高速で大容量のブロックデバイスを実現しよう！ consumer -> bcache -> SSD -> HDD まだLinuxメインラインに入っていない /dev/bcache0 などという名前のブロックデバイスが出来る ベンチマーク1 iozone HDD: Seagate 2.5inch 750G 7200rpm SSD: Intel 520 120GB RAID5: LSI MegaRAID Write HDD -> SSDで5%～7%の性能アップ Rewrite だいたい同じくらい Random Write だいたい同じくらい あまり利点が見つけられなかった ベンチマーク2 KVMで運用している既存の共用ホスティングサーバのディスクイメージに対するvfs_read/writeをSystemTapして記録 レイテンシを計測 bcacheありだと、レイテンシのばらつきがほとんど無い 無しだと、レイテンシがばらついてしまう ただし、使っているときより速いこともある FBのflashcacheとどう違うのか？ write backとして使った時に、SSDにだけ書かれてHDDに書かれていない状態で電源が落ちても bcacheだと救える キャッシュの扱い方が違う bcache -> b-tree flashcache -> CPUのキャッシュと同じやり方 bcacheだとアクセスが偏らないみたい Tinycc on NaCl @shinh モチベーション ブラウザでちょっとCを実行出来ると嬉しい IOCCCのコードを実行してみよう 仕組み Tiny C Compiler セルフコンパイル可能な3301BytesのCコンパイラ TCCの特徴 コンパイルは速い 出来たバイナリは遅い？ 割といろんなものがコンパイル出来る コンパイラであり、プリプロセッサであり、リンカでもあり、ローダでもある 3万行くらい Native Client CUIで実行するためのloaderもある NaCl Sandboxのつらいところ いろんなところがころころ変わる ドキュメントがない TinyCC on NaCl ToDO 頑張った割にまだ色々動かない kernelvim探検隊 @shougomatsu Vim枠 vinariseについて x86勉強会で発表する内容の予告編 XXDには問題があるので、vinariseを作っている bitmap viewer 驚異のvimスクリプトテクノロジー 動的にバッファが増えていく……！ MBCSにも対応！ bitmap viewerによって目grepが可能に バイナリっぽいデータが見つかったらvinariseで開く、といったことも可能 あなたにとってVimとは？ どの要素も持っているが、エディタではないことは確か 彼女とVim、どっちをとる？ 一応、彼女の方が大切 bviとはどう違うか メモリ展開しない 日本語対応