初始化 Chapel 原子实例变量

Question

去年，一个问题的解决方案是使我的实例变量成为原子变量，以确保其他任务能够看到它们的变化。 ()

今年我要用初始化程序替换我的构造函数。 (https://chapel-lang.org/docs/master/language/evolution.html#readme-evolution-initializers-replace-constructors) 不幸的是，我不知道如何初始化原子实例变量。此代码无效：

class FakeSemaphore {
    var tokens : atomic int;

    proc init(initTokens : int) {
        this.tokens.write(initTokens);
    }
}

这将在小教堂 1.18 中产生以下结果：

$ chpl FakeSemaphore.chpl
FakeSemaphore.chpl:4: In initializer:
FakeSemaphore.chpl:5: error: field "tokens" used before it is initialized

我应该如何初始化我的原子实例变量？

Answer 1

简短的回答是，您应该在调用 this.tokens.write() 之前插入对 this.complete() 的调用，如下所示 (Try It Online):

class FakeSemaphore {
    var tokens : atomic int;

    proc init(initTokens : int) {
        this.complete();
        this.tokens.write(initTokens);
    }
}

var s = new owned FakeSemaphore(10);
writeln(s);

更详细：

Chapel 初始值设定项可以被认为具有多个阶段。最初， none 个字段被初始化，并且对象及其字段在初始化之前不能使用。字段可以通过赋值运算符 (=) 显式初始化，也可以由编译器隐式初始化。

内置调用this.complete()用于表示对象已经初始化，可以使用了。遇到它时，编译器将负责初始化用户没有初始化的任何剩余字段。调用 this.complete() 后，对象就可以使用了。

在这种情况下，即使您在逻辑上使用方法调用 this.tokens.write(initTokens) 来初始化 this.tokens，Chapel 也不会将其识别为字段初始化，因为它没有使用赋值操作员。此外，由于它是对字段的方法调用，因此只有在对象初始化后才允许调用（即在调用 this.complete() 之后）。

请注意，Chapel 有一个长期的意图（在我们的 GitHub 问题页面的 issue #5037 中捕获）以支持原子变量的直接初始化。一旦支持，你应该可以写：

class FakeSemaphore {
    var tokens : atomic int;

    proc init(initTokens: int) {
      this.tokens = initTokens;
    }
}

我希望这个功能在 2019 年可用。另请注意相关请求，以便能够直接分配原子变量，而不是被迫在 issue #8847

中使用 .write()

初始化 Chapel 原子实例变量

Initializing Chapel Atomic Instance Variables

atomic

chapel