Hi Owen,
> // Timestamp a node (used for work list prioritization)
> void Stamp() {
> - Timestamp = Counter++;
> + Timestamp = Counter;
> + sys::AtomicIncrement(&Counter);
does it matter if different threads have the same value for Timestamp?
Ciao,
Duncan.