_ 関数型とか言ってる場合じゃありませんよ
というほどでもないけど。
coredump 面白いな。
(13:27)
_ type inference
これを inference って言うのかなぁ。
class C {}
class D : C {}
int main() {
auto add = (int x, float y) { if (true) return new C(); else return new D(); };
writefln(typeid(typeof(add(1,2))));
の返り値の部分を適当にかえてあそぶ。結局、 int & float, C & D, C & null あたり全滅。実に D らしい。 null は void* なんだね。
あー。
(13:47)
_ メモ
- thread ごとにレジスタを ptrace で取得
- prpsinfo を埋める。
- 簡単な項目を埋める
- /proc/self/exe からコマンド名を取得して prpsinfo に
- /proc/self/cmdline からコマンドライン引数を取得、'\0' を ' ' に
- prstatus を埋める
- Unix ドメインソケットを作って
- シグナル止めて
- fork する
- シグナル復活
- 親プロセスに ptrace でアタッチ
- PTRACE_PEEKUSER でユーザ領域の情報ゲットらしい(なんのため？)
- またしても ptrace でレジスタゲット
- デタッチ
- フレーム情報をいじる。たぶん関数から出てる
- 親と会話するパイプを作る
- ソケットで親にパイプを渡してる、かな(最初からソケットだけで会話したら良くねー？)
- パイプと情報渡して次の関数へ
- exit
- 一方親側プロセス
- ソケットからパイプをゲット
- 止めたスレッドを復活させる
- 子プロセスがデタッチするのを待つ
- パイプ返して終了
(20:53)
_ 次の関数
- いきなり loopback とかいうパイプ作ってる
- /proc/self/maps
- 適当に内容読み込み
- ものすごいアルゴリズムだがメモリマップドデバイスを読み飛ばしだと思う
- 調べたメモリの先頭 0 になってる部分のサイズを求める
- わざわざループバックに書き込んでるのはなぜかな EFAULT を落とすため？
- 読めない maps は飛ばす
- ELFヘッダ書き込み
- プログラムヘッダ書き込み
- note セクションってなんじゃってとこ書き込み
- ここでアライン
- メモリ書き込み
なんか色々感心した。
(21:09)