Download No Slide Title

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
Java Design book.
Dr. Mizuno presents additional material beyond
the scope of CIS644.
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.
….
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 coarsegrained 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.
Lecture in progress ….
END