随着龙芯3A3000、申威421和飞腾1500A等国产多核处理器的投入使用以及中标麒麟、深度、银河麒麟等国产操作系统的快速推广应用, 国产处理器与国产操作系统任意两两组合构成了目前国产平台多样化的生态格局^[1]. 目前在国产平台上开发并发程序经常采用多线程技术来实现, 每个线程利用单个CPU核的计算能力, 多个线程就可以更好地利用整个CPU的多核处理能力来实现复杂的功能^[2]. 但是, 线程需要通过信号量、互斥锁、临界区等并发资源来实现相互之间的同步. 多线程同步机制选择必须谨慎, 因为不恰当的任务同步可能导致一段时间内一个任务运行而其他任务阻塞的情况, 使得程序性能下降很多. 多个线程在使用共享资源时, 就会发生竞争. 如果程序设计的不好, 则程序会发生死锁^[3,4].

当前, 在国产平台中使用图形化集成开发环境开发多线程并发程序时, 由于缺少良好的并发性能分析工具, 使得用户难以分析程序中的并发资源使用情况, 以及判断程序中可能存在的死锁问题, 从而影响了应用程序的开发. 开发面向国产平台的并发性能分析插件, 一方面能够让用户了解程序动态运行过程和并发资源的使用情况, 对自己的程序进行优化; 另一方面, 可以解决程序中因为并发资源争用而导致的死锁问题.

本文提出的Qt Creator下并发性能分析插件可以实时监控程序不同线程的锁、信号量及同步操作, 记录相关行为信息, 同时采集程序执行过程中的上下文切换、cache命中率等反映程序执行性能的数据. 插件提供了性能数据分析和死锁检测的可视化界面, 便于上层开发理解和分析.

1 相关工作

英特尔开发的Vtune Amplifier^[5]工具支持对并发应用程序的性能进行分析, 使用线程分析工具可以获取处理器计算能力使用效率, 以及在线程运行时定位由于线程同步时的资源争用导致的处理器效率低的问题, 工具使用有效CPU利用率指标作为线程效率的主要衡量指标. Vtune功能比较完善, 但使用费用较高, 仅支持Intel的处理器.

微软开发的Visual Studio可以通过性能资源管理器分析并发程序中的信号量、临界区等共享资源的同步与互斥时间开销, 包括等待时间和使用时间, 可以查看争用最激烈的资源和代码段等信息, 进一步优化并发程序性能, 目前仅支持x86平台^[6].

Helgrind是一个Linux平台下的一个开源并发性能分析工具^[7], 用于检测使用POSIX pthreads线程原语的C/C ++程序中的同步错误. Helgrind可以检测错误使用POSIX threads API、加锁顺序导致的死锁和数据争用三类错误. Helgrind是基于命令行的工具, 没有友好的人机界面, 同时使用该工具会引入较大的系统开销.

目前国产平台下大量采用Qt Creator作为程序开发工具, 在Qt Creator下缺乏一种低开销的可视化并发性能分析插件来辅助应用开发.

2 Qt Creator插件技术

Qt Creator是一种跨平台的集成开发环境^[8], 它采用微内核架构, 所有的功能都是通过插件实现, 其结构如图1所示.

Qt Creator最主要的功能是在名为Core的插件中实现的. Core插件暴露了大量核心对象如主窗口本身、视图、导航面板、大纲、文件系统、菜单等, 这些对象构成了基础的集成开发环境. Core插件也提供了大量与环境进行交互的接口, 比如IEditor、IDocument、IOptionsPage、IEditorToolBar等. 插件管理器管理所有的插件, 包括读取插件描述文件, 解决插件依赖, 加载插件, 按正确的顺序初始化插件等. 插件管理器提供插件合作机制以支持插件相互依赖, 共同工作.

3 面向国产平台的并发性能分析

