A platform-independent object-oriented C++ threading library