はじめてのにき

_ デバッガ

https://twitter.com/shinji_kono/status/1332577164089126912

デバッガについては思うことがあって、暇になったらあそびたいと思ってるのだけど、あんまそういう感じでもないので、思ってたことを思い出しつつ書いてみる。

C/C++ の類のデバッガって、デバッグされるプロセスにちょっかいをかけて、なんというか勝手に色々やるのが基本になってる。なんかこれが微妙だと思っていて、クラッシュからの回復とかはともかく、基本的な情報を取ってくるとか関数を呼ぶとか、そのくらいはデバッギ自体にやらせると良いのじゃないか、と思ってる。デバッギ自体がデバッグされるのに協力するイメージ。あるいはバックドアみたいなものを仕込んでおくという考え方でもいいかもしれない。

そういうことをやろうと思うと、特殊なライブラリをリンクしておかないといけないのではないか……みたいな気がするかもしれないけど、たぶんそんなことはなくて、デバッガからすればターゲットプロセスに mmap させるとか何も難しくないので、動いてるプロセスにデバッグに協力するためのバックドアを後から注入する、とかもまあ簡単にできると思う。

これは別に新しい発想というわけじゃなくて、 Java だと JDWP というプロトコルがあって、 JVM 自体がデバッグに協力する仕組みがある。 JVM 自体にお願いするので(そして Java はリフレクションとかももともとあるので)、文字列で指定した関数を呼んでちょうだい、とかまあそんなに難しくない。 C/C++ も dlsym とかで取ってこれる範囲ならまあなんとなりとなるんじゃないかなと思う。

lisp/erlang あたりの文化圏の人は動いてるものをいじって……みたいな武勇伝をよく言ってるイメージがあるけど、そういう発想にも近いのかもしれない。

あともう一個近いと思ってるのは borgmon/prometheus で、いや、後者はよく知らないのだけど。なんというかアプリケーション自体がモニタリングに協力するために情報を出す、て発想が似てるかな、と。昔読んだインフラの本とかだと、 apache のログを解析したりしてログを集めてくるツールがあったりとかして、なんかグーグルのモニタリングの仕組みの方が良いよなあ、とずっと思っていた。

んでまあ JDWP みたいな共通のプロトコルを全ての言語が喋ってると良いな、と思っていたのがある。一つデバッガを書けば色んな言語をデバッギにできるかもしれないし、そもそもデバッガ以外の用途もありえるんじゃないかな、とか妄想していた。要は任意の情報を取ってきたり、任意のデータをさしこんだり、任意のコードを実行させられるプロトコルなので、別の言語のコードを気軽に呼ぶ仕組みとしても機能しうるんじゃないかとか

問題は C/C++ がリフレクションの機能が弱いので、デバッガに協力しようにも結局 DWARF とか見ないと協力しづいらいことではあるが……

(21:51)

_ LDLコレストロール

が高くなってた。食生活は普通に考えて良くなってるので不思議だな……と過去ログ見ると

29 106
30 116
31 103
32 121
33 91
34 99
35 118
36 109
38 122
39 153

という感じで、今までも微妙な数値になったタイミングはあったみたいだった。

(22:54)

_ 銀河英雄伝説

なんとなく必読書ぽいので読んでみた。ツッコミどころ満載なんだけど、まあそういう厳密さとか考える話ではないのだろう。割とずっと同じくらいの面白さをキープしてくれていた。三國志的な感覚がある。政治系の警句みたいなのがやたらたくさんあるのも良い。民主主義もっと頑張りましょう的な

満載なツッコミどころのうち、なんでこの人たち宇宙空間で2次元の布陣をひいてるのだろう……とか、戦艦じゃない小型戦闘機の意義は一体……とか白兵戦……とかあたり、まあ普通に突っ込まれてた

http://gineiden-sokuhou.blog.jp/archives/48763060.html

(18:57)

_ MN-Core

少なくともここ半年くらいはほぼ MN-Core フルタイムになってて、なんか書きたいけど、特に書くこともない、みたいな状態。僕は邪魔しかしてないけど、まあ記録についてはすごいなあ、めでたいなあと

https://pc.watch.impress.co.jp/docs/news/1289452.html

MN-Core 、しんどいけど楽しいなあ、というのと、楽しいけどしんどいなあ、というのと、やっぱこれ人間がやるのおかしくない？というのと、もっとラクな方法あるだろ……？というのを巡回している。まあとにかく大変というか、なんでこんなにバカみたいにコード書いてるのにこの進捗なのか

(13:12)

_ xg2xg

https://github.com/jhuangtw/xg2xg

便利そうなやつだ

forge は EngFlow というのがあるのか

https://www.engflow.com/

(23:21)

_ 計算量SF

https://qiita.com/iKodack/items/d606a09f0a40b95bf2b6

計算量の強さ比べはわくわくする

(12:39)

_ ルーザー

http://loser.com/

これひどすぎるけど、これするためにどの程度お金かかるんだろう……

(12:39)

_ four seasons

これか……

https://www.google.co.jp/maps/@40.0263139,-75.0305298,3a,75y,96.43h,83.61t/data=!3m6!1e1!3m4!1svG8OYvcYJTt-r59K97Yv6A!2e0!7i16384!8i8192

(20:25)

_ neuro symbolic execution

https://www.ndss-symposium.org/wp-content/uploads/2019/02/ndss2019_11-3_Shiqi_paper.pdf

めも

(20:53)

_ BREAKING

https://twitter.com/GregRubini/status/1324463548244889601/retweets/with_comments

カリフォルニアで970万票が消えた！

なんかこの人かよさん的なポジションの人なのかな、って気がしてきた

(21:00)

_ ジョージア

今週は投票のエンタメ性高すぎて仕事にならない

(11:29)

_ エンタメスクショ

そういえば同一作者の別作品も良かったのでメモしておこう

https://twitter.com/GregRubini/status/1324000142245191681/retweets/with_comments

OFFICIAL DATA から作ったらしい

(12:09)

_ 485 => 917

ジョージアすごいな……

(19:11)

_ シナリオB

https://twitter.com/GregRubini/status/1323341495110434827/retweets/with_comments

このギャグにしか思えない絵を信じてる人いるの面白い

(09:38)