线程处理过程分析

本文试着从分析Synchronize同步执行的实现机制入手，来解决DLL/ActiveForm中线程同步的问题。
线程中进行同步时调用的Synchronize函数，仅仅是把调用调用线程、调用方法地址、异常对象封装在一个同步结构中，然后调用处理同步结构的类方法Synchronize。
procedure TThread.Synchronize(Method: TThreadMethod);
begin
  FSynchronize.FThread := Self;
  FSynchronize.FSynchronizeException := nil;
  FSynchronize.FMethod := Method;
  Synchronize(@FSynchronize);
end;

class procedure TThread.Synchronize(ASyncRec: PSynchronizeRecord);
var
  SyncProc: TSyncProc;
begin
  if GetCurrentThreadID = MainThreadID then // 如果是主线程，当然也就不需要同步处理了，直接执行即可
    ASyncRec.FMethod
  else
  begin
    SyncProc.Signal := CreateEvent(nil, True, False, nil); // 创建一个未命名事件，用于主线程执行同步的过程结束时通知等待线程
    try
      EnterCriticalSection(ThreadLock); // 进入ThreadLock关键区，用于保护对Classes单元的全局变量SyncList的访问和进行一些调用的同步
      try
        if SyncList = nil then
          SyncList := TList.Create;
        SyncProc.SyncRec := ASyncRec;
        SyncList.Add(@SyncProc); // 把要同步的结构添加到列表SyncList中，等待主线程取出执行同步过程代码
        SignalSyncEvent; // 调用SetEvent(SyncEvent)使同步事件SyncEvent处于信号状态，主要用在正确处理线程结束时
        if Assigned(WakeMainThread) then
          WakeMainThread(SyncProc.SyncRec.FThread); // 关键！Classes.WakeMainThread就是Application.WakeMainThread，通过PostMessage发个WM_NULL空消息，让主线程醒来
        LeaveCriticalSection(ThreadLock); // 离开关键区，因为主线程调用的过程CheckSynchronize中会在取出SyncList列表同步结构前先进入关键区的
        try
          WaitForSingleObject(SyncProc.Signal, INFINITE); // 等待主线程同步调用结束通知事件
        finally
          EnterCriticalSection(ThreadLock);
        end;
      finally
        LeaveCriticalSection(ThreadLock);
      end;
    finally
      CloseHandle(SyncProc.Signal);
    end;
    if Assigned(ASyncRec.FSynchronizeException) then raise ASyncRec.FSynchronizeException;
  end;
end;
在主线程的消息处理过程WndProc中检索到WM_NULL消息就会调用CheckSynchronize对同步列表SyncList中的同步结构进行逐个处理，直至SyncList中要同步的方法全部被同步调用完毕。而在应用程序空闲时也会调用CheckSynchronize进行同步处理。
procedure TApplication.WndProc(var Message: TMessage);
begin
  try
    (略)
    with Message do
      case Msg of
        WM_NULL:
          CheckSynchronize;
      else
        Default;
      end;
  except
    HandleException(Self);
  end;
end;
procedure TApplication.Idle(const Msg: TMsg);
begin
  (略)
  if (GetCurrentThreadID = MainThreadID) and CheckSynchronize then
    Done := False;
  if Done then WaitMessage;
end; 
再看一下Delphi封装的实际线程执行体函数：
function ThreadProc(Thread: TThread): Integer;
var
  FreeThread: Boolean;
begin
  try
    if not Thread.Terminated then
    try
      Thread.Execute;
    except
      Thread.FFatalException := AcquireExceptionObject;
    end;
  finally
    FreeThread := Thread.FFreeOnTerminate; // 是否线程执行结束后自动释放Thread对象实例？
    Result := Thread.FReturnValue;
    Thread.DoTerminate; // 这里调用Synchronize(CallOnTerminate)，也就是说OnTerminate事件代码实际上是在主线程中同步执行的
    Thread.FFinished := True;
    SignalSyncEvent; // 使同步事件SyncEvent处于信号状态，使线程Destory调用WaitFor时如果是主线程，可以进行必要的同步处理
    if FreeThread then Thread.Free; // 注意：线程Destroy部分的代码是在线程执行体中执行的
    EndThread(Result);
  end;
end;

到这里我们基本清楚了Synchronize同步的实现机制：
线程将同步线程、方法封装成同步结构，添加到同步列表SyncList中，然后发送WM_NULL消息唤醒主线程，然后调用WaitForSingleObject挂起等待主线程处理。主线程处理WM_NULL消息或在空闲时调用CheckSynchronize，从同步列表SyncList取出同步结构，在主线程中调用执行同步方法，执行完毕通过同步结构中的未命名事件句柄通知等待线程。等待线程收到事件通知后醒来，然后继续执行。

以上是对通常的应用程序中的线程Synchronize同步实现机制的分析，而对于DLL中的线程在用Synchronize进行同步时又有它的特殊性。
DLL中的全局变量是每个DLL都复制一份的，各个DLL之间以及DLL与主程序之间不能直接进行数据共享。这也就是说主程序的SyncEvent、SyncList、ThreadLock与DLL中的SyncEvent、SyncList、ThreadLock变量是不一样的。因此在DLL中的Synchronize同步，使用到的是DLL中的SyncEvent、SyncList、ThreadLock等变量，因此，直接使用Synchronize，主程序的CheckSynchronize就无法对DLL中的线程进行同步调度执行。而DLL中的Application却从来没有运行Run进入消息循环，因此也不能调用CheckSynchronize来处理线程的同步。因此在DLL中就需要主动调用CheckSynchronize函数来对同步列表SyncList进行处理。可以在DLL中专门创建一个窗口，在窗口消息循环中处理WM_NULL消息，调用ChechSynchronize即可。
while PeekMessage(Msg, 0, 0, 0, PM_REMOVE) do
  if Msg.message = WM_NULL then
    CheckSynchronize
  else
  begin
    TranslateMessage(Msg);
    DispatchMessage(Msg);
  end;

对ActiveForm中使用的线程调用Synchronize的情况也大体上相同，它的宿主进程是浏览器(如IE)，IE一来不是Delphi编的程序，不会在主程序消息循环主调用CheckSynchronize进行同步处理的；二来即使它进行同步处理，也不是采用Delphi的同步实现方法，没有SyncList、SyncEvent、ThreadLock等变量的使用的；另外，ActiveForm由于是个OCX(实际上是种DLL)，因此还有如同上述DLL中线程同步的问题，解决办法也可以和上面一样。当然，应该也可以直接在ActiveForm中添加处理WM_NULL消息的处理过程，调用CheckSynchronize进行同步处理，我没有进行试验，具体地，你可以亲自试一下。