并行调试技术.pptVIP

* * * * * * CS258 S99 * CS258 S99 * CS258 S99 * * 研究内容二：并行测试技术与并行程序分析 提高测试准确度 提高测试的并行性 提高测试的覆盖率 并发故障的动态检测 探索可能导致并发故障的交叠 1. 测试准确度研究 * * 目标 并行错误的准确定位 难点和挑战 上层并行语义的缺失 并行执行交错的回溯策略 研究内容 并行错误传播特点与执行交错的关联分析 上层语义指导下的动静结合回溯策略 测试工具 记录 动态回溯 上层语义 静态分析 2. 测试并行性研究 * * 目标 提高测试过程的并行性 难点和挑战 测试路径随代码量指数增长 充分利用多核/众核资源的测试路径调度策略 研究内容 不同测试路径对数据使用的相似性研究 不同测试路径对共享资源的竞争研究 C C C C C C C C Cache 测试路径 测试平台 并行测试调度 3. 测试覆盖率研究 * * 目标 提高并行程序的测试覆盖率 难点和挑战 系统软件测试依赖模拟器 模拟器的核映射技术隐藏可能的执行交错 研究内容 模拟执行对并行程序执行交错的影响 测试信息对模拟器核映射策略的指导 V V V V V V V V P P P P 模拟器 操作系统 测试工具 核映射 测试 对象 测试信息 4. 并发故障的动态检测 目标 高检测能力的并发故障动态检测系统 难点与挑战 并发故障深度隐藏 并行程序行为不易控制 研究内容 提取并行应用程序中并发故障深度隐藏的规律 收集并筛选所有可能导致并发故障的执行交叠 控制并行程序按指定交叠运行，暴露并发故障 测试输入 多次测试运行并行程序 所有可能导致错误的交叠 收集信息 优先级从高到低的很可能出现错误的交叠 筛选排序 测试每个交叠 暴露并发故障 5. 探索可能导致并发故障的交叠 目标 寻找可能导致并行程序发生并发故障的执行交叠 难点与挑战 有些并发故障至今尚未暴露 执行交叠与并发故障的对应关系 研究内容 尝试发现未暴露的并发故障 总结可能导致并发故障的执行交叠，提取模式 调度实现执行交叠，验证对应关系 两种可能出现原子性错误的执行交叠 … 线程1 线程2 read x read x write x 执行顺序 x为线程共享变量 … 线程1 线程2 write x read x write x 研究内容三：一体化调优技术 并行程序调优的多层次一体化模型 并行程序的自动调优技术 一体化调优器的实现与集成 1.并行程序调优的多层次一体化模型 目标 提供一个一体化、系统性的并行程序调优模型 难点与挑战 面对众多复杂的调优方法和工具，用户往往难以取舍 不同的调优手段之间可能不相互独立，甚至相互影响。选择最优的组合比较困难 研究内容 区分多核/众核模式下不同级别的调优手段，通过自上而下的层层优化，形成整体调优合力 建立多层次动静结合的一体化综合调优统一框架，通过交互式引导界面有效引导用户进行程序优化 通过各层调优信息的统一描述、用户流程的一体化制定、与开发平台的无缝集成，实现统一的性能调优平台架构 2.并行程序的自动调优技术 目标 自动或半自动地进行并行程序性能优化 难点与挑战 多核/众核架构复杂，最优配置与用户的直观认知并不一致 程序的执行过程中产生大量复杂的性能数据 性能监测数据与程序性能之间的关系并不清晰 研究内容 研究性能监测信息指导的优化过程 分析性能监测数据，建立监测数据与程序性能之间的初步的性能模型 研究利用模型和监测数据指导优化过程，并在优化的过程中精化模型，两种操作交替执行 研究优化空间的自动剪裁与搜索 最大可能地自动化调优过程，减少人工干预 研究如何裁剪庞大的优化空间，并在空间中高效搜索 3.一体化调优器的实现与集成 建立可视的一体化调优平台 支持算法级、代码级、并行和串行编译等不同级别的调优手段之间的衔接 统一格式的调优信息描述文件 友好的人机交互界面，最大可能地自动化调优过程，必要时为用户提供启发式信息 性能监测信息的高效采集与利用 高效调优方法的集成 动静结合的编译优化方法 优化策略的自动调整与精化 结合知识库、机器学习的高效的优化空间的裁剪与搜索 研究内容四：支持新的并行编程模型与异构系统的性能调优技术 插装信息与硬件计数器信息结合的性能调试技术 消息记录的压缩技术 1. 插装信息与硬件计数器信息结合的性能调试技术 目标 在异构多核/众核系统上支持细粒度的性能数据采集与分析 问题与挑战 异构系统上具有不同的观测机制，如硬件计数器种类不同，可插装的系统调用不同等 研究内容 将不同体系结构下使用不同方法获得的性能数据信息整合分析 重点获取和分析不同结构间通信和同步的性能数据 关键路径分析技术 PMU Data GPU PMU Data