面向并发程序中锁机制的智能化推荐方法

doi:10.11772/j.issn.1001-9081.2020121929

计算机应用 ›› 2021, Vol. 41 ›› Issue (6): 1597-1603.DOI: 10.11772/j.issn.1001-9081.2020121929

所属专题： 2020年全国开放式分布与并行计算学术年会（DPCS 2020）

• 2020年全国开放式分布与并行计算学术年会（DPCS 2020） • 上一篇下一篇

面向并发程序中锁机制的智能化推荐方法

张杨, 董士程

河北科技大学信息科学与工程学院, 石家庄 050018

收稿日期:2020-12-10 修回日期:2021-03-29 出版日期:2021-06-10 发布日期:2021-06-21
通讯作者: 张杨
作者简介:张杨(1980-),男,河北秦皇岛人,副教授,博士,CCF高级会员,主要研究方向:智能化软件、软件重构;董士程(1995-),男,山东济南人,硕士研究生,主要研究方向:智能化软件。
基金资助:
国家自然科学基金资助项目（61440012）；河北省教育厅科学研究计划重点项目（ZD2019093）；河北省基础研究计划重点基础专项（18960106D）。

Intelligent recommendation method for lock mechanism in concurrent program

ZHANG Yang, DONG Shicheng

School of Information Science and Engineering, Hebei University of Science and Technology, Shijiazhuang Hebei 050018, China

Received:2020-12-10 Revised:2021-03-29 Online:2021-06-10 Published:2021-06-21
Supported by:
This work is partially supported by the National Natural Science Foundation of China (61440012), the Key Project of Hebei Education Department Scientific Research Planning (ZD2019093), the Key Basic Project of Hebei Fundamental Research Planning (18960106D).

摘要/Abstract

摘要： 软件开发人员在并发编程中面临着各种Java锁的选择。针对如何选择合适的锁机制进而提高程序性能的问题，提出了一种帮助并发程序开发人员选择锁机制的推荐方法LockRec。首先，采用程序静态分析技术，对并发程序中锁机制的使用进行分析并确定影响程序性能的程序特征属性；然后，使用改进的随机森林算法构建锁机制推荐模型，以帮助开发人员在同步锁、可重入锁、读写锁、邮戳锁这四种锁之中进行选择。分别选取了四种现有的机器学习数据集对LockRec进行了实验，所提方法的推荐准确率均值可达95.1%；此外使用真实并发程序对LockRec的推荐结果进行分析。实验结果表明LockRec可以有效提高并发程序的执行效率。

关键词: 并发程序, 锁机制, 随机森林, 推荐模型, 程序性能

Abstract: The choices of Java locks are faced by the developers during parallel programming. To solve the problem of how to choose the appropriate lock mechanism to improve the program performance, a recommendation method named LockRec for developers of concurrent program to choose lock mechanism was proposed. Firstly, the program static analysis technology was used to analyze the use of lock mechanism in concurrent programs and determine the program feature attributes that affect the program performance. Then, the improved random forest algorithm was used to build a recommendation model of lock mechanism, so as to help the developers to choose the lock among synchronization lock, re-entrant lock, read-write lock, and stamped lock. Four existing machine learning datasets were selected to experiment with LockRec. The average accuracy of the proposed LockRec is 95.1%. In addition, the real-world concurrent programs were used to analyze the recommendation results of LockRec. The experimental results show that LockRec can effectively improve the execution efficiency of concurrent programs.

Key words: concurrent program, lock mechanism, random forest, recommendation model, program performance

中图分类号:

TP311.53

张杨, 董士程. 面向并发程序中锁机制的智能化推荐方法[J]. 计算机应用, 2021, 41(6): 1597-1603.

ZHANG Yang, DONG Shicheng. Intelligent recommendation method for lock mechanism in concurrent program[J]. Journal of Computer Applications, 2021, 41(6): 1597-1603.

参考文献

