Question

实施例

假设我有以下主题（请不要考虑本例中的线程上下文执行方法中使用的内容，只是为了解释）：

type
  TSampleThread = class(TThread)
  private
    FOnNotify: TNotifyEvent;
  protected
    procedure Execute; override;
  public
    property OnNotify: TNotifyEvent read FOnNotify write FOnNotify;
  end;

implementation

procedure TSampleThread.Execute;
begin
  while not Terminated do
  begin
    if Assigned(FOnNotify) then
      FOnNotify(Self); // <- this method can be called anytime
  end;
end;

然后假设，我想在我需要的任何时候从主线程更改OnNotify事件的方法。这个主线程在这里实现了事件处理程序方法ThreadNotify方法：

type
  TForm1 = class(TForm)
    Button1: TButton;
    Button2: TButton;
    procedure Button1Click(Sender: TObject);
    procedure Button2Click(Sender: TObject);
  private
    FSampleThread: TSampleThread;
    procedure ThreadNotify(Sender: TObject);
  end;

implementation

procedure TForm1.ThreadNotify(Sender: TObject);
begin
  // do something; unimportant for this example
end;

procedure TForm1.Button1Click(Sender: TObject);
begin
  FSampleThread.OnNotify := nil; // <- can this be changed anytime ?
end;

procedure TForm1.Button2Click(Sender: TObject);
begin
  FSampleThread.OnNotify := ThreadNotify; // <- can this be changed anytime ?
end;

问题：

更改方法是否安全，可以随时从另一个线程的上下文中调用工作线程？做上面例子中显示的内容是否安全？

我不确定，如果这绝对安全，至少因为方法指针实际上是一对指针，我不知道我是否可以把它当作原子操作。

Answer 1

不，它不是线程安全的，因为该操作永远不会是“原子的”。 TNotifyEvent由两个指针组成，这些指针永远不会同时分配：一个将被分配，另一个将被分配。

为TNotifyEvent赋值生成的32位汇编程序由两个不同的汇编程序指令组成，如下所示：

MOV [$00000000], Object
MOV [$00000004], MethodPointer

如果它是单个指针，那么你有一些选项，因为该操作是 atomic ：你的选项取决于CPU的内存模型有多强：

如果CPU支持“顺序一致性”模型，则在写入内存后发生的任何读取都将保证新值。如果是这种情况，您可以简单地编写您的值，不需要内存障碍或使用Interlocked方法。
如果CPU对重新订购商店和装载更放松，那么您需要一个“内存障碍”。如果是这种情况，最简单的解决方案是使用InterlockedExchangePointer

不幸的是，我不知道当前Intel CPU的内存模型有多强。有一些间接证据表明可能会进行一些重新排序，那些建议使用Interlocked，但我没有看到英特尔发表的明确声明，说明了其中一个。

证据：

现代CPU使用“预取” - 自动暗示某种程度的加载/存储重新排序。
SSE介绍了处理CPU缓存的具体说明。

Answer 2

除了寄存器大小之外，还涉及两个操作。检查后来执行。要最小化，请创建一个本地var并使用它。但无论如何，这仍然不是100％线程安全的

var
  LNotify: TNotifyEvent;
begin
  ...
  LNotify := FOnNotify;
  if Assigned(LNotify) then
    LNotify(Self);
end;

方法指针赋值线程是否安全？

实施例

问题：

2 个答案: