[<<][sm][>>][..]
State Machines

After an excursion into writing manual state machines I'm again
veering towards just writing parallel code with blocking constructs.
The new realization is that there doesn't have to be an RTOS.  It's
likely possible to generate C state machines from a HLL.




20200420 danielg on #rust about async compiler
20200213 Making a redo evaluator in C
distcc-style network?
redo: providing temp space to imperative code
20200212 CSP inside an Erlang process?
20200208 switch reactive direction
20200207 Redo
20200206 Ceu
20200127 Rust async block_on
Haskell QC test bench for C CSP programs
20200126 CSP lib: why?
Implementing compiler exploration
Summary
Target mapping
CSP language
Tie breaking allows use of sequential select
FPGA
20200125 Network sends...
CSP: it would be nice to avoid the copy
Remove Time
20200124 Unrolling/unfolding
Programmable datapath
What is human and what is machine?
Programmable data path
Pipeliner: dataflow vs. state machine
Representing state machines
Rendez-vous in hardware
Reiterate FPGA bits
20200123 Decoupling through channels
20200122 Tasks
20200121 CSP on HW
20200119 Wakup ideas
20200118 A single interrupt queue
Scheduler structure: less memory
Spawning a temporary task with static memory
those 4 stack-only control structures, revisited
Inlined forms
Semantics
Seq or new ADT?
CSP and FRP
Representing continuations : union of maximum frames
Syntax layer
Next?
Priority levels
Topics to expand on
Priority inside the network
Priority inheritence, opaque tasks
Priorities
CSP and interrupts: two levels are enough
An OS is CSP + time base?
Reactive systems
Relation between CSP and dataflow
The always waiting task
20200117 CSP
priorities
20200116 SELECT macro
External receive
20200114 csp indexed scheduler
20200113 Accelerator
More efficient?
forking lexical contexts
What does this open up?
20200112 CSP vs. reactive
select
Rework
Generalize
Task switch efficiency
Sending something from outside
20200111 Manual tasks
Draft
Remove element from list
Select
Multiple readers?
A scheduler, again.
Implementing scheduler
Is select the same as non-deterministic choice?
scheduler
summary
Summary exok.c and discovery of the core issue
20200110 Manual example
Continuation
Cheap task switching
Summary
Cheap rendez-vous
Dedicated HW
20200109 Representing the stack
Downward closures or iterators?
Manually
20200107 Abstract interpretation
Continuations
Capture subset of C in s-expressions
20200105 Byrd miniKanren
20200104 CSP in C
New sm.txt notes
Inverting state machine control (futures)
[Reply][About]
[<<][sm][>>][..]