TinyOS编程思想和Nesc基础语法
TinyOS操作系统由nesc语言写成,从程序员角度看,它的基本作用就是提供了一组API接口以及一些编程规则。
具体来说,基于nesc语言的TinyOS编程行为具有以下特点:
a.兼容C语言:使用nesc进行TinyOS编程时可以使用C语言中几乎所有的结构体、函数语法。事实上,nesc仅仅是在较高的层次上增加了一些新的数据结构(即接口和组件)和并发执行模型。
b.组件式编程:组件类似于面向对象语言的类对象,可以提供或使用接口,并且有自己的内部实现,程序员使用代码确定组件之间的连接关系。与C++或JAVA不同的是,组件对象的实例化是在编译时运行的。
c.任务式编程:TinyOS提供一个简单的延期任务机制,即用task关键字修饰的任务函数使用post关键字投递后,可以被TinyOS的任务调度程序调度执行。任务可以使组件在“后台”运行,而不是立即运行。
d.分阶段作业编程:当编写一个需要长时间运行的作业代码时,将其分为两个阶段,即调用和完成调用。例如一个读传感器工作,可以写成两个函数,read和readDone函数,当read函数读完时,在函数内部通过任务给调用者激发一个readDone事件。
e.事件驱动编程:事件机制导致代码的执行路径是不可预知的,不同的事件执行不同的代码片段。TinyOS有两种事件:硬件中断事件和程序事件(由程序本身使用signal关键字来激发的事件)
f.并发执行模型:nesC将代码区分为同步代码和异步代码。其中同步代码仅由任务来执行;异步代码可被任务和中断处理程序执行,nesC编译器检查并确保这个规则被执行。
TinyOS的源码目录
TinyOS开发流程:
(1)确定硬件资源
(2)应用需求分析
(3)应用程序组件和接口设计
(4)按组件编写程序代码以及makefile文件
(5)编译、下载、调试程序
一个简单的Blink程序:
在我们C语言入门的时候,第一个拿出来讲的例子是HELLOWORLD,单片机,FPGA编程的时候,第一个拿出来讲的例子是流水灯。
这里基于nesc的TinyOS的编程我们来讲最简单的Blink程序,也就是点灯程序。
首先我们来看Blink程序目录下的文件:
目录下一共有三个文件:BlinkAppC.nc:这是配件组件,BlinkC.nc:这是模块组件,Makefile:这是编译规则
根据TinyOS组件编程规则,一个应用程序有且只有一个顶层配置组件,用于配置程序中的组件之间的接口连接关系,模块组件可以有多个。
接下来我们分别看一看三个文件的源码:
配件的源码我们可以看到分为两个部分,一个是configuration的声明区,一个是配件的implementation的实现区。配件一般用configuration来声明。
声明区声明要使用的接口和提供的接口。实现区我们也可以分为两部分:一部分是组件的声明,另外一部分是组件的连接关系。
模块的源码也是分为两个部分,一部分是声明区,一部分是实现区。声明区声明使用的接口和提供的接口。实现区是业务实现代码。Boot接口的booted函数是入口函数,相当于C语言的main函数。
上述代码是一种固定写法,每一个TinyOS的应用程序的Makefile文件至少包含这两行代码,其中:COMPONENT变量用于指定顶层配置组件的名字。include语句用于包含环境白能量MAKERULES,它指向TinyOS的默认Makefiles文件。
nesC程序结构
程序文件组成主要是一下几个部分:
一个完整的nesC程序是由多个组件组成的,组件是nesC程序的可运行模块。
接口:(类似C语言的.h文件 只有声明没有实现)
接口提供给组件来使用,并且必须由某个组件来实现才有意义。nesC接口的规定:
a.接口由一个或多个命令函数(command)和事件函数(event)组成,可以只有命令函数或事件函数。
b.接口可以被多个组件来实现(由配件来指定具体使用哪个实现)
c.实现接口的组件,必须实现接口中所有的命令函数。
d.使用接口的组件,必须实现接口中的所用事件函数。
接口定义语法:
1 interface 接口名 2 { 3 command 函数声明 4 event 函数声明 5 }
组件:
共分为两类,模块和配件。
模块module是nesC程序的逻辑功能实体,通过提供接口或使用接口以实现某个确切的业务算法。一般以应用名称+C命名
配件configuration负责把其他组件给装配起来,把组件“使用的接口”绑定到“提供该接口”的组件上去。一般以应用名称+AppC命名
通常说,模块是包含可执行代码的组件,配件是包含组件关系的组件。
配件
配件定义的语法:
1 configuration 配件名 2 { 3 //接口声明 4 use interface X; 5 provide interface A; 6 } 7 implementation 8 { 9 //组件声明语句 10 components 组件A; 11 //组件连接语句 12 组件A.接口->组件B.接口//组件A的接口由组件B提供 13 }
模块:
模块定义的语法:
1 module 模块名 2 { 3 //接口声明 4 } 5 implementation 6 { 7 //变量定义 8 普通函数 9 { 10 } 11 task 任务函数 12 { 13 } 14 command 命令函数 15 { 16 } 17 event 事件函数 18 { 19 } 20 }
接口的声明语法
1 use interface X;//使用什么接口 2 provide interface A;//提供什么接口
模块的实现implementation包括两部分代码:变量定义,入口函数和其它函数。
变量定义:
本模块功能算法所用的变量,变量只在模块内有效,模块变量是静态变量。
入口函数:
nesC程序的入口需要在模块中使用系统提供的Boot接口,然后在程序中实现该接口的booted函数,此函数就是nesC程序的入口。
语法:
1 event void Boot.booted() 2 { 3 }
其他函数:
任务函数:由操作系统调度执行的函数。加关键字task。
命令函数:模块“提供的接口”所规定的所有命令函数 加关键字command,call命令触发。
事件函数:模块“使用的接口”所规定的所有事件函数 加关键字event,signal触发。