1 / 6

Concurrent Object-Oriented Programming Prof. Dr. Bertrand Meyer

Concurrent Object-Oriented Programming Prof. Dr. Bertrand Meyer. Exercise Session 2: Introduction. Overview. Prisoners: Synchronization Safety vs. Liveness Amdahl’s Law. Prisoners: Synchronization. I will do nothing. toggle the light switch.

almira
Download Presentation

Concurrent Object-Oriented Programming Prof. Dr. Bertrand Meyer

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. Concurrent Object-Oriented ProgrammingProf. Dr. Bertrand Meyer Exercise Session 2: Introduction

  2. Overview • Prisoners: Synchronization • Safety vs. Liveness • Amdahl’s Law

  3. Prisoners: Synchronization • I will • do nothing. • toggle the light switch. • announce that all prisoners have been interrogated.

  4. Prisoners: Synchronization • Each prisoner will be interrogated arbitrarily often. More precisely, for any n, eventually each of the prisoners will be interrogated at least n times. • If the announcement is true then all of the prisoners will be set free. Otherwise all of them will be executed. • What is a winning strategy?

  5. Safety vs. Liveness • safety: Nothing bad happens ever. • liveness: Something good happens eventually. • example • If two or more processes are waiting to enter their critical sections, at least one succeeds. • Is this a safety or a liveness property? • What is the good / bad thing?

  6. Amdahl’s Law sequential fraction parallel fraction number of processors

More Related