Skip to main content
Ctrl+K
CellulOS 0.1 documentation - Home CellulOS 0.1 documentation - Home
  • Welcome to CellulOS’s Wiki!

User Guide

  • Getting Started
    • Booting the System
  • Executing User Code
    • Spawning Common PDs
    • Flexible PD Configuration
  • Configuration Options
  • System Tests
  • Model State
  • Benchmarking

Development

  • Resource Servers
    • Requirements
    • Creation
    • Communications
    • Registry Library
    • Creating a Resource Server: Step by Step
  • Resources in CellulOS
  • Implementation Glossary
  • Virtual Machine Monitor
  • Troubleshooting Development Errors
  • Endpoint Component

Design

  • Design Overview
  • Apps
    • The Ramdisk Server
    • The File Server
    • The KVStore Server
  • Design Decisions
    • Preventing Deadlocks with Async Messages
    • Cleanup Policy Design
    • PD Configuration Design
      • PD Runtime Setup
      • Unified PD Entry and Exit Point
  • Design Quirks
  • Known Limitations
  • .md

Resource Servers

Resource Servers#

Resource servers are PDs which provide one or more types of resources to other client PDs. They manage resource spaces by creating resources in the space, mapping resources in the space to other resources, and giving resources to other PDs.

  • Requirements
  • Creation
    • Creating a Resource Space
    • Utility Libraries
  • Communications
    • Resource Server RPC
      • NanoPB
      • Magic Numbers
      • NanoPB Slowdown
    • Serving Client Requests
      • Creating a Resource
        • Aside: Sending vs Giving Resources
      • Requests on a Resource
    • Handling Work Requests
      • Receiving Work Requests
      • Responding to Work Requests
        • Preparing a Model State
    • Storing Reply Capabilities
  • Registry Library
    • Registry Entries
    • Registry Keys
    • Reference Counts
    • UTHash
  • Creating a Resource Server: Step by Step
    • From Scratch
      • Create the Server
      • Fill in the Blanks
    • From an Existing App

previous

Benchmarking

next

Requirements

By Sid Agrawal, Linh Pham, Arya Stevinson

© Copyright 2024, Sid Agrawal.