タグ: #kernel

← すべての記事

• Triton Gluon — コンパイラが隠していたレイアウトを手で書く言語

  Gluonは、Tritonと同じコンパイラスタックの上に載る下位レベルGPU言語で、Tritonが隠していたレイアウト・共有メモリ・ワープ特殊化をカーネル作成者にそのまま渡します。存在理由は明快です — Tritonコンパイラがうまくコードを出せない場面に出会ったとき、今まで打つ手がなかったからです。本稿ではGluonが何を露出するか、BlockedLayoutが実際に何を意味するか、そして上流のチュートリアルがGB200で記録した測定

  2026-07-16 · 32 分で読めます #gpu#triton#kernel#compiler#performance

• sched_ext サブスケジューラ — カーネル7.1に半分だけ届いたcgroup別スケジューラ

  Linux 7.1(2026年6月14日)で、schedextにcgroupサブスケジューラのサポートが入りました。狙いは明確です — cgroupツリーのどこにでもBPFスケジューラを付け、親スケジューラが子にCPUを動的に配分することで、コンテナやアプリケーションドメインごとに自分のワークロードに合ったスケジューリングポリシーを走らせることです。動機はcpusetのハードパーティショニングが与えられない柔軟性であり、マルチテナントマ

  2026-07-16 · 22 分で読めます #linux#kernel#scheduler#cgroups#bpf

• eBPF Verifierは止まった場所しか教えてくれない — 拒否235件を再現して測った診断ギャップ

  eBPFを触ったことがある人なら誰でも経験するあれです。Verifierがプログラムを拒否するのに、エラーメッセージは何の問題もなさそうな行を指している。2026年7月に出た論文が、このもどかしさを初めて数値化しました。著者らはStack Overflow、GitHubのIssue、修正コミット、カーネルのセルフテストから候補936件を集め、カーネル6.15.11 + clang 18という固定ツールチェーンで再現し、実際に拒否された2

  2026-07-16 · 34 分で読めます #ebpf#linux#kernel#debugging#developer-experience

• bcachefsがイレイジャーコーディングのexperimentalタグを外した話 — それが何を意味するか

  2025年9月29日、リーナス・トーバルズは1つのコミットでカーネルからbcachefsのコード117,483行を削除し、bcachefsはZFSのようにDKMSモジュールとして配布されるファイルシステムになりました。ドラマはそこで終わり、2026年の本当のニュースは別にあります — bcachefsのイレイジャーコーディング(RAID5/6に相当する機能)がexperimentalタグを外したのです。ところがこの事実を伝える一文がネッ

  2026-07-16 · 28 分で読めます #linux#kernel#filesystem#bcachefs#storage

• 低レイテンシ取引システムのためのカーネルチューニング — マイクロ秒との戦争

  HFTやマーケットメイキングのようにマイクロ秒が損益を分けるドメインで、Linuxカーネルをどうチューニングするかを整理します。CPU分離のレシピ、NUMAアライメント、カーネルバイパスのスペクトラム、C-state固定、PTP時刻同期、テールレイテンシ測定方法論まで、実践的に解説します。

  2026-06-13 · 26 分で読めます #linux#kernel#low-latency#trading#performance

• コンテナは嘘である — cgroupsとネームスペースで見るカーネルの真実

  カーネルにコンテナというオブジェクトは存在しません。ネームスペース7種のツアー、cgroup v2ファイルインターフェースの直接操作、unshareとpivotrootで作るミニコンテナ、overlayfs、capabilities、seccompまで — コンテナを構成するカーネル機能を一つずつ解剖し、Kubernetesとのつながりとデバッグ技法を整理します。

  2026-06-13 · 23 分で読めます #linux#kernel#container#cgroups#namespaces

• eBPF基礎完全制覇 — プログラム、マップ、そしてVerifierの世界

  eBPFがLinuxカーネルプログラミングをどう変えたのかをゼロから整理します。プログラムタイプとマップ、Verifierの動作原理を理解し、libbpfとCO-REによる初めてのeBPFプログラムを実際に作ってみます。

  2026-06-13 · 28 分で読めます #ebpf#linux#kernel#libbpf#observability

• Linux CPUスケジューラの進化 — CFSからEEVDFへ

  vruntimeと赤黒木で公平性を実現したCFSの原理から、レイテンシ重視ワークロードの課題に応えるためカーネル6.6で既定となったEEVDFまで、スケジューラの進化をたどります。cgroupによるCPU制御とKubernetesスロットリングの診断、低レイテンシワークロードの分離レシピ、テールレイテンシ改善シナリオを扱います。

  2026-06-13 · 27 分で読めます #linux#kernel#scheduler#cfs#eevdf