在以国产处理器与国产操作系统为核心的国产平台上开发面临最大的问题就是生态链不完善. 为了弥补国产平台上缺少并发性能分析工具的问题, 我们设计了面向国产平台的并发性能分析方案, 该方案分为并发事件监控、性能数据采集和分析插件界面三个模块, 其整体构成如图2所示. 并发事件监控模块主要通过接管操作系统并发相关接口API, 实时捕获并发事件. 性能数据采集与分析模块获取并发事件发生时的线程、上下文和时间戳等信息, 并根据采集到的数据进行死锁分析. 分析插件界面主要包含多视图并发性能数据展示界面、人机友好的数据视图切换和可定位至源代码的死锁检测界面等.

3.1 并发事件监控

目前在国产Linux平台上, 常用于线程同步的并发操作主要有POSIX信号量和pthreads^[9], 需要监控的详细事件如表1所示.

1)信号量(semaphore)是一种用于提供不同进程间或一个给定进程的不同线程间同步手段的原语. 信号量的使用主要是用来保护共享资源, 使得资源在一个时刻只有一个进程(线程)所拥有. 信号量的值为正的时候, 说明它空闲. 所测试的线程可以锁定而使用它. 若为0, 说明它被占用, 测试的线程要进入睡眠队列中, 等待被唤醒.

2) pthreads库除了提供了一套符合POSIX标准的线程创建、运行、销毁的实现机制外, 还提供了符合POSIX标准的线程同步库. 在pthreads库中, 主要提供了互斥体(mutex)与条件变量(conditional variable)给线程进行同步. 互斥体可以被不同的线程用来同步对一个共享资源的访问, 例如不允许对一个共享资源写入的同时进行读取. 而条件变量则起到了补充性的作用, 即可以用来通知其它的线程某个共享资源的状态已经发生了变化.

为了不修改系统库和应用程序, 本文使用了Linux共享库的LD_PRELOAD机制接管POSIX并发相关接口, 在用户进程载入时首先载入性能分析库. 在性能分析库中定义了与POSIX并发接口完全相同的接口, 在接口实现里首先调用真正的POSIX接口, 然后再执行监控模块, 在监控模块里收集并发事件信息, 从而实现了监控过程的非侵入.

3.2 性能数据采集与分析

在对程序进行并发性能分析时, 只是监控并发事件的发生还不能有效帮助用户开发多线程并发程序. 用户需要了解发生并发事件时的所有关键信息, 包括事件发生的时间、所属线程和发生并发事件时的上下文信息, 以便精确定位发生性能瓶颈甚至死锁的具体原因. 在3.1节中定义的监控模块中利用系统函数可以方便的采集到时戳和所属线程信息. 为了获取发生并发事件时的上下文信息, 本文使用了第三方库libunwind^[10], 该工具定义了可移植的、高效的C编程接口来获取程序的调用栈. 获取上下文信息基本流程图如图3所示.

利用二进制文件中的调试信息将调用栈中的符号映射为源代码中的行号, 从而能精确定位发生并发事件在源代码中的位置, 进而为性能优化提供依据.

除了并发事件以外, 程序执行时的某些系统参数在一定程度上也反映了程序执行的并发性能, 如Cache命中情况, 上下文切换次数等. 为了更全面、低开销的获取程序并发性能态势, 本文借助硬件性能计数器PMU获取性能数据. 由于国产处理器会根据自身体系结构特征定义不同的硬件事件组合, 不同处理器的硬件性能计数器参数均不相同^[11,12]. 考虑到事件监测和性能分析的需求, 不同处理器的事件集合往往在功能上会有交集. 通过将国产处理器共有事件特性抽象出来, 设计统一的PMU访问接口, 将不同处理器中存在功能共性的事件抽象成接口专用的事件集并同统一命名, 简化PMU访问过程, 其基本架构如图4所示.

基于上述采集到的并发性能数据, 根据死锁形成的条件对程序是否存在死锁进行分析. 死锁指的是在并行程序中, 多个并行任务形成相互等待的状态, 导致这些任务均无法继续执行. 死锁发生的条件被称为Coffman条件, 它们包括以下4条^[13]:

(1) 互斥. 即必然有某个共享资源只能被单个任务使用, 而不能被多个任务并发访问;

(2) 任务处在持有一个共享资源, 同时又要求拥有其他共享资源的状态;

