Skip to content
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.

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

[Newbie] Supporting Yunikorn and Kueue #5915

Open
wants to merge 20 commits into
base: master
Choose a base branch
from
131 changes: 131 additions & 0 deletions rfc/system/5575-supporting-yunikorn-and-kueue.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,131 @@
# [Newbie] Supporting Yunikorn and Kueue

**Authors:**

- @yuteng

## 1 Executive Summary

Providing kubernetes (k8s) resource management, gang scheduling and preemption for flyte applications by third-party software, including Apache Yunikorn and Kueue.
Copy link
Member

Choose a reason for hiding this comment

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

Could you please explain what preemption means here compared to what preemption means in the context of spot instances on e.g. AWS or GCP?


## 2 Motivation

Flyte support multi-tenancy and various k8s plugins.

Kueue and Yunikorn support gang scheduling and preemption.
Gang scheduling guarantees the availability of certain K8s crd services, such as Spark, Ray, with sufficient resource and preemption make sure high priority task execute immediately.
Copy link
Member

Choose a reason for hiding this comment

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

guarantees the availability of certain K8s crd services, such as Spark

I would rather say that gang scheduling guarantees that all worker pods derived from a CRD are scheduled at the same time. Would add that this is important to prevent waste of resources when jobs can partially start without being able to do any meaningful work.


Flyte doesn't provide resource management for multi-tenancy, which hierarchical resource queues of Yunikorn can solve.

## 3 Proposed Implementation

```yaml
queueconfig:
scheduler: yunikorn
jobs:
- type: "ray"
gangscheduling: "placeholderTimeoutInSeconds=60 gangSchedulingStyle=hard"
- type: "spark"
gangscheduling: "placeholderTimeoutInSeconds=30 gangSchedulingStyle=hard"
```
Copy link
Member

Choose a reason for hiding this comment

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

Is this list complete or an example? I.e. will this also work for plugins like kubeflow pytorch, tf, mpi or dask, ...?

Copy link
Author

Choose a reason for hiding this comment

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

This is an example.
Admin can set default configuration about gang scheduling for CRD in flyte k8s plugins.


Mentioned configuration indicates what queues exist for an org.
Copy link
Member

Choose a reason for hiding this comment

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

Could you please explain what an org is in this context? It's not the same as this org right?

Hierarchical queues will be structured as follows.
root.org1.ray、root.org1.spark and root.org1.default".

ResourceFlavor allocates resource based on labels which indicates that category-based resource allocation by organization label is available.
Copy link
Member

@fg91 fg91 Nov 5, 2024

Choose a reason for hiding this comment

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

Could you please explain how the the reseource flavor will be determined? Is there a way to automatically derive this from the task decorator args @task(resources=..., accelerator=...)?

It would be really nice if tasks that need e.g. an A100 GPU were automatically not in the same queue as tasks that need 2 x T4 GPUs. We're using kubeflow pytorch jobs with scheduler plugins' gang scheduling and have observed jobs being starved that the cluster would have had resources for because other jobs which were trying to get different GPU types couldn't be scheduled but which had a higher priority.

Copy link
Author

Choose a reason for hiding this comment

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

No, need to create Kueue CRDs first.
A cluster queue defines resource quota which property is defined by resource flavors.
I think creating resource flavors to categorizing resources under a cluster queue is available solution.

apiVersion: kueue.x-k8s.io/v1beta1
kind: ResourceFlavor
metadata:
  name: "spot-t4"
spec:
  nodeLabels:
    cloud.google.com/gke-accelerator: nvidia-tesla-t4
  nodeTaints:
  - effect: NoSchedule
    key: cloud.google.com/gke-accelerator: nvidia-tesla-t4
    value: "true"
  tolerations:
  - key: "spot-taint"
    operator: "Exists"
    effect: "NoSchedule"
    
   apiVersion: kueue.x-k8s.io/v1beta1
kind: ClusterQueue
metadata:
  name: "cluster-queue"
