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, 2018, 0(07): 86-.

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]	LI Deyou1, 2, YU Jinsongdi1, 2, WEI Dandan1, 2, LUO Yuan1, 2, TONG Ruiju3. Abstract Tree Model for Gridded Cube Metadata [J]. Computer and Modernization, 2024, 0(11): 1-6.
[2]	QIU Ling1, 2, SONG Zhi1, 2, LYU Shuang1, 2, YANG Xue1, 2. Application of Data Synchronization Technology in External Services of Meteorological Big Data Cloud Platform [J]. Computer and Modernization, 2024, 0(07): 76-81.
[3]	YANG Ke1, PAN Dazhi1, 2, CHI Ying1. Improved Mayfly Algorithm for Integrated of Process Planning and Scheduling [J]. Computer and Modernization, 2024, 0(04): 92-98.
[4]	FAN Liangjun1, PENG Zhenwan1, WANG Chen2, YU Hongtao2, LIANG Zhen1. iOS Application Development Framework Based on YAML [J]. Computer and Modernization, 2024, 0(04): 115-120.
[5]	WANG Zi-chen, QU You-li. A Partition Inverted Index Compression Algorithm Based on CRF [J]. Computer and Modernization, 2024, 0(02): 36-42.
[6]	WANG Xiao-xia, MENG Jia-na, JIANG Feng, DING Zi-qing. Multi-view Knowledge-aware Recommender System [J]. Computer and Modernization, 2024, 0(02): 100-107.
[7]	LIN Wei. Incremental News Recommendation Method Based on Self-supervised Learning and Data Replay [J]. Computer and Modernization, 2023, 0(12): 1-6.
[8]	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.
[9]	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.
[10]	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.
[11]	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.
[12]	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.
[13]	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.
[14]	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.
[15]	CHEN Jia-min, ZHANG Bo-quan, MAI Hai-peng. Hippocampus Segmentation Based on Feature Fusion [J]. Computer and Modernization, 2023, 0(08): 1-6.