全球计算机底层逻辑
与异构计算智库

内核态协议

分支预测单元 BPU 缓存注入与预测失败时钟周期损耗精算

VIEW ARCHIVE 异构计算

内核态系统调用 syscall 在微内核架构下的上下文切换审计

VIEW ARCHIVE 量子物理逻辑

异构计算中片上系统 SoC 数据总线互连延迟与拥塞模型

VIEW ARCHIVE 网络确定性

量子逻辑门退相干效应对比特翻转概率影响的深度精算

VIEW ARCHIVE 逻辑门精算

确定性以太网时钟同步协议 PTP 在高抖动环境下的精度模型

VIEW ARCHIVE 编译器工程

逻辑门级电路路径时延与晶体管漏电流效应的物理精算

VIEW ARCHIVE 分布式存储

编译器中间表示 IR 变换过程中寄存器分配算法的效能审计

VIEW ARCHIVE 内存一致性

分布式存储系统一致性哈希环重平衡过程中的带宽开销模型

VIEW ARCHIVE 形式化验证

弱内存模型下多线程竞争条件导致的可见性延迟深度审计

VIEW ARCHIVE 微架构审计

基于形式化验证的密码学协议安全性逻辑确权与漏洞精算

VIEW ARCHIVE 内核态协议

内核态协议 微观建模 118211

VIEW ARCHIVE 异构计算

异构计算 逻辑确权 118212

VIEW ARCHIVE 量子物理逻辑

量子物理逻辑 底层演进 118213

VIEW ARCHIVE 网络确定性

网络确定性 效能精算 118214

VIEW ARCHIVE 逻辑门精算

逻辑门精算 深度审计 118215

VIEW ARCHIVE 编译器工程

编译器工程 微观建模 118216

VIEW ARCHIVE 分布式存储

分布式存储 逻辑确权 118217

VIEW ARCHIVE 内存一致性

内存一致性 底层演进 118218

VIEW ARCHIVE 形式化验证

形式化验证 效能精算 118219

VIEW ARCHIVE 微架构审计

微架构审计 深度审计 118220

VIEW ARCHIVE