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触发。

 

posted @ 2017-10-27 09:36  wangzihao  阅读(5545)  评论(0编辑  收藏  举报