Formal Analysis Of Load Balancing In PC Cluster

This work makes a general introduction for that, the formally analysis on the load balancing in computer cluster with the tool of Petri net.On the base of presenting a general load balancing model,verification and performance analysis on several load balancing strategy are done by analysing this model.There are 3 points in this paper, one is the studies of load balancing in computer cluster;the other is making a general introduction for the formally analysis with Petri net;the third is setting up a model of load balancing and making formally anlysis on it.The model is presented in common sence and could be used to study further more.In the first chapter of this paper gives the background of the studies,and introduces the most general methods which are using in the field at present.In the second chapter, theory ,strategy and arithmetic of load balancing in computer cluster is concerned by us,and what and how the load balancing work can be seen through two examples.In the third chapter,basic conception and character of Petri net are intro— duced , also method of analysing is studied. The chapter gives a concise statement of the formally analysis of Petri net and introduces the most general methods, which are using in the field at present.In the fourth chapter,a load balancing model is setup,and verification and performance analysis on basic load balancing strategy are done by using the method introduced in above chapter. Finally, the promises and problems of the approach are illustrated. By performance analysis,non — Markov process and asistant analysic software need an advanced research. And a more efficient load balancing arithmetic could be developed by using method mentioned in the paper.