This library provides implementations of smart
pointers for automatically collected objects
(using reference counting), object persistence, unbounded and bounded arrays of smart pointers, generic unbounded arrays of private objects and plain pointers, generic
sets, maps, stacks, and storage pools. It also
includes table management, string editing, and
infix expression parsing tools. Implementations of some lock-free shared data structures are provided.
License: GNAT Modified GPL (GMGPL)
Changes:
This version adds various locking synchronization primitives. Added were plain events; race condition-free pulse events; arrays of events that can be signaled, reset, and awaited in any combination; reentrant mutexes; and arrays of mutexes, deadlock-free with an enforced order of locking. The documentation includes solutions for the problems of checkpoint tasks synchronization and dining philosophers. It also contains a chapter considering advanced concurrent Ada programming using protected objects, focused on race condition prevention.
