Computer Science 5204 Operating Systems Fall, 2012 Dr. Dennis Kafura Course Overview 1.

Slides:



Advertisements
Similar presentations
Computer Science 5204 Operating Systems Fall, 2010 Dr. Dennis Kafura Course Overview 1.
Advertisements

Concurrency Issues Motivation, Problems, Directions Dennis Kafura - CS Operating Systems1.
Dr. Kalpakis CMSC 621, Advanced Operating Systems. Fall 2003 URL: Distributed System Architectures.
Distributed System Structures Network Operating Systems –provide an environment where users can access remote resources through remote login or file transfer.
Microkernels How to build a dependable, modular and secure operating system?
A Computation Management Agent for Multi-Institutional Grids
Chapter 13 (Web): Distributed Databases
CMPT 300: Operating Systems I Dr. Mohamed Hefeeda
EEC 688/788 Secure and Dependable Computing Lecture 12 Wenbing Zhao Department of Electrical and Computer Engineering Cleveland State University
Chapter 9 - Control in Computerized Environment ATG 383 – Spring 2002.
Improving Robustness in Distributed Systems Jeremy Russell Software Engineering Honours Project.
IS112 – Chapter 1 Notes Computer Organization and Programming Professor Catherine Dwyer 2003.
CS-550 (M.Soneru): Recovery [SaS] 1 Recovery. CS-550 (M.Soneru): Recovery [SaS] 2 Recovery Computer system recovery: –Restore the system to a normal operational.
Overview Distributed vs. decentralized Why distributed databases
IS112 – Chapter 1 Notes Computer Organization and Programming Professor Catherine Dwyer Fall 2004.
Copyright © B. C. Neuman, - UNIVERSITY OF SOUTHERN CALIFORNIA - INFORMATION SCIENCES INSTITUTE Fall Security Systems Lecture notes Dr.
Figure 1.1 Interaction between applications and the operating system.
1 Recap Database: –collection of data central to some enterprise that is managed by a Database Management System –reflection of the current state of the.
Page 1 Copyright © Alexander Allister Shvartsman CSE 6510 (461) Fall 2010 Selected Notes on Fault-Tolerance (12) Alexander A. Shvartsman Computer.
Sanzaru Capability-Based Interactions for Web Applications Raluca Sauciuc Shaunak Chatterjee University of California, Berkeley Motivation Limitations.
TRANSACTION PROCESSING SYSTEM Liew Woei Song Muhammad Hofiz Achoson.
Introduction. Readings r Van Steen and Tanenbaum: 5.1 r Coulouris: 10.3.
Distributed Systems (15-440) Mohammad Hammoud December 4 th, 2013.
Computer Organization Review and OS Introduction CS550 Operating Systems.
CHAPTER 2 OPERATING SYSTEM OVERVIEW 1. Operating System Operating System Definition A program that controls the execution of application programs and.
Multi-user Database Processing Architectures Architectures Transactions Transactions Security Security Administration Administration.
B.Ramamurthy9/19/20151 Operating Systems u Bina Ramamurthy CS421.
Fall, Privacy&Security - Virginia Tech – Computer Science Click to edit Master title style Course Overview Dennis Kafura.
DISTRIBUTED COMPUTING
1 Welcome: To the second learning sequence “ Data Base (DB) and Data Base Management System (DBMS) “ Recap : In the previous learning sequence, we discussed.
Unit – I CLIENT / SERVER ARCHITECTURE. Unit Structure  Evolution of Client/Server Architecture  Client/Server Model  Characteristics of Client/Server.
Introduction to Database Management Systems. Information Instructor: Csilla Farkas Office: Swearingen 3A43 Office Hours: Monday, Wednesday 4:15 pm – 5:30.
Copyright © Clifford Neuman and Dongho Kim - UNIVERSITY OF SOUTHERN CALIFORNIA - INFORMATION SCIENCES INSTITUTE Advanced Operating Systems Lecture.
Computer Science 5204 Operating Systems Fall, 2011 Dr. Dennis Kafura Course Overview 1.
INFS614, Dr. Brodsky, GMU1 Database Management Systems INFS 614 Instructor: Professor Alex Brodsky
Introduction. Readings r Coulouris, Dollimore and Kindberg Distributed Systems: Concepts and Design Edn. 3 m Note: All figures from this book.
Advanced Principles of Operating Systems (CE-403).
Computers Operating System Essentials. Operating Systems PROGRAM HARDWARE OPERATING SYSTEM.
©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 20 Slide 1 Critical systems development 3.
SUPPLEMENTAL B An Overview of The General Ledger Architecture.
Concurrency Control. Objectives Management of Databases Concurrency Control Database Recovery Database Security Database Administration.
Distributed System Concepts and Architectures 2.3 Services Fall 2011 Student: Fan Bai
CS333 Intro to Operating Systems Jonathan Walpole.
Summary and Review. Course Objectives The main objectives of the course are to –introduce different concepts in operating system theory and implementation;
An Overview of The General Ledger Architecture.  Files are used to store data and processing instruction. The two types of files computer users use most.
MBA 664 Database Management Dave Salisbury ( )
CS525: Big Data Analytics MapReduce Computing Paradigm & Apache Hadoop Open Source Fall 2013 Elke A. Rundensteiner 1.
Feb. 9, 2004CS WPI1 CS 509 Design of Software Systems Lecture #4 Monday, Feb. 9, 2004.
Creating & Building the Web Site Week 8. Objectives Planning web site development Initiation of the project Analysis for web site development Designing.
CS533 Concepts of Operating Systems Jonathan Walpole.
GRID ANATOMY Advanced Computing Concepts – Dr. Emmanuel Pilli.
CS223: Software Engineering
A Survey of Fault Tolerance in Distributed Systems By Szeying Tan Fall 2002 CS 633.
1 CS-550: Materials for the Final Exam - Tue., Dec. 11, 2001, 8 a.m. Distributed Systems 8.Client-server computing Architecture, Relational database applications.
Fedora Commons Overview and Background Sandy Payette, Executive Director UK Fedora Training London January 22-23, 2009.
Operating System Reliability Andy Wang COP 5611 Advanced Operating Systems.
CS/CE/TE 6378 Advanced Operating Systems
Managing Multi-User Databases
Computer Science 5204 Operating Systems Fall, 2010
Operating System Reliability
Operating System Reliability
Managing the IT Function
Operating Systems and Systems Programming
Computer Science 5204 Operating Systems Fall, 2010
Operating System Reliability
Operating System Reliability
Chapter 2 Operating System Overview
Operating System Overview
Distributed Systems (15-440)
Concurrency Control.
Presentation transcript:

Computer Science 5204 Operating Systems Fall, 2012 Dr. Dennis Kafura Course Overview 1

CS 5204 – Operating Systems2 Organization Material intensive  35 +/- papers  25 audio/video files  No required text Balance  Theory vs. technology  Contemporary vs. classic  Survey vs. depth  Centralized vs. distributed Syllabus on web site

Course Overview CS 5204 – Operating Systems3 Course Web site

Course Overview Piazza An online question-answer/discussion system Register  Go to  Search for “CS 5204”  Create an account using your VT address Dennis Kafura – CS5204 – Operating Systems4 Help:

Course Overview Meeting Schedule Tuesday, September 4 (next week)  We will NOT meet  This will be a “virtual class” – see web site for complete materials (papers, lectures, problem set, …) Tuesday, September 11  We will have the scheduled VTEL meeting  We can decide to meet via VTEL Option 1: every week Option 2: every other week (alternating “real” and “virtual” classes) Dennis Kafura – CS5204 – Operating Systems5

Course Overview Intangibles Confidence that you can read and master material in the published OS literature Practice in your ability to present complex technical material to a knowledgeable audience Some appreciation for the history and evolution of ideas and technology Dennis Kafura – CS5204 – Operating Systems6

Course Overview CS 5204 – Operating Systems7 Major Topics and Themes Topic Theme AtomicityOrderConsistencyTheoryProtocols Google /Cloud 1. Concurrency xxxx 2. Security xx 3. Storage xxxx 4. Fault tolerance xxxxx

