[1]陈韬,王明明.基于多线程监控器的运行时验证[J].计算机技术与发展,2019,29(02):29-34.[doi:10．3969/j．issn．1673－629X．2019．02．006]
　CHEN Tao,WANG Mingming.Runtime Verification Based on Multi－thread Monitor[J].,2019,29(02):29-34.[doi:10．3969/j．issn．1673－629X．2019．02．006]
点击复制

基于多线程监控器的运行时验证()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
29
期数:
2019年02期
页码:
29-34
栏目:
智能、算法、系统工程
出版日期:
2019-02-10

文章信息/Info

Title:
Runtime Verification Based on Multi－thread Monitor
文章编号:
1673－629X(2019)02－0029－06
作者:
陈韬; 王明明
南京航空航天大学 计算机科学与技术学院，江苏 南京 211106
Author(s):
CHEN Tao; WANG Ming－ming
School of Computer Science and Technology，Nanjing University of Aeronautics and Astronautics，Nanjing 211106，China
关键词:
运行时验证; 多线程; 源代码插桩; 编程语言
Keywords:
runtime verification; multi－thread; source code piling; programming language
分类号:
TP316.2
DOI:
10．3969/j．issn．1673－629X．2019．02．006
摘要:
运行时验证是一种轻量级的新型自动化验证技术。运用了该技术的验证软件由两部分组成:一部分是被监控的目标程序;另一部分是监控器。对于基于形式化语言的运行时验证方法主要思想就是输入表示描述事件和性质的形式化规约语法，目标程序。输出插桩好的新程序。插桩好的新程序在遇到需要监控的切点时，就会执行相应的函数去判断是否满足形式化规约语法。然而传统的单线程运行时验证监控器在目标程序需要监控的规约性质比较多的时候，重新生成的程序可能会因为要验证比较多的规约性质，造成程序的性能变慢。文中利用多核并行技术，对原型工具 Movec 进行优化。通过使用串行程序中多个监控器分配到多线程的方法，Clang 编译器的插桩技术和多核任务分配方法，实现了 Movec原型工具的优化。并将优化之后的 Movec 与没有改进之前的进行实验数据对比，实验结果表明采用多线程的运行方法具有很好的效果。
Abstract:
Runtime verification is a new lightweight automatic verification technique． The verification software used in this technology iscomposed of two parts:one part is the monitored target program;the other is the monitor． The main idea of the runtime verification meth-od based on formalized language is to input a formal specification syntax that represents events and properties and target program，and out-put a new program． The new program with inserting pile will execute the corresponding function to judge whether it satisfies the formalspecification grammar when it meets the point that needs to be monitored． However，when the traditional single thread runtime verificationmonitor has many properties that the target program needs to monitor，the regenerated program may slow down the performance of theprogram because of the more specified nature． In this paper，we optimize the prototype tool Movec by using multi－core parallel technolo-gy． Through the way of serial program monitor assigned to multithreading，Clang compiler’s piling technology and multi－core task allo-cation method have realized the optimization of Movec prototype tools． The optimized Movec is compared with the experimental datawithout the improved tools，which shows that the multithread operation method has a better effect．

相似文献/References:

[1]龚向坚 邹腊梅 隆重.基于分布对象的虚拟网络实验系统设计与实现[J].计算机技术与发展,2010,(01):111.
　GONG Xiang-jian,ZOU La-mei,LONG Zhong.Design and Realization of Virtual Network Laboratory System Based on Distributing Object[J].,2010,(02):111.
[2]曹廷发 吉华 马江 付耀国.Linux／RTLinux下实时多线程实时性检测方法[J].计算机技术与发展,2010,(03):113.
　CAO Ting-fa,JI Hua,MA Jiang,et al.Real - time Performance Test Methods for Real - time Multi - thread Based Linux/RTLinux[J].,2010,(02):113.
[3]严颖 汪峥.单件生产实验系统控制及仿真的多线程实现[J].计算机技术与发展,2010,(02):197.
　YAN Ying,WANG Zheng.Multi- Thread- Based Implementation of Control and Simulation for an Experimental One - of- a - Kind Production System[J].,2010,(02):197.
[4]詹金兰 李翠华.模拟实验系统的可视化研究[J].计算机技术与发展,2009,(05):228.
　ZHAN Jin-lan,LI Cui-hua.Visualization Research on Simulation Experiment System[J].,2009,(02):228.
[5]黄辉 李革新 张华.连锁业务中远程数据传输的研究与实现[J].计算机技术与发展,2009,(08):169.
　HUANG Hui,LI Ge-xin,ZHANG Hua.Research and Implementation of Remote Data Transmission in Chain Business System[J].,2009,(02):169.
[6]苏成顺 李贞培.基于多线程的分段图像轮廓跟踪算法[J].计算机技术与发展,2009,(10):99.
　SU Cheng-shun,LI Zhen-pei.Algorithm for Multi- Segment Image Contour Following Based on Multithreading[J].,2009,(02):99.
[7]郭娟 许志才 方贤文.基于Petri网的Java多线程程序分析[J].计算机技术与发展,2009,(04):51.
　GUO Juan,XU Zhi-cai,FANG Xian-wen.Multi - Thread Analysis about Java Program Based on Petri Net[J].,2009,(02):51.
[8]张炯 吕紫旭 刘栋 金惠华.实时操作系统ThreadX剖析[J].计算机技术与发展,2008,(01):22.
　ZHANG Jiong,LU Zi-xu,LIU Dong,et al.Analysis of Real Time Operating System： ThreadX[J].,2008,(02):22.
[9]谢世环 徐中伟 胡天一.车站列控中心测试平台——通信仿真子系统研究[J].计算机技术与发展,2008,(01):243.
　XIE Shi-huan,XU Zhong-wei,HU Tian-yi.Study on Testing Platform for Train Control Center——Simulation of Communication Sub - System[J].,2008,(02):243.
[10]雷超 陈伟.一种火控雷达终端显示器的仿真实现[J].计算机技术与发展,2008,(04):195.
　LEI Chao,CHEN Wei.Realization of Simulation for a Fire Control Radar Terminal Display[J].,2008,(02):195.

更新日期/Last Update: 2019-02-10