[1] SCHÄFER M, DOLBY J, SRIDHARAN M, et al. Correct refactoring of concurrent java code[C]//Proceedings of the 2010 24th European Conference of Object-Oriented Programming,LNCS 6183. Berlin:Springer,2010:225-249.
[2] ZHANG Y,SHAO S,LIU H,et al. Refactoring Java programs for customizable locks based on bytecode transformation[J]. IEEE Access,2019,7:66292-66303.
[3] ZHANG Y,DONG S,ZHANG X,et al. Automated refactoring for StampedLock[J]. IEEE Access,2019,7:104900-104911.
[4] YU T, PRADEL M. SyncProf:detecting, localizing, and optimizing synchronization bottlenecks[C]//Proceedings of the 2016 25th International Symposium on Software Testing and Analysis. New York:ACM,2016:389-400.
[5] SCHÄFER M,SRIDHARAN M,DOLBY J,et al. Refactoring Java programs for flexible locking[C]//Proceedings of the 2011 33rd International Conference on Software Engineering. New York:ACM,2011:71-80.
[6] ROSE J, SWAMY N, HICKS M. Dynamic inference of polymorphic lock types[J]. Science of Computer Programming, 2005,58(3):366-383.
[7] BAUM M V. Refactoring for software transactional memory[D]. Austin:University of Texas at Austin,2011:12-14.
[8] ERNST M D, LOVATO A, MACEDONIO D, et al. Locking discipline inference and checking[C]//Proceedings of the 2016 IEEE/ACM 38th International Conference on Software Engineering. Piscataway:IEEE,2016:1133-1144.
[9] ERNST M D,MACEDONIO D,MERRO M,et al. Semantics for locking specifications[C]//Proceedings of the 2016 8th NASA Formal Methods Symposium,LNCS 9690. Cham:Springer,2016:355-372.
[10] MCCLOSKEY B, ZHOU F, GAY D, et al. Autolocker:synchronization inference for atomic sections[C]//Proceedings of the 2006 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. New York:ACM,2006:346-358.
[11] ALON U,ZILBERSTEIN M,LEVY O,et al. Code2vec:learning distributed representations of code[J]. Proceedings of the ACM on Programming Languages,2019,3(POPL):Article No. 40.
[12] ZHANG J,WANG X,ZHANG H,et al. A novel neural source code representation based on abstract syntax tree[C]//Proceedings of the 2019 IEEE/ACM 41st International Conference on Software Engineering. Piscataway:IEEE,2019:783-794.
[13] RAYCHEV V,VECHEV M,KRAUSE A. Predicting program properties from "Big Code"[J]. Communications of the ACM, 2019,62(3):99-107.
[14] MADEIRAL F,URLI S,MAIA M,et al. BEARS:an extensible Java bug benchmark for automatic program repair studies[C]//Proceedings of the 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering. Piscataway:IEEE,2019:468-478.
[15] SAHA R K,LYU Y,LAM W,et al. Bugs. jar:a large-scale, diverse dataset of real-world Java bugs[C]//Proceedings of the 2018 ACM/IEEE 15th International Conference on Mining Software Repositories. New York:ACM,2018:10-13.
[16] DOUZAS G, BACAO F. Geometric SMOTE a geometrically enhanced drop-in replacement for SMOTE[J]. Information Sciences,2019,501:118-135.
[17] MU Y,LIU X,WANG L. A Pearson's correlation coefficient based decision tree and its parallel implementation[J]. Information Sciences,2018,435:40-58.
[18] LI H B,WANG W,DING H W,et al. Trees weighting random forest method for classifying high-dimensional noisy data[C]//Proceedings of the 2010 IEEE 7th International Conference on E-Business Engineering. Piscataway:IEEE,2010:160-163.
[19] 张家伟, 郭林明, 杨晓梅. 针对不平衡数据的过采样和随机森林改进算法[J]. 计算机工程与应用, 2020, 56(11):39-45. (ZHANG J W,GUO L M,YANG X M. Improved oversampling and random forest algorithm for imbalanced data[J]. Computer Engineering and Applications,2020,56(11):39-45.)
[20] 郑伟, 马楠. 一种改进的决策树后剪枝算法[J]. 计算机与数字工程, 2015, 43(6):960-966, 971.(ZHENG W,MA N. An Improved post-pruning algorithm for decision tree[J]. Computer and Digital Engineering,2015,43(6):960-966,971.)
[21] ABDOH A F,ABO RIZKA M,MAGHRABY F A. Cervical cancer diagnosis using random forest classifier with SMOTE and feature reduction techniques[J]. IEEE Access,2018,6:59475-59485.
[22] TANG W,HU J,ZHANG H,et al. Kappa coefficient:a popular measure of rater agreement[J]. Shanghai Archives of Psychiatry, 2015,27(1):62-67.
[23] 徐少成, 李东喜. 基于随机森林的加权特征选择算法[J]. 统计与决策, 2018, 34(18):25-28.(XU S C,LI D X. Weighted feature selection algorithm based on random forest[J]. Statistics and Decision,2018,34(18):25-28.)
[24] 蒋艳凰, 赵强利. 机器学习方法[M]. 北京:电子工业出版社, 2009:56. (JIANG Y H, ZHAO Q L. Machine Learning Techniques[M]. Beijing:Publishing House of Electronics Industry,2009:56.)

