Donjuanplatinum Notes Logo
  • 计算机
    • Linux
    • 容器镜像配置
    • 错误与处理
    • 游戏环境
    • Gentoo Linux配置
    • 工具
    • 算法
    • emacs
    • Linux内核
    • Linux
    • 硬件
    • 说话术语
    • coding
    • Rust
    • CPP
    • NixOS
    • 正则表达式
    • 逻辑
    • 服务
    • RFC
    • ML
    • Python
    • Pypi
    • 汇编
    • 逆向
    • 协议
    • Lean4形式化证明
    • rCore操作系统内核
    • 嵌入式
    • 深度学习
    • 操作系统
    • coq
    • GNU Hurd内核
      • GNU Mach
      • BPF过滤器实现
    • CUDA
    • EE
  • 数学
  • 博客
  • 要做的
  • Latex
  • 定理
Donjuanplatinum Notes
  • 计算机
  • GNU Hurd内核
  • 查看页面源码

GNU Hurd内核

  • GNU Mach
    • 虚拟地址空间
      • Page
        • Wired Page
        • Precious Page
      • 内存对象
        • Pager
    • Task
    • Port and IPC
      • port set
      • message
    • Capability
      • delegation
    • 外部分页机制
      • 创建与映射mem obj
      • page fault
      • paging data out
    • vfs
    • Translator
  • BPF过滤器实现
    • BPF过滤器
      • ISA指令集架构
        • 基本指令编码
        • 宽指令编码
        • instruction class
          • 算术与跳转
          • 字节交换指令END
    • hurd实现
      • 流程
      • queue
      • if_filter_list_t
        • net_rev_port
上一页 下一页

© 版权所有 2025, Donjuanplatinum。

利用 Sphinx 构建,使用的 主题 由 Read the Docs 开发.