Spin语法

消息传递

消息通道用于对数据从一个过程到另一个过程的传输进行建模。它们在本地或全局上声明,如下所示:

chan qname = [16] of {short}

这将声明一个通道,该通道最多可以存储16个short类型的消息。通道名称可以通过通道从一个进程传递到另一进程,也可以作为进程实例化中的参数传递。如果要通过通道传递的消息具有多个字段,则声明可能如下所示:

chan qname = [16] of {byte,int,chan,byte}

这次,通道最多存储16条消息,每个消息由两个8位值,一个32位值和一个通道名组成。
语句qname!expr发送表达式expr的值给我们创建的通道,它将值添加到通道的末尾。
qname?msg接收消息,它从通道的开头检索它,并将其存储在变量msg中。通道以先进先出的顺序传递消息。在上述情况下,仅单个值通过通道。如果每条消息要传送一个以上的值,则在逗号分隔的列表中指定它们。

qname!expr1,expr2,expr3
qname?var1,var2,var3

每条消息发送或接收的参数比所使用的消息通道所声明的参数更多或更少,是错误的。按照惯例,第一个消息字段通常用于指定消息类型。因此,发送和接收操作的另一种等效表示法是指定消息类型,其后是用括号括起来的消息字段列表。一般来说:

qname!expr1(expr2,expr3)
qname?var1(var2,var3)

仅当寻址的信道未满时,发送操作才可执行。同样,仅当通道为非空时,接收操作才可执行。可选地&#x

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/7442.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

STM32自学笔记17-步进电机驱动项目-磁编码器的正常使用

上节有这样一句话: 步进电机旋转角度和编码器输出数据之间的关系通常是非线性的。在校准过程中,可以通过采集一系列已知角度位置的数据点,并拟合出角度与编码器数据之间的关系。这个拟合可以使用曲线拟合算法或其他数学方法来实现。通过拟合&…

vscode使用g++编译.c文件或.cpp文件

vscode是一个跨平台、轻量级、插件非常丰厚的IDE,这里介绍在vscode里使用g来编译.cpp文件。g也叫GCC, 在Window中,是使用MinGW方式实现g的,它分为32位和64位2个版本,其中,MinGW-64是64位的,MinGW-32是32位的…

Hive解析JSON串

Hive 处理 json 数据总体来说有两个方向的路走: 将 json 以字符串的方式整个入 Hive 表,然后通过使用 UDF 函数解析已经导入到 hive 中的数据,比如使用 LATERAL VIEW json_tuple的方法,获取所需要的列名。 在导入之前将 json 拆成…

ConcurrentHashMap 相比于 HashMap 的优势

ConcurrentHashMap 使用每个链表头节点作为锁对象, 把一把大锁转换成多把小锁, 大大缩小了锁冲突的概率 HashTable 是给整个 Hash 表加锁, 因此只要有线程抢到了锁其他线程就得阻塞等待. ConcurrentHashMap 是对每个链表加锁, 因此只要不是对同一个链表进行修改就不会阻塞, 大…

【微信小程序】使用iView组件库的ActionSheet组件实现底部选择功能

效果1 效果2 要在微信小程序中使用iView组件库的ActionSheet组件,可以按照以下步骤进行: 首先,确保已经引入了iView组件库的样式和脚本文件。可以在app.wxss中引入iView的样式文件: import "/path/to/iview/weapp/dist/sty…

Ubuntu22.04部署K8s集群

