Skip to content

[hyperactor] mesh: define resource::Resource, and mesh::Mesh in terms of it #1841

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
wants to merge 11 commits into from
Closed

[hyperactor] mesh: define resource::Resource, and mesh::Mesh in terms of it #1841

wants to merge 11 commits into from

Conversation

@mariusae
Copy link
Member

@mariusae mariusae commented Nov 12, 2025 •
edited
Loading

Stack from ghstack (oldest at bottom):

We formalize a resource controller behavior:


/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);

Anything that is a controller should behave-as a resource::Controller.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing Resource for any mesh:

impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}

This resolves to the same set of bindings and aliases (except we use resource::Controller<Mesh> rather than mesh::Controller<Mesh>) -- the existing behaviors continue to assert.

Differential Revision: D86905562

NOTE FOR REVIEWERS: This PR has internal Meta-specific changes or comments, please review them on Phabricator!

@mariusae
[hyperactor] mesh: define resource::Resource, and mesh::Mesh in ter…
9410b56 
…ms of it

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!

[ghstack-poisoned]
This was referenced Nov 12, 2025
Closed
Closed
Closed
mariusae added a commit that referenced this pull request Nov 12, 2025
@mariusae
[hyperactor] mesh: define resource::Resource, and mesh::Mesh in ter…
6241515 
…ms of it

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!

ghstack-source-id: 322844163
Pull Request resolved: #1841
@meta-cla meta-cla bot added the CLA Signed This label is managed by the Meta Open Source bot. label Nov 12, 2025
@mariusae
Update on "[hyperactor] mesh: define resource::Resource, and mesh::…
b9d1d7a 
…Mesh in terms of it"

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!

[ghstack-poisoned]
mariusae added a commit that referenced this pull request Nov 12, 2025
@mariusae
[hyperactor] mesh: define resource::Resource, and mesh::Mesh in ter…
ec19112 
…ms of it

Pull Request resolved: #1841

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!
ghstack-source-id: 322864676
@mariusae
Update on "[hyperactor] mesh: define resource::Resource, and mesh::…
dfa15b0 
…Mesh in terms of it"

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!

[ghstack-poisoned]
mariusae added a commit that referenced this pull request Nov 12, 2025
@mariusae
[hyperactor] mesh: define resource::Resource, and mesh::Mesh in ter…
e921dcc 
…ms of it

Pull Request resolved: #1841

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.
ghstack-source-id: 322871728

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!
@mariusae
Update on "[hyperactor] mesh: define resource::Resource, and mesh::…
d55a893 
…Mesh in terms of it"

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!

[ghstack-poisoned]
mariusae added a commit that referenced this pull request Nov 13, 2025
@mariusae
[hyperactor] mesh: define resource::Resource, and mesh::Mesh in ter…
091e6fc 
…ms of it

Pull Request resolved: #1841

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.
ghstack-source-id: 322923564

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!
@mariusae
Update on "[hyperactor] mesh: define resource::Resource, and mesh::…
a9e520f 
…Mesh in terms of it"

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!

[ghstack-poisoned]
mariusae added a commit that referenced this pull request Nov 13, 2025
@mariusae
[hyperactor] mesh: define resource::Resource, and mesh::Mesh in ter…
3ebeb17 
…ms of it

Pull Request resolved: #1841

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.
ghstack-source-id: 323030040

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!
@mariusae
Update on "[hyperactor] mesh: define resource::Resource, and mesh::…
1a85ff1 
…Mesh in terms of it"

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!

[ghstack-poisoned]
mariusae added a commit that referenced this pull request Nov 13, 2025
@mariusae
[hyperactor] mesh: define resource::Resource, and mesh::Mesh in ter…
f470734 
…ms of it

Pull Request resolved: #1841

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.
ghstack-source-id: 323103587

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!
@mariusae
Update on "[hyperactor] mesh: define resource::Resource, and mesh::…
dc3d8e2 
…Mesh in terms of it"

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!

[ghstack-poisoned]
mariusae added a commit that referenced this pull request Nov 14, 2025
@mariusae
[hyperactor] mesh: define resource::Resource, and mesh::Mesh in ter…
e1b328e 
…ms of it

Pull Request resolved: #1841

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.
ghstack-source-id: 323206577

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!
@mariusae
Update on "[hyperactor] mesh: define resource::Resource, and mesh::…
2ac7a10 
…Mesh in terms of it"

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!

[ghstack-poisoned]
mariusae added a commit that referenced this pull request Nov 14, 2025
@mariusae
[hyperactor] mesh: define resource::Resource, and mesh::Mesh in ter…
6cf8731 
…ms of it

Pull Request resolved: #1841

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.
ghstack-source-id: 323217208

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!
@mariusae
Update on "[hyperactor] mesh: define resource::Resource, and mesh::…
05b60c2 
…Mesh in terms of it"

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!

[ghstack-poisoned]
mariusae added a commit that referenced this pull request Nov 14, 2025
@mariusae
[hyperactor] mesh: define resource::Resource, and mesh::Mesh in ter…
017938c 
…ms of it

Pull Request resolved: #1841

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.
ghstack-source-id: 323217472

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!
@mariusae
Update on "[hyperactor] mesh: define resource::Resource, and mesh::…
2de5504 
…Mesh in terms of it"

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!

[ghstack-poisoned]
mariusae added a commit that referenced this pull request Nov 14, 2025
@mariusae
[hyperactor] mesh: define resource::Resource, and mesh::Mesh in ter…
15d14ad 
…ms of it

Pull Request resolved: #1841

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.
ghstack-source-id: 323321906

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!
@mariusae
Update on "[hyperactor] mesh: define resource::Resource, and mesh::…
df98a66 
…Mesh in terms of it"

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!

[ghstack-poisoned]
mariusae added a commit that referenced this pull request Nov 14, 2025
@mariusae
[hyperactor] mesh: define resource::Resource, and mesh::Mesh in ter…
e079afc 
…ms of it

Pull Request resolved: #1841

We formalize a resource controller behavior:

```

/// A trait that bundles a set of types that together define a resource.
pub trait Resource {
    /// The spec specification for this resource.
    type Spec: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;

    /// The state for this resource.
    type State: Named + Serialize + for<'de> Deserialize<'de> + Send + Sync + std::fmt::Debug;
}

// A behavior defining the interface for a mesh controller.
hyperactor::behavior!(
    Controller<R: Resource>,
    CreateOrUpdate<R::Spec>,
    GetState<R::State>,
    Stop,
);
```

Anything that is a controller should behave-as a `resource::Controller`.

We then formalize the mesh controller behavior as a specialization of a resource controller, by implementing `Resource` for any mesh:

```
impl<M: Mesh> Resource for M {
    type Spec = Spec<M::Spec>;
    type State = State<M::State>;
}
```

This resolves to the same set of bindings and aliases (except we use `resource::Controller<Mesh>` rather than `mesh::Controller<Mesh>`) -- the existing behaviors continue to assert.
ghstack-source-id: 323322438

Differential Revision: [D86905562](https://our.internmc.facebook.com/intern/diff/D86905562/)

**NOTE FOR REVIEWERS**: This PR has internal Meta-specific changes or comments, please review them on [Phabricator](https://our.internmc.facebook.com/intern/diff/D86905562/)!
@meta-codesync meta-codesync bot closed this in cc7ccf8 Nov 14, 2025
@meta-codesync
Copy link

meta-codesync bot commented Nov 14, 2025

This pull request has been merged in cc7ccf8.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

CLA Signed This label is managed by the Meta Open Source bot. fb-exported Merged meta-exported

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@mariusae @facebook-github-bot