第卷期计算机学报３ ５Ｖｏｌ．年月２０１ＣＨＩＮＥＳＪＯＵＲＡＬＦＭＰＴａｙ乐观策略下动态负载划优化法防技术大院长沙摘是提高运性能的有效途径之一往孤立地考虑衡和通信使复杂应用背景整体低论文综合模型交互式出了个带权重无图限容量问配套度犽顶换启发局搜索近似在前系统其解全比值不小／验证明该－｜犖ε关键词同步中类号犇犗犐犃狀犪犿犻犮犘狉狋狅犾犺犅狊犲犱狓犔犛犳狔犵狆犈狏狌ＺＧＹＸ犆犝犜犫ＷｈｆｕｐｗｄｖＤｂｋ犓狑［］两因素由早规引言状相对稳升显此外很多台迁移制支持足时间额开销较决定预测收稿日：；最终修改到本课题得国家自然科基金（）、教育部博士点９６７４８资助张颖星，男生主要研究方向为并行离散事件仿真于等姚益平ｇｅｎｔｍｉｓｒｚｘ＠ｃ授导师领域与分布虚拟现实书
学报８［２４］静态负载划分然而，随着仿真模型越来复杂加速．特别是一些研究者提出将并行离散事件支撑技需操作或术与建相结合以持系统的其范围Ａｇｅｎｔ５６往具有显著动性传献段ＷＳ已难保证整体运效率；同时由央收大量高迁移机制平台７９现也为供了底层因此决哪逻辑程近年受到选项该引入关注孤立键问题能度和策略早期算法主要考背景产生额外开销虑计衡素减少各节点间本地降等人存推进差异但价比集群逐渐成规流硬通信对影响如何在前下根据交互式优化际Ｌｗ目热文综针ＢＰ归个带权重无向图限容乐观协议首先过柔犽力确定后采用基于顶换启发局部搜索似设套使得敛最情况会振荡上所尽管第介绍领域给展快还完善适多３形描述详且测试方实验果总全 我们只“消”：组１０（）之调ＲｉｈｒＪｆｓｏ处理器利评估状周每列查找欠若两改变距阈值则内输新思想类单位可自配ＧｌａｚＴｐ步概念控ｍｕｄｖｃ共ｂｋ获更好队按戳非递顺序执Ｃ种息约束Ｆｊｙ不错升这任务即没达较稳强应中
张颖星乐观策略８５优化两方面的因素：计算负载平衡主要任务是保Ｃｃｆｍｓｕｋｂ犠犅证划分集事件处理与对应节点ＬＰ犆容量相匹配，以减少由各局部仿真时＿＞犪狓狅犇犳犫狆狌狋间（）推进差异而引起同步等待和回滚开ＶＴ［１］销；通信根据调度依赖关系将交互频繁到一４６上远程．基于述“消息”范型并行离散ＭｖｙＳ模形式描如下设表示逻辑犔ｘ合首先犈统中所有为顶构造个全连无向图定义边权重单位工作目标静犌狑×→犚内意数获续之没础良好能效犾２＝０带来犮犖硬台前般难完犝则问题可从考虑选出使得犛－成不联子记｛…｝参钟｜且存在映射满足率、大小直接也δ狀∈测试序更精即找∑犐犕犻犲规７结果该本文假Ｎ符泊松布我们用户均条确默认然后给换启发搜索近似法其解最比值超某过／ε动态 包含几初始控制器运采样Ｏ犘狉′置独立周期性收３评估状必情况迁移指令整框架Ｉｎｉｔａｌｐｒｏｇｗｈｅ犞犜＜犿犱ｄＷ＋
机学报年８（）犱犐犮犪狆犻来｛ ｉｆｅｘｔｓｕｃｈＬＰ犾逻辑·犘狉狋狅狀犛犲＝∪犞犃狌犿犔＋Ｒｍｏｖｒ｝；ｌｂａｋ≠ｇｎ犖ｑｙ都问题借鉴出方运行信息采样与评估４．２有记跟踪系统并对状态进是动补偿划分算法的基础，为了准确地解整体调度其他需要以下个因素和：计３情况节点容量、负载犆通×表示在仿真时能提供处理力越大单位间内多本由该器存等硬件配置决定但过程中会背景而改变此段交事总数平台各控制责［１０］衡一重指标乐消发观策略回滚导致部实际无被便外些受限同步如ＢＴ获取相关据后也于全局产生空转Ｓ待纯用反映考虑规范∑影响文献思想类似我们６９∈设犈狏→犚之某区犠犽犜狑长减去则义集合离散上均函犅果ＭＡＸ｜－到当前＞犕狓犇犳布不强可更所∧必须除推虚拟钟否
期张颖星乐观策略并离散动态５８７表示远程事件调度通信负载计算．ｙｆＯ（）ｇ狏犐 犖狅犱犲犔犮犪犾犆犿犻＝｛，∑∈犘狉狋狀犛∧ｘ１２节点上本地之和则可得到系统ＬＰ狘犠犜｜犼＋狌０Ｆ间的总量进一步以Ａ平衡评估函数犅｝为如果＞犕狓犇犳当前分布产生不需要行法４３基目标是容与该匹配减少由各∩≠Ｓ局部仿真时推差异而引起ＶＴＣ额外开销个划后续优化础思想在出现首先找中完成我们原最重轻：设始根满足条据依赖关对－狆回滚空转第所问题模型构造全连无向图采用运样犌犈边赋权狑×→犚记即将迁移更新保证子顶符息否；仍合提使然存复述骤直小整体终结入有列任意次值选择常其较大具下珡＿ｂａｌｎｃｅｏｍｐｕｔｉ等价于Ｉｗｈｄｓｒｋ
机学报年８大该问题可基于等人在文献［］中提出的．Ｇａｕｒ２１图最划分算法获得近似解犽设（，）表示狑珡犾犖犻＝犌犔犈∑∈逻辑进程对节点上所有边权重和布到个数则具体通信｜ＬＰ负载平衡如下：＿ｂｌｎｃｅｏｍｉｔＩｐｗｈｄｓ犘犪狉狋狅狀犛犲变化为ｇｆＡｙε＞０Ｏ犕狏犐犱犮行求计；狘｛ＷＴ’ 犠≠狇′各子内部－＋间３ｘ外层循环运ＭｖＣ｝Ｓ／·性质收敛且终与全局优比值不小证明根据迁移判断条件即系统满足将述式相加以后珚狆
期张颖星策略（）红帽－１ｎｕｘ狅ε｜犖狆狋，犠狉＋犾结注两面能速所以．比和迁移收敛情况象德性质算法具有多项式时间复杂度且２ 波恩年ｓｃ７ｙｒｔ４不超过犗狀ｌｏｇ６证明设因为对边权重进行了取整＝犔缩放／内层循狑珡′狇ｗｈｉｅ我们采用种别将、环执是图外需要首先引入Ｒａｄｚｋ没显特征下ｐ等人在文献［］中的定理较盲目直保持高额销而…表示一个向量犱组｛｝如果狔０犻快Ａ都满足则低由于每次可看作与积其远程调应本地根据会又搜索符合条件点实验分析５变化弯曲境～Ｔｍ呼吸桶基并离散事仿真领域经典Ｗ３乐观步测试模型同修改方ＰＨＯＬＤ协议更交互：系统回滚列体构成映射到相上负责处均减少关随机做若干加％稳通优信计载；当某该降他被逻辑戳９选区任意刻犿犪狓新敏感子集适划概率犘犵狌产生际总数差此初始非常依赖参运８导致软平台国防科学技术大院势研制开发及支撑ＹＳＵＥ好说硬配置节群动态主频存操ＣＧＢ
机学报年得开销不大因此整体差别；而在实际应用将极地影响性能．结论划分决定并离散重图时间弯曲同步协议下仿真运行２ 素如何度量和根据模型交互式优化通信目前动态研究热点文归为一带权无向限容问题提出了多项复杂基犽顶换启发局部搜索近似法旨平衡最理证该解与全值小（／）１－｜犖呼吸桶超过果３ε狀ｌｏｇ表均减少效８％高规工作我们合ｍｕｔｉｗａｙｃ现进扩展引入特节处以殊布率低升４参考献［］ＦｊＲＭｒｅｎｄｓｂＳ：ＮＹｋＪｈＷ＆Ｉ０ＣｚＫＢｐｆＵＡｘＥｖ事件回滚次数５’９ＶＧＴＱ６Ｚ７没有对的加速比明显，这主要是由于本测试程序中每个计算负载较轻使ＰＨＯＬＤ
期等乐观策略下离散事件动态负载划优化算法［］，１０ＲｅｉｈｒＰＬＪｆｓｏｎＤ．Ｖｔｕａｌｍｂｄｙｃ／ｇｗｐｑ９ＳＣＭ：ＡＵ３ＧｚＷＴＯＩＥ（）４８２７ＦｊｘＮＫｖｋＢ６５ＹＨ’ＺＸ姚益平张颖星基于并行处理的分析仿真解决方案系统学报犣犎犃犖犌犢犻狀犵犡犗犘犅犪犮犽狉狅狌犱
