1 / 7

CIS 644 Tues. Sept. 14, 1999 W4A Department Seminar: A Structured Approach

CIS 644 Tues. Sept. 14, 1999 W4A Department Seminar: A Structured Approach for Developing Concurrent Programs in Java Masaaki Mizuno. Note: This seminar related to topics of design using threads which will be covered in Chapters 4 and 5 of the

krista
Download Presentation

CIS 644 Tues. Sept. 14, 1999 W4A Department Seminar: A Structured Approach

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. CIS 644 Tues. Sept. 14, 1999 W4A Department Seminar: A Structured Approach for Developing Concurrent Programs in Java Masaaki Mizuno

  2. Note: This seminar related to topics of design using threads which will be covered in Chapters 4 and 5 of the Java Design book. Dr. Mizuno presents additional material beyond the scope of CIS644.

  3. ABSTRACT In recent years, concurrent programming has become the norm rather than the exception in many applications. In particular, popularity of the Java programming language has accelerated this trend. Most textbooks on Operating Systems teach concurrent programming by demonstrating solutions for some well-known problems, such as the producer/consumer, readers/writers, and dining philosophers problems. ….

  4. A more systematic and formal method to develop concurrent programs is discussed in CIS720 based on the textbooks by G.R. Andrews, and A.J. Bernstein and P.M. Lewis. In this method, we first specify a global invariant and develop a coarse-grained solution in which the global invariant holds at every critical assertion. We then translate the coarse-grained solution to a fine-grained Semaphore or Monitor program.

  5. Lecture in progress ….

  6. END

More Related