Course Overview CS 5204 – Operating Systems8 1. Concurrency What are the problems and issues in developing systems with concurrent activities? What are emerging models for concurrent programming? How can the problems with multi-threaded programming be alleviated? How can transaction-style semantics be supported locally in hardware or software? How can concurrency and communication be represented formally?

Course Overview CS 5204 – Operating Systems9 Process vs. Thread Models... user kernel... user kernel process-centered thread-centered

Course Overview Models of Concurrent Computation CS 5204 – Operating Systems10 MapReduce

Course Overview CS 5204 – Operating Systems11 Thread-per-process models Sequential process Communication channel Communicating Sequential Processes Sammati Grace

Course Overview CS 5204 – Operating Systems12 Supporting Transaction Semantics repeat { BeginTransaction(); /* initialize transaction */ success = Validate(); /* test if inputs consistent */ if (success) { success = Commit(); /* attempt permanent update */ if (!success) Abort();/* terminate if unable to commit */ } EndTransaction(); /* close transaction */ } until (success); TM Object Transaction New Object Old Object Locator Transaction object data

Course Overview CS 5204 – Operating Systems13 π-Calculus An algebra that captures the notions of communication, interaction, and synchronization among concurrently executing entities. Control Trans Idtrans talk 1 lose 1 switch 1 lose 2 gain 2 gain 1 Control IdTrans Trans talk 2 lose 1 switch 2 lose 2 gain 2 gain 1

Course Overview CS 5204 – Operating Systems14 2. Security How can rights for access control be structured for effective use and management? How can a digital document be “signed” so as to identify authorship? How can communicating parties be confident of each other’s identities? How can a group of individuals share a secret? How can identities serve as cryptographic keys? How can access policies be expressed and reasoned about?

Course Overview CS 5204 – Operating Systems15 Security Overview Models of Protection Cryptographic Security Adelman, Rivest, Shamir

Course Overview Security Overview Dennis Kafura – CS5204 – Operating Systems16 Information Flow Modeling classes of information Determining flows among the classes of information Enforcing constraints on the flow of information among system components

Course Overview CS 5204 – Operating Systems17 Security in distributed systems Describe explicit trust relationships Express security token issuance policies Provide security tokens that contain identities, capabilities, and/or delegation policies Express resource authorization and delegation policies

Course Overview CS 5204 – Operating Systems18 3. Storage How can scalable, large-scale storage systems be constructed? How can large-scale storage systems deal with issues of reliability and performance? How can peer-to-peer systems be structured to provide a usable storage system? How can “database”-like (more structured) storage be provided for tera-bytes of data?

Course Overview CS 5204 – Operating Systems19 Storage Storage system (Dynamo) in Amazon’s service- oriented architecture Peer-to-peer file system

Course Overview CS 5204 – Operating Systems20 Storage Google File System Structured storage

Course Overview CS 5204 – Operating Systems21 4. Fault Tolerance How can events be ordered in a distributed system lacking a shared clock? How can this ordering give rise to a form of virtual time? What are basic approaches to recovery from failure? What is the taxonomy of strategies of “backward” recovery? How can the state of system be captured so that it can be recovered in the event of failure? How can distributed elements agree on commit to accepting a change in the system state?

Course Overview CS 5204 – Operating Systems22 Event Ordering How can the events on P be related to the events on Q? Which events of P “happened before” which events of Q? When does it matter how we answer these questions? Q P P1P1 Q1Q1 P3P3 P2P2 Q3Q3 Q2Q2

Course Overview CS 5204 – Operating Systems23 Recovery erroneous state error valid state failure causes fault leads to recovery An error is a manifestation of a fault that can lead to a failure. Failure Recovery: backward recovery operation­based (do­undo­redo logs) state­based (checkpoints) forward recovery