线程化Perl中的未锁定共享哈希操作安全性

问题

多个线程在 shared 无散列 lock() 哈希?

你能证明或引用强有力的权威吗?

背景

我的信念是,最坏情况下,解锁散列操作可能导致segfaults。

但是,我最近看到了以这种方式协调工作线程活动的代码,作者认为这是安全的。相关代码只执行简单的提取和存储:

• 共享哈希是一个普通的共享哈希(不是用户定义的tie()d构造)
• 这些值是简单的标量,不是引用,它们本身也不是共享的。
• 每个键/值对由一个且只有一个线程唯一地存储和修改。
• 所有键/值对都可以由任何线程获取
• 没有线程迭代共享哈希(没有 each() 没有 keys() 也不 values() 循环)

代码摘录

my %status : shared;

for my $id (1 .. $n) {
  threads->create(\&thread_routine);
}

sub thread_routine {
  my $me = threads->tid();

  $status{ $me } = 'Getting ready';
  ... do something ...
  $status{ $me } = 'Thinking';
  ... do something else ...

  $status{ $me } = 'Looking around';
  for my $tid (threads->list) {
    next if $tid == $me;
    if ($status{ $tid } eq "Thinking") { ... react ... }
    ...
  }

  $status{ $me } = 'All done';
}