Обработка исключений

[Sheff]

Здрасте)
Хочу разобраться как FPC обрабатывает исключения. Методом тыка и Ctrl+Alt+D нашел, что для try используется fpc_PushExceptAddr, и в конце концов (когда надо убрать фрейм) - fpc_PopAddrStack. но не могу понять где именно передается адрес обработчика. В Delphi было явно написано

Код: Выделить всё

push OFFSET _myHandler
push fs:[0]
mov fs:[0], esp


и возможно ли (знаю что возможно) не знаю как )) чтобы при обработке какого либо исключения попасть не в текущий блок обработки, а в блок более высокого уровня... т.е. в результате нижеследующего нужно получить "ОК!"

Код: Выделить всё

try
  try
    DestroyCurrentFrame;
    raise Exception.Create
  except
    WriteLn('опача!');
  end;
except
  WriteLn('ок!');
end;


заранее спс )

Добавлено спустя 54 минуты 3 секунды:
сделал вот так:

Код: Выделить всё

procedure fpc_PopAddrStack; [external name 'FPC_POPADDRSTACK'];


получилось. но можно ли так делать вообще? где хранится этот блок TExceptAddr? в стеке? судя по исходникам никакого GetMem И FreeMem там нет. или это может делает компилятор?

[Sergei I. Gorelkin]

Адрес обработчика в явном виде отсутствует. Используется setjmp/longjmp, код выглядит примерно так:

Код: Выделить всё

var  // создаются компилятором
  exceptaddr: TExceptAddr;
  jmpbuf: tjmpbuf;

// начало fpc_pushexceptaddr
exceptaddr.buf:=jmpbuf;
exceptaddr.next:=exceptaddrstack;
exceptaddrstack:=@exceptaddr;
// конец fpc_pushexceptaddr

if setjmp(jmpbuf)=0 then
   // код секции try
else
  // cюда попадаем при исключении


При самостоятельном вызове fpc_popaddrstack возможно уничтожить совсем не том фрейм, который планировалось, т.к. компилятор вставляет их по собственному усмотрению (не только там, где в программе написано try).

[Sheff]

Спасибо, Сергей. до меня кажется дошло!
SetJmp считывает адрес следующей команды после нее в Jmp_Buf. и при исключении управление передается по этому адресу. А там как раз стоит проверка условия
test %eax, %eax

не радует только немного убогий ассемблерный отладчик в Lazarus.. а как посмотреть состояние стека? ну или хотя бы может есть окошко дампа памяти, я чтото не нашел. или может есть какая-то полезная сторонняя утилита для таких средств?

Добавлено спустя 1 минуту 27 секунд:

При самостоятельном вызове fpc_popaddrstack возможно уничтожить совсем не том фрейм, который планировалось, т.к. компилятор вставляет их по собственному усмотрению (не только там, где в программе написано try).

а может есть мануальчик где-нидудь?

[Sergei I. Gorelkin]

а может есть мануальчик где-нидудь?

Мануальчика нет, и в этой области возможны несовместимые изменения без предупреждения.

[Sheff]

а в теории могла бы быть возможность иметь доступ к переменным (except.inc)?

Код: Выделить всё

ThreadVar
  ExceptAddrStack   : PExceptAddr;
  ExceptObjectStack : PExceptObject;


т.е. я конечно могу добавить пару функций в objpash.inc/except.inc чтото типа:

Код: Выделить всё

function GetExceptAddrStack: PPointer;
begin
  Result := @ExceptAddrStack
end;


но может есть более санкционированные средства? я что-то не нашел...

[Sergei I. Gorelkin]

Для доступа к ExceptObjectStack имеется ф-ция RaiseList.
ExceptAddrStack публично недоступен. В теории и на практике надо двигаться в направлении интеграции с обработкой исключений в ОС, а у них все по-разному. Например, в win64 такой сущности вообще нет.