Fel i kärnförlängningar förblir en av huvudorsakerna till dålig driftsystemtillförlitlighet trots föreslagna tekniker som isolerar utökningar i separata skyddsområden för att innehålla fel. Vi tror att tidigare felisoleringstekniker inte används i stor utsträckning eftersom de inte kan isolera befintliga kärnextensioner med låga toppvärden på standardhårdvara. Detta är ett svårt problem eftersom dessa tillägg kommunicerar med kärnan med hjälp av ett komplext gränssnitt och de kommunicerar ofta. Vi presenterar BGI (Byte-Granularity Isolation), en ny teknik för programvarufelisolering som tar itu med detta problem. BGI använder effektivt bytegranularitetsminnesskydd för att isolera kärntillägg i separata skyddsområden som delar samma adressutrymme. BGI säkerställer typsäkerhet för kärnobjekt och kan upptäcka vanliga typer av fel inuti domäner. Våra resultat visar att BGI är praktiskt: det kan isolera Windows-drivrutiner utan att kräva ändringar av källkoden och det introducerar en CPU overhead mellan 0 och 16%. BGI kan också hitta fel under drivrutinstestning. Vi hittade 28 nya buggar i allmänt använda Windows-drivrutiner.
Castro m.fl. Beskriv BGI (Byte-Granularity Isolation) REF, som tillhandahåller programförstärkta skyddsdomäner mellan kärnförlängningar.
Fast byte-granularity software fault isolation
{'venue': "SOSP '09", 'journal': None, 'mag_field_of_study': ['Computer Science']}