コンテンツへスキップ

liz's doc

中文 English 日本語

ai

01-models-and-context

コンテキストエンジニアリングトークンとサンプリングモデルアーキテクチャ: DenseとMoE 推論と思考

02-Agent

エージェントのループとツール使用 MCP と Skills 記憶と状態マルチエージェント・オーケストレーション評価と観測可能性

03-applications-and-production

RAGと検索強化プロンプトエンジニアリングと構造化出力コスト、パフォーマンス、信頼性セキュリティと保護本番化チェックリスト

compilers

01-lexical-analysis

正規表現とオートマトン字句解析器の設計

02-syntax-analysis

再帰下降と LL 解析 LR解析 AST設計とエラーリカバリ

03-semantic-analysis

記号表とスコープ型システム

04-intermediate-representation

SSA形式 LLVM IR 実践

05-optimization

データフロー解析古典的最適化レジスタ割り当て

06-code-generation

命令選択目標コードと ABI

07-runtime

ガベージコレクションリンクとロード

08-compilation-technology-applications

JIT コンパイル DSL 設計コンパイル時メタプログラミング LSP と Language Server

devops

Bluetooth 操作マニュアル Caddy 操作マニュアル証明書操作マニュアルデータベース操作マニュアルディスク操作マニュアル DNS 運用マニュアル Docker 操作手册 Git 操作マニュアル Grafana 操作マニュアル Helm 操作マニュアル Kubernetes 運用マニュアルカーネル操作マニュアルメディア操作マニュアル mihomo 操作手册ネットワークインターフェース操作マニュアル nftables 操作マニュアル Perforce 操作マニュアル Gentoo パッケージ管理オペレーションマニュアル Prometheus 運用マニュアル SSH 操作マニュアルストレージ操作マニュアル systemd 操作手册 Tailscale 操作マニュアル

runbooks

wildwindstudio.com 証明書の自動更新 + Tencent Cloud CLB 再バインド wildwindstudio.com EdgeOne（EO）運用保守マニュアル

distributed-systems

01-basic-theory

CAPと一貫性モデル時間とクロック故障モデル

02-consensus-protocols

Raft Paxos 実システムにおけるコンセンサスの実践

03-replication-and-consistency

複製戦略競合解決分散トランザクション

04-partitioning-and-routing

一貫性ハッシュパーティショニング戦略動的リバランス

05-members-and-discovery

故障検出 Gossip プロトコルサービスディスカバリ

06-distributed-storage

分散読み書きパス反熵とデータ修復ストレージシステムの具体例

07-messages-and-streams

メッセージセマンティクス Kafka アーキテクチャ消費グループと協調動作

08-observability

分散トレーシングメトリクスとアラート

hardware

01-basic-electricity

基本物理量と法則直流回路解析

02-passive-components

抵抗器 (Resistor) コンデンサ (Capacitor) インダクタとトランス

03-semiconductor

帯構造理論とドーピング PN接合 (PN接合) 二极管 (Diode) BJT バイポーラ接合トランジスタ MOSFET（金属酸化膜・半導体電界効果トランジスタ）パワーデバイス概要

04-analog-circuits

増幅回路の基礎オペアンプ (Op-Amp) 電源回路

05-digital-circuits

論理ゲートとブール代数組合論理回路时序論理回路

06-interfaces-and-communication

レベル標準とインターフェース物理層シリアルバスプロトコル USB と Type-C PCIe と高速インターコネクトディスプレイとカメラインターフェース

07-wireless-communications

WiFi と Bluetooth IoT無線プロトコル

08-power-and-protection

充電プロトコルと急速充電電池技術保護回路

09-embedded-systems

MCU 選定と開発エコシステム一般的な周辺回路センサーストレージ技術

10-practices-and-tools

計測機器とツール PCB 設計の基礎デバッグとプログラミングインターフェース

homelab

ローカル大規模モデルはどのような支援が可能か —— 境界、ユースケース、自動化ローカルLLM導入ノートフルスタック監視:Prometheus + Grafana + Loki + Tempo + Bark 家庭ネットワークアーキテクチャドキュメントネットワーク障害復旧マニュアル rathole + Caddy による内網脱出: CGNAT からパブリック HTTPS への完全ガイドサーバーのライフサイクル: 参加と削除ソftwareスタック一覧システムディスクのバックアップと復元定期タスクと自動スケジューリング

linux-kernel

01-process-management

task_struct とプロセスのライフサイクルスケジューラコンテキストスイッチシグナルと ptrace

02-memory-management

仮想メモリ VMAとMaple Tree 物理メモリ管理 Slab と kmalloc ページ回収とスワップ

03-file-system

VFS — 仮想ファイルシステム層 Page Cache と I/O ファイルシステムの実装 VFS 応用 ZFS — カーネルの一部ではないが、避けては通れない NFS (Network File System) 一時ファイルシステムと擬似ファイルシステム

04-interrupts-and-clocks

割込みサブシステムクロックとタイマー時間管理

05-synchronization-mechanisms

ロック機構 RCU (Read-Copy-Update) 同期デバッグ

06-network-subsystem

ネットワークプロトコルスタックの概要 TCP/IP プロトコルスタック Netfilter と BPF/XDP その他のネットワークトピック RDMA (Remote Direct Memory Access)

