线程包装器实现问题

时间:2012-07-16 15:45:27

标签: c++ multithreading

我正在围绕win32线程和pthreads做一个包装类,其类似于c ++ 11线程api。 我的问题是关于在实际线程退出时更新线程对象实例。以下是我的解决方案,但我不确定它是否安全。

/* Thread wrapper class */
    class Thread
    {
    public:
        enum ThreadState
        {
            DETACHED = 0,
            RUNNING
        };

        Thread();
        Thread(void* (*start) (void*), void* arg);
        ~Thread();

        Thread& operator=(Thread& other);
        void Join();
        int32_t SetPriority(int32_t priority);
        void Detach();
        ThreadHandle GetNativeHandle();
        ThreadState GetThreadState();

    private:
        ThreadHandle mHandle;
        ThreadState mState;
        void* (*mFunctionPointer) (void*);
        void* mArg;

        static void* Run(void* arg);
        ThreadHandle _CreateThread(void* (*start) (void*), void* arg);
        void _JoinThread(ThreadHandle& handle);

    };

第二个构造函数启动一个线程。这是实施:

    Thread::Thread(void* (*start) (void*), void* arg)
    {
        mFunctionPointer = start;
        mArg = arg;
        mState = Thread::RUNNING;

        mHandle = _CreateThread(&Run, (void*)this);
        if (!mHandle)
            mState = Thread::DETACHED;
    }

它创建一个运行Run方法的线程,并传递指向此对象实例的指针。原因是一旦线程执行了函数,它就将状态设置为DETACHED以表明它已完成。

这是Run-method

    void* Thread::Run(void* arg)
    {
        Thread* thread = static_cast<Thread*>(arg);

        if (thread && thread->mFunctionPointer && thread->mArg && thread->mState == Thread::RUNNING)
            thread->mFunctionPointer(thread->mArg);

        if (thread && thread->mFunctionPointer && thread->mArg && thread->mState == Thread::RUNNING)
            thread->Detach();

        return NULL;
    }

这也是Detach(),它也在线程析构函数上调用:

    void Thread::Detach()
    {
        mState = Thread::DETACHED;
        mHandle = NULL;
        mArg = NULL;
        mFunctionPointer = NULL;
    }

我觉得这根本不安全。例如,如果Thread对象是在堆栈上构造的,并且在其线程运行时超出范围。 Thread对象析构函数使其状态和数据成员为NULL,但是内存位置可能被覆盖了吗?

有什么好方法可以解决这个问题吗?

由于

1 个答案:

答案 0 :(得分:1)

如果Thread实例超出范围而没有先连接线程,那么你注定要失败。使Run()成为一个自由或静态函数并复制所有数据,该函数需要运行到动态分配的内存中,让Run()释放该内存。

在Run()中不需要这么多测试。由于你的c'tor参数已经与CreateThread()兼容,只需将函数和参数传递给CreateThread即可。你应该没问题。

亲切的问候

的Torsten