Я написал программу для Windows на C ++, которая иногда использует два потока: один фоновый поток для выполнения трудоемкой работы; и еще один поток для управления графическим интерфейсом. Таким образом, программа все еще реагирует на пользователя, что необходимо для возможности прервать определенную операцию. Потоки обмениваются данными через общую переменную bool , для которой установлено значение true , когда поток GUI сигнализирует прерыванию рабочего потока. Вот код, который реализует это поведение (я мы удалили нерелевантные части):

КОД, ВЫПОЛНЕННЫЙ ПОТОКОМ GUI

class ProgressBarDialog : protected Dialog {

    /**
     * This points to the variable which the worker thread reads to check if it
     * should abort or not.
     */
    bool volatile* threadParameterAbort_;

    ...

    BOOL CALLBACK ProgressBarDialog::DialogProc( HWND dialog, UINT message, 
        WPARAM wParam, LPARAM lParam ) {

        switch( message ) {
            case WM_COMMAND :
                switch ( LOWORD( wParam ) ) {

                    ...

                    case IDCANCEL :
                    case IDC_BUTTON_CANCEL :
                        switch ( progressMode_ ) {
                            if ( confirmAbort() ) {
                                // This causes the worker thread to be aborted
                                *threadParameterAbort_ = true;
                            }
                            break;
                        }

                        return TRUE;
                }
        }

        return FALSE;
    }

    ...

};

КОД, ВЫПОЛНЯЕМЫЙ РЕЗЬБОЙ ПРОЦЕССА

class CsvFileHandler {

    /**
     * This points to the variable which is set by the GUI thread when this
     * thread should abort its execution.
     */
    bool volatile* threadParamAbort_;

    ...

    ParseResult parseFile( ItemList* list ) {
        ParseResult result;

        ...

        while ( readLine( &line ) ) {
            if ( ( threadParamAbort_ != NULL ) && *threadParamAbort_ ) {
                break;
            }

            ...
        }

        return result;
    }

    ...

};

threadParameterAbort_ в обоих потоках указывает на переменную bool , объявленную в структуре который передается в рабочий поток при создании. Он объявлен как

bool volatile abortExecution_;

. Мой вопрос: мне нужно здесь использовать volatile , и является ли приведенный выше код достаточным, чтобы гарантировать, что программа поточно-ориентирована? Я объяснил, как обосновать использование volatile здесь (см. этот вопрос для фона), что он будет:

• предотвращать чтение * threadParameterAbort_ , чтобы использовать кеш и вместо этого получать значение из памяти, и

• не позволяют компилятору удалить предложение if в рабочем потоке из-за оптимизации.

(Следующий абзац касается только безопасности потоков программы как таковой, и не , повторяю, не не предполагает заявления о том, что энергозависимо ] любым способом обеспечивает любые средства обеспечения безопасности потока.) Насколько я могу судить, он должен быть потокобезопасным, поскольку установка переменной bool должна в большинстве, если не во всех, архитектурах быть атомная операция. Но я могу ошибаться. И меня также беспокоит, может ли компилятор переупорядочить такие инструкции, как нарушение безопасности потоков. Но лучше быть в безопасности (не каламбур), чем потом сожалеть.

РЕДАКТИРОВАТЬ: не включает в себя утверждение о том, что volatile каким-либо образом обеспечивает любые средства обеспечения безопасности потока.) Насколько я могу судить, он должен быть потокобезопасным, как установка Переменная] bool в большинстве, если не во всех, архитектурах должна быть атомарной операцией. Но я могу ошибаться. И меня также беспокоит, может ли компилятор переупорядочить такие инструкции, как нарушение безопасности потоков. Но лучше быть в безопасности (не каламбур), чем потом сожалеть.

РЕДАКТИРОВАТЬ: не включает в себя утверждение о том, что volatile каким-либо образом обеспечивает любые средства обеспечения безопасности потока.) Насколько я могу судить, он должен быть потокобезопасным, как установка Переменная] bool в большинстве, если не во всех, архитектурах должна быть атомарной операцией. Но я могу ошибаться. И меня также беспокоит, может ли компилятор переупорядочить такие инструкции, как нарушение безопасности потоков. Но лучше быть в безопасности (не каламбур), чем потом сожалеть.

РЕДАКТИРОВАТЬ: Небольшая ошибка в моей формулировке заставила вопрос выглядеть так, как будто я спрашивал, достаточно ли volatile для обеспечения безопасности потока. Это не было моей целью - volatile действительно никак не обеспечивает безопасность потоков - но я хотел спросить, если приведенный выше код демонстрирует правильное поведение, гарантирующее, что программа является потоковой сейф.