sched_ext a LPC, tre temi al centro

Tre scelte operative sono uscite dalla microconference sched_ext al Linux Plumbers Conference: contenere l’inversione di priorità, far cooperare host e guest, usare feedback hardware per il posizionamento dei task¹.

Sul primo fronte si è lavorato su leve precise. Preemption del detentore del lock. Preemption del waiter. Estensione del time slice per ridurre la starvation. Nel quadro rientra anche la convivenza con la proxy execution e con gli scheduler BPF. Obiettivo: mitigare l’inversione di priorità e, insieme, far coesistere questi meccanismi dentro sched_ext senza interferenze¹.

La proposta di scheduling paravirtualizzato sposta il baricentro oltre i confini della VM. Host e guest scambiano segnali utili alle decisioni di scheduling. In questo modello, sched_ext agisce da motore di policy sul lato host. Il canale di cooperazione mira a coordinare il comportamento complessivo del sistema, non solo l’algoritmo dentro una singola macchina virtuale¹.

Terzo tema, il placement guidato dall’hardware. Segnali come quelli forniti da Intel HFI entrano nel ciclo decisionale. Contano la vicinanza a dispositivi e acceleratori. Conta la topologia delle cache. Queste informazioni orientano dove piazzare i task per sfruttare la località quando disponibile¹.

Le tre linee non vivono isolate. Le opzioni sulla preemption del lock holder e del waiter, insieme all’estensione del time slice, devono tenere conto della proxy execution e della presenza di scheduler BPF. Il rischio è che un meccanismo aggiri o annulli gli effetti dell’altro. La discussione ha puntato a combinazioni pratiche che riducano l’inversione di priorità senza creare nuove forme di contesa dentro sched_ext¹.

Anche la cooperazione host-guest si lega al placement. Se il guest espone la pressione del carico o segnali sul tipo di lavoro, il lato host può usarli con i feedback hardware. Ne esce un quadro in cui le decisioni di scheduling non si basano solo su euristiche locali. Entrano dati che riflettono la topologia reale e la natura del carico, con benefici potenziali per latenza e utilizzo delle risorse¹.

Il riferimento a Intel HFI indica un percorso chiaro: integrare segnali hardware standardizzabili nelle policy di scheduling. Se i produttori aprono canali di feedback comparabili, sched_ext può sfruttarli per scelte più informate, dalla collocazione dei thread alla gestione delle contese su risorse condivise¹.