SECR 2012 завершил работу. Получить информацию о текущей конференции можно на www.secrus.org.
SECR 2012 is over. You can learn about our current event at www.secrus.org.

Dynamic data race detection in concurrent Java programs


Download presentation

Data races are among the most frequent errors in concurrent programs. Data race happens when several threads access the same shared memory location and at least one of the threads writes to it. Usually data races are very dangerous because they unpredictably change program flow and corrupt shared data structures. It is very difficult to detect data races manually, because often their effects cannot be seen immediately (as apposed to deadlocks) and depend on uncontrollable interleaving of threads’ execution.

In this report we will present our dynamic data race detection tool. It gathers and analyzes information about program execution and detects data races on the fly. Previous attempts to create race detection tool for Java failed to achieve wide adoption and stability on a level enough to use in regular QA activities. The difficulty is in many technical obstacles and amount of data to be processed.

We have solved many of the problems with result good enough to use the tool for regular testing of applications developed by our company. We will tell about our experience of developing data race detection tool:

  • Data race detection algorithms
  • Dynamic Java program instrumentation
  • Technical complications we have faced and ways of solution
  • Tuning performance and memory consumption overhead.

Vitaly Trifanov

Vitaly TrifanovVitaly Trifanov

Lead developer in Devexperts LLC, works there since 2007. Develops internal systems and prospective research projects. Graduate student of the System Engineering Department at the Faculty of Mathematics and Mechanics at SPBSU. His research is on dynamic detection of data races and effective byte-code manipulation.

 

Dmitry Tsitelov

Dmitry TsitelovDmitry Tsitelov

Senior developer at Devexperts, LLC. Head of Evolution Lab (internal development team) since 2005. The team develops perspective research projects and instrumental tools, involved in software development process optimization. Main areas of interest: performance analysis and optimization, high-load distributed systems development, concurrent data structures and algorithms development and verification.

 


Оставить комментарий

Your email address will not be published. Required fields are marked *

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

© CEE-SECR 2012 • Email: contact@secrus.org
Powered by WordPress. • Hosted by Hosting Community • Developed by i-Help