Mastering the Operating System

For more info about our services contact : help@bestpfe.com

Table of contents

1 State of The Art 
1.1 Distributed Systems
1.1.1 Distributed Systems Taxonomy
1.1.2 Distributed Algorithms
1.1.3 Model of a Distributed System
1.2 Simulation
1.2.1 Simulation in Science and Engineering
1.2.2 Parallel Discrete Event Simulation
1.2.3 Simulation of Distributed Systems
1.2.4 State of the Art of Distributed System Simulators
1.2.5 Elements of Simulation
1.3 Model Checking
1.3.1 Introduction
1.3.2 e State Explosion Problem
1.3.3 Soware Model Checking
1.3.4 State of the Art of Soware Model Checkers
1.3.5 Model Checking Distributed Programs
1.3.6 Model Checking and Simulation
1.4 e SimGrid Simulation Framework
1.4.1 Workflow Overview
1.4.2 SimGrid Architecture
1.4.3 Simulation Algorithm
1.5 Detailed Objectives of is esis
2 Bridging Efficient Simulation & Verification Techniques 
2.1 Importance of the Shared State
2.2 The Shared State in SimGrid
2.2.1 Dispersed Shared State
2.2.2 Lack of Control Over the Executed Run
2.3 Other Considerations of SimGrid’s Architecture
2.3.1 API-specific Code
2.3.2 Assumptions on the Scheduling Order
2.4 SIMIX v2.0
2.4.1 Strictly Layered Design
2.4.2 Kernel-mode Emulation
2.5 Mastering the Operating System
2.6 Performance Comparison With Previous Version
2.7 Summary
3 SimGridMC: A Dynamic Verification Tool for Distributed Systems 
3.1 Overview
3.2 e Model
3.3 e Properties
3.4 Explicit-state
3.5 e Exploration
3.6 Stateless Model Checking and Backtracking
3.7 Coping With e State Explosion Problem
3.8 Dynamic Partial Order Reduction
3.9 Formalization of the Network Model in SimGrid
3.10 Overall Network Model
3.11 Formal Semantics of Communication Primitives
3.12 Independence eorems
3.13 Implementing Higher-Level Communications APIs
3.14 Comparison to ISP and DAMPI
3.15 Experimental Results
3.15.1 SMPI Experiments
3.15.2 MSG Experiment: CHORD
3.16 Summary
4 Parallelizing the Simulation Loop 
4.1 Parallel Execution of User Code
4.2 Architecture of the Parallel Execution
4.3 Analysis of the Cost of Simulations
4.4 An Efficient Pool of Worker reads
4.4.1 e Control of the Worker reads
4.4.2 Task Assignment
4.5 Experimental Seings
4.6 Cost of read Synchronization
4.7 Evaluation of the Parallelization Speed-Up
4.8 Comparison to OverSim
4.9 Summary
5 Conclusions and Future Work 
5.1 Conclusions
5.2 Future Work
Bibliographie