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