Remove out-of-scope and obsolete text
This commit is contained in:
parent
0b0aabfbfd
commit
873071a924
|
@ -44,6 +44,3 @@ implementation instantiates this interface as a collection of Typed
|
|||
Racket programs.
|
||||
|
||||
@section{TCP chat server}
|
||||
@section{Authoritative DNS server}
|
||||
@section{DNS resolver server}
|
||||
@section{SSH server}
|
||||
|
|
|
@ -15,7 +15,6 @@ This manual TODO
|
|||
@include-section["concepts.scrbl"]
|
||||
@include-section["highlevel.scrbl"]
|
||||
@include-section["lowlevel.scrbl"]
|
||||
@include-section["vm.scrbl"]
|
||||
@include-section["drivers.scrbl"]
|
||||
@include-section["writing-drivers.scrbl"]
|
||||
@include-section["management-and-monitoring.scrbl"]
|
||||
|
|
|
@ -1,83 +0,0 @@
|
|||
#+STARTUP: nofold
|
||||
|
||||
** Overview and Motivation
|
||||
|
||||
** Concepts
|
||||
*** What is a process, what are event handlers?
|
||||
*** What is a VM?
|
||||
*** Subscription and Advertisement
|
||||
**** orientation
|
||||
**** topics, patterns and messages
|
||||
**** interest-type
|
||||
**** roles
|
||||
*** Presence
|
||||
*** Nesting, relaying, and levels of discourse
|
||||
|
||||
** High-level interface
|
||||
*** #lang marketplace
|
||||
**** ground-vm, ground-vm:
|
||||
*** Constructing topics and roles
|
||||
**** ?
|
||||
**** Role
|
||||
**** Orientation
|
||||
**** InterestType
|
||||
*** Constructing transitions
|
||||
**** transition, transition:, transition/no-state
|
||||
**** cons-trees of actions; null, false, void; use of (when)
|
||||
**** sequence-actions
|
||||
*** Actions
|
||||
**** Communication-related
|
||||
***** endpoint, endpoint:
|
||||
***** delete-endpoint
|
||||
***** send-message
|
||||
***** send-feedback
|
||||
**** Process- and scheduling-related
|
||||
***** spawn, spawn:
|
||||
***** quit
|
||||
***** yield, yield:
|
||||
***** nested-vm, nested-vm:
|
||||
**** Cross-layer
|
||||
***** at-meta-level, at-meta-level:
|
||||
|
||||
** Low-level interface
|
||||
*** Handler functions
|
||||
*** Events
|
||||
*** Actions
|
||||
**** Communication-related
|
||||
***** add-endpoint
|
||||
***** delete-endpoint
|
||||
***** send-message
|
||||
**** Process- and scheduling-related
|
||||
***** spawn
|
||||
***** quit
|
||||
***** yield
|
||||
**** Cross-layer
|
||||
***** at-meta-level
|
||||
|
||||
** How the VMs work
|
||||
*** run-vm
|
||||
*** unification and Racket data (struct-map)
|
||||
*** nested VMs
|
||||
*** ground VMs and interfacing to Racket's event system
|
||||
|
||||
** Drivers
|
||||
*** event-relay
|
||||
*** tcp-bare
|
||||
*** tcp
|
||||
*** timer (typed and untyped)
|
||||
*** udp (typed and untyped)
|
||||
|
||||
** Writing new drivers
|
||||
*** pseudo-substruct
|
||||
|
||||
** Management and monitoring
|
||||
*** generic-spy
|
||||
*** logging (MATRIX_LOG)
|
||||
*** debugger (experimental)
|
||||
|
||||
** Example Applications
|
||||
*** TCP echo server
|
||||
*** TCP chat server
|
||||
*** Authoritative DNS server
|
||||
*** DNS resolver server
|
||||
*** SSH server
|
|
@ -1,10 +0,0 @@
|
|||
#lang scribble/manual
|
||||
@require[racket/include]
|
||||
@include{prelude.inc}
|
||||
|
||||
@title{How Marketplace VMs work}
|
||||
|
||||
@section{run-vm}
|
||||
@section{unification and Racket data (struct-map)}
|
||||
@section{nested VMs}
|
||||
@section{ground VMs and interfacing to Racket's event system}
|
Loading…
Reference in New Issue