Commit Graph

462 Commits

Author SHA1 Message Date
Ted Blackman
3ecfbd6a68 fixed merge; sync and hi work again 2019-11-03 00:07:51 -04: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
22ef92053a gall and ames: |hi works, fixed alef nack-trace bug 2019-11-02 20:52:48 -04:00
Ted Blackman
6f2ebe8ebd gall: deleted +ap-track-queue, boot completes 2019-11-01 16:18:51 -04:00
Ted Blackman
f7c1af8dec pill compiles, but apps unlink on boot 2019-11-01 15:06:09 -04:00
Fang
82e25e3940
zuse: add delegated-sending address 2019-11-01 18:09:45 +08:00
Philip Monk
0014d1cf2b
auto: fix some crashes on strange wet gates 2019-10-31 21:37:24 -07: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
Anton Dyudin
78d10f30cd
eyre: fix wire=path terminology 2019-10-25 16:04:29 -07:00
Jared Tobin
7f124db8d9
Merge branch 'philip/jael-ames-full' (#1882)
* philip/jael-ames-full:
  jael: provide edge-triggered breach notification

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-10-25 14:05:01 +08:00
Philip Monk
9ddc04143a
jael: provide edge-triggered breach notification
Until now, clients of Jael have had to store the first-seen rift if they
want to reliably detect breaches.  Otherwise, they would get a false
positive if they heard an old message about a breach (eg if you kick
azimuth-tracker).  Clay and Gall did this correctly, but Ames did not.

Jael already maintains this state, so I added a notification to the
existing subscription that happens whenever it notices a breach (a diff
or full where the new rift is greater than the old one).

Because this is an issue on the live network, I wrote state adapters
for Gall and Clay.  The Gall one just removes the rift from our state,
but the Clay one is much more involved because we have to upgrade
instances of the clad monad that are possibly in progress.
Specifically, since more input is possible than before, we must wrap any
in-progress instances of the monad in a function that handles the
potential new input from Jael.  This temporarily preservers a copy of
the old kernel, but only until the current commit/merge/update has
completed.

The real solution for Clay is to factor out those IO-heavy instances to
userspace tapp/async/imp/threads, and if an upgrade happens in the
middle, you should simply restart them.

Fixes #1852
2019-10-23 21:40:34 -07:00
Jared Tobin
bdfc270b2f
gall: fix bug in +ap-peek
fc7901d2 refactored much of +ap-peek, but introduced a bug in the
process.  The relevant diff from that commit is as follows:

  -        =/  =path  [ren tyl]
  -        =/  =vase  !>((slag p.u.cug path))
  -        (ap-slam q.u.cug p.arm vase)
  +        =/  index  p.u.maybe-arm
  +        =/  term  q.u.maybe-arm
  +        =/  =vase
  +          =/  =path  [term tyl]
  +          =/  raw  (slag index path)
  +          !>  raw
  +        (ap-slam term p.arm vase)

Note that [ren tyl] was replaced with [term tyl], where 'term' and 'ren'
are not equal.  This commit merely rights that wrong.
2019-10-22 15:22:30 +08:00
Jared Tobin
71b27b0300
Merge branch 'pretty-userspace' (#1847)
* pretty-userspace:
  pills
  hoon: moves new pretty-printer back into userspace

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-10-22 10:12:05 +08:00
Philip Monk
87f689f443
custody: add more types 2019-10-21 15:41:28 -07:00
Joe Bryan
fa01bfb0a5 hoon: moves new pretty-printer back into userspace 2019-10-17 17:52:45 -07:00
Philip Monk
be212ad54b
ames: better stack traces 2019-10-17 16:52:35 -07:00
Philip Monk
f835ef5a70
ames: don't crash 2019-10-17 12:33:35 -07:00
Joe Bryan
f6b41754cc arvo: improves move type specialization (by spec'ing incrementally) 2019-10-16 17:30:33 -07:00
yosoyubik
f970e1c264
hoon: fix for +uno/uni (#1779) set/map union 2019-10-16 13:26:02 -07:00
Jared Tobin
70ed0d6e98
Merge branch 'philip/jael-fix' (#1827)
* philip/jael-fix:
  jael: retrieve first sponsor instead of last

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-10-16 10:06:09 +04:00
Philip Monk
6b8d75a88c
jael: retrieve first sponsor instead of last 2019-10-15 18:04:34 -07:00
Jared Tobin
f0a0c66afd
ames: bump protocol version
A last-minute adjustment to the v0.9.0 release to ensure that ships in
the next era don't become haunted by ghosts of the past one.
2019-10-15 22:32:55 +04:00
Ted Blackman
625f855f24 master without pills, hopefully 2019-10-14 16:02:27 -04:00
Jared Tobin
ac55d362e9
Merge branch 'ames-boot-timer' (#1817)
* ames-boot-timer:
  pills: update solid
  ames: skip timers if unix duct is unset

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-10-11 11:08:35 +04:00
Joe Bryan
e9396973cc ames: skip timers if unix duct is unset 2019-10-10 17:21:39 -07:00
pkova
92cc039155 eyre: fix missing cancel-heartbeat-move cases 2019-10-10 20:59:39 +03:00
Jared Tobin
b100160198
Merge branch 'treap-traverse' into yosoyubik-contribs
* treap-traverse:
  pills: update solid
  hoon: replaces manual +tree cons with explicit %=

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-10-10 10:07:03 +04:00
Jared Tobin
ad53e40e99
Merge branch 'algorithm-tests' into merge-yosoyubik-contribs
* algorithm-tests:
  pills: update solid
  tests: unit tests for +in (set)
  tests: unit tests for +to (queue)
  tests: unit tests for +by (map)
  tests: unit tests for +differ (diff/merge)
  hoon: fix for +uno/uni (#1779) set/map union
  hoon: fix for +apt:to (#1778) queue correctness

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-10-10 09:45:43 +04:00
yosoyubik
d482167e21 hoon: replaces manual +tree cons with explicit %=
Rewrites several arms in +to, +in, +by, that perform tree operations,
with explicit %= updates
2019-10-09 07:37:47 +02:00
pkova
a019c2079e eyre: add channel \n heartbeat every 20 seconds 2019-10-07 03:11:11 +03:00
yosoyubik
7ed0a938e2 hoon: fix for +uno/uni (#1779) set/map union 2019-10-06 12:00:53 +02:00
yosoyubik
b55149af55 hoon: fix for +apt:to (#1778) queue correctness 2019-10-06 12:00:48 +02:00
Jared Tobin
8aeaf1610b
Merge branch 'behn-log-drip-fail' (#1795)
* behn-log-drip-fail:
  updates solid pill
  behn: print error on failed %drip
2019-10-05 16:28:20 +04:00
Ted Blackman
5fcdb02db9 ames: reset congestion control params to 'reasonable' values 2019-10-05 01:00:20 -04:00
Ted Blackman
cc5e2c9564 temporary fast start for testing 2019-10-05 00:41:18 -04:00
Ted Blackman
8749fc7f13 try slowing down once cwnd > 1.000; 200 was too slow 2019-10-04 23:54:09 -04:00
Ted Blackman
eed3d8ce36 try slowing down once cwnd > 200 2019-10-04 23:39:51 -04:00
Ted Blackman
6bae84fbe4 fix enqueued message order 2019-10-04 23:38:32 -04:00
Ted Blackman
32360c2e5a try misordered acks 2019-10-04 23:21:29 -04:00
Isaac Visintainer
e9c639464b eyre: changed cookie format 2019-10-04 15:06:01 -07:00
Philip Monk
d202a4fb56 behn: print error on failed %drip 2019-10-04 14:05:52 -07:00
Ted Blackman
895927e583 print more 2019-10-02 03:46:34 -04:00
Ted Blackman
04bd180542 alef: cap cwnd 2019-10-02 03:37:56 -04:00
Ted Blackman
59ac079488 alef: tweak printing 2019-10-02 03:20:19 -04:00
Ted Blackman
f04e5b9f97 alef: print more 2019-10-02 03:13:11 -04:00
Ted Blackman
850f7b392b tweak printing 2019-10-02 02:47:45 -04:00
Ted Blackman
c480d12995 adjust printing 2019-10-02 02:38:56 -04:00
Ted Blackman
ed0483bd63 alef: preparing for misordered ack handling 2019-10-02 02:21:05 -04:00
Joe Bryan
22ddd4aeb5 arvo: clear caches in response to (high) memory pressure 2019-10-01 15:04:13 -07:00
Joe Bryan
ef959e0c52 gall: clear caches in response to memory pressure 2019-10-01 15:04:07 -07:00
Joe Bryan
1e9cc07649 eyre: close channels in response to memory pressure 2019-10-01 15:04:03 -07:00
Joe Bryan
8ff445c68c ford: clear caches in response to memory pressure 2019-10-01 11:35:08 -07:00
Philip Monk
9fc28a9538
mall: populate wex.bowl with outgoing subscriptions
fixes #1466
2019-09-30 20:53:12 -07:00
Jared Tobin
21c3119660
gall: remove %gall-booting printf
%gall currently prints

  [%gall-booting <app> p=<ship> q=<desk>]

whenever it receives a %conf (i.e., when it boots an app).  This turns
up in many of the places the old, less-informative '%mo-not-running'
printf did, but it's of similarly little use, and mainly serves to
create redundant line noise.  This commit just removes it.
2019-09-30 01:58:28 +04:00
Logan Allen
166465af59
zuse: added path, tank, string utils to en/dejs 2019-09-30 01:31:46 +04:00
Jared Tobin
2add146302
Merge branch 'reclamation' (#1773)
* reclamation:
  solid pill
  arvo: wires up %trim memory-pressure event stubs
  u3: wires up the %trim event in the daemon
  u3: adds %trim memory-pressure notification "effect"
  u3: tweaks |mass output (and fixes inadvertent truncation)
  u3: refactors periodic memory reclamation
  u3: factors out u3a_idle() to measure free-lists in a road
  u3: adds and uses u3a_full/heap/temp road macros
  u3: cleans up whitespace, removes dead code in allocator
2019-09-29 21:30:56 +04:00
Jared Tobin
5c99f33271
Merge branch 'ted/verb' (#1754)
* ted/verb:
  update pill
  hood: |knob {tag} {level} to set dill verbosity
  dill: set verbosity by error tag
2019-09-29 21:09:05 +04:00
Philip Monk
9c9115a7e0
spider, ph: convert ph to imps 2019-09-28 21:44:31 -07:00
Joe Bryan
3dd9bd7111 arvo: wires up %trim memory-pressure event stubs 2019-09-27 13:02:11 -07:00
Ted Blackman
f2073dbc34 dill: set verbosity by error tag 2019-09-27 13:55:14 -04:00
Philip Monk
b79dead5f8
spider: convert example-fetch to imp 2019-09-27 10:40:22 -07:00
Logan Allen
9a62a04042
eyre: better error handling in channel js 2019-09-27 16:30:53 +04:00
Ted Blackman
087adacc15 alef: reno-style congestion control (todo: misordered acks) 2019-09-27 07:45:22 -04:00
Philip Monk
e6f5b0d3fd
mall: fix %child-sync ph test 2019-09-25 13:19:09 -07:00
Philip Monk
34ab4c4e77
mall: convert aqua vane handlers to mall 2019-09-24 19:04:27 -07:00
Philip Monk
a4dcad7d46
gall: unsubscribe after breach
fixes #1431
2019-09-24 15:00:16 -07:00
Philip Monk
30f74368fb
mall: convert hall to mall 2019-09-23 20:46:59 -07:00
Philip Monk
fc9f17ae23
mall: convert talk to mall
also change !< to crash on failure
2019-09-23 15:44:48 -07:00
Jared Tobin
940ec12910
Merge branch 'liam-fitzgerald/xml-cdata-support' (#1670)
* liam-fitzgerald/xml-cdata-support:
  pills: update solid
  zuse: add en-xml:html and de-xml:html tests
  zuse: fix comment parsing in de-xml:html
  zuse: added CDATA support to de-xml:html
2019-09-18 13:31:39 -02:30
Ted Blackman
cfce0e1390 turn off some debug printfs for benchmarking 2019-09-16 22:04:56 -04:00
Philip Monk
839a822f71
mall: convert hood/dojo to refactored form 2019-09-12 15:01:55 -07:00
Philip Monk
fbf56e3033
mall: refactor and rename
remove bones, give agent arms long names, remove metavase use, general
cleanup
2019-09-11 21:02:49 -07:00
Jared Tobin
472c27ef6c
Merge branch 'barbus' (#1712)
* barbus:
  hoon: removed unused parser type
  hoon: remove extraneous cast
  hoon: removed barhax. No hax!
  hoon: replace barhax with barbus
  hoon: changed barbus to match barhax
  hoon: replaced barbus usage with barhax
  hoon: add parsing for barhax
  hoon: added barhax to replace barbus
  hoon: update tall parsing for |$
  hoon: replace +* name usage with ++  name  |$
  hoon: add parsing rules for |$
  hoon: add ast for |$
2019-09-11 15:27:04 -02:30
David Kerschner
46b681e96a hoon: removed unused parser type 2019-09-11 01:20:38 -07:00
David Kerschner
b32fb23166 hoon: remove extraneous cast 2019-09-11 01:20:33 -07:00
David Kerschner
09575c4915 hoon: removed barhax. No hax! 2019-09-11 01:20:28 -07:00
David Kerschner
60c6d4fed1 hoon: replace barhax with barbus 2019-09-11 01:20:21 -07:00
David Kerschner
5762140ebb hoon: changed barbus to match barhax 2019-09-11 01:20:15 -07:00
David Kerschner
504e4fcac1 hoon: replaced barbus usage with barhax 2019-09-11 01:20:10 -07:00
David Kerschner
b752cf660e hoon: add parsing for barhax 2019-09-11 01:20:01 -07:00
David Kerschner
0935b87dc6 hoon: added barhax to replace barbus
barhax will implement changes request in pr and is used to stage changes to barbus
2019-09-11 01:19:45 -07:00
Philip Monk
263b151dcb
clay: answer ~ to %next request if file is deleted 2019-09-10 13:49:12 -07:00
Philip Monk
abf4bc39cd
wip 2019-09-10 13:12:38 -07:00
David Kerschner
936c79d616 hoon: update tall parsing for |$ 2019-09-10 11:59:32 -07:00
David Kerschner
b226d24a50 hoon: replace +* name usage with ++ name |$ 2019-09-10 11:59:22 -07:00
David Kerschner
755515463c hoon: add parsing rules for |$ 2019-09-10 11:59:14 -07:00
David Kerschner
043dec26cf hoon: add ast for |$
|$ is being added as a mold builder rune. This change is ultimately part of
reclaiming +* for use as aliases on cores.
2019-09-10 11:58:10 -07:00
Philip Monk
1ca4c72aa5
mall: make boot 2019-09-09 20:04:38 -07:00
Joe Bryan
d461ec40b0
hoon: enable scry in +mule
Enables .^ in +mule (statically-typed virtualization), by specifying a
scry-handler function that punts the namespace read to a higher
virtualization layer via virtual-nock (mock) 12.
2019-09-08 19:45:00 -02:30
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
Philip Monk
fc682fc585
Merge remote-tracking branch 'origin/scry-safe-mule' into philip/mall-real 2019-09-06 13:18:42 -07:00
Philip Monk
ca8c3e0910
mall: convert dojo to mall 2019-09-06 12:34:04 -07:00
Liam Fitzgerald
0fbedebfd0 zuse: fix comment parsing in de-xml:html 2019-09-06 13:04:11 +10:00
Philip Monk
2c5a478a84
mall: convert drum to mall 2019-09-05 20:01:31 -07:00
Philip Monk
84c7b442e9
mall: convert helm to mall 2019-09-05 18:46:55 -07:00
Philip Monk
f52e60bb09
mall: use +stay instead of explicit state 2019-09-04 14:20:47 -07:00
Philip Monk
bc1ba10a11
mall: compiles and runs app, but type hole 2019-09-04 12:49:16 -07:00
Philip Monk
c5cec4036b
add !< rune 2019-09-03 11:05:41 -07:00
Philip Monk
f8171138c3
mall: add lame handling 2019-09-03 11:04:58 -07:00
Philip Monk
449935739d
mall: rewrite gall with static +agent 2019-09-03 11:03:48 -07:00
Liam Fitzgerald
4bc4d76064 zuse: added CDATA support to de-xml:html 2019-08-31 15:00:37 +10:00
Philip Monk
6bac377bd2
hoon: don't nest check in zpmc
This check required the new type of +type to nest within the old type of
+type, which is wrong.  Specifically, this disallowed adding new runes
without a staging procedure (which we didn't successfully complete).
2019-08-29 17:08:48 -07:00
Jared Tobin
0bd06fe210
Merge branch 'jt-gall-refactor' (#1668)
* jt-gall-refactor: (76 commits)
  gall: fix issue id in comment
  pills: update solid
  gall: handle foreign coup success
  gall: only print peek bad result if bad
  gall: add basic test harness
  pills: update solid, brass, ivory
  gall: fix obvious nest-failing tisdot
  gall: change '-state' to '-core' for +mo and +ap
  zuse, gall: deprecate 'club'
  zuse, gall, eyre: deprecate 'cush'
  zuse, gall, eyre, dojo: deprecate 'cuft'
  gall: remove slam-related printfs
  gall: remove deprecated 'mak' from 'agents'
  gall: use less vertical spacing throughout
  gall: add comment re: unpopulated wex
  gall: use less vertical separation when wuthepping
  gall: fix whitespace
  gall: don't define 'move' as a pair
  gall: don't give faces to tags
  gall: gut some unused stuff
  ...
2019-08-29 19:05:25 -02:30
Ted Blackman
72b2dbe19e don't back off on skipped packet 2019-08-28 18:30:31 -07:00
Ted Blackman
99b98ca744 ames: print duplicate acks 2019-08-28 18:09:05 -07:00
Ted Blackman
4334b25ac6 hopefully fix packet sending 2019-08-28 17:58:44 -07:00
Ted Blackman
0fe443fc7c print to figure out why this is broken 2019-08-28 17:44:36 -07:00
Ted Blackman
e6e919b9bf moar gauge changes 2019-08-28 17:28:31 -07:00
Joe Bryan
97d67e81fb enables scry in +mule (by way of explicit nock 12 in +mute) 2019-08-28 15:55:13 -07:00
Joe Bryan
ee84936add adds type-safety to scry via +nets:wa in the scry-wrappers 2019-08-28 15:39:04 -07:00
Jared Tobin
9f371aff66
Merge branch 'pkova/cookie-change' (#1667)
* pkova/cookie-change:
  eyre: make auth cookie live for one week

Signed-off-by: Jared Tobin <jared@tlon.io>
2019-08-28 19:20:08 -02:30
pkova
814ac7a4f9 eyre: make auth cookie live for one week 2019-08-28 22:40:20 +03:00
Ted Blackman
461495658f don't resend as much; print differently 2019-08-27 22:35:01 -07:00
Ted Blackman
84742025e7 ames: slow multiplicatively on skipped packet 2019-08-27 21:41:32 -07:00
Ted Blackman
88cfba3bf1 ames: print and smoother RTT 2019-08-27 21:25:35 -07:00
Ted Blackman
46f0e6c1ae ames: congestion control backoff 2019-08-27 21:12:12 -07:00
Ted Blackman
ffdaa1694a ames: first attempt at congestion control 2019-08-27 20:53:19 -07:00
Ted Blackman
ca00d89286 %lost ames gift and stub handlers in vanes 2019-08-27 20:12:56 -07:00
Ted Blackman
7a58bcd50e fix testnet config in zuse 2019-08-27 16:09:56 -07:00
Ted Blackman
0fc1675928 Merge branch 'master' into alef-testnet 2019-08-27 14:06:09 -07:00
Jared Tobin
b8d1dc9220
gall: fix issue id in comment
The comment was pointing at the wrong GitHub issue.
2019-08-27 14:10:11 -02:30
Philip Monk
4e62ce2905
gall: handle foreign coup success 2019-08-27 10:00:08 -02:30
Philip Monk
3e6625d20f
gall: only print peek bad result if bad 2019-08-27 09:59:56 -02:30
Jared Tobin
2a802b5a30
Merge branch 'philip/fastboot' (#1663)
* philip/fastboot:
  dill, helm: add lite boot option with -l
2019-08-27 08:00:49 -02:30
Philip Monk
a25b082e04
dill, helm: add lite boot option with -l 2019-08-26 11:04:24 -07:00
Philip Monk
e2f18afe0a
zuse: make of-wain:format use linear space 2019-08-24 22:50:36 -07:00
Jared Tobin
1076663018
Merge branch 'philip/jael-fix' 2019-08-24 08:31:25 -02:30
Ted Blackman
a50181b65c fix old jael subscription bug; aqua %hi-cousin-az passes 2019-08-23 18:19:50 -07:00
Ted Blackman
507a5f722f alef: stop queueing alien packets; %breach-sudden passes 2019-08-22 22:53:38 -07:00
Ted Blackman
bad425660c alef: %breach-hi aqua test passes 2019-08-22 20:53:45 -07:00
Ted Blackman
039a691a2e alef: preserve peer pki data on breach 2019-08-22 19:51:51 -07:00
Philip Monk
ec9eedd50f
ph: clean up card structures 2019-08-22 15:33:52 -07:00
Philip Monk
212b5879fd
dawn.c: produce full sponsor chain keys 2019-08-22 14:16:26 -07:00
Jared Tobin
48901a3ded
gall: fix obvious nest-failing tisdot 2019-08-22 12:33:24 -02:30
Jared Tobin
d2d5d663d8
gall: change '-state' to '-core' for +mo and +ap 2019-08-22 12:33:24 -02:30
Jared Tobin
2b04b43262
zuse, gall: deprecate 'club'
Replaces with 'agent-action'.
2019-08-22 12:33:24 -02:30
Jared Tobin
38efc5e902
zuse, gall, eyre: deprecate 'cush'
Replaces with 'internal-task'.
2019-08-22 12:33:24 -02:30
Jared Tobin
ef99074304
zuse, gall, eyre, dojo: deprecate 'cuft'
Replaces it with the more informative name 'internal-gift'.
2019-08-22 12:33:24 -02:30
Jared Tobin
2fdb26096a
gall: remove slam-related printfs 2019-08-22 12:33:24 -02:30
Jared Tobin
624660ac60
gall: remove deprecated 'mak' from 'agents' 2019-08-22 12:33:23 -02:30
Jared Tobin
f435716406
gall: use less vertical spacing throughout 2019-08-22 12:33:23 -02:30
Jared Tobin
6a1478d8d9
gall: add comment re: unpopulated wex 2019-08-22 12:33:23 -02:30
Jared Tobin
cc7ac3cb2d
gall: use less vertical separation when wuthepping 2019-08-22 12:33:23 -02:30
Jared Tobin
a2d21debf5
gall: fix whitespace 2019-08-22 12:33:23 -02:30
Jared Tobin
04bff8ea96
gall: don't define 'move' as a pair 2019-08-22 12:33:23 -02:30
Jared Tobin
9ce3445e60
gall: don't give faces to tags 2019-08-22 12:33:22 -02:30
Jared Tobin
09103d59fd
gall: gut some unused stuff
Gets rid of 'voltage', 'security-control', and 'privilege', all of which
were either superfluous or were not actually used anywhere.
2019-08-22 12:33:22 -02:30
Jared Tobin
84924e6093
gall: indent multiline arm comments appropriately 2019-08-22 12:33:22 -02:30
Jared Tobin
f2c0cfd045
gall: use type spear inline 2019-08-22 12:33:22 -02:30