07-block-device-layer

ブロックデバイス層 NVMe とストレージ

08-ebpf-and-observability

eBPF 基礎 eBPF プログラムタイプトレースとデバッグ

09-security-mechanisms

LSM とアクセス制御カーネルの堅牢化 Crypto API とストレージ暗号化

10-drivers-and-device-model

デバイスモデル PCIe と USB ドライバモデル DRM とグラフィックス IOMMU と DMA API

11-kernel-development-and-build

Kbuild とモジュールデバッグとテストライブパッチング

12-containers-and-primitives

名前空間 cgroup

13-kvm-and-virtualization

KVMアーキテクチャ KVMのメモリとデバイス仮想化 QEMU と KVM の連携

14-power-management

cpufreq と cpuidle 休止とウェイクアップ

networking

01-l2-data-link

Ethernet と MAC ARP と NDP スイッチング、ブリッジング、そしてVXLAN

02-l3-network-layer

IPv4 プロトコル IPv6 プロトコル ICMP と PMTUD ルーティングと BGP

03-l4-transport-layer

TCP UDP と QUIC 転送層ポートとNAT透過

04-DNS

DNS プロトコルと解決 DNSSEC と DNS のセキュリティ DNSプライバシー: DoH, DoT, DoQ, ODoH DNSインフラストラクチャ

05-tls-and-pki

TLS 1.2 ハンドシェイク TLS 1.3 ハンドシェイク証明書とPKI mTLS と双方向認証

06-HTTP

HTTP/1.1 HTTP/2 HTTP/3 リバースプロキシとロードバランシング RESTとAPI設計 WebSocket と SSE

07-proxy-protocol

順方向プロキシ透過的プロキシと TUN プロキシプロトコルの比較

08-vpn-and-tunnels

WireGuard プロトコル Tailscale アーキテクチャ IPsec と IKEv2 トンネリング技術の比較

09-email-protocols

SMTP IMAP と POP3

10-real-time-communication

WebRTC ストリーミングプロトコル MQTT

11-messages-and-events

Webhook とコールバックメッセージキュープロトコル

12-security-protocols

SSH プロトコル OAuth2 と OpenID Connect 認証フレームワーク

13-network-diagnostics

tcpdump と Wireshark ネットワーク障害診断の手法論ネットワークパフォーマンスとチューニング

14-protocol-design-and-evolution

バイナリプロトコルの設計プロトコルの進化と互換性

rust

01-ownership-and-borrowing

所有権モデル参照と借用ライフタイム

02-type-system

基本型とメモリレイアウト enumとパターンマッチング struct と trait

03-advanced-generics-and-traits

ジェネリクスと単一化 Trait オブジェクトと動的ディスパッチ関連型とGAT

04-smart-pointers-and-memory

Box, Rc, Arc Cell, RefCell, Mutex: 内部可変性アロケータとメモリレイアウト

05-error-handling

Result と Option Error trait とエコシステム

06-concurrency-and-asynchrony

Send と Sync async/await の内部メカニズム tokio ランタイムスレッドと同期プリミティブ

07-unsafe-rust

裸のポインタと FFI unsafe ブロックと Soundness（健全性）契約インラインアセンブリ

08-macro-system

宣言的マクロ (macro_rules!) プロシージャルマクロ (Procedural Macros)

09-cargo-and-build

Cargo.toml 詳細解説条件付きコンパイルと cfg ワークスペースとプロジェクト管理

10-standard-library-depth

Iterator とクロージャーコレクション型文字列と Path

11-ffi-and-system-interaction

C ABI と bindgen カーネルモジュールと no_std

12-async-ecosystem

Tower とミドルウェア tonic (gRPC)

systems-programming

01-elf-and-binary-formats

ELF ファイル形式動的リンクと ld.so 読み込みと起動: _start → main

02-system-call-abi

x86-64 システムコール ABI ARM64 システムコール ABI glibc システムコールラッパーの内部構造

03-processes-and-memory

プロセスのメモリレイアウト malloc 内部: ptmalloc2 ASLR とセキュリティ保護

04-signals-and-exceptions

シグナル処理のユーザーランド ptrace とデバッグインターフェース

05-io-and-file-systems

バッファリング I/O (stdio) io_uring: 革命的な非同期I/O epoll とイベント駆動

06-ipc-and-synchronization

futex: ユーザー空間ロックの核心 pipe と socketpair 共有メモリとセマフォ

07-toolchain-and-compilation

GCC と Clang の内部リンカスクリプトと再配置 Make / CMake / Meson ビルドシステム

08-performance-and-debugging

perf の深い活用 Valgrind と Sanitizers の実践 ftrace と bpftrace によるユーザーランドトレース

tools

chezmoi CLI ツールボックス Ghostty 私のツールチェーン Zsh 環境 WezTerm Zellij

hyprland

Hyprland エコシステムの全体像 Hyprland 設定 (Lua) Quickshell デスクトップシェルテーマ:matugen(Material You) Hyprland 用コンポーネント

nvim

Neovim 概要 Neovim プラグインとキーバインディング

タグ

liz's doc / compilers / 03-semantic-analysis

compilers/03-semantic-analysis

記号表とスコープ
型システム