1 个仓库
Awesome GitHub RepositoriesAlgorithmic Complexity Optimizations
Techniques to ensure optimal time and space complexity for core system operations.
Distinguishing note: None of the candidates cover general algorithmic complexity optimization in a kernel context, as they focus on vector paths or binary paths.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Algorithmic Complexity Optimizations. Refine with filters or upvote what's useful.
Awesome Algorithmic Complexity Optimizations GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- asterinas/asterinas
asterinas/asterinas
4,678在 GitHub 上查看Asterinas 是一个内存安全的操作系统内核，旨在防止数据竞争和内存损坏。它作为一个兼容 Linux-ABI 的内核，能够运行现有的 Linux 二进制文件和容器工作负载，同时提供声明式的操作系统分发模型。 该项目的特色在于充当虚拟机容器宿主机和机密计算客户机操作系统，使其能够在 Intel TDX 等硬件隔离的可信执行环境（TEE）中运行。它通过隔离不安全底层操作实现了最小化的可信计算基（TCB），并将核心内核机制与特定策略实现分离开来。 该系统涵盖了广泛的能力，包括物理和虚拟内存管理、对称多处理（SMP），以及针对各种 CPU 架构的硬件抽象。它还包括对安全容器运行时的支持、一套全面的网络和 Socket 原语，以及用于内核编译和仿真的专用工具链。 该项目支持在 x86-64、RISC-V 64 和 LoongArch 64 平台上进行多架构部署。
Maintains sub-linear time complexity for frequent kernel operations to reduce latency and increase processing speed.
Rustkernelosrust
