Commit Graph

173 Commits

Author SHA1 Message Date
Philip Monk
0447ac1ee1
arvo: add dummy ford and fix whey scry 2020-06-12 21:40:13 -07:00
Philip Monk
21c0f77321
arvo: add +mure for compiling hoon/arvo
Also use +mure in clay for building cores
2020-06-12 21:38:50 -07:00
Philip Monk
4e466214e3
arvo: compile hoon/arvo in separate roads
Adds +mure to run a trap in a separate road.  This should eventually be
just a hint.

Vega was running inside a mule, but since +load was called within vega,
the new kernel was all run within the same mule, so it didn't actually
get to reclaim the space after hoon compiled.

We verified this with printfs in u3m_fall.  On the test ship (from
mainnet) which had 800MB used, vega was taking interior free space from
950MB to 450 over the course of compiling hoon, then each vane would go
from about 450 to 350 and then back to 450 once it finished (which
proves they were correctly isolated).  With this change, after hoon
compiles the free space goes back up to 950MB.  This gives us a lot more
space to compile OTAs.

We had to slightly refactor the logic for doubly-recompiling hoon, since
+mure as written produces a ?(!! _trap), and you can't find faces in the
result of the trap.  We could bake mure, but that's rather awkward.  I
wonder if there's a way to fix this as a wet gate.
2020-06-12 20:51:23 -07:00
Philip Monk
e34a1a2e61
arvo: filter old-arvo effects for %veer 2020-06-11 22:54:19 -07:00
Philip Monk
4aff4d74e2
kiln: get updates into %home, remove %base
We need to get updates directly into %home in case the marks depend on
changes to hoon.hoon.  %base has no reason to exist.

Our ota strategy is now to merge from parent/kids to home, then
parent/kids to kids.
2020-05-21 23:45:17 -07:00
Philip Monk
aaf7a45e25
arvo: properly print %warn 2020-05-17 02:01:17 -07:00
Ted Blackman
778f6e9d05 /sys: make hoon optional in %lyra 2020-05-13 18:27:14 -04:00
Ted Blackman
717d6e1b70 arvo: unvirtualize vane installation 2020-05-08 06:02:54 -04:00
Ted Blackman
b32ca5d222 /sys: kernel upgrades seem to work 2020-05-08 02:18:24 -04:00
Ted Blackman
9dea282d5d arvo: minor cleanup 2020-05-07 05:10:43 -04:00
Ted Blackman
7493fd4fd9 arvo: handle %warn event 2020-05-07 05:00:11 -04:00
Ted Blackman
a064afbd89 /sys: |mass works again 2020-05-07 04:51:08 -04:00
Ted Blackman
63b77c1b7f arvo: WIP trying to get |reset working 2020-05-06 13:11:51 -04:00
Ted Blackman
a3846d6e03 arvo: fix boot bugs 2020-05-06 12:33:42 -04:00
Ted Blackman
ea75255290 arvo: synchronous updates compile; untested 2020-05-06 09:02:11 -04:00
Philip Monk
3f2a7b08a5
clay: add -merge except meet/mate/meld
-merge will replace |merge so that.  Once they reach feature parity and
%info is rewritten to forward to -commit, we can rip out about half of
clay.hoon
2020-03-25 20:54:19 -07:00
Philip Monk
0349cf3818
arvo: add wire to %give verb message
This must have been removed on accident recently.
2020-03-25 20:13:24 -07:00
Philip Monk
7d7f4133a6
arvo: add bar stack to hoon stack trace
We have three stacks: the hoon stack, bar stack, and duct stack.  This
turns the bar stack to a list of ducts and adds it to the hoon stack.
This tells you the ducts of the moves that caused the move where you
crashed.

See:

recover: dig: intr
crud: %belt event failed
bail: intr
  bar-stack