Ubuntu22.04部署K8s集群 一、基础环境准备1.1 VMware Workstation Pro 17.01.2 Ubuntu22.04 二、系统环境配置2.1 设置Master与工作节点的机器名称及配置2.2 解析主机2.3 虚拟内存swap分区关闭2.4 开启IPv4转发2.5 设置时间同步2.6 开启防火墙的端口(可选&#xff0…

linux下 UART串口相关

RS232的串口设备在linux 上会被识别为 /dev/ttyS* 或者 ttymxc* 一、串口简介 操作串口我们一般通过以下指令: 1、查看串口波特率等信息: stty -F /dev/ttyS0 -a #ttyS0为要查看的串口 2、设置串口参数: stty -F /dev/ttyS0 ispeed 115…

2023年java面试问题大全及答案大全

202年常见的Java面试问题和答案: Java中的基本数据类型有哪些? 答:Java中的基本数据类型包括整型(int, short, long, byte)、浮点型(float, double)、字符型(char)和布尔型(boolean)。 String和StringBuilder之间的区别是什么? 答…

微信小游戏个人开发者上架:从注册到上线的详细步骤

微信小游戏个人开发者上架:从注册到上线的详细步骤 一,注册小程序账号1.1 微信公众平台1.2 填写信息1.3 绑定管理 二,打包步骤2.1 工具准备2.2 关于Unity版本2.3 打包详解 三,提包步骤3.1 填写用户隐私3.2 完善开发者自查3.3 游戏…

5.string变量-读取一行

C里面的读一行的用法。getline(cin,addr); 从标准输入设备cin,读取一行字符串保存到字符串变量addr中 如果用户直接回车什么都不读取就没有任何数据输入 读一行直到遇到回车符,注意不包括回车符。 判断字符串是不是空的 addr.em…

MYSQL的分类 DDL、DML、DQL、DCL

MySQL的分类 DDL、DML、DQL、DCL DDL(Data Definition Language,数据定义语言)DML(Data Manipulation Language,数据操纵语言)DQL(Data Query Language,数据查询语言)DCL(Data Control Language,数据控制语言) 1. DDL(Data Defi…

Cron 选择器

// 定义一个名为 cron 的新组件 Vue.component(cron, {name: cron,props: [data],data() {return {second: {cronEvery: ,incrementStart: 3,incrementIncrement: 5,rangeStart: ,rangeEnd: ,specificSpecific: [],},minute: {cronEvery: ,incrementStart: 3,incrementIncremen…

slam建图与定位_cartographer代码阅读(7)后端约束构建

1.cartographer里的节点:当扫描匹配结束后,有新的一帧scan加入到submap中,这个扫描匹配的结果就叫做节点 global_trajectory_builder.cc // 将匹配后的结果 当做节点 加入到位姿图中auto node_id pose_graph_->AddNode(matching_result->insertio…

2023年一建学霸笔记

考点:单方取消或辞去委托承担的民事责任女《民法典》规定,因解除合同造成对方损失的,除不可归责于该当事人的事由外,无偿委托合同的解除方应当赔偿因解除时间不当造成的直接损失,有偿委托合同的解除方应当赔偿对方的直接损失和合同…

简单理解TCP,UDP,HTTP

我们都知道TCP、UDP、HTTP内部有很复杂的过程,很多人没办法理解的那么深,只想知道这是个什么鬼。 1、TCP、UDP、HTTP 是什么? TCP/IP是个协议组,可分为三个层次:网络层、传输层和应用层。在网络层有IP协议、ICMP协议、ARP协议、…

关于云服务器ECS、宝塔的安装配置以及图床的使用

一、阿里云服务器的申请以及宝塔的安装 安装配置服务器的原理: step1:地址栏输入阿里云服务器官网地址 step2:在首页依次点击以下内容: step3:选择立即购买,并填写以下内容: step4&#xff1a…

Postman和Jmeter做接口测试的区别

1. 用例组织方式 Jmeter的组织方式相对比较扁平,它首先没有WorkSpace的概念,直接是TestPlan,TestPlan下创建的Threads Group就相当于TestCase,并没有TestSuite的层级。 Postman功能上更简单,组织方式也更轻量级&#…

[SQL挖掘机] - 子查询介绍

介绍: 子查询(Subquery),也被称为嵌套查询或内部查询,是指在一个查询语句中嵌套使用的查询。它是将一个查询语句作为另一个查询语句的一部分来构建更复杂的查询逻辑。 子查询通常出现在主查询的条件、选择列表或 FROM 子句中&am…

opencv 之 外接多边形(矩形、圆、三角形、椭圆、多边形)使用详解

opencv 之 外接多边形(矩形、圆、三角形、椭圆、多边形)使用详解 本文主要讲述opencv中的外接多边形的使用: 多边形近似外接矩形、最小外接矩形最小外接圆外接三角形椭圆拟合凸包 将重点讲述最小外接矩形的使用 1. API介绍 #多边形近似 v…

Redisson实现简单消息队列:优雅解决缓存清理冲突

在项目中,缓存是提高应用性能和响应速度的关键手段之一。然而,当多个模块在短时间内发布工单并且需要清理同一个接口的缓存时,容易引发缓存清理冲突,导致缓存失效的问题。为了解决这一难题,我们采用Redisson的消息队列…