Dynamic deadlock avoidance in systems code using statically inferred effects
Abstract
Abstract is not available.- C programs
- Deadlock avoidance
- Deadlock freedom
- Devastating effects
- Lock acquisition
- Multithreaded
- Resource acquisition
- Runtime systems
- Runtimes
- Static tools
- Systems code
- Type and effect systems
- C (programming language)
- Embedded systems
- Static analysis
- C programs
- Deadlock avoidance
- Deadlock freedom
- Devastating effects
- Lock acquisition
- Multithreaded
- Resource acquisition
- Runtime systems
- Runtimes
- Static tools
- Systems code
- Type and effect systems
- C (programming language)
- Embedded systems
- Static analysis
Similar works
Full text
Last time updated on 03/06/2016
This paper was published in DSpace@NTUA (National Technical Univ. of Athens).
Having an issue?
Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.