面向并发程序中锁机制的智能化推荐方法

Intelligent recommendation method for lock mechanism in concurrent program

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

[1]	余东昌, 赵文芳, 聂凯, 张舸. 基于LightGBM算法的能见度预测模型[J]. 计算机应用, 2021, 41(4): 1035-1041.
[2]	张增辉, 姜高霞, 王文剑. 基于局部概率抽样的标签噪声过滤方法[J]. 计算机应用, 2021, 41(1): 67-73.
[3]	周翔, 翟俊海, 黄雅婕, 申瑞彩, 侯璎真. 基于随机森林和投票机制的大数据样例选择算法[J]. 计算机应用, 2021, 41(1): 74-80.
[4]	肖跃雷, 张云娇. 基于特征选择和超参数优化的恐怖袭击组织预测方法[J]. 计算机应用, 2020, 40(8): 2262-2267.
[5]	聂茜婵, 张阳, 余敦辉, 张兴盛. 面向全局优化的时空众包任务分配算法[J]. 计算机应用, 2020, 40(7): 1950-1958.
[6]	余敦辉, 袁旭, 张万山, 王晨旭. 基于动态阈值的时空众包在线分配算法[J]. 计算机应用, 2020, 40(3): 658-664.
[7]	陈禹, 毛莺池. 基于随机森林和遗传算法的Ceph参数自动调优[J]. 计算机应用, 2020, 40(2): 347-351.
[8]	王治忠, 钱龙龙, 韩闯, 师丽. 基于统计特征和熵特征融合的心肌梗死辅助诊断方法[J]. 计算机应用, 2020, 40(2): 608-615.
[9]	郎大鹏, 丁巍, 姜昊辰, 陈志远. 基于多特征融合的恶意代码分类算法[J]. 计算机应用, 2019, 39(8): 2333-2338.
[10]	何新宇, 张晓龙. 基于深度神经网络的肺炎图像识别模型[J]. 计算机应用, 2019, 39(6): 1680-1684.
[11]	田臣, 周丽娟. 基于带多数类权重的少数类过采样技术和随机森林的信用评估方法[J]. 计算机应用, 2019, 39(6): 1707-1712.
[12]	李鲜, 王艳, 罗勇, 周激流. 基于随机森林特征选择算法的鼻咽肿瘤分割[J]. 计算机应用, 2019, 39(5): 1485-1489.
[13]	胡淼, 王开军. 基于双特征和松弛边界的随机森林进行异常点检测[J]. 计算机应用, 2019, 39(4): 956-962.
[14]	张杨, 梁亚楠, 张冬雯, 孙仕欣. 并发程序中数据竞争检测方法[J]. 计算机应用, 2019, 39(1): 61-65.
[15]	邓旭, 徐新, 董浩. 单极化合成孔径雷达图像颜色特征编码与分类[J]. 计算机应用, 2018, 38(7): 2056-2063.