Skip to content

feat: add fix init#39

Merged
GregoryLi360 merged 5 commits into
mainfrom
feat/fix-init
Jun 29, 2026
Merged

feat: add fix init#39
GregoryLi360 merged 5 commits into
mainfrom
feat/fix-init

Conversation

@GregoryLi360

Copy link
Copy Markdown
Contributor

Adds fix init (creates the .fix store) on a new in-VM mkdir host effect, and splits the fix entrypoint into init and eval <file>.

@GregoryLi360 GregoryLi360 marked this pull request as ready for review June 24, 2026 19:14

@Akshay-Srivatsan Akshay-Srivatsan left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We should probably also switch to using embedded-io traits (which include error support)

@GregoryLi360 GregoryLi360 merged commit e9456ee into main Jun 29, 2026
6 checks passed
@GregoryLi360 GregoryLi360 deleted the feat/fix-init branch June 29, 2026 18:31
GregoryLi360 added a commit that referenced this pull request Jul 9, 2026
`fix eval <file>` computed correctly but hung on shutdown (closes #40,
regression after #39). `Drop` ran before `kernel::shutdown()`, which
called the `Close` path for the first time which had 2 bugs:

- Host never acked `Close`, but caller expects it and blocks waiting for
it
- After the host sends the ack response, arca panics with `Err(Closed)`
because `Reader::read` reported the pipe being closed before reading the
ack

Also updated README `just fix eval addblob.fix`
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants