SOSP
09http://www.sigops.org/sosp/sosp09/papers/kadav-sosp09.pdfhttp://www.sigops.org/sosp/sosp09/papers/kadav-sosp09.pdfshapeimage_2_link_0shapeimage_2_link_1
 




System reliability is limited by the reliability of devices. Evidence suggests that device failures cause a measurable fraction of system failures, and that most hardware failures are transient and can be tolerated in software.


Carburizer improves reliability by automatically hardening drivers against device failures without new programming languages, programming models, operating systems, or execution environments.


Carburizer FInds and repairs hardware dependence bugs in drivers, where the driver will hang or crash if the hardware fails. In addition, Carburizer inserts logging code so that system administrators can proactively repair or replace hardware that fails.


In an analysis of the Linux kernel, Carburizer identiFIed over 992 hardware dependence bugs with fewer than 8% false postives. Discounting for false positives, Carburizer could automatically repair approximately 845 real bugs by inserting code to detect when a failure occurs and invoke a recovery service. Repairs made to false positives have no correctness impact. In performance tests, hardening drivers had almost no visible performance overhead.

CARBURIZER

  CAN FIX

DEVICE HANGS

UNSAFE ARRAY and pointer REFERENCES

DEVICE PANICS

MISSING REPORTING CODE

INTERRUPT STARVATION

INTERRUPT STORMS

PROVIDES TRANSPARENT ONLINE RECOVERY

WORKS ACROSS ALL CLASSES OF DEVICES

all about

POWER OF

CARBURIZER

USe carburizer to fix random, inexplicable crashes in your systems. Carburizer drivers can be obtained by emailing the authors with your driver name and linux distribution.mailto:asimkadav@gmail.com?subject=Fix%20my%20drivershapeimage_5_link_0

THE END.