Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients

@article{Deshmukh2009SymbolicDA,
  title={Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients},
  author={Jyotirmoy V. Deshmukh and E. Allen Emerson and Sriram Sankaranarayanan},
  journal={2009 IEEE/ACM International Conference on Automated Software Engineering},
  year={2009},
  pages={480-491}
}
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoking methods in an unsafe manner.Given such a library, we present a technique for inferring interface contracts that specify permissible concurrent method calls and patterns of aliasing among method arguments, such that the derived contracts guarantee deadlock free execution for the methods in the library.The contracts… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…