1. 1. Overview
  2. 2. Kernel Architecture
    1. 2.1. Concurrency
      1. 2.1.1. Node Replication
      2. 2.1.2. Concurrent Node Replication
    2. 2.2. Memory
    3. 2.3. Process
    4. 2.4. Scheduler
    5. 2.5. File system
  3. 3. User Space
    1. 3.1. KPI
    2. 3.2. Lineup
    3. 3.3. Vibrio
    4. 3.4. RKApps
  4. 4. Development
    1. 4.1. Configuration
    2. 4.2. Styleguide
    3. 4.3. Building
    4. 4.4. Running
    5. 4.5. Debugging
    6. 4.6. Testing
    7. 4.7. Tracing
  5. 5. Benchmarking
    1. 5.1. Microbenchmarks
    2. 5.2. Redis
    3. 5.3. Memcached
    4. 5.4. LevelDB
    5. 5.5. Artifact Evaluation (OSDI'21)
    6. 5.6. Baselines
  6. 6. Environment
    1. 6.1. Persistent Memory
    2. 6.2. Remote DMA
    3. 6.3. VM shared memory
    4. 6.4. Compute Express Link
  7. 7. Continuous Integration
  8. 8. Related Work
  9. 9. Contributors

nrk Documentation

Related Work

NRK takes inspiration from decades of academic research. The following list is by no means exhaustive:

Operating Systems

  • Barrelfish
  • Tornado
  • K42
  • sv6
  • Rumpkernel
  • LibrettOS
  • seL4
  • Disco
  • Mitosis

Scalable Data structures

  • Flat combining
  • Read-Log-Update and RLU with multi-versioning
  • Predictive Log Synchronization
  • OpLog

Log based designs

  • ScaleFS
  • Corfu
  • Raft