初始化Chapel原子实例变量

Question

去年，一个问题的解决方案是让我的实例变量原子化，以确保其他任务也能看到它们的变化。(While loop in a method gets stuck. Adding an assignment of a field to itself fixes the issue)

今年我要用初始化器替换我的构造函数。(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);
    }
}

这在chapel 1.18中产生了以下结果：

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

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

Answer 1

简而言之，您应该在调用this.complete()之前插入一个对this.tokens.write()的调用，如下所示(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初始化器可以被认为有多个阶段。最初，所有字段都未初始化，并且对象及其字段在初始化之前无法使用。字段可以通过赋值运算符(=)显式初始化，也可以由编译器隐式初始化。

内置的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()