Ada Tasking Example: Producer-Consumer Problem

Warning: This program contains a subtle error which could lead to deadlock. It is deliberately left in as an exercise in analyzing the subtleties of concurrent code.

This program can be compiled using Ada95 (it has only been tested on Linux systems running the GNAT Ada compiler).

• producer_consumer.adb: Main driver -- contains the specifications for the three tasks.
• producer_consumer-producer.adb: Body of the producer task.
• producer_consumer-consumer.adb: Body of the consumer task.
• producer_consumer-buffer.adb: Body of the buffer task.
• producer.dat: Input file.