University of Cambridge > Talks.cam > Computer Laboratory Systems Research Group Seminar > Lock Inference in the Presence of Large Libraries

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

Lock Inference in the Presence of Large Libraries

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Eiko Yoneki.

Atomic sections can be implemented using lock inference. For lock inference to be practically useful, it is crucial that large libraries be analysed. However, libraries are challenging for static analysis, due to their cyclomatic complexity.

Existing approaches either ignore libraries, require library implementers to annotate which locks to take or only consider accesses performed upto one level deep in library call chains. Thus, some library accesses may go unprotected, leading to atomicity violations that atomic sections are supposed to eliminate.

We present a lock inference approach for Java that analyses library methods in full. We achieve this by (i) formulating lock inference as an Interprocedural Distributive Environment dataflow problem, (ii) using a graph representation for summary information and (iii) applying a number of optimisations to our implementation to reduce space-time requirements and locks inferred. We demonstrate the scalability of our approach by analysing the entire GNU Classpath library comprising 122KLOC.

This talk is part of the Computer Laboratory Systems Research Group Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

CUUEG Cambridge University Student Pugwash Society Recommendations (not affiliated) Kettle's Yard Lunchtime Talks

Other talks

Symplectic topology of K3 surfaces via mirror symmetry Kolmogorov Complexity and Gödel’s Incompleteness Theorems On the elastic-brittle versus ductile fracture of lattice materials Changing languages in European Higher Education: from official policies to unofficial classroom practices Developing an optimisation algorithm to supervise active learning in drug discovery Exhibiting Ice Age Cambridge Investigating the Functional Anatomy of Motion Processing Pathways in the Human Brain The Anne McLaren Lecture: CRISPR-Cas Gene Editing: Biology, Technology and Ethics A polyfold lab report "Mechanosensitive regulation of cancer epigenetics and pluripotency"
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity