Back to Results
First PageMeta Content
Computer programming / Software engineering / Deadlock / Lock / Non-blocking algorithm / Thread / Reentrancy / Parallel computing / Concurrency control / Computing / Concurrency


Effective Static Deadlock Detection Mayur Naik Intel Research Chang-Seo Park and Koushik Sen
Add to Reading List

Document Date: 2009-04-03 16:44:05

Open Document

File Size: 164,91 KB

Share Result on Facebook

Company

lle co / Intel / /

Currency

pence / USD / /

/

Facility

JDK library / /

IndustryTerm

similar tool / lightweight tools / bug-finding tool / web server platform / static tool / deadlock detection algorithm / given site / present sound deadlock detection algorithms / call site / mirror tool / unsound solution / web spider engine / refinement algorithm / object allocation site / type systems / web crawler / static deadlock detection algorithm / allocation site / quad-core processors / /

OperatingSystem

Linux / /

Organization

UC Berkeley / /

Person

David Gay / Mayur Naik / /

Position

java/util/logging/Logger.java class Logger / call site Logger / static field LogManager.manager / static syncm1 Logger / manager / global logger manager / Traveling Salesman / Logger / syncm3 Logger / static final LogManager manager / LogManager.manager / specified logger / /

Product

Apache / /

ProgrammingLanguage

Promela / Java / C / /

Technology

Java / Linux / present sound deadlock detection algorithms / refinement algorithm / 3 Algorithm Our algorithm / caching / static deadlock detection algorithm / multicore processors / 3.2 Deadlock Computation Our deadlock detection algorithm / deadlock detection algorithm / web server / 6 Limitations Our deadlock detection algorithm / /

URL

http /

SocialTag