(3) 共享资源无法被抢占(preempt), 只能由拥有者主动放弃独占才能被释放;

(4) 循环等待. 即一组任务每个都持有一个共享资源, 同时在等待其他任务已经持有的共享资源.

因此, 对于死锁的检测, 主要也是针对上述4个条件进行. 针对第一个条件, 在上述同步对象中, pthread互斥体与POSIX信号量均产生了互斥, 因此满足第一个条件. 而一旦持有相应的同步对象, 也只有等待持有者主动放弃才可以释放, 因此也满足第三个条件. 所以只需要检测第二个条件与第四个条件即可.

根据采集到的性能数据, 如果发现某个线程(假设其为t1)在持有某个同步对象(假设其为s1), 同时又在调用同步原语等待其它同步对象(假设其为s2)时, 即可得知第二个条件被满足. 在此基础上, 若发现s2已经被其它线程持有(假设其为t2), 而t2也在等待其它的同步对象时, 以此类推, 若最后发现tn在等待s1, 则形成了循环等待, 满足第四个条件. 一旦发现上述第二个与第四个条件被满足, 插件即可判定形成了死锁.

3.3 分析插件界面

在Qt Creator菜单中增加“concurrency analyze”菜单, 并添加“start”、“stop”和“detect deadlock”子菜单, 在数据输出面板中增加概览视图、时间线视图和死锁检测视图.

1) 在概览视图中, 显示每个线程的生命周期、阻塞时间以及阻塞时间占比, 在时间轴上显示每个线程等待和占用共享资源的情况, 从资源角度显示每一个等待和占用该资源的线程. 在性能数据窗口能实时显示多线程上下文切换和资源争用等数据.

2) 在时间线视图中, 按时间顺序显示每个并发事件的详细信息, 通过每个事件可以查看详细函数调用栈.

3) 在死锁检测视图中, 死锁检测报告能显示所有线程循环等待信息, 通过每条等待信息可以查看详细函数调用栈.

4 系统实现

本文在国产龙芯和申威平台上实现了上述并发性能分析方案, 其中龙芯运行环境配置如表2所示, 申威运行环境配置如表3所示.

面向国产平台的并发性能分析插件如图5到图7所示. 在图5中用户打开待分析工程, 点击图中A区“concurrency analyze”的“start”菜单, 即可开始采集性能数据. 点击“stop”后进入概览视图. 在概览视图(图5中B区)中能查看并发性能数据, 包括线程、并发资源、上下文切换等数据. 通过概览视图可以辅助用户初步定位程序并发性能瓶颈.

通过标签切换到时间线视图, 如图6所示. 在图6中B区按时间顺序详细显示并发事件类型、调用者和所属线程, 任意点击并发数据, 在图6中A区显示详细的函数调用栈信息. 通过时间线视图可以详细定位并发性能低效的位置.

打开死锁测试用例, 点击“detect deadlock”即可进入死锁检测视图, 如图7所示. 在图7中C区给出死锁检测报告, 如果程序存在死锁, 检测报告会给出循环等待时每个线程等待的位置, 任意点击一处数据, 在图7中B区会显示等待时刻的函数调用栈. 通过死锁检测视图可以精确定位死锁位置.

5 结语

本文阐述了Qt Creator下的插件开发机制, 分析了目前国产平台下多线程程序开发遇到的瓶颈, 设计了低开销的性能数据采集后端和人机友好的并发性能分析插件界面, 实现了对Qt Creator开发工具的功能扩展, 大大提高国产平台下多线程程序开发效率, 同时通过辅助优化并发程序性能, 有助于弥补当前国产平台性能较低的问题. 本文设计的插件进一步丰富完善了国产平台开发生态链, 对国产平台进一步推广应用起到一定促进作用.

利用Qt Creator的插件机制扩展其并发性能分析功能可以有效辅助用户开发多线程程序, 但仍然存在一些不足, 如目前只能适用于国产龙芯和申威处理器平台, 对于国产飞腾平台还不支持, 性能数据视图设计比较简单, 这些问题需要在下一步工作中继续改进.