Abstract:A great number of consumer electronic devices have emerged in recent years. To support these devices, many device drivers have been developed. These device drivers usually work in operating systems. Improper concurrency management causes lots of device driver bugs and the drivers' failures often lead to operating system crashes. Various approaches have been proposed to solve this problem, some of which use serialization to avoid the concurrency faults. However, these methods need to rewrite all the device driv… Show more
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.