Kostin, Alexander.
Modeling and simulation of distributed systems [electronic resource] / Alexander Kostin, Ljudmila Ilushechkina. - Singapore ; Hackensack, N.J. : World Scientific Pub. Co., c2010. - 1 online resource (xviii, 419 p.) : ill.
Includes bibliographical references (p. 397-410) and index.
1. Basic concepts and features of distributed systems. 1.1. Computer processes and threads. 1.2. Definition of a distributed system. 1.3. Scalability of distributed systems. 1.4. Synchronous and asynchronous distributed systems. 1.5. Failures in distributed systems -- 2. Communication patterns and paradigms in distributed systems. 2.1. Mechanisms of Interprocess Communication (IPC). 2.2. Basic modes and paradigms of IPC. 2.3. Models and schemes of multicast communication in distributed systems. 2.4. Representation of distributed algorithms and protocols. 2.5. Measuring time and setting time-outs in program implementations of distributed systems -- 3. Petri nets for the description, modeling, and investigation of distributed systems. 3.1. Theoretical frameworks for the description, modeling, and investigation of distributed systems. 3.2. Formal definition and dynamics of petri nets. 3.3. Analysis of properties of petri nets. 3.4. Petri-net models of components of distributed systems. 3.5. Extended petri nets for simulation -- 4. A class of extended petri nets for system simulation. 4.1. General description of a class of extended petri nets. 4.2. Elementary nets of type T. 4.3. Elementary nets of type Y. 4.4. Elementary nets of type X. 4.5. Elementary nets of type G. 4.6. Elementary nets of type I. 4.7. Functional completeness of types of elementary nets. 4.8. Structural transformation of elementary nets to general petri nets -- 5. Languages to describe and control models. 5.1. General characteristics of the Model Description Language (MDL). 5.2. Statements for the description of elementary nets. 5.3. Referencing transitions, places, tokens, and Standard Numerical Attributes (SNA). 5.4. Using a pascal section in segments. 5.5. Organizing a multi-segment model. 5.6. The imbedded functions. 5.7. The modeling control language -- 6. Models of simple information systems and their components. 6.1. Generators and absorbers. 6.2. Models of accessing and using of resources. 6.3. Models of scheduling disciplines for servicing of requests. 6.4. Models of queuing systems. 6.5. Modeling of interrupted activities. 6.6. Modeling a multiprocessor system with a common bus. 6.7. A Multi-terminal computing system -- 7. Models of communication protocols and local area networks. 7.1. Alternating Bit Protocol (ABP). 7.2. Analytical and simulation modeling of ethernet LAN. 7.3. Transmission model of a token ring LAN. 7.4. Generic model of mobile ad hoc networks. 7.5. Modeling a load-balancing protocol for distributed multiserver queuing systems -- 8. Protocol for distributed mutual exclusion. 8.1. Introduction to distributed mutual exclusion. 8.2. The system model. 8.3. Description of the protocol. 8.4. Time-outs and delays used by the protocol. 8.5. Simulation model of the protocol. 8.6. Modifications and extensions of the protocol. 8.7. Comparison of the protocol with some known algorithms of distributed mutual exclusion -- 9. Multicast-based Anycast protocol. 9.1. Approaches to implementation of Anycast communication in distributed systems. 9.2. System architecture. 9.3. The distributed inter-server protocol to provide Anycasting. 9.4. Handling of server crashes. 9.5. Simulation performance study of the protocol -- 10. A protocol of distributed leader election. 10.1. Leader election in distributed systems. 10.2. Assumed system model of distributed leader election. 10.3. Description of the distributed leader election protocol. 10.4. Choice of time-outs and estimation of message complexity of the protocol. 10.5. Simulation model of the protocol and its performance study -- 11. Modeling and simulation of a logistic system. 11.1. Concepts and notions of logistic systems. 11.2. A logistic system as a distributed system of material and information processes. 11.3. A generic model of the logistic system of a manufacturing firm. 11.4. The structure and basic building blocks of the model. 11.5. Simulation setup and experiments with the model of the logistic system.
"Distributed systems are a continuously expanding area of computer science and computer engineering. This book addresses the need for literature on modeling and simulation techniques for distributed systems. For simulation modeling of distributed systems in the book, a specific class of extended Petri nets is used that allows to easily represent the fundamental processes of any distributed system. The book is intended, first of all, as a text for related graduate-level university courses on distributed systems in computer science and computer engineering. Other computer science and computer engineering courses would also find the book useful as a source of practical information for a broad community of those graduate students who are busy with simulation in their study and research. The book can be useful also to academics who give related graduate courses or deliver research-oriented modules for graduate students. Further, the book can be helpful to system architects and developers who apply modeling and simulation techniques as a step in the design and implementation of their systems. Containing a large number of models, with commented source texts and simulation results on the attached CD-ROM, it can also serve as valuable reference book for researchers who want to develop their own models in terms of Petri nets."--Publisher's website.
Mode of access: World Wide Web.
System requirements: Adobe Acrobat Reader.
9789814291682
Electronic data processing--Distributed processing--Computer simulation.
Petri nets.
Electronic books.
QA76.9.D5 / K68 2010
004.36
Modeling and simulation of distributed systems [electronic resource] / Alexander Kostin, Ljudmila Ilushechkina. - Singapore ; Hackensack, N.J. : World Scientific Pub. Co., c2010. - 1 online resource (xviii, 419 p.) : ill.
Includes bibliographical references (p. 397-410) and index.
1. Basic concepts and features of distributed systems. 1.1. Computer processes and threads. 1.2. Definition of a distributed system. 1.3. Scalability of distributed systems. 1.4. Synchronous and asynchronous distributed systems. 1.5. Failures in distributed systems -- 2. Communication patterns and paradigms in distributed systems. 2.1. Mechanisms of Interprocess Communication (IPC). 2.2. Basic modes and paradigms of IPC. 2.3. Models and schemes of multicast communication in distributed systems. 2.4. Representation of distributed algorithms and protocols. 2.5. Measuring time and setting time-outs in program implementations of distributed systems -- 3. Petri nets for the description, modeling, and investigation of distributed systems. 3.1. Theoretical frameworks for the description, modeling, and investigation of distributed systems. 3.2. Formal definition and dynamics of petri nets. 3.3. Analysis of properties of petri nets. 3.4. Petri-net models of components of distributed systems. 3.5. Extended petri nets for simulation -- 4. A class of extended petri nets for system simulation. 4.1. General description of a class of extended petri nets. 4.2. Elementary nets of type T. 4.3. Elementary nets of type Y. 4.4. Elementary nets of type X. 4.5. Elementary nets of type G. 4.6. Elementary nets of type I. 4.7. Functional completeness of types of elementary nets. 4.8. Structural transformation of elementary nets to general petri nets -- 5. Languages to describe and control models. 5.1. General characteristics of the Model Description Language (MDL). 5.2. Statements for the description of elementary nets. 5.3. Referencing transitions, places, tokens, and Standard Numerical Attributes (SNA). 5.4. Using a pascal section in segments. 5.5. Organizing a multi-segment model. 5.6. The imbedded functions. 5.7. The modeling control language -- 6. Models of simple information systems and their components. 6.1. Generators and absorbers. 6.2. Models of accessing and using of resources. 6.3. Models of scheduling disciplines for servicing of requests. 6.4. Models of queuing systems. 6.5. Modeling of interrupted activities. 6.6. Modeling a multiprocessor system with a common bus. 6.7. A Multi-terminal computing system -- 7. Models of communication protocols and local area networks. 7.1. Alternating Bit Protocol (ABP). 7.2. Analytical and simulation modeling of ethernet LAN. 7.3. Transmission model of a token ring LAN. 7.4. Generic model of mobile ad hoc networks. 7.5. Modeling a load-balancing protocol for distributed multiserver queuing systems -- 8. Protocol for distributed mutual exclusion. 8.1. Introduction to distributed mutual exclusion. 8.2. The system model. 8.3. Description of the protocol. 8.4. Time-outs and delays used by the protocol. 8.5. Simulation model of the protocol. 8.6. Modifications and extensions of the protocol. 8.7. Comparison of the protocol with some known algorithms of distributed mutual exclusion -- 9. Multicast-based Anycast protocol. 9.1. Approaches to implementation of Anycast communication in distributed systems. 9.2. System architecture. 9.3. The distributed inter-server protocol to provide Anycasting. 9.4. Handling of server crashes. 9.5. Simulation performance study of the protocol -- 10. A protocol of distributed leader election. 10.1. Leader election in distributed systems. 10.2. Assumed system model of distributed leader election. 10.3. Description of the distributed leader election protocol. 10.4. Choice of time-outs and estimation of message complexity of the protocol. 10.5. Simulation model of the protocol and its performance study -- 11. Modeling and simulation of a logistic system. 11.1. Concepts and notions of logistic systems. 11.2. A logistic system as a distributed system of material and information processes. 11.3. A generic model of the logistic system of a manufacturing firm. 11.4. The structure and basic building blocks of the model. 11.5. Simulation setup and experiments with the model of the logistic system.
"Distributed systems are a continuously expanding area of computer science and computer engineering. This book addresses the need for literature on modeling and simulation techniques for distributed systems. For simulation modeling of distributed systems in the book, a specific class of extended Petri nets is used that allows to easily represent the fundamental processes of any distributed system. The book is intended, first of all, as a text for related graduate-level university courses on distributed systems in computer science and computer engineering. Other computer science and computer engineering courses would also find the book useful as a source of practical information for a broad community of those graduate students who are busy with simulation in their study and research. The book can be useful also to academics who give related graduate courses or deliver research-oriented modules for graduate students. Further, the book can be helpful to system architects and developers who apply modeling and simulation techniques as a step in the design and implementation of their systems. Containing a large number of models, with commented source texts and simulation results on the attached CD-ROM, it can also serve as valuable reference book for researchers who want to develop their own models in terms of Petri nets."--Publisher's website.
Mode of access: World Wide Web.
System requirements: Adobe Acrobat Reader.
9789814291682
Electronic data processing--Distributed processing--Computer simulation.
Petri nets.
Electronic books.
QA76.9.D5 / K68 2010
004.36