【文件属性】：
文件名称：用于异步事件驱动的P语言PLanguage.zip
文件大小：65.42MB
文件格式：ZIP
更新时间：2022-08-07 22:50:33
开源项目
微软最近开源了P语言，致力于在Linux、macOS和Windows上编写安全的异步事件驱动程序。微软将P描述为一种领域特定语言，对异步系统的组件间通信进行建模，例如嵌入式、网络或分布式系统。P程序是通过有限状态机（finite state machine）来定义的，这些状态机会并发运行。每个状态机都有一个输入队列、状态、转换、机器本地存储，并且可以发送异步信息给其他状态机。在P中的基本操作要么是更新本地存储，发送消息，要么就是创建新的状态机。如下的代码片段展示了如何使用P来描述一个状态及其转换。除此之外，它还展现了如何发送消息或创建新的状态机：...
start state Init {
entry {
server = new Server();
raise SUCCESS;
} on SUCCESS goto SendPing;
state SendPing {
entry {
send server, PING, this;
raise SUCCESS;
}
on SUCCESS goto WaitPong;
}
...
标签：PLanguage