mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-12-21 13:51:50 +03:00
8123255a62
These take and produce vases, and assign random tids (rather than
deducing them from the input duct.)
Since %fard does not require mark conversion, we make the mark/beak on
$thread-state optional (and use this to decide whether to send %avow or
%arow.) Provide a state adapter since it's possible that people have
been experimenting with this vane.
This makes the negative case of %avow/%arow kind of clunky, since there
is no content difference, but the following does not seem possible
within the Hoon type system:
=/ gif
?~ p.tad
%arow %avow
[hen %give gif %| p.cag tang]~
190 lines
4.7 KiB
Plaintext
190 lines
4.7 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
|
|
$> ?(%arow %avow)
|
|
gift:khan
|
|
== ==
|
|
+$ khan-state
|
|
$: %1
|
|
hey=duct :: current unix duct
|
|
run=(map duct thread-state) :: running threads
|
|
==
|
|
+$ thread-state
|
|
[tid=@ta p=(unit [mak=mark bek=beak])]
|
|
--
|
|
=>
|
|
|%
|
|
++ 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 =vase]
|
|
^- note
|
|
[%g %deal [our our] %spider %poke %spider-start vase]
|
|
++ 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
|
|
hey hen
|
|
run *(map duct thread-state)
|
|
==
|
|
::
|
|
%fard
|
|
=* fad p.task
|
|
=/ tid=@ta
|
|
(cat 3 'khan-fard--' (scot %uv (sham eny)))
|
|
=/ =beak
|
|
?@(bear.fad [our bear.fad %da now] bear.fad)
|
|
=/ args
|
|
[~ `tid beak name.fad data.fad]
|
|
=/ start-moves=(list move)
|
|
%+ turn
|
|
:~ (watch-spider our /thread-result/[tid])
|
|
(start-spider our !>(args))
|
|
==
|
|
|=(=note ^-(move [hen %pass //g note]))
|
|
=. run (~(put by run) hen tid ~)
|
|
[start-moves khan-gate]
|
|
::
|
|
%fyrd
|
|
=/ wir=wire (head hen)
|
|
=/ rid=@ta (rear wir)
|
|
=* fyd p.task
|
|
?: (~(has by run) hen)
|
|
~|(%fyrd-duplicate-rid !!)
|
|
=/ tid=@ta
|
|
(cat 3 'khan-fyrd--' rid)
|
|
=/ =beak
|
|
?@(bear.fyd [our bear.fyd %da now] 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 !>(args))
|
|
==
|
|
|=(=note ^-(move [hen %pass //g note]))
|
|
=. run (~(put by run) hen tid `[out-mark.fyd beak])
|
|
[start-moves khan-gate]
|
|
==
|
|
:: +load: migrate an old state to a new khan version
|
|
::
|
|
++ load
|
|
|= $= old
|
|
$% $: %0
|
|
hey=duct
|
|
run=(map duct [tid=@ta mak=mark bek=beak])
|
|
==
|
|
khan-state
|
|
==
|
|
^+ khan-gate
|
|
=/ new=khan-state
|
|
?: ?=(%0 -.old)
|
|
:+ %1
|
|
hey.old
|
|
%- ~(urn by run.old)
|
|
|= [a=duct b=[tid=@ta mak=mark bek=beak]]
|
|
[tid.b `[mak.b bek.b]]
|
|
old
|
|
khan-gate(state new)
|
|
:: +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
|
|
=. run (~(del by run) hen)
|
|
~|(%khan-take-dud (mean tang.u.dud))
|
|
?. ?=(%gall -.hin)
|
|
[~ khan-gate]
|
|
?+ -.p.hin [~ khan-gate]
|
|
?(%poke-ack %watch-ack)
|
|
?~ p.p.hin [~ khan-gate]
|
|
=. run (~(del by run) hen)
|
|
%- (slog 'khan-ack' u.p.p.hin)
|
|
:_ khan-gate
|
|
=/ tad (~(got by run) hen)
|
|
?~ p.tad
|
|
[hen %give %arow %| -.p.hin u.p.p.hin]~
|
|
[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 'khan-fact' tang)
|
|
:_ khan-gate
|
|
=/ tad (~(got by run) hen)
|
|
?~ p.tad
|
|
[hen %give %arow %| p.cag tang]~
|
|
[hen %give %avow %| p.cag tang]~
|
|
::
|
|
%thread-done
|
|
:_ khan-gate
|
|
=/ tad (~(got by run) hen)
|
|
?~ p.tad
|
|
[hen %give %arow %& q.cag]~
|
|
=/ mak mak.u.p.tad
|
|
=/ bek bek.u.p.tad
|
|
=/ =dais:clay (get-dais bek mak rof)
|
|
=/ =vase (vale:dais q.q.cag)
|
|
[hen %give %avow %& mak q.vase]~
|
|
==
|
|
%kick
|
|
[~ khan-gate(run (~(del by run) hen))]
|
|
==
|
|
--
|