class sequence_checker

A simple class that records the identity of the sequence that it was created

on, and at later points can tell if the current sequence is the same as its

creation sequence. This class is thread-safe.

In addition to providing an explicit check of the current sequence,

|sequence_checker| complies with BasicLockable, checking the current sequence

when |lock| is called. This allows static thread safety analysis to be used

to ensure that resources are accessed in a context that is checked (at debug

runtime) to ensure that it's running on the correct sequence:

class MyClass {

public:

MyClass(async_dispatcher_t* dispatcher) : sequence_checker_(dispatcher) {}

void Foo() {

std::lock_guard

<sequence

::sequence_checker> locker(sequence_checker_);

resource_ = 0;

}

private:

sequence::sequence_checker sequence_checker_;

int resource_ __TA_GUARDED(sequence_checker_);

};

This class is useful for code that works exclusively with asynchronous

runtimes that support sequences.