计算机集群中负载均衡机制的形式化分析-计算机软件与理论专业论文.docxVIP

AbstractThis Abstract This work makes a general introduction for that，the f0衄a11y analysis on the load ba_Iancing in computer cluSter with the tool of Petri net．On也e base of p∞senting a genemlload bal卸cillg model，verification aIld perf．omance aIlalysis on seVemlload balallcing s仃锄egy are done by an撕ysing thjs model．There are 3 poims in tllis pape r， one is t11e studies of load balallcing in computer cluster；廿le other is ma虹ng a general im’oduction for t11e fbmlally a11alysis、vitll Pe嘶net；the th矾is setting up a model of load baIancing a11d makjng fonnally a11lysis on it．The modelis presented in