首页    期刊浏览 2024年11月29日 星期五
登录注册

文章基本信息

  • 标题:Automatic Verification of Data Race Freedom in Device Drivers
  • 本地全文:下载
  • 作者:Pantazis Deligiannis ; Alastair F. Donaldson
  • 期刊名称:OASIcs : OpenAccess Series in Informatics
  • 电子版ISSN:2190-6807
  • 出版年度:2014
  • 卷号:43
  • 页码:36-39
  • DOI:10.4230/OASIcs.ICCSW.2014.36
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:Device drivers are notoriously hard to develop and even harder to debug. They are typically prone to many serious issues such as data races. In this paper, we present static pair-wise lock set analysis, a novel sound verification technique for proving data race freedom in device drivers. Our approach not only avoids reasoning about thread interleavings, but also allows the reuse of existing successful sequential verification techniques.
  • 关键词:Device Drivers; Verification; Concurrency; Data Races
国家哲学社会科学文献中心版权所有