spec:
  namespaceSelector: {} # match all.
  resourceGroups:
  - coveredResources: ["cpu", "memory", "nvidia.com/gpu"]
    flavors:
    - name: "spot-t4"
      resources:
      - name: "cpu"
        nominalQuota: 9
      - name: "memory"
        nominalQuota: 36Gi
      - name: "nvidia.com/gpuu"
        nominalQuota: 50
    - name: "spot-a100"
      resources:
      - name: "cpu"
        nominalQuota: 18
      - name: "memory"
        nominalQuota: 72Gi
      - name: "nvidia.com/gpu"
        nominalQuota: 100

In the other hand, kueue preemption requires Kueue WorkloadPriorityClass and patching job with label.
The plugin received the preemption label and then it should patch it to pods belonging same job

Thus, a clusterQueue including multiple resources represents the total acessaible resource for an organization.
Copy link
Member

Choose a reason for hiding this comment

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

I don't understand this sentence tbh, could you please explain/expand?

| clusterQueue | localQueue |
| --- | --- |
| Org | ray、spark、default |
A tenant can submit organization-specific tasks to queues such as org.ray, org.spark and org.default to track which job types are submittable.


A SchedulerConfigManager maintains config from mentioned yaml.
Copy link
Member

Choose a reason for hiding this comment

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

SchedulerConfigManager would be a go struct or are you suggesting a new backend service?

Copy link
Member

Choose a reason for hiding this comment

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

I don't see this in any of the code snippets below.

It patches labels or annotations on k8s resources after they pass rules specified in the configuration.

```go
Copy link
Member

Choose a reason for hiding this comment

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

Why not have a single interface and two implementations of the same interface for yunikorn and kueue?

Copy link
Member

Choose a reason for hiding this comment

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

I would prefer in func (e *PluginManager) launchResource( to not call queue or yunikorn specific code, see snippet below, but just a general interface whose implementation depends on the propeller config.

Copy link
Author

Choose a reason for hiding this comment

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

Agree, i updated the document..

type YunikornScheduablePlugin interface {
MutateResourceForYunikorn(ctx context.Context, object client.Object, taskTmpl *core.TaskTemplate) (client.Object, error)
GetLabels(id core.Identifier) map[string]string
}

type KueueScheduablePlugin interface {
MutateResourceForKueue(ctx context.Context, object client.Object, taskTmpl *core.TaskTemplate) (client.Object, error)
GetLabels(id core.Identifier) map[string]string
}

func (h *YunikornScheduablePlugin) MutateResourceForYunikorn(ctx context.Context, object client.Object, taskTmpl *core.TaskTemplate) (client.Object, error) error {
rayJob := object.(*rayv1.RayJob)
// TODO
}

func (h *YunikornScheduablePlugin) GetLabels(id core.Identifier) map[string]string {
// 1.UserInfo
// 2.QueueName
// 3.ApplicationID
}

func PatchPodSpec(target *v1.PodSpec, labels map[string]string) error {
// Get Metaobject from target
// Add label is the specific label doesn't exist
}
```

Copy link
Member

Choose a reason for hiding this comment

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

Do any additional k8s resources have to be created for the queues or does a queue exist as soon as a pod has an annotation with a new queue name?

Copy link
Author

@0yukali0 0yukali0 Nov 6, 2024

Choose a reason for hiding this comment

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

Yes, Kueue CRDs describe the quota a queue when adopting Kueue.

