chiark / gitweb /
Ian Jackson [Sat, 1 May 2021 15:37:46 +0000 (16:37 +0100)]
cmdlistener: Provide facility for bulk upload/download
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 15:35:47 +0000 (16:35 +0100)]
move mgmtchannel read/write to methods on Framed
This will allow us to borrow the read and write halves of a channel
separately, for doing bulk upload/download.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 15:06:51 +0000 (16:06 +0100)]
cmdlistener: Break out CommandStream so it doesn't get chan
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 14:57:51 +0000 (15:57 +0100)]
mgmtchannel: Provide _withbulk
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 14:52:19 +0000 (15:52 +0100)]
packetfraame: Move stream flush to finish call
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 12:20:57 +0000 (13:20 +0100)]
global: Slightly reorganise InstanceOuter construction
Tidier, and makes space for bundles.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 1 May 2021 12:19:04 +0000 (13:19 +0100)]
global: Introduce InstanceOuter
This will let us put bundle information within a separate lock.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 29 Apr 2021 00:57:19 +0000 (01:57 +0100)]
CHANGLOG: mention spec parsing change
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 29 Apr 2021 00:43:38 +0000 (01:43 +0100)]
Move game spec parsing from client to server
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 29 Apr 2021 00:55:59 +0000 (01:55 +0100)]
mgmtchannel: Correct handling of expanded insn responses
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 29 Apr 2021 00:17:33 +0000 (01:17 +0100)]
otter(1): Provide SpecRaw
Not used yet.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 29 Apr 2021 00:17:23 +0000 (01:17 +0100)]
otter: Introduce SpecParse trait for specs we may want to send raw
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 23:57:30 +0000 (00:57 +0100)]
cmdlistener: Introduce InsnExpanded
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 23:54:25 +0000 (00:54 +0100)]
cmdlistener: Move handling of expand
We're going to want this to interact with resp
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 23:50:30 +0000 (00:50 +0100)]
cmdlistener: Provide InsnMark for handling expanding insns
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 23:44:26 +0000 (00:44 +0100)]
cmdlistener: allow insns to prepend more insns
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 22:43:00 +0000 (23:43 +0100)]
PosOffTableError: Use error autoconversion
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 22:38:54 +0000 (23:38 +0100)]
PosOffTableError: Use in organise
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 22:36:50 +0000 (23:36 +0100)]
PosOffTableError: Introduce
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 22:29:37 +0000 (23:29 +0100)]
cmdlistener: Do not allow resizing the table so pieces fall outside
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 22:21:41 +0000 (23:21 +0100)]
CHANGELOG: Document recent changes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 22:19:27 +0000 (23:19 +0100)]
CHANGELOG: Document recent changes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 18:53:02 +0000 (19:53 +0100)]
apitests: Test that all specs load
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 18:51:06 +0000 (19:51 +0100)]
Makefile: Add missing dependency of tests on specs
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 18:13:33 +0000 (19:13 +0100)]
specs: vatikan: Add a reference to where the info came from
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 18:03:31 +0000 (19:03 +0100)]
specs: Rename same-scope.table.toml
This should have a hyphen.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 17:02:17 +0000 (18:02 +0100)]
specs: Introduce samescope.table.toml
And the supporting Rust code.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 17:01:34 +0000 (18:01 +0100)]
specs: Plumb InstanceName through to TablePlayerSpec::account_glob
This makes it possible for the meaning of a TablePlayerSpec to be
"local" relative to the instance name.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 17:00:05 +0000 (18:00 +0100)]
specs: Add private.table.toml
It seems like this should exist.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 16:58:42 +0000 (17:58 +0100)]
otter(1): Add env_logger
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 16:53:36 +0000 (17:53 +0100)]
mgmtchannel: Add tracing calls
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 16:52:11 +0000 (17:52 +0100)]
spec: Fix TablePlayerSpec glob pattern generation
Fixes TablePlayerSpec::Local.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 16:33:19 +0000 (17:33 +0100)]
paketframe: Delete unused copies of rmp mgmtchannel r/w
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 28 Apr 2021 15:52:27 +0000 (16:52 +0100)]
specs: Add vatikan.game.toml
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 25 Apr 2021 17:13:40 +0000 (18:13 +0100)]
hidden: Document ShowUnocculted proof obligations
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 25 Apr 2021 17:05:32 +0000 (18:05 +0100)]
authproofs: Document proof obligations
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 24 Apr 2021 13:01:46 +0000 (14:01 +0100)]
global: Rename "aux" (from daft old name "access")
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 23:40:55 +0000 (00:40 +0100)]
mgmtchannel: Switch to msgpack from json
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 23:33:22 +0000 (00:33 +0100)]
mgmtchannel: Switch to Framed from newline-based framing
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 20:54:06 +0000 (21:54 +0100)]
packetframe: test: Test an empty frame
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 18 Apr 2021 12:30:34 +0000 (13:30 +0100)]
packetframe: Completely rewrite FrameReader
The was growing more and more epicycles, every time I fixed a test
failure. And it still wouldn't cope with an empty frame!
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 18 Apr 2021 12:25:25 +0000 (13:25 +0100)]
packetframe: tests: Test with BufReaders
We are about to make this get quite involved with a BufReader's buffer
methods, so the BufReader will hide our LumpReader. So test all
combinations of both. This still only takes 2.5s in a debug build.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 18 Apr 2021 11:58:12 +0000 (12:58 +0100)]
packetframe: Tests: Fold read_all into lumpreader loop
Just code motion and removal of an indiredtion.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 18 Apr 2021 11:56:01 +0000 (12:56 +0100)]
packetframe: Tests: Fold first read_all into lumpreader test
With a buffer of len+1 this is equivalent. This will make it easier
to change the way FrameReader is constructed.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 18 Apr 2021 11:34:49 +0000 (12:34 +0100)]
packetframe: Fuse: introduce and use new()
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 18 Apr 2021 11:20:19 +0000 (12:20 +0100)]
packetframe: Introduce ChunkLen type
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 19:49:16 +0000 (20:49 +0100)]
packetframe: Rework EOF handling
Check EOF on new_frame(), to return None rather than a weird Read.
Make EOF handling fused too by introducing the new HadEof state.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 19:48:56 +0000 (20:48 +0100)]
packetframe: tests: Break out expect_is_bad_eof
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 19:35:00 +0000 (20:35 +0100)]
packetframe: Break out chunk_remaining
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 19:30:49 +0000 (20:30 +0100)]
packetframe: Handle end of chunk differently
GoodEof is much nicer.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 19:26:13 +0000 (20:26 +0100)]
packetframe: Invent SE::GoodEof
This seems to clarify things and will help in a moemnt.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 19:18:59 +0000 (20:18 +0100)]
packetframe: Add some comments
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 19:12:50 +0000 (20:12 +0100)]
packetframe: Make badeof into a fn rather than a closure
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 19:08:44 +0000 (20:08 +0100)]
packetframe: Introduce a special return type for do_read
The nested results were extremely confusing!
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 18:53:05 +0000 (19:53 +0100)]
packetframe: tests: Break out expect_bad_eof
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 18:51:01 +0000 (19:51 +0100)]
packetframe: tests: Rename expect_good_eof
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 18:49:23 +0000 (19:49 +0100)]
packetframe: tests: Stricten an assertion
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 18:49:06 +0000 (19:49 +0100)]
packetframe: Tidy file by reorganising it and adding comments
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 18:13:21 +0000 (19:13 +0100)]
packetframe: tests: Test EOF failure before subsequent chunk header
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 18:33:41 +0000 (19:33 +0100)]
packetframe: Tristate for state
New arrangements to handle EOF right
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 18:03:51 +0000 (19:03 +0100)]
packetframe: tests: Test EOF failure mid-chunk-data
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 18:03:39 +0000 (19:03 +0100)]
packetframe: Fix EOF handling in chunk data
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 17:57:21 +0000 (18:57 +0100)]
packetframe: tests: Test EOF failure in chunk header
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 14:12:29 +0000 (15:12 +0100)]
packetframe: tests: Test EOF succss before first chunk header
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 14:25:32 +0000 (15:25 +0100)]
packetframe: Fix EOF handling in chunk header
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 12:55:30 +0000 (13:55 +0100)]
packetframe: tests: Move lump test to avoid warning
Otherwise LumpReader is present but dead code under miri.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 12:54:08 +0000 (13:54 +0100)]
packetframe: tests: Disable lump test under miri
There's no unsafe here and this test is rather slow.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 12:50:38 +0000 (13:50 +0100)]
packetframe: tests: Test that before boom is boom
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 12:47:50 +0000 (13:47 +0100)]
packetframe: tests: LumpReader tests whole buf too
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 12:45:54 +0000 (13:45 +0100)]
packetframe: tests: LumpReader tests short reads
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 12:45:45 +0000 (13:45 +0100)]
packetframe: Some commented-out dbg
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 12:44:55 +0000 (13:44 +0100)]
packetframe: Fix expect_boom to cope with short reads
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 12:41:34 +0000 (13:41 +0100)]
packetframe: Fix handling of partial read
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 12:31:16 +0000 (13:31 +0100)]
packetframe: Add a bit of dbg to test
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 12:29:12 +0000 (13:29 +0100)]
packetframe: Add a bit of dbg to test
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 12:22:35 +0000 (13:22 +0100)]
packetframe: Remove dbg calls from non-test code
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 12:21:49 +0000 (13:21 +0100)]
packetframe: Remove massively over-verbose dbg from Fuse
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 12:09:06 +0000 (13:09 +0100)]
packetframe: Genericise tests
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 12:08:39 +0000 (13:08 +0100)]
packetframe: Allow privately constructing one out of non-Buf
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 11:16:16 +0000 (12:16 +0100)]
packetframe: Provide read_all
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 11:11:13 +0000 (12:11 +0100)]
packetframe: Move expect_boom
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 11:10:25 +0000 (12:10 +0100)]
packetframe: Add a fragmented frame
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 10:07:15 +0000 (11:07 +0100)]
packetframe: Better debug output
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 10:06:13 +0000 (11:06 +0100)]
packetframe: Better debug output
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 22:53:59 +0000 (23:53 +0100)]
packetframe: Sort out MgmtChannelWriteError
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 21:38:35 +0000 (22:38 +0100)]
packetframe: Provide write_rmp
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 21:27:40 +0000 (22:27 +0100)]
packetframe: Test abandoned frame read
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 21:27:31 +0000 (22:27 +0100)]
packetframe: Break out expect_boom
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sat, 17 Apr 2021 09:34:26 +0000 (10:34 +0100)]
packetframe: Format a bit better
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 21:27:08 +0000 (22:27 +0100)]
packetframe: Use a slightly more distinctive test string
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 20:53:00 +0000 (21:53 +0100)]
packetframe: tidy test a bit
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 01:16:48 +0000 (02:16 +0100)]
packetframe: more tests, more fixes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Fri, 16 Apr 2021 01:05:41 +0000 (02:05 +0100)]
packetframe: wip some basic tests, and fixes
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 15 Apr 2021 01:01:49 +0000 (02:01 +0100)]
packetframe: Restructuring etc.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 15 Apr 2021 01:01:35 +0000 (02:01 +0100)]
packetframe: Provide Write impl for Fuse
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 15 Apr 2021 00:59:58 +0000 (01:59 +0100)]
packetframe: Introduce Fuse::with
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Thu, 15 Apr 2021 00:56:03 +0000 (01:56 +0100)]
packetframe: Introduce Fuse::get
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Sun, 28 Mar 2021 18:43:29 +0000 (19:43 +0100)]
packetframe: Initial wip, buggy and not used, but but compiles
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Wed, 14 Apr 2021 21:26:03 +0000 (22:26 +0100)]
cargo: add byteorder as a dependency
We want this for reading/writing raw binary for packetframe.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Ian Jackson [Mon, 19 Apr 2021 01:29:17 +0000 (02:29 +0100)]
make-release: Check changelog
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
~ianmdlvl / otter.git / log