Performance Evaluation of Complex Systems: Techniques and Tools

Modelingandveri?cationformalisms,solutionmethods, workloadcharacterization,andbenchmarkingareaddressedfromametho- logicalpointofview. Applicationsofperformanceandreliabilitytechniquesto variousdomains,suchas,hardwareandsoftwarearchitectures,wiredand- relessnetworks,Gridenvironments,Webservices,real-timevoiceandvideo applications,arealsoexamined. Thisbookisintendedtoserveasareferenceforstudents,scientists,and- gineersworkingintheareasofperformanceandreliabilityevaluation,hardware andsoftwaredesign,andcapacityplanning. VI Preface Finally,aseditorsofthebook,wewouldliketothankallauthorsfortheir valuablecontributionsandtheire?ortandcooperationinthepreparationof theirmanuscripts. July2002 MariaCarlaCalzarossa SalvatoreTucci TableofContents G-Networks:MultipleClassesofPositiveCustomers,Signals,and ProductFormResults . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 ErolGelenbe SpectralExpansionSolutionsforMarkov-ModulatedQueues . . . . . . . . . . . . 17 IsiMitrani M/G/1-TypeMarkovProcesses:ATutorial . . . . . . . . . . . . . . . . . . . . . . . . . . . 36 AlmaRiska,EvgeniaSmirni AnAlgorithmicApproachtoStochasticBounds . . . . . . . . . . . . . . . . . . . . . . . 64 J. M. Fourneau,N. Pekergin DynamicSchedulingviaPolymatroidOptimization. . . . . . . . . . . . . . . . . . . . . 89 DavidD. Yao WorkloadModelingforPerformanceEvaluation. . . . . . . . . . . . . . . . . . . . . . . . 114 DrorG. Feitelson CapacityPlanningforWebServices(TechniquesandMethodology) . . . . . . 142 VirgilioA. F. Almeida End-to-EndPerformanceofWebServices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158 PaoloCremonesi,GiuseppeSerazzi Benchmarking. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179 ReinholdWeicker BenchmarkingModelsandToolsforDistributedWeb-ServerSystems. . . . . 208 MauroAndreolini,ValeriaCardellini,MicheleColajanni StochasticProcessAlgebra:FromanAlgebraicFormalismto