In the other hand, queues are configured by setting [Yunikorn configuration] (https://yunikorn.apache.org/docs/user_guide/queue_config) if adopting Yunikorn.


Creat a scheduler plugin according to the queueconfig.scheduler.
Its basic responsibility validate whether submitted application is accepted.
When a Yunikorn scheduler plugin created, it will create applicationID and queue name.
in the other hand, a Kueue scheduler plugin constructs labels including localQueueName, preemption.

```go
func (e *PluginManager) launchResource(ctx context.Context, tCtx pluginsCore.TaskExecutionContext) (pluginsCore.Transition, error) {
Copy link
Member

@fg91 fg91 Nov 5, 2024

Choose a reason for hiding this comment

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

Maybe addObjectMetadata which is called by launchResource would be a better place to inject the required metadata. Or do we need to inject something other than labels/annotations?

o, err := e.plugin.BuildResource(ctx, k8sTaskCtx)
if err != nil {
return pluginsCore.UnknownTransition, err
}
Copy link
Member

Choose a reason for hiding this comment

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

Would be nice to not have Kueue specific code here but a general interface, see this comment.

if o, err = e.SchedulerPlugin.MutateResourceForKueue(o); err == nil {
Copy link
Member

@fg91 fg91 Nov 5, 2024

Choose a reason for hiding this comment

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

We should only mutate the resource if the plugin manager manages a plugin which the user configured a queue for, right? How will this matching be done? Just comparing this type string

queueconfig:
  scheduler: yunikorn
  jobs:
    - type: "ray"

to the name of the plugin?

return pluginsCore.UnknownTransition, err
}
} else {
return pluginsCore.UnknownTransition, err
}
}
```
When batchscheduler in flyte is yunikorn, some examples are like following.
For example, this appoarch submits a Ray job owned by user1 in org1 to "root.org1.ray".
Copy link
Member

@fg91 fg91 Nov 5, 2024

Choose a reason for hiding this comment

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

Where does flytepropeller know the user from? Or does the user not matter as the label "root.org1.ray" suggests?

A spark application in ns1 submitted by user4 in org1 is in "root.org1.ns1".
In the other hand, results of these examples are "org1-ray" and "org1-ns1" when adopting Kueue.

## 4 Metrics & Dashboards

1. The Yunikorn scheduler add applications to a specific queue based on their user info, queue name for any application type.
2. Yunikorn and Kueue provide gang scheduling through annotations For Ray and spark.
3. Preemption behavior aligns with user-defined configuration in yunikorn.

## 5 Drawbacks

This appoarch doesn't offer a way to maintain consistency between the accuate resource quotas of groups and the configuration in scheduler.

## 6 Alternatives

## 7 Potential Impact and Dependencies

Flyte support Spark, Ray and Kubeflow CRDs including Pytorch and TFjobs.
The Spark and Ray operators have supported Yunikorn gang scheduling since task group calculation were implemented in these operators.
Taskgroup calculation implementation in pods aspect in flyte or kubeflow is required for supporting kubeflow CRDs.
In the other hand, Kueue currently doesn't support Spark CRD.
| Operator | Yunikorn | Kueue |
| --- | --- | --- |
| Spark | v | x |
| Ray | v | v |
| Kubeflow | x | v |

Copy link
Member

Choose a reason for hiding this comment

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

From what I understand, one only needs to add labels/annotations on the worker pods. Can't we do this purely from flyte by modifying the pod template spec of the respective CRD? What do the operators have to do in addition to that?

Copy link
Author

Choose a reason for hiding this comment

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

Yes, current progress fetch the pod templates from CRDs and patch label on them.
If operators implement the mechanism to patch group label for their CRD to support gang scheduling in the future, we can start to remove the code for generating group labels to reduce the maintaining overhead.

## 8 Unresolved questions


## 9 Conclusion

Yunikorn and Kueue support gang scheduling allowing all necassary pods to run sumultaneously when required resource are available.
Yunikorn provides preemption calculating the priority of applications based on thier priority class and priority score of the queue where they are submitted, in order to trigger high-prioirty or emergency application immediately.
Yunikorn's hierarchical queue includes grarateed resources settings and ACLs.
Copy link
Member

@fg91 fg91 Nov 5, 2024

Choose a reason for hiding this comment

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

Nit: Could you please run the doc through a spelling checker? Thank you 🙇

Copy link
Author

Choose a reason for hiding this comment

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

yes, i ran the make spellcheck in the latest commit :)