初始化Chapel原子实例变量

Question

去年问题的解决方案是使我的实例变量为atomics,以确保其他任务可以看到它们的变化.(虽然方法中的循环卡住了.添加字段赋值给自己修复了问题)

今年我用初始化器替换我的构造函数.(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.complete()在调用 to 之前插入一个调用 to this.tokens.write()，如下所示（在线尝试）：

class FakeSemaphore {
    var tokens : atomic int;

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

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

更详细地说：

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

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

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

请注意，Chapel 长期以来一直致力于支持原子变量的直接初始化（在我们的 GitHub 问题页面上的问题 #5037中可以找到）。一旦支持了这一点，您应该能够编写：

class FakeSemaphore {
    var tokens : atomic int;

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

我预计此功能将在 2019 年推出。另请注意相关请求，即能够直接分配原子变量，而不是.write()在问题 #8847中被迫使用