Dynamic validation of contracts in concurrent code

Jan Fiedor, Zdenĕk Letko, João Lourenço, Tomáš Vojnar

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)

Abstract

Multi-threaded programs allow one to achieve better performance by doing a lot of work in parallel using multiple threads. Such parallel programs often contain code blocks that a thread must execute atomically, i.e., with no interference from the other threads of the program. Failing to execute these code blocks atomically leads to errors known as atomicity violations. However, frequently it not obvious to tell when a piece of code should be executed atomically, especially when that piece of code contains calls to some third-party library functions, about which the programmer has little or no knowledge at all. One solution to this problem is to associate a contract with such a library, telling the programmer how the library functions should be used, and then check whether the contract is indeed respected. For contract validation, static approaches have been proposed, with known limitations on precision and scalability. In this paper, we propose a dynamic method for contract validation, which is more precise and scalable than static approaches.

Original languageEnglish
Title of host publicationComputer Aided Systems Theory – EUROCAST 2015 - 15th International Conference, Revised Selected Papers
PublisherSpringer-Verlag
Pages555-564
Number of pages10
Volume9520
ISBN (Electronic)978-3-319-27340-2
DOIs
Publication statusPublished - 2015
Event15th International Conference on Computer Aided Systems Theory, EUROCAST 2015 - Las Palmas de Gran Canaria, Spain
Duration: 8 Feb 201513 Feb 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9520
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

Conference15th International Conference on Computer Aided Systems Theory, EUROCAST 2015
CountrySpain
CityLas Palmas de Gran Canaria
Period8/02/1513/02/15

Keywords

  • JAVA PROGRAMS
  • Computer Science
  • Artificial Intelligence
  • Robotics
  • Computer Science, Information Systems

Fingerprint

Dive into the research topics of 'Dynamic validation of contracts in concurrent code'. Together they form a unique fingerprint.

Cite this