![Data management / Lock / Software bug / Deadlock / Linearizability / Linux kernel / Mutual exclusion / Parallel computing / Debugging / Concurrency control / Computing / Software Data management / Lock / Software bug / Deadlock / Linearizability / Linux kernel / Mutual exclusion / Parallel computing / Debugging / Concurrency control / Computing / Software](https://www.pdfsearch.io/img/eb5c9b77f267edc15b52b09755bf252b.jpg)
| Document Date: 2011-07-05 11:53:12 Open Document File Size: 242,26 KBShare Result on Facebook
City San Jose / / Company Red Hat / MySQL / Intel / Microsoft / / Country United States / / Currency USD / / / Facility Guoliang Jin Linhai Song Wei Zhang Shan Lu Ben Liblit University of Wisconsin / / IndustryTerm deadlockdetection algorithm / bug detection tools / software users / software failures / time-out deadlock-detection algorithm / bug detection tool / unpatched software / real-world software bugs / bugdetection tools / deadlock detection tools / software failure / Self-healing software / deadlock-prevention systems / software developers / breadth-first search / detection tools / patched software / basic algorithm / software development / opensource applications / buggy software / run-time deadlock-detection algorithms / region identification algorithm / software reliability / software bugs / Software / smart state-space search / software readability / software testing / target software / / OperatingSystem Red Hat Linux / POSIX / / Organization National Science Foundation / University of Wisconsin / / Person Jin Linhai Song Wei Zhang / / Position CTrigger General / Management General / / Product AFix / Linux / a system / AFix / CTrigger / / ProgrammingLanguage C / C++ / / ProvinceOrState California / / Technology deadlockdetection algorithm / time-out deadlock-detection algorithm / Linux / two run-time deadlock-detection algorithms / AFix algorithm / shared memory / Operating Systems / region identification algorithm / basic algorithm / /
SocialTag |