负载均衡技术在并行化符号执行中的应用

• 作者: 李航 甘露 臧洌
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 并行算法 负载均衡 符号执行 集中式策略
• 年，卷（期）: 2018,（7）
• 所属期刊栏目: 应用与开发
• 页码范围: 86-92
• 页数: 7页
• 分类号: TP311
• 字数: 6223字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2018.07.018

摘要

动态符号执行在一定的并行算法下是可以并行化的,而且研究发现并行下的路径搜索任务之间没有偏序关系.并行化下的任务调度经常采用集中式策略,但传统的集中式策略由于任务分发的问题,易产生处理单元空闲等待的情况.基于以上分析,本文先采用任务队列缓冲区解决处理单元空闲等待的问题,其次,抓住并行任务无偏序关系的特点,无需考虑任务的执行优先级,只需用负载均衡技术保证各处理单元的工作负荷大致相等即可.实验证明,集中式策略的改进和负载均衡技术的使用显著提升了并行化符号执行的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	臧洌	南京航空航天大学计算机科学与技术学院	18	108	6.0	9.0
2	李航	南京航空航天大学计算机科学与技术学院	8	29	4.0	5.0
3	甘露	南京航空航天大学计算机科学与技术学院	13	23	4.0	4.0