Modelli ILP per la determinazione delle prestazioni conseguibili con il protocollo 'Priority Inheritance' in applicazioni multitasking hard real-time

摘要

Regole ed esempi pratici sulla costruzione di Modelli di Programmazione Lineare Intera per la rappresentazione di task periodici di Applicazioni Real-Time e delle loro interazioni bloccanti; utili per la determinazione del "massimo tempo di blocco" che i processi possono subire, nell'ipotesi: che siano schedulati con strategia "Rate Monotonic Priority Order"; che la politica di gestione degli accessi alle risorse condivise sia quella definita dal protocollo "Priority Inheritance".