Subject: System

Keywords: ::CODE
          ::algorithm
          ::usage

Title: notifiable_process

--------------------------------------------------

process-state : needs own faq
  - process state maintained in alist in global process env.
  * thread is launched by apply process-func to q
  * process-state-loop reads queue until (does sleep once per notify) empty
    and then exits.
  * just generic notify, notify has func, notify gets applied to func,
    func is process-state-launch

  who launches : dispatcher on notify?


A tool for constructing automated plans

new_notifiable_process :
 tok : transaction priority (LOW NORMAL HIGH)
 kind : transacction kind (READONLY WRITE etc)\
 string : mnemonic
 mk : send -> 
 * : state  

msgf :  sendf -> ((input:prop list) -> state -> (continue? # state))
sendf : (eval_request -> unit)  

continue? : if false then exit loop but  
eval_request : unit + guid # tparms # posure # eprops # nprops

tparms : delay? # pri # kind
  - delay true means wait for process loop to exit prior to dispatch?
    if process may modify system state then want to delay to ensure
    that updates are complete and broadcast prior to eval.

eprops : props supplied to eval 
nprops : notify props : to return with notify?
⋅
--------------------------------------------------

Authors: RICH:t

⋅

Home