diff --git a/docs/proposals/0845-scheduler-architecture-proposal/README.md b/docs/proposals/0845-scheduler-architecture-proposal/README.md index 58f6389d5..4141ce6a2 100644 --- a/docs/proposals/0845-scheduler-architecture-proposal/README.md +++ b/docs/proposals/0845-scheduler-architecture-proposal/README.md @@ -9,18 +9,27 @@ The Scheduling Subsystem is a framework used to implement scheduling algorithms. ## Design Principles - The scheduler framework should act as an independent library, there should be no dependency on EPP packages defined outside of the scheduler -- The *framework* should be agnostic to web protocols(such as HTTP), endpoint types (such as model servers), and K8s concepts. +- The *framework* should be agnostic to endpoint types (such as model servers), and K8s concepts. - Opinions should be held by the plugins, not the framework - The entry & exit points should be defined by the framework, acting as the API surface of the system - Multiple scheduling 'profiles' should be able to be ran for a single request. - They can be conditionally dependent on previous runs, or in parallel -- Plugin state is managed by the plugin itself +- State management + - State per request: This is managed by what we are calling CycleState and its lifecycle is tied to the request. + Cycle state is created internally by the Scheduler per request and its pointer is passed as argument. + - State managed by the plugin struct itself: The lifecycle of this state is tied to the plugin, and since plugins will be instantiated once, + it is a state that plugins can use across requests (like prefix-cache index). + - State managed by the data layer: each endpoint will be associated with state (currently metrics) that a data layer plugin can add to it. + A data layer plugin could be one that scrapes v1/models from the endpoint for example. ## Definitions - **Scheduling Framework** - The system created to allow for a pluggable scheduling algorithm. -- **Scheduling Profile** - A named, specific set of Filter(s), Scorer(s), & Picker used to select endpoints. -- **Scheduler** - An extensible implementation of a scheduling algorithm. Including logic to select Scheduling Profiles, the Scheduling Profiles themselves, & logic to interpret the result. -- **Scheduling Cycle** - A single run of a Scheduler through the Scheduling Framework. +- **Scheduler Profile** - A named, specific set of Filter(s), Scorer(s), & Picker used to select endpoints. +- **Scheduler Profile Run** - a one time run of the Scheduler Profile filters, scorers and picker given a request. +- **Scheduler** - An extensible implementation of a scheduling algorithm. Including logic to select Scheduler Profiles iteratively, + the Scheduler Profiles themselves, & logic to interpret the result. +- **Scheduling Cycle** - A single run of a Scheduler through the Scheduling Framework. a scheduling cycle includes one or + more Scheduler Profile runs (at least one). - **Plugin** - Implementation of framework-defined interface(s) to add or extend logic across the framework. ## Proposal @@ -33,23 +42,32 @@ The Scheduling System can loosely be defined into 3 sections: - A *configuration API* to define the Scheduler, Profile(s), & the plugins used within those profiles A sketch of the System, with extension points is here: -Scheduling Algorithm +Scheduling Algorithm Describing the interface extension points & flow is the simplest way to convey the intent of what the framework should enable: -### PreSchedule +### ProfileHandler -PreSchedule is the entry point into the scheduling cycle (called by the framework). PreSchedule, selects profiles conditionally based on: +ProfileHandler is a schedler plugin with two extension points - ProfilePick, and ProcessProfilesResults. +Below is a detailed explanation about these extension points. +Only a single ProfileHandler plugin may be defined per scheduler. + +### ProfilePick + +ProfilePick is the entry point into the scheduling cycle (called by the framework). +it selects profiles conditionally based on: - Request data -- Results +- Results of previously executed SchedulerProfiles - Cycle State -PreSchedule will be continuously called so long as profiles are returned; multiple profiles may be returned in a single call. Only a single PreSchedule function may be defined per scheduler. +ProfilePick will be continuously called so long as profiles are returned; multiple profiles may be returned in a single call. +ProfilePick extension point will be configured as part of a ProfileHandler plugin. +Since there is only a single ProfileHandler plugin, that means there is only a single ProfilePick function. -### Profile Cycle +### Scheduler Profile Run -The profile cycle consists of 3 defined functions `Filter`, `Score`, & `Pick` +The SchedulerProfile run consists of 3 defined phases `Filter`, `Score`, & `Pick` *Profile Constraints* - A profile can have any number of `Filter` plugins registered (including zero) @@ -61,17 +79,15 @@ The profile cycle consists of 3 defined functions `Filter`, `Score`, & `Pick` Filter runs before any scoring, and remove endpoints that are not fit for selection. The framework will return an error to the client if the endpoints are filtered to zero. #### Score -Score applies a score to each remaining endpoint provided. Scorers SHOULD keep their score values in a normalized range: [0-1]. Any weighting should be added at the SchedulingProfile configuration level. +Score applies a score to each remaining endpoint provided. Scorers SHOULD keep their score values in a normalized range: [0-1]. Any weighting should be added at the SchedulerProfile configuration level. #### Pick Picker selects the endpoint(s) from the provided list of scored endpoints. Picker MUST return, one endpoint at minimum. -### PostSchedule -PostSchedule receives the output of the result(s) of the scheduling cycle(s) and makes sense of the data to be consumed by the calling system. - -### PostResponse -PostResponse is a special case extension that can optionally be implemented by a plugin that needs to augment its state based on response or request data. This should only be implemented for plugins that need to update state outside of the scheduling cycle. PostResponse is ran at the time of processing a response. +### ProcessProfilesResults +ProcessProfilesResults receives the output of the result(s) of the scheduler profile(s) and makes sense of the data to be consumed by the calling system. +Since there is only a single ProfileHandler plugin, that means there is only a single ProcessProfilesResults function. ## ConfigurationAPI TODO \ No newline at end of file diff --git a/docs/proposals/0845-scheduler-architecture-proposal/images/scheduler_cycle.png b/docs/proposals/0845-scheduler-architecture-proposal/images/scheduler_cycle.png new file mode 100644 index 000000000..f819e5032 Binary files /dev/null and b/docs/proposals/0845-scheduler-architecture-proposal/images/scheduler_cycle.png differ diff --git a/docs/proposals/0845-scheduler-architecture-proposal/interfaces/interface.go b/docs/proposals/0845-scheduler-architecture-proposal/interfaces/interface.go index 022ed36f5..6fd19e659 100644 --- a/docs/proposals/0845-scheduler-architecture-proposal/interfaces/interface.go +++ b/docs/proposals/0845-scheduler-architecture-proposal/interfaces/interface.go @@ -22,16 +22,8 @@ import ( scheduling "sigs.k8s.io/gateway-api-inference-extension/pkg/epp/scheduling/types" ) -// READER NOTE: Currently CycleState is assumed to have appropriate request data rather that making a new object. - -// Plugin is the parent type for all the scheduling framework plugins. -type Plugin interface { - Name() string -} - type Endpoint struct { State EndpointState - Score float64 } type EndpointState struct { @@ -39,65 +31,112 @@ type EndpointState struct { storage map[string]any //nolint:unused } -type SchedulingResult struct { - results map[string][]Endpoint //nolint:unused +// Request is a structured representation of the fields we parse out of the Request body. +type Request struct { + // RequestId is the Envoy generated Id for the request being processed + RequestId string + // TargetModel is the final target model after traffic split. + TargetModel string + // Prompt is the prompt that was sent in the request body. + Prompt string + // Headers is a map of the request headers. + Headers map[string]string } -// Scheduler is the implementation of a... scheduler. -// The scheduler object is created at startup using the provided configuration. -type Scheduler interface { - // PreSchedule selects scheduling profiles through the implemented - // logic, and returns: - // - profiles - A subset of the registered scheduling profiles to be ran - PreSchedule(request map[string]any, data scheduling.CycleState, results map[string][]Endpoint) map[string]SchedulingProfile - - // PostSchedule receives the output of the result(s) of the scheduling cycle(s) - // and makes sense of the data to be consumed by the calling system. - // For example: suppose you have 2 profiles ShadowBoxing Profile & Production Profile. - // PostSchedule would know to simply log the result of ShadowBoxing - // profile, and do nothing else with it. - PostSchedule(profileResults map[string][]Endpoint) SchedulingResult +// ScoredEndpoint encapsulates Endpoint with its Score. +// The lifecycle of an endpoint is typically different than a lifecycle of a request. +// This is intended to be used only internally by Scheduler logic and/or scheduler plugins within the lifecycle of the request. +// When returning the selected Endpoint(s) out of the Scheduler, an Endpoint is returned without the score. +type ScoredEndpoint struct { + Endpoint + Score float64 +} + +type Scheduler struct { + SchedulerConfig } -// SchedulingProfile is used to describe a profile that will +// SchedulerConfig is the struct that maps to the configuration file that should be further discussed. +// the configuration file should include the ProfileHandler plugin as well as the profiles with their plugins. +type SchedulerConfig struct { + // exactly one ProfileHandler instance is required. + profileHandler ProfileHandler //nolint:unused + // map from profile name to its set of plugins. + profiles map[string]*SchedulerProfile //nolint:unused +} + +// SchedulerProfile is used to describe a profile that will // run for a given scheduling cycle. -type SchedulingProfile struct { - // Name of the profile. - Name string - // Filters lists all Filter plugins associated with this Profile. Filters - // are optional. - Filters []Filter - // Scorers lists all Score plugins associated with this Profile. Scorers - // are optional. - Scorers map[Scorer]int +type SchedulerProfile struct { + // Filters lists all Filter plugins associated with this Profile. + // Filters are optional. + filters []Filter //nolint:unused + // Scorers lists all Score plugins associated with this Profile. + // Scorers are optional. + scorers []*WeightedScorer //nolint:unused // Picker returns the function that picks the endpoint(s). Picker is required. - Picker Picker + picker Picker //nolint:unused } -// Filter runs before any scoring, and remove endpoints that are not fit for -// selection. The framework will return an error to the client if the endpoints -// are filtered to zero. +type SchedulingResult struct { + ProfileResults map[string][]*Endpoint // a map from profile name to its scheduling result + PrimaryProfileName string // key of the primary profile, its selected endpoints will be used by default as the destination +} + +// Plugin is the parent type for all the scheduling framework plugins. +type Plugin interface { + Name() string +} + +// ProfileHandler defines the interface for handling multi SchedulerProfile instances. +// More specifically, this interfaction defines two extension points, 'PickProfiles' +// which runs iteratively, and 'ProcessProfilesResults' which runs after all profiles runs complete +// and process the results of all profiles. +type ProfileHandler interface { + Plugin + // Pick picks the SchedulingProfile objects to run from a list of candidate profiles, + // while taking into consideration the request properties + // and the previously executed SchedluderProfile runs along with their results. + // returns: + // - profiles - A subset of the registered scheduling profiles to be ran in next iteration + Pick(request *Request, profiles map[string]*SchedulerProfile, executionResults map[string][]*ScoredEndpoint) map[string]*SchedulerProfile + + // ProcessResults handles the outcome of each profile run. + // It may aggregate results, log test profile outputs, or apply custom logic. It specifies in the SchedulingResult the + // key of the primary profile that should be used to get the request selected destination. + // Example: suppose you have 2 profiles ShadowBoxing Profile & Production Profile. + // ProcessProfileResults would know to simply log the result of ShadowBoxing + // profile, and do nothing else with it. + ProcessResults(request *Request, profileResults map[string][]*ScoredEndpoint) *SchedulingResult +} + +// Filter runs before any scoring, and remove endpoints that are not fit for selection. +// The framework will return an error to the client if the endpoints are filtered to zero. type Filter interface { Plugin - Filter(ctx context.Context, state scheduling.CycleState, endpoints []Endpoint) []Endpoint + Filter(ctx context.Context, request *Request, state *scheduling.CycleState, endpoints []*Endpoint) []*Endpoint } -// Scorer applies a score to each remaining endpoint provided. Scorers SHOULD -// keep their score values in a normalized range: [0-1]. Any weighting should -// be added at the SchedulingProfile configuration level. +// Scorer applies a score to each remaining endpoint provided. +// Scorers SHOULD keep their score values in a normalized range: [0-1]. +// Any weighting should be added at the SchedulerProfile configuration level. type Scorer interface { Plugin - Score(ctx context.Context, state scheduling.CycleState, endpoints []Endpoint) []Endpoint + Score(ctx context.Context, request *Request, state *scheduling.CycleState, endpoints []*Endpoint) []*ScoredEndpoint +} + +// WeightedScorer is a struct that encapsulates a scorer with its weight. +// We need this struct in order to be able to keep scorers in profile as a slice instead of a map. +// This is very useful for having a generic AddPlugin function that registers a plugin to all its extension points. +// Using a map is much less convenient for this purpose. +type WeightedScorer struct { + Scorer + weight int //nolint:unused } // Picker selects the endpoint(s) from the provided list of scored endpoints. // Picker MUST return, one endpoint at minimum. type Picker interface { Plugin - Pick(ctx context.Context, state scheduling.CycleState, endpoints []Endpoint) []Endpoint -} - -type PostResponse interface { - Plugin - PostResponse(ctx context.Context, request map[string]any, response map[string]any) + Pick(ctx context.Context, state *scheduling.CycleState, endpoints []*ScoredEndpoint) []*ScoredEndpoint }