СГ>>      this.НачалоЭксклюзивнойОперации;
СГ>>

lock (this)
{
  ...
}

try
{
  System.Threading.Monitor.Enter(this); // this.НачалоЭксклюзивнойОперации;
  ...
}
finally
{
  System.Threading.Monitor.Exit(this) // this.КонецЭксклюзивнойОперации;
}

iZEN>>Стоит почитать и его.

• Успех, Отказ. Вызов программы успешен, если он завершается в состоянии, удовлетворяющем контракту. Вызов считается отказом, если он не успешен.
  
• Исключение — событие периода выполнения, которое может стать причиной отказа.
  
• Отказы и исключения. Отказ программы — причина появления исключения в вызывающей программе.
  
• Случаи отказа. Вызов программы приводит к отказу, если и только если встретилось исключение, и программа не смогла с ним справиться.

• Повторение (Retrying) — попытка изменить условия, приведшие к исключению, и выполнить программу повторно, начиная всё сначала.
  
• Отказ (Failure) — известный также как Организованная Паника (organized panic): чистка стэка и других ресурсов, завершение вызова и отчёт об отказе перед вызывающей программой.

• Обработка исключений — это механизм, позволяющий справится с неожиданными условиями, возникшими в период выполнения.
  
• Отказ — это невозможность во время выполнения программы выполнить свой контракт.
  
• Программа получает исключение в результате: отказа вызванной ею программы, нарушения утверждений (например, assert. — Прим. моё), сигналов аппаратуры или операционной системы об аномалиях, возникших в ходе их работы.
  
• Программная система может включать также исключения, спроектированные разработчиком.
  
• Программа имеет два способа справиться с исключениями — Повторение вычислений (Retry) и Организованная Паника. При Повторении тело программы выполняется заново. Организованная Паника означает готказ и формирование исключения у вызывающей программы.
  
• Формальная роль обработчика исключений, не заканчивающегося retry, состоит в восстановлении инварианта, но не в обеспечении контракта программы. Последнее всегда является делом тела программы. <...> Формальная роль ветви, заканчивающейся retry, состоит в восстановлении инварианта и предусловия так, чтобы тело программы могло попытаться в новой попытке выполнить контракт.
  
• Базисный механизм обработки исключений, включаемый в язык, должен оставаться простым, если только поощрять прямую цель обработки исключений — Повторение или Организованную Панику. Для приложений, нуждающихся в более тонком контроле над исключениями, введён класс EXCEPTIONS, позволяющий добраться до свойств каждого вида исключений и провести их обработку. Этот класс позволяет создавать и обрабатывать исключения разработчика (в языке Eiffel. — Прим. моё).

module Main where

import IO

main :: IO () -- Это комментарий
main = let processError e = -- Обработчик ошибки I/O. Типизируется как :: IOError -> IO ()
               putStrLn . show e
       in doIO "Who the hell are you? " `catch` processError -- Передача action'a и обработчика конструтору catch
    where
        doIO out = do -- Обернутый I/O action
            putStrLn out >> hFlush stdout
            str <- getLine
            putStrLn ("Nice to meet you, " ++ str)

main :: IO ()
main = catch (do putStrLn "Who the hell are you? " >> hFlush stdout
                 getLine >>= putStrLn . (++) "Nice to meet you, ")
             (\e -> putStrLn $ show e)

Д>Проблема в том, что таких мест в программе десятки, а код цикла с проверками получается довольно-таки объемистый — нужно каким-то образом использовать его повторно. Вопрос только, как?

typedef boost::function<SomeResultType ()> SomeResultFunctor;
...

//Обернем функтор в графическую оболочку
SomeResultFunctor res = wrap_with_gui<SomeResultType>(m_hWnd,boost::bind(&MyClass::func,this),std_exception_translator();

SomeResultType val = res(); //Вызовет появление окна если все будет плохо

MODULE Errors;

  TYPE
    Error* = POINTER TO EXTENSIBLE RECORD
      msg*: ARRAY 256 OF CHAR;
    END;
  
    List* = POINTER TO RECORD
      head-: Error;
      tail-: List
    END;

  PROCEDURE NewError* (msg: ARRAY OF CHAR): Error;
    VAR e: Error;
  BEGIN 
    NEW(e); 
    e.msg := msg$; 
    RETURN e
  END NewError;

  PROCEDURE NewList* (head: Error; tail: List): List;
    VAR list: List;
  BEGIN 
    NEW(list); 
    list.head := head; 
    list.tail := tail;
    RETURN list
  END NewList;

END Errors.

MODULE MyModule;

  IMPORT Errors;

  TYPE
    MyError* = POINTER TO EXTENSIBLE RECORD (Errors.Error)
      extendedParam: MyExtendedParam;
    END;

  PROCEDURE NewMyError* (s: ARRAY OF CHAR; p: MyExtendedParam): Error;
    VAR e: MyError;
  BEGIN 
    NEW(e); 
    e.msg := s$; 
    e.extendedParam := p;
    RETURN e
  END NewError;

  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -

  PROCEDURE TryDoSmth* (...params.., VAR err: Errors.List): BOOLEAN;
  BEGIN

    ...

    IF обычнаяХерняСлучилась THEN
      err := Errors.NewList(Errors.NewError("обычнаяХерняСлучилась"), err);
      RETURN FALSE
    END;

    ...

    IF мояХерняСлучилась THEN
      err := Errors.NewList(NewMyError("мояХерняСлучилась"), err);
      RETURN FALSE
    END;

    ...

    RETURN TRUE
  END TryDoSmth;

  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -  -

END MyModule.