shrub/pkg/arvo/sys/vane/khan.hoon
2022-01-26 17:45:25 -08:00

145 lines
3.4 KiB
Plaintext

:: %khan, thread runner
!:
!? 164
::
|= our=ship
=> |%
+$ move [p=duct q=(wite note gift:khan)]
+$ note :: out request $->
$~ [%g %deal *sock *term *deal:gall]
$% $: %g :: to %gall
$>(%deal task:gall) :: full transmission
== == ::
+$ sign :: in response $<-
$% $: %gall
$>(%unto gift:gall)
==
$: %khan
$>(%avow gift:khan)
== ==
+$ khan-state
$: %0
unix-duct=duct
out-dais=(map duct dais:clay)
==
--
=>
|%
++ get-dais
|= [=beak =mark rof=roof]
^- dais:clay
?~ ret=(rof ~ %cb beak /[mark])
~|(%mark-unknown !!)
?~ u.ret
~|(%mark-invalid !!)
?> =(%dais p.u.u.ret)
!<(dais:clay q.u.u.ret)
++ start-spider
|= [our=@p =cage]
^- note
[%g %deal [our our] %spider %poke cage]
++ watch-spider
|= [our=@p =path]
^- note
[%g %deal [our our] %spider %watch path]
--
=| khan-state
=* state -
|= [now=@da eny=@uvJ rof=roof]
=* khan-gate .
^?
|%
:: +call: handle a +task:khan request
::
++ call
|= $: hen=duct
dud=(unit goof)
wrapped-task=(hobo task:khan)
==
^- [(list move) _khan-gate]
::
=/ =task:khan ((harden task:khan) wrapped-task)
?+ -.task [~ khan-gate]
%born
:- ~
%= khan-gate
unix-duct hen
out-dais *(map duct dais:clay)
==
%fyrd
=/ wir=wire (head hen)
=/ rid=@ta (rear wir)
=* fyd p.task
?: (~(has by out-dais) hen)
~|(%fyrd-duplicate-rid !!)
=/ tid=@ta
(cat 3 'khan-fyrd--' rid)
=/ =beak
?@(bear.fyd [our bear.fyd %da now] [our bear.fyd])
=/ =dais:clay (get-dais beak p.data.fyd rof)
=/ args
:* ~ `tid beak name.fyd
(vale.dais q.data.fyd)
==
=/ start-moves=(list move)
%+ turn
:~ (watch-spider our /thread-result/[tid])
(start-spider our %spider-start !>(args))
==
|=(=note ^-(move [hen %pass //g note]))
=. out-dais
%+ ~(put by out-dais) hen
(get-dais beak mark.fyd rof)
[start-moves khan-gate]
==
:: +load: migrate an old state to a new khan version
::
++ load
|= old=khan-state
^+ khan-gate
khan-gate(state old)
:: +scry: nothing to see as yet
::
++ scry
^- roon
|= [lyc=gang car=term bem=beam]
^- (unit (unit cage))
~
++ stay state
:: +take: handle responses.
::
++ take
|= [tea=wire hen=duct dud=(unit goof) hin=sign]
^- [(list move) _khan-gate]
?^ dud
~|(%khan-take-dud (mean tang.u.dud))
?. ?=(%gall -.hin)
[~ khan-gate]
?+ -.p.hin [~ khan-gate]
?(%poke-ack %watch-ack)
?~ p.p.hin [~ khan-gate]
%- (slog u.p.p.hin)
:_ khan-gate
[hen %give %avow %| -.p.hin u.p.p.hin]~
::
%fact
=* cag cage.p.hin
?+ p.cag ~&(bad-fact+p.cag !!)
%thread-fail
=/ =tang !<(tang q.cag)
%- (slog tang)
:_ khan-gate
[hen %give %avow %| p.cag tang]~
::
%thread-done
:_ khan-gate
=/ =dais:clay (~(got by out-dais) hen)
=/ res=vase (vale:dais !<(* q.cag))
:: XX store and reflect back mark?
[hen %give %avow %& form.dais q.res]~
==
%kick
[~ khan-gate(out-dais (~(del by out-dais) hen))]
==
--