コンテンツへスキップ
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 / distributed-systems / 01-basic-theory

distributed-systems/01-basic-theory

  • CAPと一貫性モデル
  • 時間とクロック
  • 故障モデル
© 2026 liz's doc