2017-02-08 05:28:12 +03:00
|
|
|
!: :: /sys/arvo
|
|
|
|
|
:: :: !%reference/2
|
|
|
|
|
:: %arvo: arvo microkernel.
|
|
|
|
|
::
|
|
|
|
|
=< :: this lifecycle wrapper makes the arvo door
|
|
|
|
|
:: (multi-armed core) look like a gate (function
|
|
|
|
|
:: or single-armed core), to fit urbit's formal
|
|
|
|
|
:: lifecycle function. a practical interpreter
|
|
|
|
|
:: can ignore it.
|
|
|
|
|
::
|
|
|
|
|
|= {now/@da ovo/ovum}
|
|
|
|
|
^+ .
|
|
|
|
|
~> %slog.[0 leaf+"arvo-event"]
|
|
|
|
|
.(+> +:(poke now ovo))
|
|
|
|
|
=>
|
|
|
|
|
:: :: ::
|
2017-02-09 05:19:39 +03:00
|
|
|
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::: :: (1) public molds
|
2017-02-08 05:28:12 +03:00
|
|
|
:: :: ::
|
|
|
|
|
|%
|
2017-02-09 05:19:39 +03:00
|
|
|
++ arms (map chip dope) :: stated identity
|
2017-02-22 08:11:03 +03:00
|
|
|
++ bait :: analysis state
|
|
|
|
|
$: now/@da :: date
|
|
|
|
|
eny/@uvJ :: entropy
|
|
|
|
|
sky/roof :: namespace
|
|
|
|
|
== ::
|
2017-02-08 05:28:12 +03:00
|
|
|
++ card {p/@tas q/*} :: tagged event
|
2017-02-19 04:38:17 +03:00
|
|
|
++ case :: version
|
|
|
|
|
$% {$da p/@da} :: date
|
|
|
|
|
{$tas p/@tas} :: label
|
|
|
|
|
{$ud p/@ud} :: sequence
|
|
|
|
|
== ::
|
2017-02-08 05:28:12 +03:00
|
|
|
++ chip :: standard identity
|
|
|
|
|
$? $giv :: given name
|
2017-02-09 05:19:39 +03:00
|
|
|
$fam :: surname
|
2017-02-08 05:28:12 +03:00
|
|
|
$had :: fictitious name
|
|
|
|
|
$mid :: middle name
|
2017-02-09 05:19:39 +03:00
|
|
|
$gen :: generational suffix
|
2017-02-08 05:28:12 +03:00
|
|
|
== ::
|
2017-02-19 04:38:17 +03:00
|
|
|
++ desk @tas :: ship desk case spur
|
2017-02-09 05:19:39 +03:00
|
|
|
++ dope (pair @tas @t) :: term/unicode pair
|
2017-02-08 05:28:12 +03:00
|
|
|
++ duct (list wire) :: causal history
|
|
|
|
|
++ ovum (pair wire card) :: input or output
|
2017-02-15 07:49:48 +03:00
|
|
|
++ plum (pair term noun) :: deep file
|
2017-02-08 05:28:12 +03:00
|
|
|
++ ruby @pG :: 64-bit passcode
|
2017-02-19 04:38:17 +03:00
|
|
|
++ roof :: namespace
|
|
|
|
|
$- $: lyc/(unit (set ship)) :: leakset
|
|
|
|
|
car/term :: perspective
|
2017-02-22 08:11:03 +03:00
|
|
|
bem/beam :: path
|
2017-02-19 04:38:17 +03:00
|
|
|
== ::
|
2017-02-22 08:11:03 +03:00
|
|
|
%- unit :: ~: unknown
|
|
|
|
|
%- unit :: ~ ~: invalid
|
2017-02-19 04:38:17 +03:00
|
|
|
cask :: marked vase
|
2017-02-22 08:11:03 +03:00
|
|
|
:: ::
|
2017-02-19 04:38:17 +03:00
|
|
|
++ ship @p :: network identity
|
2017-02-08 05:28:12 +03:00
|
|
|
++ wire path :: cause
|
|
|
|
|
-- =>
|
2017-02-09 05:19:39 +03:00
|
|
|
:: :: ::
|
|
|
|
|
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::: :: (2) state molds
|
|
|
|
|
:: :: ::
|
2017-02-08 05:28:12 +03:00
|
|
|
|%
|
2017-02-13 09:48:33 +03:00
|
|
|
++ evil :: evolvable state
|
|
|
|
|
|* {span/_span twig/_twig vase/_vase} :: injected molds
|
2017-02-09 05:19:39 +03:00
|
|
|
|% ::
|
2017-02-15 07:49:48 +03:00
|
|
|
++ boot (pair (unit hoof) hoof) :: hoon/arvo boot src
|
2017-02-13 09:48:33 +03:00
|
|
|
++ hoof @t :: hoon source file
|
2017-02-08 05:28:12 +03:00
|
|
|
++ mall :: any arvo version
|
2017-02-11 05:03:33 +03:00
|
|
|
$? {$293 mast} :: kelvin 293, current
|
2017-02-08 05:28:12 +03:00
|
|
|
== ::
|
|
|
|
|
++ mast :: system state
|
2017-02-11 05:03:33 +03:00
|
|
|
$: $= gut :: abdomen
|
|
|
|
|
$: run/(list move) :: worklist
|
2017-02-13 09:48:33 +03:00
|
|
|
out/(list ovum) :: unix output
|
|
|
|
|
but/(unit boot) :: reboot
|
|
|
|
|
== ::
|
|
|
|
|
$= hax :: thorax
|
|
|
|
|
$: sac/worm :: compiler cache
|
|
|
|
|
kit/toys :: common nouns
|
2017-02-08 05:28:12 +03:00
|
|
|
== ::
|
2017-02-11 05:03:33 +03:00
|
|
|
$= bug :: insect brain
|
|
|
|
|
$: noc/@ta :: process nonce
|
|
|
|
|
ver/(qual @tas @ud @ud @ud) :: vendor/version
|
|
|
|
|
== ::
|
2017-02-08 05:28:12 +03:00
|
|
|
$= mal :: mammal brain
|
2017-02-12 05:44:56 +03:00
|
|
|
$: off/? :: not yet booted
|
|
|
|
|
lac/? :: not verbose
|
2017-02-17 04:37:36 +03:00
|
|
|
eny/@uvJ :: 512-bit entropy
|
2017-02-13 09:48:33 +03:00
|
|
|
yor/vase :: %york, vane models
|
|
|
|
|
zus/vase :: %zuse, user lib
|
2017-02-21 08:18:31 +03:00
|
|
|
van/(map term vase) :: vanes
|
2017-02-08 05:28:12 +03:00
|
|
|
== ::
|
|
|
|
|
$= rep :: reptile brain
|
|
|
|
|
$: orb/@p :: ship
|
|
|
|
|
nym/arms :: name information
|
|
|
|
|
roy/(map @ud ruby) :: start secrets
|
|
|
|
|
fat/(map path (pair term noun)) :: boot filesystem
|
|
|
|
|
== == ::
|
2017-02-09 05:19:39 +03:00
|
|
|
++ mill (each vase milo) :: vase or metavase
|
2017-02-08 05:28:12 +03:00
|
|
|
++ milo {p/* q/*} :: untyped metavase
|
2017-02-11 05:03:33 +03:00
|
|
|
++ move (pair duct part) :: vane move
|
2017-02-08 05:28:12 +03:00
|
|
|
++ part :: arvo vane move
|
|
|
|
|
$% {$give p/mill} :: vane "return"
|
2017-02-11 05:03:33 +03:00
|
|
|
{$pass p/wire q/(pair term mill)} :: vane "call"
|
2017-02-08 05:28:12 +03:00
|
|
|
== ::
|
2017-02-13 09:48:33 +03:00
|
|
|
++ toys :: reflexive constants
|
|
|
|
|
$: typ/span :: -:!>(*span)
|
|
|
|
|
duc/span :: -:!>(*duct)
|
|
|
|
|
pah/span :: -:!>(*path)
|
|
|
|
|
mev/span :: -:!>([%meta *vase])
|
|
|
|
|
== ::
|
2017-02-09 05:19:39 +03:00
|
|
|
++ worm :: compiler cache
|
|
|
|
|
$: nes/(set ^) :: ++nest
|
|
|
|
|
pay/(map (pair span twig) span) :: ++play
|
|
|
|
|
mit/(map (pair span twig) (pair span nock)) :: ++mint
|
|
|
|
|
== ::
|
|
|
|
|
-- ::
|
|
|
|
|
++ live (evil) :: modern molds
|
2017-02-22 08:11:03 +03:00
|
|
|
++ vane :: kernel module
|
2017-02-22 07:21:27 +03:00
|
|
|
$_ ^? :: totally decorative
|
2017-02-22 08:11:03 +03:00
|
|
|
|% ::
|
|
|
|
|
++ load $-(* _+>) :: reload
|
|
|
|
|
++ stay ** :: preserve
|
2017-02-22 08:17:44 +03:00
|
|
|
++ work ::
|
2017-02-22 08:11:03 +03:00
|
|
|
|_ bait
|
|
|
|
|
++ doze *@da
|
|
|
|
|
++ scry roof
|
|
|
|
|
++ spin
|
|
|
|
|
|_ $: :: hen: cause of this
|
|
|
|
|
:: moz:
|
|
|
|
|
::
|
|
|
|
|
hen/duct
|
|
|
|
|
moz/(list move)
|
|
|
|
|
==
|
|
|
|
|
++ call
|
|
|
|
|
|= fav/card
|
|
|
|
|
^+ +>
|
|
|
|
|
!!
|
|
|
|
|
++ take
|
|
|
|
|
|= {tea/wire fav/card}
|
|
|
|
|
^+ +>
|
|
|
|
|
!!
|
|
|
|
|
--
|
|
|
|
|
--
|
|
|
|
|
--
|
2017-02-09 05:19:39 +03:00
|
|
|
++ vile (evil typo twit vise) :: old molds
|
2017-02-11 05:03:33 +03:00
|
|
|
++ wasp :: arvo effect
|
2017-02-12 05:44:56 +03:00
|
|
|
$% {$walk ~} :: finish mammal brain
|
2017-02-11 05:03:33 +03:00
|
|
|
{$what p/(list (pair path (pair term noun)))} :: put reptile files
|
|
|
|
|
{$whom p/@p q/arms r/(map @ud ruby)} :: put reptile identity
|
2017-02-12 05:44:56 +03:00
|
|
|
{$woke ~} :: finish booting
|
2017-02-11 05:03:33 +03:00
|
|
|
== ::
|
2017-02-08 05:28:12 +03:00
|
|
|
-- =>
|
2017-02-09 05:19:39 +03:00
|
|
|
|%
|
2017-02-08 05:28:12 +03:00
|
|
|
:: :: ::
|
|
|
|
|
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::: :: (2) engines
|
|
|
|
|
:: :: ::
|
|
|
|
|
|%
|
2017-02-09 05:19:39 +03:00
|
|
|
:: :: ++le
|
|
|
|
|
++ le :: deep engine
|
2017-02-13 09:48:33 +03:00
|
|
|
=+ [now=*@da mast:live]
|
2017-02-12 05:44:56 +03:00
|
|
|
=* ::
|
|
|
|
|
:: sys: system state
|
|
|
|
|
::
|
2017-02-13 09:48:33 +03:00
|
|
|
sys ->
|
2017-02-09 05:19:39 +03:00
|
|
|
|%
|
2017-02-12 05:44:56 +03:00
|
|
|
:: :: ++abet:le
|
2017-02-13 09:48:33 +03:00
|
|
|
++ abet :: complete cycle
|
|
|
|
|
^- {(pair (unit (pair @t @t)) (list move)) _sys}
|
|
|
|
|
:- [but.gut flop
|
|
|
|
|
[[but.gut (flop out.gut) sys(out.gut ~)]
|
2017-02-12 05:44:56 +03:00
|
|
|
:: :: ++emit:le
|
2017-02-13 09:48:33 +03:00
|
|
|
++ emit :: emit move
|
|
|
|
|
|= mov/move
|
|
|
|
|
+>(run.gut [mov run.gut])
|
2017-02-11 05:03:33 +03:00
|
|
|
:: :: ++pike:le
|
2017-02-12 05:44:56 +03:00
|
|
|
++ pike :: event to %pass
|
2017-02-22 07:21:27 +03:00
|
|
|
|= $: :: way: event route
|
2017-02-09 05:19:39 +03:00
|
|
|
:: now: date
|
2017-02-13 09:48:33 +03:00
|
|
|
:: ovo: input ovum
|
2017-02-09 05:19:39 +03:00
|
|
|
::
|
|
|
|
|
lay/@tas
|
|
|
|
|
now/@da
|
2017-02-13 09:48:33 +03:00
|
|
|
ovo/ovum
|
2017-02-09 05:19:39 +03:00
|
|
|
==
|
2017-02-12 05:44:56 +03:00
|
|
|
^+ +>
|
|
|
|
|
:: print event if in verbose mode
|
2017-02-11 05:03:33 +03:00
|
|
|
::
|
|
|
|
|
~? &(!lac.mal !=(%belt -.q.ovo)) [%unix -.q.ovo p.ovo]
|
|
|
|
|
::
|
2017-02-13 09:48:33 +03:00
|
|
|
:: vax: card as vase
|
|
|
|
|
::
|
|
|
|
|
=^ vax +> (open q.ovo)
|
|
|
|
|
::
|
|
|
|
|
:: hen: fundamental cause (unix input channel)
|
|
|
|
|
:: tea: local cause (unix i/o)
|
|
|
|
|
:: mov: action (pass into event route)
|
2017-02-11 05:03:33 +03:00
|
|
|
::
|
2017-02-13 09:48:33 +03:00
|
|
|
=* hen `duct`[p.ovo ~]
|
|
|
|
|
=* tea `wire`[%$ %unix ~]
|
2017-02-22 07:21:27 +03:00
|
|
|
=* mov `move`[%pass tea way %& vax]
|
2017-02-12 05:44:56 +03:00
|
|
|
::
|
2017-02-21 08:18:31 +03:00
|
|
|
:: push move on stack, and work.
|
2017-02-12 05:44:56 +03:00
|
|
|
::
|
2017-02-21 08:18:31 +03:00
|
|
|
work:(emit mov)
|
2017-02-12 05:44:56 +03:00
|
|
|
:: :: ++open:le
|
|
|
|
|
++ open :: input card to move
|
2017-02-13 09:48:33 +03:00
|
|
|
|= fav/card
|
2017-02-12 05:44:56 +03:00
|
|
|
^- {vase _+>}
|
|
|
|
|
?< off.mal
|
2017-02-13 09:48:33 +03:00
|
|
|
::
|
|
|
|
|
:: gat: mold for correct unix task
|
|
|
|
|
:: vax: molded card
|
|
|
|
|
::
|
|
|
|
|
=^ gat sac.gut (~(slap wa sac.gut) bud.mal [%limb %unix-task])
|
|
|
|
|
=/ vax (slam gat [%noun fav])
|
|
|
|
|
~| [%le-open -.fav]
|
|
|
|
|
?> =(fav q.vax)
|
2017-02-12 05:44:56 +03:00
|
|
|
[vax +>.$]
|
2017-02-09 05:19:39 +03:00
|
|
|
:: :: ++poke:le
|
|
|
|
|
++ poke :: event from unix
|
|
|
|
|
|= $: :: now: event date
|
|
|
|
|
:: ovo: event
|
|
|
|
|
::
|
|
|
|
|
now/@da
|
|
|
|
|
ovo/ovum
|
|
|
|
|
==
|
|
|
|
|
^+ sys
|
2017-02-12 05:44:56 +03:00
|
|
|
~| [%poke -.ovo]
|
2017-02-09 21:39:36 +03:00
|
|
|
::
|
2017-02-12 05:44:56 +03:00
|
|
|
:: the event is either vane input or an arvo action (wasp).
|
|
|
|
|
:: we default to treating it as a wasp.
|
2017-02-11 05:03:33 +03:00
|
|
|
::
|
2017-02-13 09:48:33 +03:00
|
|
|
:: XX: this logic will be directed in the event structure itself.
|
|
|
|
|
::
|
2017-02-12 05:44:56 +03:00
|
|
|
?+ -.ovo
|
2017-02-13 09:48:33 +03:00
|
|
|
=/ wap ((hard wasp) ovo)
|
|
|
|
|
=* tea `wire`[%$ %init ~]
|
|
|
|
|
=* hen `duct`[tea [p.ovo ~]]
|
|
|
|
|
=* mov `move`[hen %give %& !>(wap)]
|
|
|
|
|
(emit mov)
|
2017-02-11 05:03:33 +03:00
|
|
|
::
|
2017-02-22 07:21:27 +03:00
|
|
|
$belt (pike %dill now ovo)
|
|
|
|
|
$blew (pike %dill now ovo)
|
|
|
|
|
$born (pike %eyre now ovo)
|
|
|
|
|
$hail (pike %dill now ovo)
|
|
|
|
|
$hear (pike %ames now ovo)
|
|
|
|
|
$hook (pike %dill now ovo)
|
|
|
|
|
$into (pike %clay now ovo)
|
|
|
|
|
$they (pike %eyre now ovo)
|
|
|
|
|
$this (pike %eyre now ovo)
|
|
|
|
|
$thus (pike %eyre now ovo)
|
2017-02-09 05:19:39 +03:00
|
|
|
==
|
2017-02-22 07:21:27 +03:00
|
|
|
:: :: ++re:le
|
|
|
|
|
++ re ::
|
|
|
|
|
|
2017-02-17 04:37:36 +03:00
|
|
|
:: :: ++va:le
|
|
|
|
|
++ va :: vane engine
|
2017-02-22 07:21:27 +03:00
|
|
|
|_ $: :: way: vane name, eg `%ames`
|
|
|
|
|
:: vax: vane, or vane builder if `off.mal`
|
2017-02-17 04:37:36 +03:00
|
|
|
::
|
|
|
|
|
way/term
|
|
|
|
|
vax/vase
|
|
|
|
|
==
|
|
|
|
|
:: :: ++va-abet:va:le
|
|
|
|
|
++ va-abet :: resolve
|
|
|
|
|
^+ ..va
|
2017-02-22 07:21:27 +03:00
|
|
|
..va(van.mal (~(put by van.mal) way vax))
|
2017-02-17 04:37:36 +03:00
|
|
|
:: :: ++va-abut:va:le
|
2017-02-22 07:21:27 +03:00
|
|
|
++ va-apex :: boot or reboot
|
|
|
|
|
|= $: way/term
|
2017-02-21 08:18:31 +03:00
|
|
|
src/hoof
|
|
|
|
|
==
|
2017-02-17 04:37:36 +03:00
|
|
|
^+ +>
|
2017-02-22 07:21:27 +03:00
|
|
|
=. ^way way
|
|
|
|
|
=+ bun (~(get by van.mal) way)
|
2017-02-17 04:37:36 +03:00
|
|
|
?~ bun
|
|
|
|
|
(va-create src)
|
|
|
|
|
(va-update(vax u.bun) src)
|
2017-02-18 05:10:32 +03:00
|
|
|
:: :: ++va-active:va:le
|
2017-02-22 07:21:27 +03:00
|
|
|
++ va-work :: activated vane
|
|
|
|
|
|= bait
|
|
|
|
|
::
|
|
|
|
|
:: wok: working vase
|
|
|
|
|
::
|
|
|
|
|
=/ wok ^- vase
|
2017-02-22 20:19:29 +03:00
|
|
|
!!
|
2017-02-22 07:21:27 +03:00
|
|
|
|%
|
|
|
|
|
:: :: ++doze:va-work:va:le
|
|
|
|
|
++ doze :: request wakeup at
|
|
|
|
|
^- (unit @da)
|
|
|
|
|
!!
|
|
|
|
|
:: :: ++scry:va-work:va:le
|
|
|
|
|
++ scry ::
|
2017-02-22 20:19:29 +03:00
|
|
|
|= $: :: lyc: set of outputs
|
2017-02-22 07:21:27 +03:00
|
|
|
::
|
|
|
|
|
lyc/(unit (set ship))
|
|
|
|
|
car/term
|
|
|
|
|
bem/beam
|
|
|
|
|
==
|
2017-02-22 20:19:29 +03:00
|
|
|
^- (unit (unit cask))
|
|
|
|
|
!!
|
|
|
|
|
:: :: ++walk:va-work:va:le
|
|
|
|
|
++ walk ::
|
|
|
|
|
|= hen/duct
|
|
|
|
|
::
|
|
|
|
|
:: fox: running vase
|
|
|
|
|
::
|
|
|
|
|
=/ fox ^- vase
|
|
|
|
|
!!
|
|
|
|
|
|%
|
|
|
|
|
:: :: ++abet:walk:va-work:
|
|
|
|
|
++ abet ::
|
|
|
|
|
^- {(list move) _..va-work}
|
|
|
|
|
!!
|
|
|
|
|
:: :: ++call:walk:va-work:
|
|
|
|
|
++ call ::
|
|
|
|
|
|= hil/mill
|
|
|
|
|
^+
|
|
|
|
|
--
|
2017-02-22 07:21:27 +03:00
|
|
|
--
|
2017-02-17 04:37:36 +03:00
|
|
|
:: :: ++va-create:va:le
|
|
|
|
|
++ va-create :: compile new vase
|
|
|
|
|
|= src/hoof
|
2017-02-18 05:10:32 +03:00
|
|
|
^+ +>
|
2017-02-17 04:37:36 +03:00
|
|
|
:: no existing vase; compile new vase
|
|
|
|
|
::
|
2017-02-22 20:19:29 +03:00
|
|
|
~& [%vase-compile way `@p`(mug src)]
|
2017-02-17 04:37:36 +03:00
|
|
|
=. vax (slam zus.mal (ream src))
|
2017-02-18 05:10:32 +03:00
|
|
|
?: off
|
|
|
|
|
+>
|
2017-02-22 20:19:29 +03:00
|
|
|
va-settle
|
2017-02-18 05:10:32 +03:00
|
|
|
:: :: ++va-settle:va:le
|
|
|
|
|
++ va-settle :: initialize ship
|
|
|
|
|
^+ +>
|
2017-02-22 20:19:29 +03:00
|
|
|
.(vax (slam vax !>(orb.rep)))
|
2017-02-18 05:10:32 +03:00
|
|
|
:: :: ++va-update
|
|
|
|
|
++ va-update :: replace existing
|
|
|
|
|
|= src/hoof
|
2017-02-22 20:19:29 +03:00
|
|
|
^+ +>
|
2017-02-18 05:10:32 +03:00
|
|
|
?: off
|
2017-02-22 20:19:29 +03:00
|
|
|
:: replacing unbooted, weird but ok
|
2017-02-18 05:10:32 +03:00
|
|
|
::
|
|
|
|
|
(va-create src)
|
2017-02-22 20:19:29 +03:00
|
|
|
::
|
|
|
|
|
:: out: saved state from old vane
|
|
|
|
|
::
|
|
|
|
|
=+ out=(slap vax [%limb %stay])
|
|
|
|
|
::
|
|
|
|
|
:: replace `vax` with new empty vane
|
|
|
|
|
::
|
|
|
|
|
=. +>.$ (va-create src)
|
|
|
|
|
::
|
|
|
|
|
:: initialize new vane with old state
|
|
|
|
|
::
|
|
|
|
|
+>.$(vax (slam (slap vax [%limb %come]) out))
|
2017-02-17 04:37:36 +03:00
|
|
|
--
|
|
|
|
|
:: :: ++vale:le
|
|
|
|
|
++ vale :: load existing vane
|
|
|
|
|
|= lay/term
|
|
|
|
|
~(. va lay (~(got by van.mal lay)))
|
2017-02-15 07:49:48 +03:00
|
|
|
:: :: ++warp:le
|
|
|
|
|
++ warp :: arvo effect
|
|
|
|
|
|= {hen/duct wap/wasp}
|
|
|
|
|
^+ +>
|
|
|
|
|
?+ -.wap !!
|
|
|
|
|
$what (what hen p.wap)
|
|
|
|
|
$whom (whom hen p.wap q.wap r.wap)
|
|
|
|
|
==
|
2017-02-21 08:18:31 +03:00
|
|
|
:: :: ++wile:le
|
|
|
|
|
++ wile :: mill as card
|
|
|
|
|
|= hil/mill
|
|
|
|
|
^+ card
|
|
|
|
|
::
|
|
|
|
|
:: XX actually check card nature
|
|
|
|
|
::
|
|
|
|
|
?- -.hil
|
|
|
|
|
$| ((hard card) q.p.hil)
|
|
|
|
|
$& ((hard card) q.p.hil)
|
|
|
|
|
==
|
2017-02-15 07:49:48 +03:00
|
|
|
:: :: ++wilt:le
|
|
|
|
|
++ wilt :: deep file as source
|
|
|
|
|
|= pet/plum
|
|
|
|
|
^- hoof
|
|
|
|
|
?>(?=({$hoon @tas} pet) +.pet)
|
|
|
|
|
:: :: ++wise:le
|
|
|
|
|
++ wise :: load/reload vane
|
2017-02-17 04:37:36 +03:00
|
|
|
|= {lay/term way/term src/hoof}
|
2017-02-15 07:49:48 +03:00
|
|
|
^+ +>
|
2017-02-21 08:18:31 +03:00
|
|
|
va-abet:(va-apex:va lay way src)
|
|
|
|
|
|
|
|
|
|
=* van va-abut:va(lay lay, way way)
|
|
|
|
|
va-abet:(va-apex:va-abut:va(lay lay, way way
|
|
|
|
|
|
2017-02-17 04:37:36 +03:00
|
|
|
=+ bun=(~(get by van) lay)
|
|
|
|
|
?~ bun
|
|
|
|
|
::
|
|
|
|
|
:: no existing vase; compile new vase
|
|
|
|
|
::
|
|
|
|
|
~& [%vase-compile lay way `@p`(mug src)]
|
|
|
|
|
=+ vax=(slam zus.mal (ream src))
|
|
|
|
|
::
|
|
|
|
|
:: if we are already live, activate new vase
|
|
|
|
|
::
|
2017-02-15 07:49:48 +03:00
|
|
|
:: :: ++what:le
|
|
|
|
|
++ what :: write deep storage
|
|
|
|
|
|= {hen/duct fal/(list (pair path plum))}
|
|
|
|
|
^+ +>
|
|
|
|
|
:: dev: collated `fal`
|
|
|
|
|
::
|
|
|
|
|
=+ =| dev
|
|
|
|
|
$: :: use: non-system files
|
|
|
|
|
:: new: system installs
|
|
|
|
|
:: rep: system replacements
|
|
|
|
|
::
|
|
|
|
|
use/(map path plum)
|
|
|
|
|
new/(map path plum)
|
|
|
|
|
rez/(map path plum)
|
|
|
|
|
==
|
|
|
|
|
|- ^+ dev
|
|
|
|
|
?~ fal dev
|
|
|
|
|
::
|
|
|
|
|
:: pax: path of this file
|
|
|
|
|
:: pet: value of this file
|
|
|
|
|
::
|
|
|
|
|
=+ [pax pet]=[p q]:i.fal
|
|
|
|
|
=. fal t.fal
|
|
|
|
|
::
|
|
|
|
|
:: old: current value in deep storage
|
|
|
|
|
::
|
|
|
|
|
=+ old=(~(get by fat.rep) pax)
|
|
|
|
|
::
|
|
|
|
|
:: ignore unchanged data
|
|
|
|
|
::
|
|
|
|
|
?: =(old `pet) $
|
|
|
|
|
::
|
|
|
|
|
:: classify as user, system install or replacement
|
|
|
|
|
::
|
|
|
|
|
?. ?=({$sys *} pax)
|
|
|
|
|
$(use (~(put by use.dev) pax pet)
|
|
|
|
|
?~ old
|
|
|
|
|
$(new (~(put by new.dev) pax pet))
|
|
|
|
|
$(rez (~(put by rez.dev) pax pet))
|
|
|
|
|
::
|
|
|
|
|
:: adopt user changes, which have no systems impact
|
|
|
|
|
::
|
|
|
|
|
=. fat.rep (~(uni by fat.rep) use.rez)
|
|
|
|
|
::
|
|
|
|
|
:: but: kernel reboot operation, if any
|
|
|
|
|
::
|
|
|
|
|
=/ but
|
|
|
|
|
^- (unit boot)
|
|
|
|
|
=/ hun=(~(get by rez.dev) /sys/hoon)
|
|
|
|
|
=/ arv=(~(get by rez.dev) /sys/arvo)
|
|
|
|
|
?~ hun
|
|
|
|
|
?~ arv ~
|
|
|
|
|
::
|
|
|
|
|
:: light reboot, arvo only
|
|
|
|
|
::
|
|
|
|
|
`[~ (wilt u.arv)]
|
|
|
|
|
::
|
|
|
|
|
:: heavy reboot, hoon and arvo
|
|
|
|
|
::
|
|
|
|
|
`[`(wilt hun) (wilt q:?^(arv u.arv (~(got by fat.rep) /sys/arvo)))]
|
|
|
|
|
?^ but
|
|
|
|
|
:: stop working and set up reboot
|
|
|
|
|
::
|
|
|
|
|
%= +>.$
|
|
|
|
|
:: set boot hook for termination
|
|
|
|
|
::
|
|
|
|
|
but.gut ?>(=(~ but.gut) but)
|
|
|
|
|
::
|
2017-02-17 04:37:36 +03:00
|
|
|
:: execute write after reboot
|
2017-02-15 07:49:48 +03:00
|
|
|
::
|
2017-02-17 04:37:36 +03:00
|
|
|
run.rep :: syt: all systems changes
|
|
|
|
|
::
|
|
|
|
|
=* syt (~(tap by (~(uni by rez.dev) new.dev)))
|
|
|
|
|
:_ run.rep
|
|
|
|
|
`move`[hen %give %& !>([%what syt])]
|
2017-02-15 07:49:48 +03:00
|
|
|
::
|
|
|
|
|
:: delete reboot source files from deep
|
|
|
|
|
:: storage, so install causes vane upgrade,
|
|
|
|
|
:: and *does not* cause repeat kernel upgrade.
|
|
|
|
|
::
|
|
|
|
|
fat.rep ?~ p.but fat.rep
|
|
|
|
|
(~(del by (~(del by fat.rep) /sys/hoon) /sys/arvo))
|
|
|
|
|
==
|
2017-02-17 04:37:36 +03:00
|
|
|
:: keep working after vane upgrades
|
2017-02-15 07:49:48 +03:00
|
|
|
::
|
|
|
|
|
=< work
|
|
|
|
|
::
|
|
|
|
|
:: job: plan for upgrading
|
|
|
|
|
::
|
|
|
|
|
=/ job
|
|
|
|
|
^- $: yor/(unit hoof)
|
|
|
|
|
zus/(unit hoof)
|
2017-02-21 08:18:31 +03:00
|
|
|
vat/(list (pair term hoof))
|
2017-02-15 07:49:48 +03:00
|
|
|
==
|
2017-02-21 08:18:31 +03:00
|
|
|
=- [yor zus (~(tap by van))]
|
2017-02-15 07:49:48 +03:00
|
|
|
:: yor: reload shared structures
|
|
|
|
|
:: zus: reload shared library
|
2017-02-21 08:18:31 +03:00
|
|
|
:: vat: replacement map
|
2017-02-15 07:49:48 +03:00
|
|
|
::
|
|
|
|
|
=/ yor (bind (~(get by rez.dev) /sys/york) wilt)
|
|
|
|
|
=/ zus (bind (~(get by rez.dev) /sys/zuse) wilt)
|
|
|
|
|
::
|
|
|
|
|
:: %york is the subject of %zuse
|
|
|
|
|
::
|
|
|
|
|
=. zus ?^(zus zus ?~(yor ~ `(wilt (~(get by fat.rep) /sys/zuse))))
|
|
|
|
|
::
|
2017-02-21 08:18:31 +03:00
|
|
|
:: vat: all vane upgrades, as [initial name source]
|
2017-02-15 07:49:48 +03:00
|
|
|
::
|
|
|
|
|
=/ van
|
|
|
|
|
:: zyr: all system file replacements
|
2017-02-21 08:18:31 +03:00
|
|
|
:: van: accumulated upgrades
|
2017-02-15 07:49:48 +03:00
|
|
|
::
|
|
|
|
|
=/ zyr (~(tap by rez.dev))
|
2017-02-21 08:18:31 +03:00
|
|
|
=| van (map @tas hoof)
|
|
|
|
|
|- ^+ van
|
2017-02-15 07:49:48 +03:00
|
|
|
?^ zyr
|
|
|
|
|
:: mor: process rest of `zyr`
|
|
|
|
|
::
|
|
|
|
|
=/ mor $(zyr t.zyr)
|
|
|
|
|
?. ?=({$sys $van @tas $~} p.i.zyr)
|
|
|
|
|
mor
|
|
|
|
|
::
|
|
|
|
|
:: replaced vane in `/sys/vane/*/[nam]`
|
|
|
|
|
::
|
|
|
|
|
=* nam `term`i.t.t.p.i.zyr
|
2017-02-21 08:18:31 +03:00
|
|
|
:_(mor [nam (wilt q.i.zyr)])
|
2017-02-15 07:49:48 +03:00
|
|
|
::
|
2017-02-21 08:18:31 +03:00
|
|
|
:: reload current vanes if needed
|
2017-02-15 07:49:48 +03:00
|
|
|
::
|
2017-02-17 04:37:36 +03:00
|
|
|
?. |((~(has by new.dev) /sys/hoon) ?=(^ zus))
|
|
|
|
|
::
|
|
|
|
|
:: we didn't replace compiler, %york or %zuse
|
2017-02-21 08:18:31 +03:00
|
|
|
van
|
2017-02-15 07:49:48 +03:00
|
|
|
::
|
2017-02-21 08:18:31 +03:00
|
|
|
:: also reboot any vanes not already rebooted
|
2017-02-15 07:49:48 +03:00
|
|
|
::
|
2017-02-21 08:18:31 +03:00
|
|
|
%- ~(gas by van)
|
|
|
|
|
%+ skip
|
|
|
|
|
%+ turn (~(tap by van.mal))
|
|
|
|
|
|= {way/term src/hoof}
|
|
|
|
|
[way (wilt (~(got by fat.rep) [%sys %van way ~]))
|
|
|
|
|
|= {way/term src/hoof}
|
|
|
|
|
(~(has in van) way)
|
2017-02-15 07:49:48 +03:00
|
|
|
::
|
|
|
|
|
:: upgrade %york, vane shared structures
|
|
|
|
|
::
|
|
|
|
|
=> ?~ yor .
|
|
|
|
|
%= .
|
2017-02-17 04:37:36 +03:00
|
|
|
yor.mal ~& [%york-boot `@p`(mug u.yor.job)]
|
2017-02-15 07:49:48 +03:00
|
|
|
(slap !>(..arms) (ream u.yor.job))
|
|
|
|
|
==
|
|
|
|
|
::
|
|
|
|
|
:: upgrade %zuse, vane shared libraries
|
|
|
|
|
::
|
|
|
|
|
=> ?~ zus .
|
|
|
|
|
%= .
|
2017-02-17 04:37:36 +03:00
|
|
|
zus.mal ~& [%zuse-boot `@p`(mug u.zus.job)]
|
2017-02-15 07:49:48 +03:00
|
|
|
(slap yor.mal (ream u.zus.job))
|
|
|
|
|
==
|
|
|
|
|
::
|
|
|
|
|
:: upgrade all indicated vanes
|
|
|
|
|
::
|
|
|
|
|
|- ^+ +>.^$
|
|
|
|
|
?~ van.job +>.^$
|
2017-02-17 04:37:36 +03:00
|
|
|
~& [%vane-boot p.i.van.job `@p`(mug q.i.van.job)]
|
2017-02-15 07:49:48 +03:00
|
|
|
$(van.job t.van.job, +>.^$ (wise i.van.job))
|
2017-02-21 08:18:31 +03:00
|
|
|
::
|
|
|
|
|
++ unix :: ++unix:le
|
|
|
|
|
|= {hen/duct fav/card} :: return to unix
|
|
|
|
|
^+ +>
|
|
|
|
|
?> ?=({* ~} hen)
|
|
|
|
|
+>(out.gut [[i.hen fav] out.gut])
|
|
|
|
|
:: :: ++send:le
|
|
|
|
|
++ pass ::
|
|
|
|
|
|= {hen/duct way/term hil/mill}
|
|
|
|
|
!!
|
|
|
|
|
::
|
|
|
|
|
++ give
|
2017-02-13 09:48:33 +03:00
|
|
|
:: :: ++work:le
|
|
|
|
|
++ work :: main loop
|
2017-02-21 08:18:31 +03:00
|
|
|
=* ken .
|
2017-02-13 09:48:33 +03:00
|
|
|
^+ ken
|
|
|
|
|
::
|
2017-02-21 08:18:31 +03:00
|
|
|
:: no-op if stack is empty
|
2017-02-13 09:48:33 +03:00
|
|
|
::
|
|
|
|
|
?~ run.gut ken
|
|
|
|
|
::
|
|
|
|
|
:: mov: top move on stack
|
|
|
|
|
:: hen: cause of move
|
|
|
|
|
:: act: action in move
|
|
|
|
|
::
|
|
|
|
|
=* mov `move`i.run.gut
|
|
|
|
|
=* hen `duct`p.mov
|
|
|
|
|
=* egg `part`q.mov
|
|
|
|
|
::
|
|
|
|
|
:: pop top move off stack
|
|
|
|
|
::
|
|
|
|
|
=. run.gut t.run.gut
|
|
|
|
|
::
|
|
|
|
|
:: interpret top move
|
|
|
|
|
::
|
|
|
|
|
?- -.egg
|
|
|
|
|
::
|
|
|
|
|
:: %give: event return
|
|
|
|
|
::
|
|
|
|
|
$give
|
|
|
|
|
::
|
|
|
|
|
:: the duct can't be empty
|
|
|
|
|
::
|
|
|
|
|
?> ?=(^ p.mov)
|
|
|
|
|
::
|
|
|
|
|
:: tea: top wire on duct
|
|
|
|
|
:: hen: rest of duct
|
|
|
|
|
::
|
|
|
|
|
=/ tea i.p.mov
|
|
|
|
|
=* hen t.p.mov
|
|
|
|
|
::
|
|
|
|
|
:: route gift by wire
|
|
|
|
|
::
|
|
|
|
|
?: ?=({%$ *} tea)
|
|
|
|
|
::
|
|
|
|
|
:: gift returned on arvo wire
|
|
|
|
|
::
|
|
|
|
|
?: ?=({%unix $~} t.tea)
|
|
|
|
|
::
|
|
|
|
|
:: gift returned to unix i/o
|
|
|
|
|
::
|
2017-02-21 08:18:31 +03:00
|
|
|
(unix hen (wile p.egg))
|
2017-02-13 09:48:33 +03:00
|
|
|
?> ?=({%arvo $~} t.tea)
|
|
|
|
|
::
|
|
|
|
|
:: gift returned to arvo control
|
|
|
|
|
::
|
2017-02-21 08:18:31 +03:00
|
|
|
(warp hen ((hard wasp) (wile p.egg)))
|
2017-02-13 09:48:33 +03:00
|
|
|
::
|
|
|
|
|
:: gift returned to calling vane
|
|
|
|
|
::
|
|
|
|
|
?> ?=({@tas *} tea)
|
2017-02-21 08:18:31 +03:00
|
|
|
(give hen i.tea t.tea p.egg)
|
2017-02-13 09:48:33 +03:00
|
|
|
::
|
|
|
|
|
:: %pass: event call
|
|
|
|
|
::
|
|
|
|
|
$pass
|
2017-02-21 08:18:31 +03:00
|
|
|
(pass [p.egg hen] p.q.egg q.egg)
|
2017-02-13 09:48:33 +03:00
|
|
|
==
|
2017-02-09 05:19:39 +03:00
|
|
|
--
|
2017-02-08 05:28:12 +03:00
|
|
|
--
|
|
|
|
|
:: :: ::
|
|
|
|
|
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::: :: (3) surface
|
|
|
|
|
:: :: ::
|
|
|
|
|
|_
|
|
|
|
|
:: :: ++come
|
|
|
|
|
++ come :: upgrade from old
|
|
|
|
|
|=
|
|
|
|
|
^- {(list ovum) _+>}
|
|
|
|
|
~& %hoon-come
|
|
|
|
|
=^ rey +>+ (^come +<)
|
|
|
|
|
[rey +>.$]
|
|
|
|
|
::
|
|
|
|
|
++ keep |=(* (^keep ((hard {@da path}) +<))) :: 4
|
|
|
|
|
++ load |= {@ (list ovum) pane} :: 86
|
|
|
|
|
^- {(list ovum) _+>}
|
|
|
|
|
~& %hoon-load
|
|
|
|
|
=^ rey +>+ (^load +<)
|
|
|
|
|
[rey +>.$]
|
|
|
|
|
++ peek |=(* (^peek ((hard {@da path}) +<))) :: 87
|
|
|
|
|
++ poke |= * :: 42
|
|
|
|
|
^- {(list ovum) *}
|
|
|
|
|
=> .(+< ((hard {now/@da ovo/ovum}) +<))
|
|
|
|
|
=^ ova +>+ (^poke now ovo)
|
|
|
|
|
|- ^- {(list ovum) *}
|
|
|
|
|
?~ ova
|
|
|
|
|
[~ +>.^$]
|
|
|
|
|
?: ?=($verb -.q.i.ova)
|
|
|
|
|
$(ova t.ova, lac !lac)
|
|
|
|
|
?: ?=($veer -.q.i.ova)
|
|
|
|
|
$(ova t.ova, +>+.^$ (veer now q.i.ova))
|
|
|
|
|
?: ?=($velo -.q.i.ova)
|
|
|
|
|
(fall (velo now t.ova ({@ @} +.q.i.ova)) [~ +>.^$])
|
|
|
|
|
?: ?=(?($init $veal) -.q.i.ova)
|
|
|
|
|
=+ avo=$(ova t.ova, +>+.^$ (boot (@ +.q.i.ova)))
|
|
|
|
|
[[i.ova -.avo] +.avo]
|
|
|
|
|
?: ?=($mass -.q.i.ova)
|
|
|
|
|
=+ avo=$(ova t.ova)
|
|
|
|
|
:_ +.avo
|
|
|
|
|
:_ -.avo
|
|
|
|
|
%= i.ova
|
|
|
|
|
q.q
|
|
|
|
|
:- %userspace
|
|
|
|
|
:- %|
|
|
|
|
|
:~ hoon+`pit
|
|
|
|
|
zuse+`mast
|
|
|
|
|
hoon-cache+`p.niz
|
|
|
|
|
q.q.i.ova
|
|
|
|
|
dot+`.
|
|
|
|
|
==
|
|
|
|
|
==
|
|
|
|
|
=+(avo=$(ova t.ova) [[i.ova -.avo] +.avo])
|
|
|
|
|
++ wish |=(* (^wish ((hard @ta) +<))) :: 20
|
|
|
|
|
|
|
|
|
|
--
|
