Google、Facebook、マイクロソフトらが、OSカーネルをプログラマブルに拡張できる「eBPF」の開発と発展を目指す「eBPF Foundation」を結成
Google、Facebook、マイクロソフトらが、OSカーネルをプログラマブルに拡張できる「eBPF」の開発と発展を目指す「eBPF Foundation」を結成 eBPFとは、Linuxカーネルのコードを変更することなく、カーネルの持つさまざまな機能をフックすることでカーネルに対してある種の機能拡張を実現する技術です。 このeBPFの開発促進や発展を目指す「eBPF Foundation」が、Linux Foundation傘下で発足しました。発足メンバーはGoogle、Facebook、マイクロソフト、Netflix、Isovalentの5社。 一般にOSカーネルの機能の変更や拡張を行うには、カーネルのソースコードを書き換え、再コンバイルしなければなりません。そのため、例えばカーネル内のネットワーク関連の機能を拡張してプロトコルやセキュリティを追加したいと思っても、その実現には手間が
Zstandard - Wikipedia
Zstandard (zstd) は、圧縮・展開が速いことを特徴とする可逆圧縮アルゴリズムである[2]。またC言語で書かれた前述のアルゴリズムのリファレンス実装の名前でもある。Meta Platforms, Inc.に所属しているYann Colletによって2015年から開発されている。 この実装のバージョン1.0.0は2016年8月31日に自由ソフトウェアとして公開された[3][4]。2018年10月に RFC 8478 で規格化され、2021年2月に RFC 8878 に更新された。メディアタイプは application/zstd [5]。英語発音はズィースタンダード（zee standard）[5]。 Zstandardは、デフォルトの圧縮レベル3の場合、現在主流であるDeflate (ZIP, gzip) アルゴリズムとほぼ同じ圧縮率だが、より高速に圧縮と解凍が行えるように設計
米Facebook、Linux関連の複数のツールに関する取り組みを公開 | OSDN Magazine
米Facebookは10月30日、同社によるLinux関連のオープンソースコンポーネント開発に関する取り組みを発表した。同社はBPFやBtrfsといったLinuxのコンポーネントを活用し、開発にも関わっているという。 Facebookは自社データセンターにおける問題点を解決するために社内にLinuxカーネル開発者やLinuxアプリケーション開発者を抱えており、協力してサーバー群の効率の良い管理のために開発したコンポーネント/ツールを開発・公開しているという。これらは大規模なサービスを提供するプラットフォームで有用なコンポーネント/ツールとしている。 同社が開発に関わるオープンソースソフトウェアに関する情報をまとめたサイト「Facebook Open Source」のLinuxカテゴリでは、現時点でBPF（Berkeley Packet Filter）、Btrfs、Netconsd、Cgro
Facebook、新しい時間単位「フリック」を発表
Facebookの望み通りにことが進めば、次回、友達にドアを1秒間押さえていてほしいと頼むとき、あなたは「7億560万フリックの間、押さえていて」という表現を使うことになるかもしれない。 真面目な話をすると、おそらくそんなことはないだろう。だが、もしあなたがそうしたいなら、それは可能だ。なぜなら、Facebookが米国時間1月22日、「フリック（flick）」という新しい時間の単位を発表したからだ。この単位はプログラマーにとって便利だと同社は考えている。あなたが鍵を取りに戻るとき、友達に話しかける場面を想定しているわけではない。 レシピでカップとg（グラム）のどちらを使うか、あるいは自動車の走行距離計の単位にマイルとkmのどちらを使うかは、文化によって異なる。しかし、時間を測定する普遍的な単位に関しては、人類は秒を使用することで合意済みだ。ただし、Facebookの新しい時間単位は、1秒以
Infer - Facebook製の静的コード解析ツール
MOONGIFTはオープンソース・ソフトウェアを紹介するブログです。2021年07月16日で更新停止しました いかなるソフトウェアであってもバグはつきものです。バグがなかったとしてもそれは単に見つからなかったり大きな問題につながらないだけで、いつかは露見することになります。 Facebookが作ったInferはそんなプログラミングコードを静的に解析するソフトウェアで、アプリのバグをいち早く発見するためのツールになります。 Inferの使い方 例えば以下のようなコードがあります。これはjavacでコンパイルできるコードです。 // Hello.java class Hello { int test() { String s = null; return s.length(); } } これをInferにかけるとエラーが表示されます。 $ infer -- javac Hello.java H
Facebook、静的コード解析ツール「Infer」を公開。Objective-C/Java/Cコードのバグを指摘してくれる
Facebook、静的コード解析ツール「Infer」を公開。Objective-C/Java/Cコードのバグを指摘してくれる Inferが対応するコードはAndroidのJavaとiOSのObjective-C、およびC。現時点ではAndroidとJavaではNullPointerExceptionおよびリソースのリーク。iOSとCコードではメモリーリークを発見してくれます。 実際にプログラムを実行することなくバグを発見しようとする静的コード解析は、コードをビルドしてテストプログラムなどを実行するよりも迅速にバグを発見できる方法として期待されています。 Inferも、Facebookがより早く高い品質のソフトウェアをデリバリする目的で開発されたものです。下記はInferを発表したブログ「Open-sourcing Facebook Infer: Identify bugs before y
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Facebook、静的解析ツールInferをオープンソース化
http://japan.internet.com/webtech/20131018/5.html