En praktiskt genomförbar ändring av schemaläggare med fast prioritet gör det möjligt att undvika timingkanaler trots att trådar har tillgång till exakta klockor. Denna ändring är ganska enkel: vi beräknar vid antagningstid ett statiskt predikat som anger om en tråd möjligen kan läcka information; om en sådan tråd block vi byter till tomgångstråden istället. Vi beskriver den modifierade schemaläggaren, ger ett mekaniskt PVS-baserat bevis på icke-interferens och visar hur vanliga antagningsalgoritmer kan återanvändas för att ge realtidsgarantier för denna modifierade schemaläggare. Samtidigt som vi erbjuder liknande isoleringsgarantier överträffar vårt tillvägagångssätt tidsdelningsplanerare när det gäller uppnådda realtidsgarantier.
Völp m.fl. REF presenterade ändringar av schemaläggning med fast prioritet, ändring av trådblock som potentiellt läcker information med tomgångstråden för att undvika utnyttjande av tidskanaler.
Avoiding timing channels in fixed-priority schedulers
{'venue': "ASIACCS '08", 'journal': None, 'mag_field_of_study': ['Computer Science']}