NESC手册.doc

nesc 1.1 语言参考手册 david gay, philip levis, david culler, eric brewer 20035 1 简介 nesc 是对 c 的扩展 2 ，它基于体现 tinyos 的结构化概念和执行模型而设计 1 。 tinyos 是为传感器网络节点而设计的一个事件驱动的操作系统，传感器网络节点拥有非常有限的资源 ( 举例来说., 8k 字节的程序储存器,512个字节的随机存取储存器) 。tinyos 用 nesc 重新编写。本手册描述 nesc 的 1.1 版本, 在第 3 段中概述了它与1.0版的不同。 nesc 基本概念如下： l 结构和内容的分离: 程序有组件构成, 它们装配在一起 ( 配线 ) 构成完整程序. 组件定义两类域, 一类用于它们的描述 ( 包含它们的接口请求名称) ，另一类用于它们的补充。组件内部存在作业形式的协作。 控制线程可以通过它的接口进入一个组件。这些线程产生于一件作业或硬件中断。 l 根据接口的设置说明组件功能。 接口可以由组件提供或使用。被提供的接口表现它为使用者提供的功能，被使用的接口表现使用者完成它的作业所需要的功能。 l 接口有双向性: 它们叙述一组接口供给者 (指令)提供的函数和一组被接口的使用者(事件)实现的函数。这允许一个单一的接口能够表现组件之间复杂的交互作用 (举例来说.,当某一事件在一个回调之前发生时，对一些事件的兴趣登记)。 这是危险的，因为 tinyos 中所有的长指令 (举例来说. 发送包)是非中断的; 他们的完成由一个事件( 发送完成)标志。 通过叙述接口，一个组件不能调用发送指令除非它提供 senddone 事件的实现。通常指令向下调用，比如， 从应用组件到那些比较靠近硬件的调用,而事件则向上调用。特定的原始事件与硬件中断是关联的 (这种关联是由系统决定的,因此在本参考手册中不作进一步描述)。 l 组件通过接口彼此静态地相连。 这增加运行时效率,支持 rubust 设计, 而且允许更好的程序静态分析。 l nesc基于由编译器生成完整程序代码的需求设计。这考虑到较好的代码重用和分析。这方面的一例子是 nesc 的编译-时间数据竞争监视器。 l nesc 的协作模型基于一旦开始直至完成作业 , 并且中断远源可以彼此打断作业. nesc 编译器标记由中断源引起的潜在的数据竞争。 本文是 nesc 的一本参考手册并非个别指导。tinyos tutorial1给出了对 nesc 的更亲切的介绍. 本文的其余部分构成如下： 第 2 节给出了本参考手册中使用的记号。. 第 3 节概述 nesc 1.1 的新特征。 第 4,5 节,6, 和 7介绍 nesc 接口和组件. 第 8 节给出 nesc的协作模型和数据竞争监视. 第 9 节解释 c文件, nesc 接口和组件是怎样被装配成一个应用. 第 10 节包含 nesc 的保留的各种特征. 最后,附录a完全定义 nesc 的文法 (来自kernighan and ritchie (k&r) 2, pp234239附录a的对 c 文法述说的扩展),而附录 b 是本参考手册中所使用术语的专业词汇词典。 2 符号 打字机字体作为 nesc 代码和文件名,带任意下标的单个斜体字符用于表示 nesc 实体,举例来说., 组件 k 或 数值 v。nesc文法是ansi c 文法的扩展. 我们选择来自 kernighan and ritchie (k&r) 的附录a的 ansi c 文法2, pp234 239作为我们介绍的基础。在这里我们将不重复ansi c文法。. 斜体字是非终端机和非文字的终端机，打字机字体和符号是文字的终端机。 下标 opt 表示可选择的终端机或非终端机。在一些情形中，我们改变一些 ansi c 文法规则. 我们用下面的方式表示：also 为现存的非终端机指出新增的内容,replaced by表示替换一现有的非终点的.nesc 的结构解释给出对应的文法片段。在这些片段中，我们有时使用 . . . 表现省略( 与当前不相关的解释). 附录a给出完整的 nesc 文法.一些例子使用来自 c99 标准 inttypes.h 文件的 uint8 t 和 uint16 t 类型. 3 变化 nesc 1.0版本同1.1版本的变化如下： 1. 原子的陈述. 这些单一化协同数据结构的实现,能够被新的编译- 时间数据竞争监视器识别。 2. 编译- 时间数据竞争监视为可能的协同的二个中断操作者 , 或一个中断操作者和一件作业同时存取变量提出警告 3. 指令和事件必须明确地标出存储类型说明才能安全地被中断操作者执行。 4. 对指令或扇出事件的调用返回结果自动地被新的类型- 特性的组合器执行联合。 5. uniquecount 是一个新的 常数功能 ， 具有独特的作用. 6. nesc 预处理程序符号指出语言版本. 对于 nesc 1.1版本它是 110 。 4 接口 nesc 的接口有双向性: 它们描述一个多功能的两组件（供给者和使用者）之间的交互渠道.。 接口叙述一组叫做指令的, 被接口的供给者实现的，被命名的功能和一组叫做事件的, 被接口的使用者实现.的，被命名的功能。 本节解释接口如何被指定, 第 5 节解释组件如何描述它们提供和使用的接口, 第 6 节解释在 c代码中指令和事件如何被调用和实现，而第 7 节解释组件接口如何被一起联编. 接口被接口类型指定,如下： nesc-file: includes-listopt interface . . . interface: interface identifier declaration-list storage-class-specifier: also one of command event async 这声明接口类型标识符. 这一标识符有全局的作用范围并且属于分开的命名空间,组件和接口类型命名空间。 如此所有接口类型都有清楚的名字以区别于其它接口和所有组件, 同时能不和一般的 c的声明发生任何冲突。 声明列表中，每个接口类型都有一个分开的声明范围。声明列表必须由有指令或事件存储类型的功能描述组成( 否则, 会发生编译-时间错误). 可选的 async 关键字指出指令或事件能在一个中断处理者中被运行。 通过包含列表，一个接口能可选择地包括 c 文件 (见第9节)。 一个简单的接口如下: interface sendmsg command result_t send(uint16_t address, uint8_t length, tos_msgptr msg); event result_t senddone(tos_msgptr msg, result_t success); sendmsg 接口类型提供者必须实现发送指令, 而使用者必须实现 senddone 事件. 5 组件说明 一个 nesc 组件或是一个模块 (第 6 节) 或一个结构 (第 7 节): nesc-file: includes-listopt module includes-listopt configuration . . . module: module identifier specification module-implementation configuration: configuration identifier specification configuration-implementation 组件的名字由标识符指定. 这一标识符有全局的作用范围并且属于组件和接口类型命名空间. 一个组件介入两个分组件的作用域:：一个规格作用域,属于 c 中全局的作用域，和一个实现作用域属于规格作用域。 通过包含列表，一个组件能可选择地包括 c 文件 (见第9节). 组件规格列出该组件提供或使用的规格元素 (接口请求，指令或事件)。 就如我们在第 4 节中见到的,一个组件必须实现它提供接口的指令和它的使用的接口事件。另外，它必须实现它提供的指令和事件。 典型地，指令向下调用硬件组件，而事件向上调用应用组件 (这表现为nesc应用如一个应用组件处于顶端的组件曲线图)。 一个控制线程只有通过它的规格元素越过组件。 每种规格元素有一个名字 (接口实例名,命令名或事件名).这些名字属于总组件-规格作用域的变量命名空间。 specification: uses-provides-list uses-provides-list: uses-provides uses-provides-list uses-provides uses-provides: uses specification-element-list provides specification-element-list specification-element-list: specification-element specification-elements specification-elements: specification-element specification-elements specification-element 一个组件说明中可以有多个使用和提供指令。多个使用和提供规格元素可以通过包含在 and中而组合在一个指令中。举例来说，下面两个说明是一样的： module a1 module a1 uses interface x; uses uses interface y; interface x; . interface y; . 一个接口实例描述如下： specification-element: interface renamed-identifier parametersopt . . . renamed-identifier: identifier identifier as identifier interface-parameters: parameter-type-list 接口实例声明的完整语法是 interface x as y,明确地指明y作为接口的名字。interface x是interface x as x.的一个速记. 如果接口-叁数被省略, 那么interface x as y声明一个简单的接口实例,对应这一组件的一个单一接口。 如果接口-叁数是给出的 (举例来说., interface sendmsg suint8 t id) ，那么就是一个参量接口实例声明，对应这一组件的多个接口, 每个接口对应不同参数值(因此interface sendmsg suint8 t id声明sendmsg类型的 256个接口). 叁数的类型必须是完整的类型 (这里enums 是不允许的).指令或事件能通过包括一个声明了指令或事件及存储类型的标准的 c函数而作为规格元素直接地被包含： specification-element: declaration . . . storage-class-specifier: also one of command event async 如果该声明不是带有指令或事件存储类型的函数声明就会产生一编译- 时间错误。在接口中， 文法指出指令或事件能被一中断操纵者运行。 作为接口实例, 如果没有指定接口叁数，指令 (事件)就是简单的指令 (简单的事件),如果接口叁数是指定的，就是参数化指令 (参数事件)。接口叁数被放置在一般的函数叁数列表之前,举例来说., command void senduint8 t id(int x): direct-declarator: also direct-declarator interface-parameters ( parameter-type-list ) . . . 注意接口叁数只在组件说明里面指令或事件上被允许, 而不允许在接口类型里面. 这儿有一个完整的规格例子： configuration genericcomm provides interface stdcontrol as control; / 该接口以当前消息序号作参数 interface sendmsguint8_t id; interface receivemsguint8_t id; uses /发送完成之后为组件作标记 /重试失败的发送 event result_t senddone(); . 在这个例子中,一般： l 提供简单的接口实例类型 stdcontrol 的控制. l 提供接口类型 sendmsg 和 receivemsg 的参数实例; 参数实例分别地叫做 sendmsg 和 receivemsg. l 使用事件 senddone. 我们说，在组件 k 的规格中提供的一个指令 (事件) f 是k的提供指令(事件) f; 同样地，一个被用于组件 k 的规格的指令 (事件) 是k 的使用指令 (事件) f。 组件k的提供接口实例x的指令f是k的提供指令x.f；组件k的使用接口实例x的指令f是k的使用指令x.f 。k的提供接口实例x中的事件f是k的使用事件x.f; k的使用接口实例x中的事件f是k的提供事件x.f ( 注意事件的使用和提供根据接口双向属性的颠倒)。 当使用/提供区别关系不大时，我们常常只简单的提到 k的指令或事件a。k的指令或事件a可能是参数化的或简单的, 取决于其通信的规格元素的参数化或简单状态. 6 模块 模块用c代码实现组件说明： module-implementation: implementation translation-unit 这里编译基本单位是一连串的 c 声明和定义 ( 见k& r2 ， pp234 239)。 模块编译基本单位的顶层声明属于模块的组件说明域。这些声明的范围是模糊的而且可以是: 任意的标准 c声明或定义，一种作业声明或定义,指令或事件实现. 6.1 实现模块的说明 编译基本单位必须实现模块的所有的提供指令 (事件)a (例如., 所有的直接提供指令和事件, 以及提供接口的所有指令和使用接口的所有事件). 一个模块能调用它的任一指令和它的任一事件的信号. 这些指令和事件的实现由如下的 c 语法扩展指定： storage-class-specifier: also one of command event async declaration-specifiers: also default declaration-specifiers direct-declarator: also identifier . identifier direct-declarator interface-parameters ( parameter-type-list ) 简单指令或事件a由带有存储类型指令或事件的c 函数定义的语法实现 (注意允许在函数名中直接定义的扩展)。另外，语法关键字必须被包含如果它被包含在a的声明中。举例来说,在sendmsg类型的提供接口send的模块中： command result_t send.send(uint16_t address, uint8_t length, tos_msgptr msg) . return success; 带有接口参数p的参数指令或事件a，由带有存储类型指令或事件的函数定义的c文法实现，这时，函数的普通参数列表要以p作为前缀，并带上方括号 ( 这与组件说明中声明参数化指令或事件是相同的文法)。这些接口叁数声明p 属于a的函数叁数作用域而且和普通的函数参数有相同的作用域。举例来说,在sendmsg类型提供接口senduint8 tid的模块中： command result_t send.senduint8_t id(uint16_t address, uint8_t length, tos_msgptr msg) . return success; 以下情况将报告编译- 时间错误： l 提供指令或事件没有实现。 l 类型标志，可选择的接口叁数和指令或事件语法关键字的存在或缺失，或与模块说明不匹配 6.2 调用命令和事件信号 对 c 语法的下列扩展用于调用事件和向指令发出信号: postfix-expression: postfix-expression argument-expression-list call-kindopt primary ( argument-expression-listopt ) . . . call-kind: one of call signal post 一个简单的指令a使用call _(.)调用, 一件简单的事件使用signal a(.)发送讯号。举例来说,在一个模块中使用sendmsg类型接口send：call send.send(1,sizeof(message), &msg1)。 一个参数指令a(个别地,一件事件)有 n个接口叁数，类型为t1 , . . . , t n由接口参数表达式e1 , . . . ,en调用如下：call _e1, . . . , en(.) (个别地,signal _e1, . . . , en(.)。接口叁数表达式 ei 必须分配类型t i; 实际的接口叁数值是ei影射到t i. 举例来说, 在一个组件中使用类型 sendmsg 的接口senduint8 t id： int x = .; call send.sendx + 1(1, sizeof(message), &msg1); 指令和事件的执行是立即的,也就是，调用和发送信号行为和函数调用是同样地。实际的指令或事件是由调用还是信号表达运行取决于程序结构联系说明。 这些联系说明可能指定0,1 或更多的实现将被运行。当超过 1个实现被运行, 我们说模块的指令或事件为扇出。 一个模块能为一使用指令或事件a指定默认的调用或信号实现。提供指令或事件的默认实现会引起编译-时间错误。如果a未与任何指令或事件实现联系，默认的实现将被执行。默认的指令或事件由带有默认关键字的指令或事件实现前缀定义： declaration-specifiers: also default declaration-specifiers 举例来说, 在一个类型 sendmsg使用接口send的模块中： default command result_t send.send(uint16_t address, uint8_t length, tos_msgptr msg) return success; /* 允许调用即使接口发送未连接*/ . call send.send(1, sizeof(message), &msg1) . 第 7.4 节叙述实际上什么指令或事件实现被运行以及调用和信号表达返回什么结果. 6.3 作业 作业是一个独立的控制点，由一个返回空存储类型的无二义性地函数定义：task void mytask() . 。作业也能预先声明，举例来说., task void mytask()； 作业通过前缀post调用通知,举例来说., post mytask()。通知返回迅速；如果独立执行通知成功则返回1，否则返回0。通知表达式的类型是unsigned char。 storage-class-specifier: also one of task call-kind: also one of post nesc的协作模型,包括作业,在第8节中详细陈述。 6.4 原子的陈述 原子的陈述： atomic-stmt: atomic statement 确保陈述被运行 好像 没有其它的运算同时发生。它用于更新并发的数据结构的互斥变量,等等。 一简单的例子是： bool busy; /全局 void f() bool available; atomic available = !busy; busy = true; if (available) do_something; atomic busy = false; 原子的区段应该很短, 虽然这常常并不是必须的。控制只能 正常地 流入或流出原子的陈述: 任何的 goto, break或continue，跳转入或出一原子陈述都是错误的。返回陈述决不允许进入原子陈述。 第 8 节讨论原子和 nesc协作模型和数据竞争监视器之间的关系。 7 结构 结构通过连接，或配线，集合其他组件实现一个组件说明： configuration-implementation: implementation component-listopt connection-list 组件列表列出用来建立这一个结构的组件，连接列表指明各组件之间，以及与结构说明之间是怎样装配在一起的。在这一节的其余部分中，我们调用来自结构的外部的规格元素 , 和来自结构的内在的成份之一的规格元素。 7.1 包含组件 组件列表列出用来建立这一个结构的组件。在结构里面这些组件可随意的重命名，使用共同外形规格元素，或简单的改变组件结构从而避免名称冲突。(以避免必须改变配线)为组件选择的名字属于成份的实现域。 component-list: components component-list components components: components component-line ; component-line: renamed-identifier component-line , renamed-identifier renamed-identifier: identifier identifier as identifier 如果二个组件使用as给出相同的名字，则会发生编译时间错误(举例来说., components x, y as x)。 只有一个个别的例子：如果组件 k 被用于二不同的结构 ( 或甚至两次用于相同的结构里面)， 在程序中仍然只有 k(及它的变量) 的唯一实例。 7.2 配线 配线用于连接规格元素 (接口，指令,事件)。本节和下一节(第 7.3 节) 定义配线的语法和编译-时间规则。第 7.4 节详细说明程序配线声明是如何指出在每个调用和信号表达中哪个函数被调用。 connection-list: connection connection-list connection connection: endpoint = endpoint endpoint - endpoint endpoint endpoint2:( 联编配线) 一个连接包括二种内在的规格元素。.联编配线总是连结一由endpoint1指定的使用规格元素到一endpoint2指定的提供规格元素。如果这两个条件不能满足, 就会发生编译-时间错误.。 l endpoint1 endpoint1是等价的。 在配线的所有三种类型中，两被指定的规格元素必须是一致的,就是说., 它们必须都是指令,或都是事件, 或都是接口实例. 同时, 如果它们是指令(或事件),则它们必须有相同的函数名 如果他们是接口实例，它们必须有相同的接口类型。他们一定是有相同的接口类型的. 如果这些条件不能满足, 就会发生编译-时间错误.。 如果一个端点是参数化的,则另一个必须也是而且必须有相同的叁数类型;否则就会发生编译-时间错误.。 相同的规格元素可以被多次连接,举例来说.,: configuration c provides interface x; implementation components c1, c2; x = c1.x; x = c2.x; 在这个例子中，当接口x中的命令被调用时，多次的配线将会导致接口x的事件的多重信号 (扇入)，以及多个函数的执行(扇-出)。注意，当二个结构独立地联结相同接口的时候，多重配线也能发生,举例来说.: configuration c configuration d implementation implementation components c1, c2; components c3, c2; c1.y - c2.y; c3.y - c2.y; 所有的外部规格元素必须配线，否则发生编译-时间错误. 可是,内部的规格元素可以不连接 (它们可能在另外一个结构中配线,或者如果模块有适当的默认事件或指令实现，他们可以不配线). 7.3 隐含连接 隐含连接可以写成k1 - k2.x 或k1.x 是等价的). 该用法通过规格元素k1 (不妨k2)来引用规格元素 y，因此k1.y - k2.x (不妨 k1.x m.p; h2 = m.h; 图 1: 简单的配线例子 components m1, m2; m2.sc - m1; m2.sc - m1 这一行与m2.sc - m1.stdcontrol. 是等价的。 7.4 配线语义 我们首先撇开参数化接口讨论配线语义. 7.4.1 节将讨论参数化接口。最后，第 7.4.2 节叙述整体上而言，程序配线声明上的要求。我们将会用到图1中的简单程序作为我们运行的例子。 我们根据中间函数定义配线的意义。每个组件的每个指令或事件都有中间函数. 举例来说,在图 1 中,模块m 有中间函数 im.p.f ， im.p.g ， im.u.f ， im.u.g ， im.h. 在例子中，我们以其组件，任意接口实例名，及函数名为基础命名中间函数。中间函数不是使用就是提供。每个中间函数接受与组件说明中相应指令或事件相同的自变量。中间函数体i是调用（执行系列）其它中间函数的列表。i 通过程序配线说明连接到其它中间函数 。i接受的自变量不变的经过被调用的中间函数.i 返回结果列表,(列表元素类型是相应指令或事件返回给i的结果类型)，列表通过连接调用中间函数返回结果构成。返回空值的中间函数适合不相 连接的指令或事件；返回两个或以上值的中间函数适合“扇出”。 - nesc允许在没有直接中间函数的情况下编译，所以本节中描述的行为没有运行开销，实际的函数调用需要参数化的指令或事件。 - 中间函数和结构 一个结构的配线说明指定中间函数体。我们首先扩展配线说明到中间函数而不限于规格元素，并取消配线说明中= 和-的区别。我们用 i1 i2 表示中间函数i1 和i2之间的连结。举例来说，图 1中的结构c 叙述了下列中间函数连接: ic.x.f im.p.f im.u.f im.p.f ic.h2im.h ic.x.g im.p.g im.u.gim.p.g 在结构 c 的连接i1 i2中，二个中间函数之一是被调用的，另一个是调用者。如果下列任一条件成立(我们使用内部或外部的用辞作规格说明并不妨碍结构 c包含连接)，则i1(同样地,i2)是被调用的： l 如果 i1 符合一件被提供指令或事件的内部规格元素. l 如果 i1 符合一件被使用指令或事件的外部规格元素. l 如果 i1 符合一个接口实例x 的指令，而x是内部的且被提供或外部的且被使用的规格元素. l 如果 i1 符合一个接口实例x 的事件，而x是外部的且被提供或内部的且被使用的规格元素. 如果这些情况没有一个成立,则i1 调用者。7.2 节的配线规则确保一个连接 i1i2 不会同时连接二个调用者或二个被调用者。图1的结构 c 中，ic.x.f ， ic.h2 ， im.p.g,im.u.f 是调用者而 ic.x.g ， im.p.f ， im.u.g,im.h 是被调用者。如此c的连接说明ic.x.f 调用im.p.f，im.p.g调用ic.x.g，等等。 中间函数和模块 模块中的c代码调用中间函数，或被中间函数调用。 模块m中提供指令或事件a的中间函数i 包含一个单独调用以运行m中的a。其结果是 一个单独的调用返回列表。表达式call a(e1, . . . , en)性质如下： l 自变量e1, . . . , en 被赋值为v1, . . . , vn.。 l a对应的中间函数被以自变量v1, . . . , vn调用，返回结果列表l. l 如果 l=(w)( 一个独立列表),调用的返回结果就是 w. 如果 l=(w1,w2, . . . ,wm) (二或更多的元素),调用的结果仰赖于a的返回类型t。如果t=void,则结果是void。否则，t 一定有一联合函数c( 第 10.3节演示联合函数是如何联合类型的),否则发生编译-时间错误。联合函数接受类型t 的两个值并且返回一个类型t的结果。该调用的结果是c(w1, c(w2, . . . , c(wm1,wm) ( 注意l中元素次序是任意的). list of int im.p.f() list of void im.p.g(int x) return list(m.p.f(); list of int r1 = ic.x.g(x); list of int r1 = im.u.g(x); return list concat(r1, r2); list of int im.u.f() list of void im.u.g(int x) return im.p.f(); return list(m.u.g(x); list of int ic.x.f() list of void ic.x.g(int x) return im.p.f(); return empty list; list of void ic.h2() list of void im.h() return im.h(); return list(m.h(); 图 2: 图1的中间函数 l 如果 l 为空则默认以v1, . . . , vn,为自变量调用执行a，并返回该调用结果。第 7.4.2 节表明如果l为空且a没有默认实现则会发生一编译- 时间错误。 信号表达式的规则是一样的。 中间函数举例 图 2使用类c的语法演示了图 1中组件产生的中间函数，其中list(x)产生一个包含x的独立列表，空列表是表示含0个元素的列表的常量，连接列表如锁链般连接两个列表。对m.p.f, m.u.g, m.h的调用,调用模块m中实现的指令和事件(未给出)。 7.4.1 配线和参数化函数 如果组件k的一条指令或事件a带有类型t1, . . . ,tn的接口叁数，则对每一数组(v1 : t1, . . . , vn : tn)存在一个中间函数ia,v1,.,vn 。 在模块中，如果中间函数iv1,.,vn符合参数化的提供指令（或事件）a，则iv1,.,vn中对a的实现的调用将传递v1, . . . , vn作为a的接口参数。 下面是对表达式call _e01, . . . , e0m(e1, . . . , en)讨论： l 自变量e1, . . . , en被赋值为 v1, . . . , vn。 l 自变量e01, . . . , e0m被赋值为v01 , . . . , v0m。 l v0i 对应ti 类型, 这里t i 是a的第i个接口叁数的类型。 l a对应的中间函数iv01 ,.,v0m被以参数v1, . . . , vn,调用，返回列表l。 l 如果 l 有一个或更多的元素, 在非参数化的情形下产生调用结果 l 如果 l 为空，a的默认实现会被以自变量v1, . . . , vn,，以接口参数值v01 , . . . , v0m调用，且返回该调用的结果。7.4.2节表明如果l为空且a没有默认实现，则会产生编译-时间错误。 信号表达式的规则是一样的. 配线说明中的一个端点关系到一参数化规格元素时，有二种情形： l 端点指定叁数值 v1, . . . , vn。若端点符合指令或事件 a1, . . . ,am ，则相应的中间函数为ia1,v1,.,vn,. . . , iam,v1,.,vn且配线方式不变。 l 端点未指定叁数值. 在这情况下,配线说明的两个端点都对应相同接口参数类型t1, . . . ,tn.的参数化规格元素。 如果一个端点对应指令或事件 a1, . . . , am 而另一端点对应指令或事件 1, . . . , m,则对所有的1=i= m和所有的数组(w1 : t1, . . . ,wn : tn)有连接iai,w1,.,wn ii,w1,.,wn (就是说., 端点是为所有对应的叁数值连接的).。 7.4.2 应用级的需求 一个应用的配线说明必须满足两个需求, 否则就会发生编译时间错误： l 没有只包含中间函数的无限循环. l 在应用模块中的每个call a ( 或signal a)表达式中： 如果调用是非参数化的：如果调用返回空的结果列表，则a一定有默认实现 (结果列表中元素个数只仰赖于配线)。 如果调用是参数化的：如果a的接口叁数的任何替代值都返回空结果列表，则a必定有默认的实现 (给定参数值数组的返回结果列表中元素数目只仰赖于配线)。 注意这种情况不考虑用来在调用点叙述接口参数值的表达。 - 该调用的特色是包含在几个指令执行间的运行时选择这是中间函数唯一的一处运行时开销 - 8 nesc 的协作 nesc采用由一旦运行直至完成作业（代表性的实时运算）和硬件异步触发中断控制构成的运行模型。编译器依靠用户提供的事件句柄和原语特征来识别中断源 (见10.3节)。nesc调度程序能以任意次序运行作业,但是必须服从一旦运行直至完成规则 (标准的tinyos调度程序遵从fifo（先进先出）策略).因为作业不能独占且是一旦运行直至完成的,所以它们是原子的互不妨碍的，但能够被中断。 由于这种并行运行模型,在程序共享的状态下特殊数据竞争，导致nesc 程序状态是不稳定的。比如，它的全局和模块内变量 (nesc不含动态存储配置). 为避免竞争，要么只在作业内部访问共享状态，要么只在原子的声明内部访问。编译时，nesc 编译器会报告潜在的数据竞争。 形式上， nesc 程序代码分为二个部份： 同步码 (sc)：仅仅在作业内部可达的编码 (函数，指令，事件,作业) 异步码 (ac)：至少一个中断源可达的代码. 虽然非抢占消除作业之间的数据竞争, 但是在sc 和 ac，以及ac 和 ac 之间仍然有潜在的竞争。通常，任何从 ac可达的共享状态更新都是一个潜在的数据竞争. nesc 运行的基本常量是： 无竞争常量：任何共享状态更新要么仅同步码可达，要么仅发生在原子陈述内部. 只要所有对函数f 的调用是在原子陈述内部的，我们就认为对f 的调用是在原子陈述内部的。 这可能引入一种编译器不能够发现的竞争情况，但它一定是跨越多个原子陈述或作业的，并且是使用中间存储变量的。 nesc 可能报告实际上不会发生的数据竞争,举例来说., 如果所有的通路都被其他变量上的守卫保护。在这种情况下，为避免多于的消息，程序会用注释存储类型说明注释一个变量v，从而忽略所有关于v的数据竞争警告。注释关键字应谨慎使用。 对任何异步码的且没有声明异步的指令或事件，nesc 会报告编译- 时间错误。 这确保那些不安全的代码不会在中断时无意中被调用。 9 nesc 应用程序 一个 nesc应用