ARC (iOS) 下的 Delphi TThread 未发布答案

【问题标题】：Delphi TThread under ARC (iOS) not being releasedARC (iOS) 下的 Delphi TThread 未发布
【发布时间】：2013-06-10 19:35:58
【问题描述】：

在 ARC 管理下使用 Delphi for iOS 终止线程的正确方法是什么？

举个简单的例子：

  TMyThread = class(TThread)
  protected
    procedure Execute; override;
  public
    destructor Destroy; override;
  end;

  TForm2 = class(TForm)
    Button1: TButton;
    Button2: TButton;
    Button3: TButton;
    procedure Button1Click(Sender: TObject);
    procedure Button2Click(Sender: TObject);
    procedure Button3Click(Sender: TObject);
  private
    FThread: TMyThread;
  public
  end;

{ TMyThread }
destructor TMyThread.Destroy;
begin

  ShowMessage('Destroy');

  inherited Destroy;

end;

procedure TMyThread.Execute;
begin

  Sleep(5000);

end;

{ TForm2 }
procedure TForm2.Button1Click(Sender: TObject);
begin
  FThread := TMyThread.Create(TRUE);
  FThread.FreeOnTerminate := TRUE;
  FThread.Start;
end;

procedure TForm2.Button2Click(Sender: TObject);
begin
  ShowMessage(FThread.RefCount.ToString);
end;

procedure TForm2.Button3Click(Sender: TObject);
begin
  FThread := nil;
end;

好的，按下 Button1 将产生一个线程。线程启动后，如果单击 Button2 将显示 RefCount 值为 3！嗯，1是对我的FThread变量的引用，另外还有2个是TThread内部创建的引用……我挖了源码发现这里增加了RefCount：

constructor TThread.Create(CreateSuspended: Boolean);

  ErrCode := BeginThread(nil, @ThreadProc, Pointer(Self), FThreadID);
  if ErrCode <> 0 then
    raise EThread.CreateResFmt(@SThreadCreateError, [SysErrorMessage(ErrCode)]);
  {$ENDIF POSIX}

这里：

function ThreadProc(Thread: TThread): Integer;
var
  FreeThread: Boolean;
begin
  TThread.FCurrentThread := Thread;

嗯...线程完成后（在我的情况下，5 秒后），RefCount 将减少到 2（因为我已将 FreeOnTerminate 设置为 TRUE，但如果我不将 FreeOnTerminate 设置为 TRUE，则 RefCount 将仍然是 3)。

看到问题了吗？线程永远不会完成并且永远不会调用析构函数，如果我调用FThread := nil，那么 RefCount 应该从 2 减少到 1（或者在 FreeOnTerminate = FALSE 的情况下从 3 减少到 2），并且线程永远不会在 ARC 下释放......

也许我错过了一些东西，因为我习惯于使用没有 ARC 的线程......那么，我在这里错过了什么？还是ARC下的TThread实现有bug？

也许TThread的这个定义

private class threadvar
  FCurrentThread: TThread;

应该是这样的

private class threadvar
  [Weak] FCurrentThread: TThread;

【问题讨论】：

FCurrentThread不是在析构函数中释放了吗？
FCurrentThread 是 TThread 的类 threadvar 变量，它不是来自实例的变量，而是来自 TThread 的类变量。这个变量永远不会被取消。从代码来看，如果我生成另一个线程，它应该会改变......但我还没有测试所以......我的线程析构函数从未被调用
很遗憾您没有以控制台应用程序的形式提供完整的程序来演示该问题。在我看来，所有这些 GUI 都会碍事。
从源代码中，我可以看到FCurrentThread 从未设置为nil。我还看到ThreadWrapper 将New 与FreeMem 配对，这显然是假的。 New 与 Dispose 一起使用。而且由于分配的内容包含对您的线程的引用，因此那里可能存在泄漏。但由于Self 被转换为Pointer，这应该是一个弱参考。我会将其缩减为最小样本并提交 QC 报告。
真正的错误是ThreadProc() 在线程完成运行后不会为零TThread.FCurrentThread。这至少是一个悬而未决的参考。但我不明白为什么 refcount 会上升到 3。BeginThread() 代码根本没有做任何应该触及 refcount 的事情。

标签： ios delphi automatic-ref-counting delphi-xe4

【解决方案1】：

在 qc 中进行一些挖掘后，出现了以下问题和解决方法：

线程参数应作为const传递

function ThreadProc(Thread: TThread): Integer;  <<-- pass_by_reference pushes
var                                                  up the ref_count.
  FreeThread: Boolean;
begin
  TThread.FCurrentThread := Thread;

如果你以const 传递它，那么 ref_count 就不会上升到 3。通常这不是问题，因为 ref_count 在函数退出时会减少，但这里：

the function epilog is never exectued because pthread_exit() jumps out of the code。

这只是解决方案的一部分，还有很多工作要做......

Full workaround by Dave Nottage

经过一番折腾，我想出了这个潜在的解决方法：

为 Classes 单元制作这些 mod：变化：

function ThreadProc(Thread: TThread): Integer;

到：

function ThreadProc(const Thread: TThread): Integer;

并添加：

TThread.FCurrentThread := nil;

在这一行之后：

if FreeThread then Thread.Free;

在 TThread 后代中覆盖 DoTerminate，因此：

procedure TMyThread.DoTerminate;
begin
  try
    inherited;
  finally
    __ObjRelease;
  end;
end;

这样调用线程：

FMyThread.Free; // This will do nothing the first time around, since the reference will be nil
FMyThread := TMyThread.Create(True);
// DO NOT SET FreeOnTerminate
FMyThread.OnTerminate := ThreadTerminate;
FMyThread.Resume;

这（至少对我来说，在设备上）会导致线程在后续调用中被销毁。

注意：在 ARC 条件下，从不在本地声明对线程的引用，因为当它超出范围时，线程被销毁并且永远不会调用 Execute 方法，更不用说其他问题了它导致。

【讨论】：