Skip to content

atelet: add the empty_dir volume source - #9

Open
hajiler wants to merge 1 commit into
mainfrom
shared-volumes/02-empty-dir-volume
Open

hajiler wants to merge 1 commit into
mainfrom
shared-volumes/02-empty-dir-volume

Conversation

@hajiler

@hajiler hajiler commented Sep 25, 2026 •

Copy link
Copy Markdown
Owner

Summary

Adds EmptyDirVolume to the atelet workload spec: an empty host directory created at the same path an external volume is published to (VolumeHostPath), mounted into the sandbox the same way as an external volume on both gVisor (bind) and microVM (virtio-fs share). It is cleared on every Run/Restore.

This is what lets a golden actor warm up against a placeholder for a shared ExternalVolume it must not mount, so the snapshot's mount table matches the real actor's. Using a durable dir for that (as the POC did) puts the placeholder at a different source path, which the design doc identified as breaking microVM restores.

PR 2 of 4 for shared external volumes, Milestone 1 (independent of #8; #11 depends on it).

Test plan

  • go test ./cmd/atelet/... ./internal/ocispec/... (new TestResetEmptyDirClearsPreviousContents, extended mount mapping tests)
  • go build ./..., hack/verify/codegen.sh

🤖 Generated with Claude Code

An EmptyDirVolume is an empty host directory at the same path an external
volume would be published to, mounted into the sandbox the same way. It lets a
golden actor warm up against a placeholder for an external volume it must not
mount, so the snapshot's mount table matches the real actor's on both gVisor
and microVM.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
@hajiler
hajiler force-pushed the shared-volumes/02-empty-dir-volume branch from 26363a0 to 7cd29c5 Compare October 13, 2026 15:59
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.

1 participant