计算机技术与发展2019，Vol.29Issue(2)：29-34,6.DOI:10.3969/j.issn.1673-629X.2019.02.006
基于多线程监控器的运行时验证
Runtime Verification Based on Multi-thread Monitor
摘要
Abstract
Runtime verification is a new lightweight automatic verification technique.The verification software used in this technology is composed of two parts:one part is the monitored target program;the other is the monitor.The main idea of the runtime verification method based on formalized language is to input a formal specification syntax that represents events and properties and target program, and output a new program.The new program with inserting pile will execute the corresponding function to judge whether it satisfies the formal specification grammar when it meets the point that needs to be monitored.However, when the traditional single thread runtime verification monitor has many properties that the target program needs to monitor, the regenerated program may slow down the performance of the program because of the more specified nature.In this paper, we optimize the prototype tool Movec by using multi-core parallel technology.Through the way of serial program monitor assigned to multithreading, Clang compiler's piling technology and multi-core task allocation method have realized the optimization of Movec prototype tools.The optimized Movec is compared with the experimental data without the improved tools, which shows that the multithread operation method has a better effect.关键词
运行时验证/多线程/源代码插桩/编程语言Key words
runtime verification/multi-thread/source code piling/programming language分类
信息技术与安全科学引用本文复制引用
陈韬,王明明..基于多线程监控器的运行时验证[J].计算机技术与发展,2019,29(2):29-34,6.基金项目
江苏省普通高校研究生科研创新计划项目(SJZZ16_0062) （SJZZ16_0062）
