Welcome to the ConcurrentProgrammingExamplesInJava wiki!

The purpose of this package is to rewrite the examples in Gregory Andrews book "Foundations of Multithreaded, Parallel, and Distributed Programming", Addison-Wesley, in standard Java meeting the following objectives:

• the semantics of the mechanisms addressed in Andrews book should be retained, for example, acquiring a semaphore should be non-interruptible
• the use of the Runnable interface should be promoted to train students in future use of, for example, java.lang.concurrent
• provide a simple structure for concurrent programs running in the same memory space in Java
• the solutions based on the mechanisms should be feasible to verify by using, for example, Uppaal
• exception handling is only used to reveal faults in the program, not for recovery or detecting errors. This is handled in a later course.