非均匀内存访问的行为类型
Behavioural types for non-uniform memory accesses
摘要：
在NUMA体系结构上执行的并发程序由并发实体（例如线程、参与者）和放置在不同节点上的数据组成。这些并发实体的执行通常从远程节点读取或更新状态。这种系统的性能取决于并发实体可以并行执行的程度，以及远程读写的数量。我们考虑一个演员为基础的面向对象的语言，并提出了一个类型系统，表示的拓扑结构的程序（放置的演员和数据的节点），和一个效果系统，其特点是远程读取和写入（在哪个节点读/写从其他节点）。我们对拓扑结构使用所有权类型的变体，对效果系统使用行为和所有权类型的组合。
英文摘要：
Concurrent programs executing on NUMA architectures consist of concurrent entities (e.g. threads, actors) and data placed on different nodes. Execution of these concurrent entities often reads or updates states from remote nodes. The performance of such systems depends on the extent to which the concurrent entities can be executing in parallel, and on the amount of the remote reads and writes. We consider an actor-based object oriented language, and propose a type system which expresses the topology of the program (the placement of the actors and data on the nodes), and an effect system which characterises remote reads and writes (in terms of which node reads/writes from which other nodes). We use a variant of ownership types for the topology, and a combination of behavioural and ownership types for the effect system.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
