1 / 23

Computer Science 5204 Operating Systems Fall, 2012

Computer Science 5204 Operating Systems Fall, 2012. Dr. Dennis Kafura Course Overview. 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.

lorna
Download Presentation

Computer Science 5204 Operating Systems Fall, 2012

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


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

  2. 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 CS 5204 – Operating Systems

  3. Course Web site http://courses.cs.vt.edu/cs5204/fall12--kafura CS 5204 – Operating Systems

  4. Piazza Help: www.piazza.com/help • An online question-answer/discussion system • Register • Go to www.piazza.com/signup/vt/ • Search for “CS 5204” • Create an account using your VT email address Dennis Kafura – CS5204 – Operating Systems

  5. 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 Systems

  6. 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 Systems

  7. Major Topics and Themes CS 5204 – Operating Systems

  8. 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? CS 5204 – Operating Systems

  9. . . . . . . user user kernel kernel process-centered thread-centered Process vs. Thread Models CS 5204 – Operating Systems

  10. Models of Concurrent Computation MapReduce CS 5204 – Operating Systems

  11. Communicating Sequential Processes Sequential process Communication channel Thread-per-process models Sammati Grace CS 5204 – Operating Systems

  12. TM Object Locator Transaction Transaction New Object Old Object object data object data Supporting Transaction Semantics repeat { BeginTransaction(); /* initialize transaction */ <read input values> success = Validate(); /* test if inputs consistent */ if (success) { <generate updates> success = Commit(); /* attempt permanent update */ if (!success) Abort(); /* terminate if unable to commit */ } EndTransaction(); /* close transaction */ } until (success); CS 5204 – Operating Systems

  13. Trans Trans Idtrans IdTrans Control Control π-Calculus An algebra that captures the notions of communication, interaction, and synchronization among concurrently executing entities. talk1 switch2 talk2 switch1 lose2 lose2 lose1 lose1 gain1 gain1 gain2 gain2 CS 5204 – Operating Systems

  14. 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? CS 5204 – Operating Systems

  15. Security Overview Models of Protection Cryptographic Security Adelman, Rivest, Shamir CS 5204 – Operating Systems

  16. Security Overview Information Flow • Modeling classes of information • Determining flows among the classes of information • Enforcing constraints on the flow of information among system components Dennis Kafura – CS5204 – Operating Systems

  17. 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 CS 5204 – Operating Systems

  18. 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? CS 5204 – Operating Systems

  19. Storage Storage system (Dynamo) in Amazon’s service-oriented architecture Peer-to-peer file system CS 5204 – Operating Systems

  20. Storage Google File System Structured storage CS 5204 – Operating Systems

  21. 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? CS 5204 – Operating Systems

  22. Q P P1 P2 P3 Q1 Q2 Q3 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? CS 5204 – Operating Systems

  23. fault causes recovery erroneous state error leads to failure valid state 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 CS 5204 – Operating Systems

More Related