업데이트2)
대충 문제의 핵심인 Win32 SEH의 FPC 구현 가능성을 찾은 것 같습니다. 일단 리포팅만 해놔서 업데이트 될련지는 모르겠네요. 이 문제는 DLL의 익셉션을 일으키는 것을 방지합니다. 현재 FPC의 DLL은 익셉션 핸들링이 잘 되지 않습니다. 만약 적용된다고 해도 컴파일러 쪽의 코드 생성기쪽이 변화해야 하는거라 핵심 개발자들이 고치지 않으면 어려울거라 생각됩니다.
대충 만든 기본틀이 들어간 소스를 업로드합니다.
===============================================================
최근 버그리포트에 Fiber구현에 관련된 버그리포트가 하나.
http://bugs.freepascal.org/view.php?id=25312Fiber의 예외처리를 잡아내지 못하는 관계로 버그가 올라왔습니다. 2.6.2와 2.7.1에서 모두 일어나는 현상으로 WIN32 SEH가 제대로 예외를 잡아내지 못하는 문제입니다.
최근에 많이 정성이 기울인 WIN64 SEH는 문제없이 작동하는 것을 확인.
말미에 fpc 개발자의 글이 달렸는데, 문제가 해결된다는 보장을 할 수 없을 것 같다는 내용이;
오픈소스이니 강요도 할 수 없는 문제인 것 같습니다. =_=;
혹 쓰레드나 기타 쪽의 예외처리가 안되면 아마 이 문제일겁니다.
참고하시기를~
업데이트) 지금까지 내용으로 알려진 것은 Fiber는 FLS라는 저장 공간이 있는데, fpc는 현재 WIN64도 WIN32도 TLS만을 사용. Fiber를 저장 공간에는 예외 핸들러도 들어가 있어 사용시 마다 스위칭되는데, 이는 Fls* 함수를 사용해야 제대로 접근이 가능하다고 합니다. 문제는 이 API는 윈도우즈 2003이상 그리고 XP 64비트 이상에서만 지원하는 API라는 것. XP 32비트는 지원하지 않습니다. 64비트에서 Fiber예제가 오류가 없었던 것은 우연적인 것으로 더 복잡한 구현으로 들어가면 문제가 생길거라고 합니다.
결론적으로 현재의 Thread 도입은 안정적이나 Fiber에는 RTL의 업데이트가 있어야 제대로 지원이 가능하다고 합니다. TLS* API를 FLS*로 바꾸는 방법인데 정적 링크로 되어 있어서 수정과 도입에 시간이 좀 걸릴 듯 싶습니다.
(업데이트) 버그리포팅을 한 리포터가 W64에서는 문제가 없음을 이야기. WIN32의 문제는 Fiber지원이 아닌 익셉션 프레임 포인터가 다른 쓰레드에서 해제되는 버그에 있는 것 같은데 아직 개발자들 측에선 모르는 것 같습니다.
임시적인 패치는 except.inc 파일에 함수 하나를 다음과 같이 고치면 됩니다.
WIN32에만 국한되는 내용입니다.
익셉션 프레임들의 링크드 리스트에서 호출된 스택의 범위에서만 해제를 하도록 한 것입니다.
참고하시길~
Procedure fpc_PopAddrStack;[Public, Alias : 'FPC_POPADDRSTACK']; compilerproc;
var
hp : ^PExceptAddr;
{$ifdef win32}
prev,curr : PExceptAddr;
cstack, TopStack : PtrUInt;
{$endif}
begin
{$ifdef excdebug}
writeln ('In Popaddrstack');
{$endif}
hp:=@ExceptAddrStack;
If hp^=nil then
begin
{$ifdef excdebug}
writeln ('At end of ExceptionAddresStack');
{$endif}
halt (255);
end
else
begin
{$ifdef win32}
asm
mov %ebp,cstack
mov %fs:(4),%eax
mov %eax,TopStack
end;
// remove skiped poping
if (ExceptAddrSkip<>nil) then
if (PtrUInt(ExceptAddrSkip)<TopStack) and (PtrUInt(ExceptAddrSkip)>cstack) then
begin
ExceptAddrSkip:=nil;
while SkipAddrCount>0 do begin
hp^:=hp^^.Next;
Dec(SkipAddrCount);
if hp^=nil then
break;
end;
end;
// start traverse
prev:=hp^;
curr:=prev;
while curr<>nil do
begin
// exceptstack in stack range
if (PtrUInt(curr)<TopStack) and (PtrUInt(curr)>cstack) then
begin
if curr=prev then
hp^:=hp^^.Next
else
prev^.Next:=curr^.Next;
break;
end else begin
// prevent main thread's other thread poping
if PtrUInt(curr)>TopStack then
begin
if ExceptAddrSkip=nil then
begin
ExceptAddrSkip:=Pointer(cstack);
SkipAddrCount:=1;
end else
Inc(SkipAddrCount);
break;
end;
prev:=curr;
curr:=curr^.Next;
end;
end;
{$else}
hp^:=hp^^.Next;
{$endif}
end;
end;
fpc와 win32 SEH(업데이트2)