• パケットの旅 — Linuxカーネル ネットワーキングスタックを追う

  NICに到着したパケットがDMA、リングバッファ、NAPI、IP/TCP層を経てアプリケーションのソケットに届くまでの全経路を解剖します。RSS/RPS/RFSによるマルチコア分散、GRO/GSO/TSOオフロード、XDP、ソケットバッファのチューニングと実践的な性能診断シナリオまで扱います。

  2026-06-13 · 29 分で読めます #linux#kernel#networking#tcp#xdp

• Linuxメモリ階層ハック — swap、zram、そしてVRAMをスワップに使う逆転の発想

  GPUのVRAMをNBDブロックデバイスとして公開しスワップに使うnbd-vramプロジェクトがHacker Newsで話題になりました。これを出発点に、Linuxメモリ管理の基礎、swappinessとzram/zswapのチューニング、OOM対応、cgroup v2メモリ制御、コンテナ環境の罠まで実践中心に整理します。

  2026-06-12 · 26 分で読めます #linux#memory#swap#zram#kernel

• eBPFがオブザーバビリティを飲み込む

  カーネルの中でサンドボックス化されたプログラムを安全に走らせるというアイデアが、オブザーバビリティの常識をひっくり返しています。kprobe・uprobe・tracepoint・XDPでどこにでもフックを掛け、検証器が安全を保証し、アプリのコードを一行も変えずにトレースする。なぜCilium・Falco・Pixie・bpftraceがサイドカーを置き換えるのか、そしてeBPFにできないことは何かを実務目線で整理します。

  2026-06-11 · 23 分で読めます #ebpf#observability#linux#kernel

• eBPF Deep Dive — Linuxカーネルをプログラマブルにした VM、Verifier、XDP、CO-RE 徹底解説 (2025)

  カーネルに安全にコードを注入する — それが eBPF の革命である。本稿では VM とバイトコード、安全性を保証する Verifier、Maps (Hash/Array/Ring Buffer 等)、プログラムタイプ (kprobe/tracepoint/XDP/TC/LSM)、BTF と CO-RE、XDP による高性能パケット処理、そして Cilium/Falco/Pixie の活用方法までを内部から実践まで解剖する。

  2026-04-15 · 19 分で読めます #ebpf#linux#kernel#xdp#observability

• eBPF 完全ガイド — カーネル内の小さな仮想マシン: Verifier、JIT、CO-RE、Maps、Attach Points、XDP、LSM、sched_ext (2025) ♪ 聞けます

  eBPF のすべて — 1992年 cBPF から 2014年 eBPF、そして 2024年 schedext までの歴史。11 個のレジスタを持つ仮想マシン ISA、verifier の静的解析、JIT コンパイル、BTF と CO-RE、17 種以上の BPF map、200 を超える helper 関数、kprobe/uprobe/tracepoint/XDP/tc/LSM/cgroup/schedext の attach poi

  2026-04-15 · 45 分で読めます #linux#kernel#ebpf#bpf#xdp

• eBPF完全ガイド2025：カーネルプログラミング、Observability、ネットワーキング、セキュリティの革命

  eBPFの全て！Linuxカーネル安全プログラミング、BCC vs libbpf vs bpftrace、Cilium（ネットワーキング）、Falco（セキュリティ）、Pixie（observability）、Tetragon、CO-RE、実践トレーシング、性能最適化、本番事例。

  2026-04-14 · 23 分で読めます #ebpf#kernel#observability#networking#security

• ネットワーク & Linux内部構造完全ガイド — TCP/IP, DNS, iptables, systemd

  TCP/IP 4層モデル、DNS動作原理、HTTP/HTTPS、Linuxネットワークスタック、iptables/nftables、systemd、プロセス管理まで、インフラエンジニア必須知識。

  2026-04-12 · 22 分で読めます #networking#linux#tcp-ip#dns#iptables

• Linuxカーネルパラメータチューニングガイド：sysctl + Boot Params、安全な変更とロールバック

  sysctlランタイムパラメータとブートパラメータを活用したLinuxカーネルチューニング戦略を解説する。ネットワーク・メモリ・ファイルシステム・セキュリティ項目別の推奨値、変更前のバックアップ/検証/ロールバック手順、そしてプロダクション適用チェックリストを整理する。

  2026-03-07 · 13 分で読めます #linux#kernel#sysctl#performance#tuning