~[
  ~[/g/use/spider/~zod/build/~.dojo_0v5ogno.5anji.vn3f6.4gs7t.6r2ft /d //term/1]
  ~[/d //term/1]
  ~[/g/use/spider/~zod/find/~.dojo_0v5ogno.5anji.vn3f6.4gs7t.6r2ft /d //term/1]
  ~[/g/use/dojo/~zod/out/~zod/spider/drum/wool /d //term/1]
  ~[/d //term/1]
  ~[/g/use/dojo/~zod/drum/hand /d //term/1]
  ~[/g/use/hood/~zod/out/~zod/dojo/drum/phat/~zod/dojo /d //term/1]
  ~[/d //term/1]
  ~[//term/1]
]
call: failed
/~zod/home/~2020.3.17..23.14.11..50e0/sys/vane/ford:<[6.128 3].[6.220 5]>
/~zod/home/~2020.3.17..23.14.11..50e0/sys/vane/ford:<[6.129 3].[6.220 5]>
/~zod/home/~2020.3.17..23.14.11..50e0/sys/vane/ford:<[6.132 3].[6.220 5]>
...
2020-03-17 16:31:38 -07:00
Joe Bryan
eb05e71d60 arvo: removes looping crash printf 2020-03-09 00:41:04 -07:00
Joe Bryan
c94b5c25cb arvo: refines crash printfs 2020-03-03 14:17:42 -08:00
Joe Bryan
066e994567 arvo: fix wire (and adapt old) for %vega reset notification 2020-03-03 12:58:56 -08:00
Joe Bryan
eae7b71048 arvo: removes all vase literals from |va 2020-02-28 00:34:29 -08:00
Joe Bryan
cec9240771 arvo: removes all traces of meta-meta card reduction 2020-02-28 00:34:29 -08:00
Joe Bryan
d783b8902a arvo: cleanup per review 2020-02-28 00:34:29 -08:00
Joe Bryan
16bcff978c arvo: removes vestigial |is core 2020-02-26 20:25:24 -08:00
Joe Bryan
835e34d57f arvo: remove refactoring comments 2020-02-26 20:25:24 -08:00
Joe Bryan
ba753e3d36 arvo: replace $milt with $meta 2020-02-26 20:25:24 -08:00
Joe Bryan
bf23110edc arvo: replace $mill with $maze 2020-02-26 20:25:24 -08:00
Joe Bryan
796478ada7 arvo: removes %gave, generalizes %hurl 2020-02-26 16:56:17 -08:00
Joe Bryan
8e6dc992da arvo: removes (commented out) legacy event routing 2020-02-26 16:56:17 -08:00
Joe Bryan
7b4ef1ff55 arvo: clear error state on each loop iteration 2020-02-26 16:56:17 -08:00
Joe Bryan
9915e7f645 arvo: supports both old and new %crud events 2020-02-26 16:56:17 -08:00
Joe Bryan
df970ed417 arvo: passes errors to all vanes 2020-02-26 16:56:17 -08:00
Joe Bryan
5f0f32d96a arvo: moves most new structures to top level 2020-02-26 16:56:17 -08:00
Joe Bryan
b118147700 arvo: adds errors to |me 2020-02-26 16:56:17 -08:00
Joe Bryan
25a983ad44 arvo: adds errors to $wind and |le 2020-02-26 16:56:17 -08:00
Joe Bryan
eb6b99d9b5 arvo: use cached reflexives over explicit vases 2020-02-26 16:56:17 -08:00
Joe Bryan
02d811f6de arvo: groups and refactors (most) top-level arvo structures 2020-02-26 16:56:17 -08:00
Joe Bryan
8187c58ee5 arvo: removes obsolete engines 2020-02-26 16:56:17 -08:00
Joe Bryan
624a40331c arvo: restore original %xeno wires 2020-02-26 16:56:17 -08:00
Joe Bryan
9b09689d53 arvo: refactor relationships between engines 2020-02-26 16:56:17 -08:00
Joe Bryan
f5d8a3f8a6 arvo: enables new event-loop and vane engines 2020-02-26 16:56:17 -08:00
Joe Bryan
201ffd173d arvo: adds new vane and event-loop engines 2020-02-26 16:56:17 -08:00
Joe Bryan
6d8261a867 arvo: refactors and enables neo dynamic analysis 2020-02-26 16:56:17 -08:00
Joe Bryan
e2f03a63ab arvo: adds dynamic analysis from neo 2020-02-26 16:56:17 -08:00
Philip Monk
3b9bcf64b0
arvo: remove unneeded top-level mock 2019-12-02 20:52:59 -08:00
Philip Monk
a5412f01de
Merge branch 'alef-testnet-merge' into philip/mall-real 2019-11-19 13:03:07 -08:00
Philip Monk
6a406e6b29
gall: mall -> gall 2019-11-18 20:36:21 -08:00
Philip Monk
82513c27fc
Merge branch 'master' into philip/mall-real 2019-11-04 19:35:24 -08:00
Ted Blackman
9a02c64b45 Merge branch 'master' into alef-testnet-merge
Untested, has not been run.
Uses master pills for now.  Will need refreshing.
2019-11-02 23:37:01 -04:00
Ted Blackman
925489eba6 /sys: various merge fixes 2019-10-30 16:23:37 -04:00
Ted Blackman
21dabb8895 big merge, including some Alef and Zuse work 2019-10-30 16:12:57 -04:00
Joe Bryan
f6b41754cc arvo: improves move type specialization (by spec'ing incrementally) 2019-10-16 17:30:33 -07:00
Joe Bryan
22ddd4aeb5 arvo: clear caches in response to (high) memory pressure 2019-10-01 15:04:13 -07:00
Joe Bryan
3dd9bd7111 arvo: wires up %trim memory-pressure event stubs 2019-09-27 13:02:11 -07:00
Philip Monk
e6f5b0d3fd
mall: fix %child-sync ph test 2019-09-25 13:19:09 -07:00
Philip Monk
30f74368fb
mall: convert hall to mall 2019-09-23 20:46:59 -07:00
Philip Monk
1ca4c72aa5
mall: make boot 2019-09-09 20:04:38 -07:00
Joe Bryan
a6272a97a8
arvo, ford: add type safety to scry
Adds a nest-check to the scry-wrapper functions +sloy and +sloy-light,
plugging a type hole in .^ namespace reads (scry).
2019-09-08 19:44:06 -02:30
Joe Bryan
ee84936add adds type-safety to scry via +nets:wa in the scry-wrappers 2019-08-28 15:39:04 -07:00
Ted Blackman
20b1ec9d56 turn off |verb 2019-08-01 16:27:52 -07:00
Ted Blackman
1d62f1eecc Merge branch 'philip/kale' into alef-testnet 2019-08-01 15:56:23 -07:00
Ted Blackman
83500256d8 debug printfs 2019-07-31 20:14:33 -07:00
Ted Blackman
9670408a06 Merge branch 'master' into alef-breach 2019-07-29 00:27:58 -07:00
Philip Monk
dd76358f6a
%breach-hi works with kale 2019-07-26 20:45:45 -07:00
pilfer-pandex
9a6cdd8d13 per philip, remove !: from arvo.hoon 2019-07-26 13:26:28 -07:00
Ted Blackman
1f1c75ccb0 Cleanup, remove printfs 2019-07-25 15:56:33 -07:00
Ted Blackman
39ae901c7b wip moar prints 2019-07-23 14:36:01 -07:00
Ted Blackman
4123674c9d WIP temporary changes to hoon and arvo 2019-07-22 19:26:38 -07:00
Ted Blackman
793fc5c213 all vanes compile, at least individually 2019-07-15 14:23:34 -07:00
Joe Bryan
62522f87c1 renames %lient to %iris 2019-07-03 17:08:23 -07:00
Joe Bryan
f31b12c964 renames %rver to %eyre 2019-07-03 16:02:49 -07:00
Jared Tobin
b3901ab42f Add 'pkg/arvo/' from commit 'c20e2a185f131ff3f5d3961829bd7a3fe0f227f8'
git-subtree-dir: pkg/arvo
git-subtree-mainline: 9c8f40bf6c
git-subtree-split: c20e2a185f
2019-06-28 12:48:05 +08:00