Add basic per-actor external volume flow#405
Conversation
| Capacity resource.Quantity `json:"capacity" protobuf:"bytes,1,opt,name=capacity"` | ||
| // storageClassName refers to the StorageClass to create the volume from. | ||
| // +required | ||
| StorageClassName string `json:"storageClassName" protobuf:"bytes,2,opt,name=storageClassName"` |
There was a problem hiding this comment.
open for discussion: can we reference k8s objects or should we create our own api?
There was a problem hiding this comment.
I don't think there's a cleaner way. In theory we could have an ateapi level api which just acts as an indirect, but I don't see a reason at this moment.
| map<string, string> match_labels = 1; | ||
| } | ||
|
|
||
| message ExternalVolume { |
There was a problem hiding this comment.
discuss: should ExternalVolume be its own standalone object rather than embedded fields into the Actor?
Right now ExternalVolume is tied to an Actor but we are also thinking about the scenario where you want to share a volume across multiple actors.
There was a problem hiding this comment.
We all know how tricky volumes can be in k8s, with RWO, RWX, RO, mounts on the same node being virtually RWX but not ACTUALLY RWX, etc. If we make this a first-class resource, do we need to track the same sorts of things (e.g. NFS can be RWX, blockdev can't)?
There was a problem hiding this comment.
Yes, we will need to add the notion of access modes and enforce that shared volumes can only be RWX or ROX.
There was a problem hiding this comment.
should ExternalVolume be its own standalone object rather than embedded fields into the Actor?
It can be standalone message, as we have other standalone messages.
About standalone object? Do you mean customer will do "kubectl ate create external_volume"? We dont have requirements to have it today. So lets open it for discussion when it will be required.
There was a problem hiding this comment.
Yeah I mean standalone object. It's primarily for the shared volume use case when you want to import an existing volume that already exists.
| } | ||
| err = s.persistence.CreateActor(ctx, actor) | ||
| if err != nil { | ||
| // Cleanup created volumes if DB write fails |
There was a problem hiding this comment.
Discuss: In general, how should we approach errors when an operation only partially succeeds? Should we rollback all the partially completed operations? What happens if the rollback fails?
Or we leave the system in the partial state and require users to cleanup by calling Delete? Even then, if deletion fails and Create is called again, we could still have partially leftover resources from a previous invocation.
There was a problem hiding this comment.
My current thoughts:
If there is a pair of "Create" and "Delete" operations, then we can leave the partial state and clean it up on the Delete. This does imply we will have to add some "Creating" and possibly "Deleting" state to Actor before we start creating resources for it. I already have marked that as a todo.
For operations like "Resume", there isn't a corresponding delete operation if the resume failed. It's possible resume could be called on a different node. That means we could have partial state left on the first node. In those cases we can try to rollback the state as much as possible but that would still be a best effort operation. This has a few implications:
- We probably need to have some process on the node that monitors oprhaned resources and tries to clean them up and/or alert
- We need to make sure these orphaned resources don't get reused if a new actor with the same name gets created. This potentially implies that we should have some sort of actor uuid and be using that in our actor directories.
There was a problem hiding this comment.
The current implementation does not handle error in deleteActorVolume.
Might be we need introduce "FAILED" state. So the delete volume will be cleaned in this state.
We dont have this problem today, since during create we just create record in suspended state.
There was a problem hiding this comment.
Yeah I am thinking of 2 main changes to CreateActor:
- Add a new "CREATING" state and persist that to DB before starting to create volumes.
- Then if CreateVolume fails, we can introduce a FAILED state.
- User has to call DeleteActor in order to trigger deletion of volumes and Actor DB entry
3a4a327 to
ccc7a2d
Compare
c2286ea to
96fa815
Compare
Tim Hockin (thockin)
left a comment
There was a problem hiding this comment.
I didn't get too far into the reading of this yet, but wanted to send a couple questions before EOD
| Capacity resource.Quantity `json:"capacity" protobuf:"bytes,1,opt,name=capacity"` | ||
| // storageClassName refers to the StorageClass to create the volume from. | ||
| // +required | ||
| StorageClassName string `json:"storageClassName" protobuf:"bytes,2,opt,name=storageClassName"` |
There was a problem hiding this comment.
I don't think there's a cleaner way. In theory we could have an ateapi level api which just acts as an indirect, but I don't see a reason at this moment.
|
|
||
| // VolumePlugin abstracts storage operations. | ||
| type VolumePlugin interface { | ||
| CreateVolume(ctx context.Context, name string, capacity string, storageClass string) (volumeID string, err error) |
There was a problem hiding this comment.
Do you see this as "kubernetes PVC is the plugin", or "CSI is the plugin", or "NFS is the plugin" ?
What I really want to understand is what credentials are granted to the API server to create and destroy volumes, and what additional layers are in between. E.g. if I need to create a million k8s PVCs and PVs, that's trouble, but if I need to give ateapi binaries the ability to delete EBS volumes in the same context as k8s, that's also trouble.
There was a problem hiding this comment.
My thought is that substrate will directly call CSI grpc APIs (so ateapi needs to be authorized to communicate with CSI drivers). We will not be creating PVC objects, although we will need to have a substrate API reference to the volume IDs (which I have added in this PR).
| Type: "bind", | ||
| Source: ateompath.DurableDirVolumeMountPoint(atespace, actorID, vm.GetName()), | ||
| Source: srcPath, | ||
| Options: []string{"bind", "rw"}, |
There was a problem hiding this comment.
double check this. durabledir didn't set any options.
4890a34 to
ffc96b8
Compare
Tim Hockin (thockin)
left a comment
There was a problem hiding this comment.
I read this. It seems broadly correct. I am still worried about permissions, but not enough to block this.
I swear I had another comment, and it was important, but I forgot what it was. Oh well, Friday. :)
| // for each actor. The volume only lives as long as the actor and is deleted | ||
| // when the actor is deleted. | ||
| // +optional | ||
| ExternalVolumeTemplate *ExternalVolumeTemplate `json:"externalVolumeTemplate,omitempty" protobuf:"bytes,3,opt,name=externalVolumeTemplate"` |
There was a problem hiding this comment.
Do we need the word "Template" in here? All of these are templates
There was a problem hiding this comment.
Open to naming, I am trying to distinguish between volumes that will trigger dynamic provisioning, and volumes that won't. So for shared volumes, for instance, I am thinking we could have something like:
volumes:
externalVolumeTemplate:
- name: my-own-volume
storageClassName: class1
externalVolume:
- name: shared-volume
volumeName: someExistingVolume (in the same atespace) # This volume is already created and populated with data through other means
| // for each actor. The volume only lives as long as the actor and is deleted | ||
| // when the actor is deleted. | ||
| // +optional | ||
| ExternalVolumeTemplate *ExternalVolumeTemplate `json:"externalVolumeTemplate,omitempty" protobuf:"bytes,3,opt,name=externalVolumeTemplate"` |
There was a problem hiding this comment.
What exactly does External mean here, External to substrate? If we are just wrapping a StorageClass anyway should we name it PersistentVolumeSource to be closer to the source material?
There was a problem hiding this comment.
It's not REALLY a PV in k8s, it's just reusing k8s storage classes
There was a problem hiding this comment.
Open to naming :)
But agree with Tim that this doesn't have quite the same semantics as PVs in k8s (and even the "persistent" part in k8s is misleading sometimes). At least with the per-actor volumes, the volume is definitely not persistent in the traditional sense (it only lives as long as the actor).
By "External", I'm trying to distinguish with the sandbox-backed filesystems, like rootfs and durabledir. The volumes in this case are backed by storage systems external to substrate (ie nfs, remote block, pfs, distributed fs, etc).
| map<string, string> match_labels = 1; | ||
| } | ||
|
|
||
| message ExternalVolume { |
33fbae5 to
ec684cf
Compare
ec684cf to
90ad7f1
Compare
Benjamin Elder (BenTheElder)
left a comment
There was a problem hiding this comment.
[AI First Pass Experiment]
| return mounted | ||
| } | ||
|
|
||
| func actorVolumeID(ref *ateapipb.ObjectRef, volumeName string) string { |
There was a problem hiding this comment.
🟡 🤖 The hyphen join is ambiguous: atespace, actor name, and volume name may all contain hyphens, so distinct actors can produce the same ID (actor a in atespace x-y vs actor y-a in atespace x). This string is the idempotency name passed to CreateVolume, and CSI dedupes by name — colliding actors would silently share one storage volume. The existing TODO about actor UUID would fix it; an unambiguous encoding of the three parts would too.
There was a problem hiding this comment.
I plan to address this as a folowup (I already have a todo) as it will require adding a "CREATING" status to Actor and persisting that before calling CreateVolume so that the Actor will have a UID by the time we create the volumes.
| } | ||
|
|
||
| // Delete associated volumes (TODO: best effort?) | ||
| s.deleteActorVolumes(ctx, req.GetActor(), actor.GetActorVolumes()) |
There was a problem hiding this comment.
🟡 🤖 Two issues with volume deletion here. Volumes are never detached first — for an actor deleted while running or paused, CSI DeleteVolume on an attached volume fails. And since failures are only logged before the record is deleted below, the volume leaks with no record pointing at it. Consider detaching first (reuse detachActorVolumes) and deleting the record only after volume deletion succeeds, or persisting a deletion intent for background retry.
There was a problem hiding this comment.
This is an interesting question. While the state machine here (#119) does allow delete from SUSPENDED, PAUSED and CRASHED states, I believe for pause/crash, there's probably still some cleanup that has to happen from atelet, and that workflow is currently missing today. Dmitry Berkovich (@dberkov) do we plan to add this workflow?
There was a problem hiding this comment.
Agree with Benjamin Elder (@BenTheElder) , something is broken here. From moment we started deletion -> we cannot just ignore the error or keep it in suspended state.
I think we need split DELETE in 2 phases:
- move to DELETING first
- do actual delete all sub-resources before deleting the record from redis.
There was a problem hiding this comment.
I am making a change to make volume deletion a hard failure for Actor Deletion so that we do not delete the Actor record until all volumes are successfully deleted.
However my question is about transitioning from PAUSE or CRASH directly to DELETE. Right now this just directly tries to Delete without telling the workers. I think we are missing some workflow to atelet to cleanup the nodes.
| ExternalVolumeTemplate *ExternalVolumeTemplate `json:"externalVolumeTemplate,omitempty"` | ||
| } | ||
|
|
||
| type ExternalVolumeTemplate struct { |
There was a problem hiding this comment.
nit:have you considered to call it "ExternalVolumeSource" rather then template?
There was a problem hiding this comment.
As mentioned in #405 (comment), I am trying to think about how to add the "import existing volume" scenario for the shared volume use case in the future. So in the API I want to distinguish between "this will be a new volume created per actor" vs "we're accessing an existing volume that will be shared".
| } | ||
| err = s.persistence.CreateActor(ctx, actor) | ||
| if err != nil { | ||
| // Cleanup created volumes if DB write fails |
There was a problem hiding this comment.
The current implementation does not handle error in deleteActorVolume.
Might be we need introduce "FAILED" state. So the delete volume will be cleaned in this state.
We dont have this problem today, since during create we just create record in suspended state.
| } | ||
|
|
||
| // Delete associated volumes (TODO: best effort?) | ||
| s.deleteActorVolumes(ctx, req.GetActor(), actor.GetActorVolumes()) |
There was a problem hiding this comment.
Agree with Benjamin Elder (@BenTheElder) , something is broken here. From moment we started deletion -> we cannot just ignore the error or keep it in suspended state.
I think we need split DELETE in 2 phases:
- move to DELETING first
- do actual delete all sub-resources before deleting the record from redis.
|
|
||
| // TODO: Replace with actual volume plugin search | ||
| func getVolumePlugin() volume.VolumePluginControlPlane { | ||
| return globalVolumePlugin |
There was a problem hiding this comment.
this is what actually was I was missing when I reviewed pkg/api/v1alpha1/actortemplate_types.go.
How the storage plugins will be registered in the substrate instance?
There was a problem hiding this comment.
The CSI integration will include plugin discovery. We're still POC-ing CSI support right now but the current thought is to add a new CRD to register the CSI endpoints to use for substrate.
| ref := &ateapipb.ObjectRef{Atespace: state.Actor.GetMetadata().GetAtespace(), Name: state.Actor.GetMetadata().GetName()} | ||
| for _, vol := range getMountedActorVolumes(ctx, ref, state.Actor.GetActorVolumes(), state.ActorTemplate) { | ||
| slog.InfoContext(ctx, "Attaching volume to node", slog.String("volume_id", vol.GetStorageVolumeId()), slog.String("node", node)) | ||
| err := getVolumePlugin().AttachVolume(ctx, vol.GetStorageVolumeId(), node) |
There was a problem hiding this comment.
what does attachment supposed to do? Attach volume to node VM? Is this code supposed to be executed on the atelet?
There was a problem hiding this comment.
This depends on the actual volume driver implementation but it's essentially "anything you need to do to make the volume accessible on that node". For block storage, that would be attaching the device to the node. For file storage, that could be configuring network policies to allow the node access to the volume. This is run from the CP (ateapi)
There was a problem hiding this comment.
The disadvantage to run this code in control plane, it makes resume operation slower. By running this code in atelet, this code can be executed in parallel with code that downloads images from GCS or download OCI image from artifcat registry.
There was a problem hiding this comment.
The main issue is security. In the case of block storage, we don't want to give nodes permissions to attach any volume, and in the case of filers, we don't want to give the node permissions to set ACLs for itself.
In the future, we can explore optimizations to make this a non-blocking operation.
| type VolumePluginControlPlane interface { | ||
| CreateVolume(ctx context.Context, name string, capacity string, storageClass string) (volumeID string, err error) | ||
| DeleteVolume(ctx context.Context, volumeID string) error | ||
| AttachVolume(ctx context.Context, volumeID string, node string) error |
There was a problem hiding this comment.
what information about node do you need for attach? Is it just node name? Do you need more information, like IP, zone, etc?
There was a problem hiding this comment.
The CSI spec call only takes node id as input. The driver is responsible for interpreting that and getting any additional metadata about that node that they need.
| } | ||
|
|
||
| func (s *AttachVolumesStep) Execute(ctx context.Context, input *ResumeInput, state *ResumeState) error { | ||
| if state.Actor.GetAteomPodNamespace() == "" { |
There was a problem hiding this comment.
could you please take a look to
. Zoe recently added CRASH state.There was a problem hiding this comment.
I took a look, right now it just updates DB Actor state. I don't see anything to add here wrt volumes at the moment. Like I mentioned in #405 (comment), I think we are missing some workflow to cleanup the worker/node when a PAUSED or CRASHED actor gets deleted.
| - name: external-data | ||
| externalVolumeTemplate: | ||
| capacity: 1Gi | ||
| storageClassName: standard |
There was a problem hiding this comment.
out of curiosity what exactly it will do today, from what storage class data will be exeucted?
There was a problem hiding this comment.
It's not used right now, but once we add CSI driver support, we will extract the driverName and the opaque driver-specific properties to pass to volume creation (things like tier, performance parameters, etc)
e627884 to
18a4ca4
Compare
18a4ca4 to
3afc69b
Compare
This adds a new externalVolumeTemplate where users specify the capacity, storage driver and storage properties they would like via StorageClass. When an actor is created, we will also provision a volume for the actor according to the template. The volume is deleted when the actor is deleted.
Adds external volumes to the Actor object and integrates control plane Actor workflows with the corresponding volume operations: CreateActor -> CreateVolume DeleteActor -> DeleteVolume ResumeActor -> AttachVolume Pause/Suspend Actor -> DetachVolume
Volume operations are integrated into the actor workflows: - Run/Restore: MountVolume - Checkpoint: UnmountVolume Volumes are mounted under the actor directory and passed as bind mounts to OCI.
This allows for different storage backends to be supported. Right now it only contains the mock volume plugin, which is only intended for testing purposes right now.
It makes the file counter path configurable so we can test it against different volume types. And adds an optional file verification step to test the presence of a file on an existing volume.
3afc69b to
7a527fb
Compare
|
Here's the items I would like to followup in separate PRs to limit the size of this one, and to help unblock the CSI integration work;
|
Initial part of #232.
Extends the ActorTemplate API to add support for per-actor external volumes and adds control plane and atelet hooks following the Actor lifecycle.
Callouts to volume operations are abstracted with a Volume interface. Right now, only a mock volume plugin for testing has been implemented, but we will add CSI support next.