We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byCora Wilmot
Modified about 1 year ago
Concurrency: introduction1 ©Magee/Kramer 2 nd Edition Concurrency State Models and Java Programs Jeff Magee and Jeff Kramer
Concurrency: introduction2 ©Magee/Kramer 2 nd Edition What is a Concurrent Program? A sequential program has a single thread of control. A concurrent program has multiple threads of control allowing it perform multiple computations in parallel and to control multiple external activities which occur at the same time.
Concurrency: introduction3 ©Magee/Kramer 2 nd Edition Concurrent and Distributed Software? Interacting, concurrent software components of a system: single machine -> shared memory interactions multiple machines -> network interactions
Concurrency: introduction4 ©Magee/Kramer 2 nd Edition Why Concurrent Programming? Performance gain from multiprocessing hardware parallelism. Increased application throughput an I/O call need only block one thread. Increased application responsiveness high priority thread for user requests. More appropriate structure for programs which interact with the environment, control multiple activities and handle multiple events.
Concurrency: introduction5 ©Magee/Kramer 2 nd Edition Do I need to know about concurrent programming? Therac - 25 computerised radiation therapy machine Concurrent programming errors contributed to accidents causing deaths and serious injuries. Mars Rover Problems with interaction between concurrent tasks caused periodic software resets reducing availability for exploration. Concurrency is widespread but error prone.
Concurrency: introduction6 ©Magee/Kramer 2 nd Edition a Cruise Control System Is the system safe? Would testing be sufficient to discover all errors? When the car ignition is switched on and the on button is pressed, the current speed is recorded and the system is enabled: it maintains the speed of the car at the recorded setting. Pressing the brake, accelerator or off button disables the system. Pressing resume re-enables the system. buttons
Concurrency: introduction7 ©Magee/Kramer 2 nd Edition models A model is a simplified representation of the real world. Engineers use models to gain confidence in the adequacy and validity of a proposed design. focus on an aspect of interest - concurrency model animation to visualise a behaviour mechanical verification of properties (safety & progress) Models are described using state machines, known as Labelled Transition Systems LTS. These are described textually as finite state processes (FSP) and displayed and analysed by the LTSA analysis tool.
Concurrency: introduction8 ©Magee/Kramer 2 nd Edition modeling the Cruise Control System Later chapters will explain how to construct models such as this so as to perform animation and verification. LTS of the process that monitors speed. LTSA Animator to step through system actions and events.
Concurrency: introduction9 ©Magee/Kramer 2 nd Edition programming practice in Java Java is widely available, generally accepted and portable provides sound set of concurrency features Hence Java is used for all the illustrative examples, the demonstrations and the exercises. Later chapters will explain how to construct Java programs such as the Cruise Control System. “Toy” problems are also used as they exemplify particular aspects of concurrent programming problems!
Concurrency: introduction10 ©Magee/Kramer 2 nd Edition course objective This course is intended to provide a sound understanding of the concepts, models and practice involved in designing concurrent software. The emphasis on principles and concepts provides a thorough understanding of both the problems and the solution techniques. Modeling provides insight into concurrent behavior and aids reasoning about particular designs. Concurrent programming in Java provides the programming practice and experience.
Concurrency: introduction11 ©Magee/Kramer 2 nd Edition Book Concurrency: State Models & Java Programs, 2 nd Edition Jeff Magee & Jeff Kramer WILEY 1 st edition
Concurrency: introduction12 ©Magee/Kramer 2 nd Edition Course Outline 2. Processes and Threads 3. Concurrent Execution 4. Shared Objects & Interference 5. Monitors & Condition Synchronization 6. Deadlock 7. Safety and Liveness Properties 8. Model-based Design 9.Dynamic systems 10. Message Passing 11. Concurrent Software Architectures Concepts Models Practice 12. Timed Systems 13. Program Verification 14. Logical Properties The main basic Advanced topics …
Concurrency: introduction13 ©Magee/Kramer 2 nd Edition Web based course material Java examples and demonstration programs State models for the examples Labelled Transition System Analyser (LTSA) for modeling concurrency, model animation and model property checking. http://www.wileyeurope.com/college/magee
Concurrency: introduction14 ©Magee/Kramer 2 nd Edition Summary Concepts we adopt a model-based approach for the design and construction of concurrent programs Models we use finite state models to represent concurrent behavior. Practice we use Java for constructing concurrent programs. Examples are used to illustrate the concepts, models and demonstration programs.
Concurrency: introduction1 ©Magee/Kramer Concurrency State Models and Java Programs Jeff Magee and Jeff Kramer.
1 CSCI 6900: Design, Implementation, and Verification of Concurrent Software Eileen Kraemer August 16 th, 2010 The University of Georgia.
CSC321 §1 Concurrent Programming 1 CSC 321 Concurrent Programming Course web site
Concurrency: introduction1 ©Magee/Kramer 2 nd Edition COMP60611 Fundamentals of Parallel and Distributed Systems Lecture 5 Introduction to Concurrency:
2015 Concurrency: logical properties 1 ©Magee/Kramer 2 nd Edition Chapter 14 Logical Properties Satisfied? Not satisfied?
2015 Concurrency: model-based design 1 ©Magee/Kramer 2 nd Edition Chapter 8 Model-Based Design.
1 Qualitative Reasoning of Distributed Object Design Nima Kaveh & Wolfgang Emmerich Software Systems Engineering Dept. Computer Science University College.
1: Operating Systems Overview 1 Jerry Breecher OPERATING SYSTEMS OVERVIEW.
CSC321 §1 Concurrent Programming 1 CSC 321 Concurrent Programming Course web site Lecturer: Professor N.S. Scott Room 2025,
WHAT IS AN OPERATING SYSTEM? An interface between users and hardware - an environment "architecture ” Allows convenient usage; hides the tedious stuff.
Operating System Review September 10, 2012Introduction to Computer Security ©2004 Matt Bishop Slide #1-1.
LOGO OPERATING SYSTEM Dalia AL-Dabbagh
Concurrency: model-based design1 ©Magee/Kramer Chapter 8 Model-Based Design.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 12Slide 1 Software Design l Objectives To explain how a software design may be represented.
1: Operating Systems Overview 1 Jerry Breecher Fall, 2004 CLARK UNIVERSITY CS215 OPERATING SYSTEMS OVERVIEW.
Slide 1 Concurrency, Dining Philosophers Lecture 14 COMP 201.
Embedded System, A Brief Introduction Presented by Subash Chandra Nayak 01EC3010, IIT Kharagpur.
1: Operating Systems Overview 1 WHAT IS AN OPERATING SYSTEM? An interface between users and hardware - an environment "architecture” Allows convenient.
Advanced Operating Systems CIS 720 Lecture 1. Instructor Dr. Gurdip Singh – 234 Nichols Hall –
Instructore: Tasneem Darwish1 University of Palestine Faculty of Applied Engineering and Urban Planning Software Engineering Department Concurrent and.
Concurrency ©Magee/Kramer February 05, 2007 Claus Brabrand University of Aarhus Concurrency Spring 2007.
Benjamin Gamble. What is Time? Can mean many different things to a computer Dynamic Equation Variable System State 2.
Choosing a Formal Method Mike Weissert COSC 481. Outline Introduction Reasons For Choosing Formality Application Characteristics Criteria For A Successful.
The Architecture of Secure Systems Jim Alves-Foss Laboratory for Applied Logic Department of Computer Science University of Idaho By, Nagaashwini Katta.
Java Threads 11 Threading and Concurrent Programming in Java Introduction and Definitions D.W. Denbo Introduction and Definitions D.W. Denbo.
Process Description and Control B.Ramamurthy. Introduction The fundamental task of any operating system is process management. OS must allocate resources.
EEL Software development for real-time engineering systems.
Petri Nets Lecturer: Roohollah Abdipour. Agenda Introduction Petri Net Modelling with Petri Net Analysis of Petri net 2.
The Role of Software Engineering Brief overview of relationship of SE to managing DSD risks 1.
B.Ramamurthy9/19/20151 Operating Systems u Bina Ramamurthy CS421.
UML Diagrams: Sequence Diagrams The Requirements Model, and The Dynamic Analysis Model Prof. Hany H. Ammar, CSEE, WVU, and Dept. of Computer Science, Faculty.
Chapter 5 – System Modeling Lecture 1 1Chapter 5 System modeling.
What is Concurrent Programming? Maram Bani Younes.
1.1 Silberschatz, Galvin and Gagne ©2013 Operating System Concepts – 9 th Edition Chapter 1: Introduction What Operating Systems Do √ Computer-System Organization.
Chapter 2 Operating System Overview Patricia Roy Manatee Community College, Venice, FL ©2008, Prentice Hall Operating Systems: Internals and Design Principles,
© 2006 ITT Educational Services Inc. SE350 System Analysis for Software Engineers: Unit 9 Slide 1 Appendix 3 Object-Oriented Analysis and Design.
Interactive lesson about operating system Done By : Fatma Hussain.
- Kanwalpreet Singh - Kanwalpreet Singh Performance Testing.
Agenda Quick Review Finish Introduction Java Threads.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 23 Slide 1 Software testing.
1 IBM Software Group ® Essentials of Visual Modeling with UML 2.0 Module 4: Use-Case Modeling.
Java Software Solutions Lewis and Loftus Chapter 14 1 Copyright 1997 by John Lewis and William Loftus. All rights reserved. Advanced Flow of Control --
© 2005 Prentice Hall12-1 Stumpf and Teague Object-Oriented Systems Analysis and Design with UML.
9/14/2015B.Ramamurthy1 Operating Systems : Overview Bina Ramamurthy CSE421/521.
1 Managing the development and purchase of information systems (Part 1) BUS Abdou Illia, Spring 2007 (Week 14, Thursday 4/12/2007)
©Ian Sommerville 2000 Software Engineering, 6th edition. Slide 1 Software system modeling l System models – Abstract descriptions of systems whose requirements.
Chapter 1: An Introduction to Computer Science Invitation to Computer Science, C++ Version, Third Edition.
1 Operating System A program that controls the execution of application programs An interface between applications and hardware.
3.5 Interprocess Communication Many operating systems provide mechanisms for interprocess communication (IPC) –Processes must communicate with one another.
Winter 2007SEG2101 Chapter 111 Chapter 11 Implementation Design.
© 2017 SlidePlayer.com Inc. All rights reserved.