说明
我们操作者在关注内容如何被计算机处理,因此我想设计一个三态操作系统(TriOS)作为 Guest OS,运行在 VS-mode上,其操控被 Hypervisor(HS-mode)虚拟化,Hypervisor 在必要时才进入 M-mode 操控物理硬件,三态语义(缺陷、边界、孤子)重要由 TriOS 实现,Hypervisor 提供隔离与 trap 支持。就是我以前一直认为3进制电脑比2进制电脑要更高效,但这些天的研究让我意识到我以前的看法是无知的,因为计算机并不关心它在处理什么内容,它只关心处理信号,即使是3进制电脑也如此,
下图是TriOS on RISC-V 虚拟化分层图(希望大家提意见,声明此图由人工智能生成。如有问题就是我对操作系统的理解不够而造成的,向大家表示对不起)
┌──────────────────────────────────────────────────────────────────────────────┐
│ USER SPACE (VS-mode) │
│ ┌──────────────┐ ┌──────────────────┐ ┌────────────────────────┐ │
│ │ App (Tri) │────▶│ Tri Libc / SDK │────▶│ Tri Syscall Interface │ │
│ │ │ │ - tri_open() │ │ - tri_read/write() │ │
│ │ │ │ - tri_spawn() │ │ - tri_cap_enter() │ │
│ └──────────────┘ └──────────────────┘ └──────────┬─────────────┘ │
└────────────────────────────────────────────────────────────┼───────────────┘
│ VS-mode ECALL
 ▼
┌──────────────────────────────────────────────────────────────────────────────┐
│ TRIOS KERNEL (Guest OS, VS-mode) │
│ ┌────────────────────────────────────────────────────────────────────────┐ │
│ │ Tri-I/O Stack (三态 I/O 栈) —— 已对齐 Virtio │ │
│ │ ┌─────────────┐ ┌──────────────┐ ┌─────────────────────────┐ │ │
│ │ │ Tri VFS │────▶│ Tri Block │────▶│ Virtio-BLK w/ EXT_DESC │ │ │
│ │ │ │ │ Layer │ │ - F_TRICELL flag │ │ │
│ │ │ │ │ │ │ - 16 B TriCell HDR │ │ │
│ │ └──────┬──────┘ └──────┬───────┘ └──────────┬──────────────┘ │ │
│ │ │ │ │ │ │
│ │ ┌──────▼──────┐ ┌──────▼───────┐ ┌─────────▼──────────┐ │ │
│ │ │ Tri Memory │ │ Tri Device │ │ Tri Network │ │ │
│ │ │ Manager │ │ Manager │ │ (Tri-UDP/TCP) │ │ │
│ │ │ - TriPage │ │ - TriHAL │ │ - TriSocket │ │ │
│ │ │ (L,A,F) │ │ (inject │ │ (cap-handle) │ │ │
│ │ └─────────────┘ │ irq) │ └────────────────────┘ │ │
│ │ └──────┬───────┘ │ │
│ └────────────────────────────┼───────────────────────────────────────┘ │
│ │ │
│ ┌────────────────────────────▼───────────────────────────────────────┐ │
│ │ Tri Scheduler & Soliton Runtime │ │
│ │ - schedule by (Logic,Aspect,Form) │ │
│ │ - migrate across VS addr-space │ │
│ │ - freeze on Defect·Boundary·Soliton (熔断) │ │
│ └────────────────────────────────────────────────────────────────────┘ │
│ │ │
│ ┌────────────────────────────▼───────────────────────────────────────┐ │
│ │ Tri Capability & Security Manager │ │
│ │ - 5-bit cap-handle table (stored in Hypervisor memory) │ │
│ │ - validate via hcall(cap_handle, op) → HS-mode │ │
│ └────────────────────────────┬───────────────────────────────────────┘ │
│ │ │
│ └─────────▼──────────┬──────────────────────────────────────────────────┘
│ │ Trap to Hypervisor
│ ▼
┌──────────────────────────────────────────────────────────────────────────────┐
│ HYPERVISOR (HS-mode, e.g., TriVisor) │
│ ┌────────────────────────────────────────────────────────────────────────┐ │
│ │ Virtual Device Emulation Layer (micro-isolated) │ │
│ │ 1. check F_TRICELL flag │ │
│ │ 2. length/CRC verify (HS-mode) │ │
│ │ 3. pass to U-mode tri-hostd via SBI call │ │
│ └──────────────────────┬───────────────────────────────────────────────┘ │
│ │ SBI call (sbi_tri_cell_parse)
│ ▼
│ ┌───────────────────────▼──────────────────────────────────────────────┐ │
│ │ U-mode tri-hostd (TriCell Semantic Parser) │ │
│ │ - parse (L,A,F) │ │
│ │ - store sidecar: file.bin + file.tricell │ │
│ │ - return status → HS-mode → Guest │ │
│ └───────────────────────┬──────────────────────────────────────────────┘ │
│ │ interrupt injection
│ ▼
│ HS-mode Trap Handler │
│ - handle Guest page-fault w/ new scause │
│ 0x40/0x41/0x42 (TriPage fault) │
│ - allocate physical page by (L,A,F) type │
└─────────────────────────┬──────────────────────────────────────────────────┘
│ │ (via SBI or direct M-mode call)
│ ▼
┌──────────────────────────────────────────────────────────────────────────────┐
│ HOST ENVIRONMENT (S/U-mode) │
│ ┌───────────────────────▼──────────────────────────────────────────────┐ │
│ │ TriFS Host Backend (tri-hostd) │ │
│ │ - Btrfs / FUSE sidecar (file.tricell) │ │
│ │ - compress option (LZ4/Zstd) ← P1 优化 │ │
│ │ - cross-VM migration support (VM-UUID in TriCell) ← P1 优化 │ │
│ └───────────────────────┬──────────────────────────────────────────────┘ │
│ │
│ ┌───────────────────────▼──────────────────────────────────────────────┐ │
│ │ Physical Hardware │ │
│ │ - NVMe ZNS: DATA zone vs. DEFECT zone │ │
│ │ - CHERI 256-bit capability (5-bit t27 field) │ │
│ └────────────────────────────────────────────────────────────────────────┘ │
└──────────────────────────────────────────────────────────────────────────────┘
(请读者严格审核,如愿意给予指导将不胜感激)
                    
                
                
            
        
浙公网安备 33010602011771号