いま、暮らしが大きく変化しています。 従来にない便利や快適が 次々と生まれる時代。 Nasta Interphoneは、 「インターホンを選ぶ基準」を 新しくします。 これ1台で、 ご家庭のセキュリティを進化させ、 安心な毎日を守ります。 24時間、常に防犯カメラに。 不在時はもちろん、在宅中でも、 宅配に自動対応が可能。 その上、スマートフォンで来客対応OK。 これからの生活から 不安やストレスをなくします。

Kernel/VM探検隊は、カーネルやVM、およびその他なんでもIT技術の話題ジャンルについて誰でも何でも発表してワイワイ盛り上がろうという会です。takeoka氏は、現在開発中のSoC（System-on-a-chip）について発表しました。 LSI（Large Scale Integration）の民主化が進んでいる takeoka氏（以下、takeoka）：俺ASICと俺CPUを作っているのでその話をちょっとします。 最近、日本でも半導体復興と言われています。（半導体は）お金持ちの物だと思っていたけれど、近頃はGoogleが安く作れるようにしてくれていたり、OpenEDAやOpenLANEというOSSのツールを使えば作れます。 これはだいぶ前からですが、Googleががんばっています。ほかにも、FOSSi（Free and Open Source Silicon Foundation

$ git clone https://github.com/microsoft/WSL2-Linux-Kernel.git

先日8/16にGitバージョン2.23.0がリリースされました。 今回の目玉機能と言えば、新しいコマンド git switch と git restore ですね！ 本稿ではこちらの2つに絞ってどういう役割・位置づけの機能なのか英語ソースの引用も含めてご説明します。 TL;DR ブランチの変更は git switch ファイルの変更は git restore 今まで通り git checkout は使える 新機能は「実験的機能」なので今後変更の可能性あり 新機能が追加された背景 Highlights from Git 2.23によると、 git checkout に出来ることがあまりに多いため（ブランチ操作のほか、indexされたファイルの復旧、履歴上のファイルの取得など）、役割を明確に分けるためのコマンドが追加されたとのことです。 It turns out git checkout ca

$ uname -r 5.15.79.1-microsoft-standard-WSL2 $ lsb_release -a No LSB modules are available. Distributor ID: Ubuntu Description: Ubuntu 20.04.5 LTS Release: 20.04 Codename: focal 1. bccのインストール eBPFプログラムをコンパイルするためにbccをインストールします 2023/02/19: sudo apt-get installにdwarvesを追加 $ git clone https://github.com/microsoft/WSL2-Linux-Kernel $ cd WSL2-Linux-Kernel # バージョンはuname -rの結果と合わせる $ git checkout -b linux

BPFプログラムの作成方法、BPFの検証器、JITコンパイル機能：Berkeley Packet Filter（BPF）入門（3）（1/3 ページ） Linuxにおける利用が急速に増えている「Berkeley Packet Filter（BPF）」について、基礎から応用まで幅広く紹介する連載。今回は、BPFプログラムの作成方法、BPFの検証器、JITコンパイル機能について解説します。 Linuxにおける利用が急速に増えている「Berkeley Packet Filter（BPF）」について、基礎から応用まで幅広く紹介する連載「Berkeley Packet Filter（BPF）入門」。初回は、BPFの歴史や概要について解説し、前回はBPFの基礎として、Linuxで用いられるBPFのアーキテクチャなどを説明しました。 今回は、BPFプログラムの作成方法、BPFの検証器、JITコンパイル機能

eBPF verifiterでkernel内の関数を安全に呼びだせるように何をしているのか気になったので読んでみた

富士通の非公式Advent Calendar 2018 9日目 の記事です。記事の内容は個人の見解であり、所属する組織を代表するものではありません。 はじめに Linux kernel の比較的新しい機能である eBPF について簡単に調べてみたので、その概要と使い方を紹介します。 eBPF は extended Berkeley Packet Filter の略で、ざっくり言うと、ユーザ空間で作成したプログラムをカーネルに送り込んで、独自の命令セット を持つカーネル内部の仮想マシン(以下VM)上で実行できる機能です。名前の通り、eBPF は BPF(Berkeley Packet Filter)と呼ばれる古くからあるパケットフィルタの技術を拡張したもので、パケットフィルタに限らず OS 用途一般に使えるようになっています。 システムに危険を及ぼす可能性のあるコードは、事前のチェックで検出

第688回の「eBPFのコンパイラーに対応したツールでさまざまな挙動を可視化する」ではBPF Compiler Collectionに付属の各種サンプルツールの使い方を紹介しました。今回はコンパイラーを活用して、自分でeBPF用コードを書くための基礎を学んでみましょう。 BCCのインストールとドキュメント 第688回も紹介したように、カーネル3.15で追加されその後拡充を続けている「eBPF」は任意の外部プログラムをカーネルの中で、より安全に実行できる仕組みです。カーネルモジュールを作る代わりに、独自のバイトコードをコンパイラーで生成し、それをカーネル内部にロード・実行することになります。これを使えばシステムコールの先のカーネルの状態を、プログラマブルに解析可能になります。 eBPF自体はカーネルの仕組みであり、ユーザーランドから使うためには、eBPF用のバイトコードにコンパイルする必要が

上記以外にもPythonやC++の基本的なビルド＆実行環境がで未インストールであれば、build-essential, cmake等のパッケージが必要になるかもしれません。 4. サンプルプログラム サンプルのソースコードはGitHubにビルド＆実行出来るように置いています。 eBPF自体のソースコードはC言語で書く必要がありますが、フロントエンドのソースコードはPyhon, C++, そしてluaを利用可能です。本記事ではPythonとC++を紹介します。なお、C++よりも情報量やコードの簡潔さの観点において（実行速度が問題にならない限り）、Pythonがおすすめです。 注意 BCC（libbcc）のAPIは、バージョンによって少しずつ変化しており、基本的に互換性がなさそうな変化を入れている様子です。 基本的な処理フロー eBPFのソースコードを書く BPFクラスのインスタンスに対して、