用于异步事件驱动的 P 语言 P Language

MIT
C/C++ C# 查看源码»
跨平台
微软
2016-10-17
局长

微软最近开源了P语言,致力于在Linux、macOSWindows上编写安全的异步事件驱动程序。

微软将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;
}
...
加载中

评论(1)

吴佩在
吴佩在
Mark

暂无资讯

暂无问答

oracle 体系结构及内存管理 18_x视图

This is a summary list of X$ Table Definitions - Last revision was 7.3.2 The main purpose of this note is to show the naming conventions. [K]ernel Layer [2]-Phase Commit [G]loba...

10/13 19:19
9
0
PHP输入流php://input

PHP输入流php://input

2015/11/03 15:20
76
0
php输入流php://input详解

PHP输入流php://input 在使用xml-rpc的时候,server端获取client数据,主要是通过php输入流input,而不是$_POST数组。所以,这里主要探讨php输入流php://input 对一php://input介绍,PHP官方...

2015/01/06 10:52
20
0
滑轮滚动到页面底部ajax加载数据

滚动下拉到页面底部加载数据是很多瀑布流网站的做法,那来看看配合jsonp是如何实现的吧 当然本例子采用的是jquery库,后期会做成原生js。本例的数据调用的是锋利的jquery一书提供的一段json。...

2014/08/17 20:57
1K
0
模运算的基本性质

基本理论  基本概念 给定一个正整数p,任意一个整数n,一定存在等式 n = kp + r ;    其中k、r是整数,且 0 ≤ r < p,称呼k为n除以p的商,r为n除以p的余数。    对于正整数p和整数a,b...

2014/05/25 20:28
3.4K
0
自定义滚动条

<div class="wrap" id="wrap"> <div id="listbox"> <img src="./img/" alt="" /> <div id="para"> <p>content</p> <p>content</p> <p>content</p> <p>content</p> <p>content</p> <p>content...

2014/09/13 09:39
68
0
构造一个循环链表

#include<stdio.h> #include<malloc.h> #include<time.h> #include<stdlib.h> struct Links { int data; Links *next; Links *prior; } *L; void PrintNext(Links *L1) { Links *p; p=L1; wh...

2013/03/30 10:48
3
0
鼠标点击到顶部

<script> $(document).ready(function(){ $(window).scroll(function(){ var scrolltop=$(this).scrollTop(); if(scrolltop>=150) { $("#totop").show(); }else { $("#totop").hide(); } });...

2012/08/01 15:40
30
0

没有更多内容

加载失败,请刷新页面

返回顶部
顶部