ApplicationofLoadBalancingTechnologyinParallelSymbolExecution

doi:10.3969/j.issn.1006-2475.2018.07.018

Abstract

Abstract: Dynamicsymbolexecutioncanbeparallelundercertainparallelalgorithms,andthestudyfindsthatthereisnopartialorderrelationshipbetweenthepathsearchtasksunderparallel.Paralleltaskschedulingoftenusescentralizedstrategy.However,duetotheproblemoftaskdistribution,thetraditionalcentralizedstrategyeasilycausesthecomputingunittowaitfortask.Basedontheaboveanalysis,thispaperfirstusesthebuffertostorethetasktosolvetheproblemofcomputingunitwaitingfortask.Secondly,wegraspthecharacteristicsthatparalleltasksdon’thavepartialorderrelationship,regardlessofthepriorityofthetask,butbalancetheworkloadofeachcomputingunitbyloadbalancingtechnology.Experimentsshowthatloadbalancingtechniquesandimprovedcentralizedstrategiessignificantlyimproveparallelefficiency.

Key words: parallelalgorithm, loadbalancing, symbolexecution, centralizedstrategy

CLC Number:

TP311

LIHang，ZANGLie，GANLu. ApplicationofLoadBalancingTechnologyinParallelSymbolExecution[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2018.07.018.

References

［1］KingJC.Symbolicexecutionandprogramtesting［J］.CommunicationsoftheACM，1976,19(7):385-394.
［2］WangHaijun,LiuTing,GuanXiaohong,etal.Dependenceguidedsymbolicexecution［J］.IEEETransactionsonSoftwareEngineering,2017,43(3):252-271.
［3］LiuLingyi,VasudevanShobha.ScalinginputstimulusgenerationthroughhybridstaticanddynamicanalysisofRTL［J］.ACMTransactionsonDesignAutomationofElectronicSystems,2014,20(1):1-33.
［4］AdachiT,YamaneS,SakuraiK.DistributedCFG-basedsymbolicexecutionforassemblyprograms［C］//IEEEthe4thGlobalConferenceonConsumerElectronicsConsumerElectronics.2015:76-80.
［5］ZhangYufeng,ChenZhenbang,WangJi.S2PF:SpeculativesymbolicPathFinder［J］.ACMSigsoftSoftwareEngineeringNotes,2012,37(6):1-5.
［6］ZouQuanchen,HuangWei,AnJing,etal.Redundantconstraintseliminationforsymbolicexecution［C］//IEEEConferenceonInformationTechnology，Networking，ElectronicandAutomationControl.2016:235-240.
［7］LiXin,LiangYongjun,QianHong,etal.Symbolicexecutionofcomplexprogramdrivenbymachinelearningbasedconstraintsolving［C］//Proceedingsofthe31stIEEE/ACMInternationalConferenceonAutomatedSoftwareEngineering.2016:554-559.
［8］汤恩义,周岩,欧建生,等.面向条件判定覆盖的线性拟合制导测试生成［J］.软件学报,2016,27(3):593-610.
［9］PersonS,YangGuowei,RungtaN,etal.Directedincrementalsymbolicexecution［C］//Proceedingsofthe32ndACMSIGPLANConferenceonProgrammingLanguageDesignandImplementation.2011:504-515.
［10］ZhangYufeng,ChenZhenbang,WangJi,etal.Regularpropertyguideddynamicsymbolicexecution［C］//Proceedingsofthe37thInternationalConferenceonSoftwareEngineering.2015:643-653.
［11］GuoShengjian,KusanoM,WangChao,etal.Assertionguidedsymbolicexecutionofmultithreadedprograms［C］//Proceedingsofthe201510thJointMeetingonFoundationsofSoftwareEngineering.2015:854-865.
［12］SiddiquiJH,KhurshidS.Scalingsymbolicexecutionusingrangedanalysis［C］//ACMInternationalConferenceonObjectOrientedProgrammingSystemsLanguagesandApplications.2012:523-536.
［13］孙盼盼,董威.分布式符号执行平台［J］.计算机系统应用,2016,25(4):43-48.
［14］RakadjievE,ShimosawaT,MineH,etal.ParallelSMTsolvingandconcurrentsymbolicexecution［C］//Proceedingsofthe2015IEEETrustcom/BigDataSE/ISPA.2015:17-26.
［15］刘同.负载均衡技术在数据库集群系统中的应用与实现［D］.长沙：国防科学技术大学,2009.
［16］GodefroidP,KlarlundN,SenK.DART:Directedautomatedrandomtesting［J］.ACMSigplanNotices,2009,40(6):213-223.
［17］ZhuHong,HallPAV,MayJHR.Softwareunittestcoverageandadequacy［J］.ACMComputingSurveys,1997,29(4):366-427.

[1]	LIN Wei. Incremental News Recommendation Method Based on Self-supervised Learning and Data Replay [J]. Computer and Modernization, 2023, 0(12): 1-6.
[2]	CHAI Li, WANG Xiao, GONG Jia-hao, WANG Yang, JI Shun-hui, ZHANG Peng-cheng. Survey of Supply Chain Oriented Consensus Algorithms [J]. Computer and Modernization, 2023, 0(11): 22-27.
[3]	WANG Chong-yang, ZHUANG Yi. Load Balancing Algorithm of Multi-job Cluster Based on SDN and Improved CSA Algorithm [J]. Computer and Modernization, 2023, 0(11): 28-35.
[4]	WANG Guang-hui, CHENG Gong-xu, LI Qing. Design of Power Material Sharing Cloud Warehouse Based on Blockchain Technology [J]. Computer and Modernization, 2023, 0(10): 99-106.
[5]	SHEN Jia-wei, LU Yi-ming, CHEN Xiao-yi, QIAN Mei-ling, LU Wei-zhong, . Review of Research on Human Behavior Detection Methods Based on Deep Learning [J]. Computer and Modernization, 2023, 0(09): 1-9.
[6]	GU Cheng-wei, DING Yong, LI Deng-hua. Personnel Safety Warning System in Industrial Plant Based on Computer Vision [J]. Computer and Modernization, 2023, 0(09): 20-26.
[7]	LIU Rui-xue, LI Wen, LIU Fang, DU Shou-guo. Prediction of Time Series with Missing Value Based on Tensor Autoregressive Completion [J]. Computer and Modernization, 2023, 0(09): 51-58.
[8]	MAO Ming-yang, XU Sheng-chao. Continuous Attribute Discretization Algorithm of Rough Sets for BP Neural Networks Based on Particle Swarm Optimization#br# [J]. Computer and Modernization, 2023, 0(09): 115-119.
[9]	CHEN Jia-min, ZHANG Bo-quan, MAI Hai-peng. Hippocampus Segmentation Based on Feature Fusion [J]. Computer and Modernization, 2023, 0(08): 1-6.
[10]	SHEN Shi-fan, WANG Li-song, WANG Xin-meng, QIN Xiao-lin. Tuple Space Coordination Model for Multi-robot Systems [J]. Computer and Modernization, 2023, 0(08): 98-106.
[11]	ZHONG Song-ying. Textile Raw Material Cost Warning Based on Apriori Algorithm of Association Rules [J]. Computer and Modernization, 2023, 0(07): 43-43.
[12]	ZHONG Lin-feng, LI Yan-feng, ZHANG Gui-peng, LIU Wen-yin. Decentralized Online Shopping Data Sharing Scheme Based on Blockchain [J]. Computer and Modernization, 2023, 0(07): 61-68.
[13]	LU Wei-qiang. Microservices-based Architecture Design for Civil Aircraft Industrial Software [J]. Computer and Modernization, 2023, 0(07): 73-78.
[14]	ZHANG Jun, SU Wen-hao. Optimization Method of Hadoop File Archiving Based on LZO [J]. Computer and Modernization, 0, (): 1-6.
[15]	LIU Pei. Medical Insurance Fee Control System Based on Data Mining [J]. Computer and Modernization, 2023, 0(06): 89-94.