First Rule of Acquisition
Idea: make use of built-in mechs
Acquire resources in constructors
(one resource per object)
Release resources in destructors
Lock (CriticalSection & critSect)
Every resource is owned by an object. Notice the
of the proof of correctness: itís enough to check the constructors and the destructors (which usually are defined next to each other).