| Document Date: 2013-02-11 11:55:04
Open Document File Size: 563,05 KBShare Result on Facebook
City Houston / Restart / / Company Checkpoint / FGFT Isolator User / Daemon / RTL / Intel / / Country United States / / Currency USD / / Event Force Majeure / Product Issues / / Facility Map BAR / University of Wisconsin-Madison / / IndustryTerm storage devices / systems direct devices / identical hardware / source-code rewriting tool / physical hardware / driver power management / power device / static analysis tool / Suspend device / pass-through and virtualization-aware devices / fault site / powerMemory management / system software / static analysis tools / power management / re-enable device / on lowbandwidth devices / driver-reliability systems / rethe device / to save device / virtual devices / a↵ecting applications / well-understood compiletime software / passthrough devices / guest operating systems / code generation tool / transaction using lazy version management / pass-through device / isolator tool / pass-through devices / passthrough device / bandwidth devices / bandwidth device / driver isolation systems / prior systems / commodity operating systems / security tools / legacy device / Cold boot hardware / thefour device / / OperatingSystem VMs / Solaris / Microsoft Windows / MacOS / Linux / / Organization Michael M. Swift Computer Sciences Department / University of Wisconsin / / Person Asim Kadav / Michael M. Swift / / Position psmouse driver / kernel/driver / Prime Minister / simple network driver / normal driver / SFI driver / Existing driver / minimal driver / faulty driver / General / driver / and restores the checkpoint on failure / real driver / regular driver / native driver / struct list head / single driver / network driver / flash device memory Allocate driver / driver / or device / 8139too driver / programmer / driver / entire driver / r8169 network driver / Unmodified e1000 driver / original Register device operations Detect chipset capabilities Allocate driver / ens1371 sound driver / USB bus controller / gigabit Ethernet driver / shared driver / internal driver / Marshal / additional driver / common driver / / Product Annotations Stubs SFI driver module / code / driver / Annotations Stubs SFI / device drivers / / ProgrammingLanguage C / / ProvinceOrState Texas / Wisconsin / / Technology RAM / Linux / operating system / flash / crossover cable / Celeron processor / Operating Systems / gigabit / SCSI / gigabit Ethernet / /
SocialTag |
Fine-Grained Fault Tolerance using Device Checkpoints Asim Kadav, Matthew J. Renzelmann, Michael M. Swift Computer Sciences Department, University of Wisconsin-Madison {kadav, mjr, swift} @cs.wisc.edu Abstract