Facebook、マルチスレッドのコードを静的解析してデータ競合を検出する「RacerD」、オープンソースで公開。同社Androidアプリのリリース前に1000以上の問題を検出

Facebookは、Javaのコードを静的に解析してマルチスレッドプログラミングで発生するデータ競合のバグを発見するツール「RacerD」をオープンソースでリリースした。 アプリケーションのレスポンスを改善するうえで、マルチスレッド化は重要な選択肢のひとつです。 その一方で、マルチスレッドのアプリケーションは十分に注意深くプログラミングしないと、変数の値が予期しないタイミングでほかのスレッドから書き換えられるなどの問題が紛れ込みやすいものです。 しかもマルチスレッドに起因する問題は再現が難しく、一般に発見するのが困難です。 RacerDリリース：Facebookで1000以上ものバグを発見 Facebookは、こうしたデータ競合の問題を、コードを静的解析することで発見し、警告してくれるツール「RacerD」をオープンソースで公開しました。 Facebookの説明によると、RacerDはロッ

[hiroponz]

便利そうだけどJava専用

[den8]

“全般的で正確なエイリアス（ここでは別名の意味ではなく、データ競合問題のことを指すと推察される）分析をせず” こういった補足をライター自身ができるのがpublickeyの大きな価値だと思う

[uehaj]

人類への貢献 / エイリアスは一つの変数全体や一部に対してアドレスや参照を通じて複数の変数で参照すること。(書き込み可能な)エイリアスを通じてデータ競合の可能性が発生するのだから、別名の意味でも良い

[wnoguchi0727]

そ、そんなことできるのか

[dirablue]

android

[ebo-c]

Data Raceから来てるのかな。名前が楽しい。レーサー100を思いだsh(古)

[jtw]

例のFacebook競合はダメだよっていうOSSか。

[nida3001]

“alias analysis”は別名解析つまりポインタ解析のことでは

[k12u]

Inferは特許条項付きBSD https://github.com/facebook/infer

[matsumoto_r]

良さそう。こういうツールや言語仕様レベルでのサポートが増えつつも性能が担保できる世界になると良いなぁ

[side_tana]

は〜っ

[peperon_brain]

Java専用か…

[satomi_hanten]

ほー、使えそうなら丁度いいネタがあるんだけど・・・。

[akulog]

ほほう #11n_dev

[crosscrow]

よかった、これでプログラマが「おちつけ！ハマーD！」状態になることはなくなるんだね…。

[nippondanji]

ほう。これは良さそう。

[toyama0919]

へー

[ki_we]

後で確認したみ

[otihateten3510]

何だこれ、良さそう。iOS版もください。

[theatrical]

Dって言うし、FB一時期D言語推してたからD言語で作ったのかと思ったけど、そんなことはなかった