物联网作业概述.doc

Nesc概况 简介 1 结构和内容的分离: 程序由组件构成, 它们装配在一起 ( 配线 ) 构成完整程序. 组件定义两类域, 一类用于它们的描述 ( 包含它们的接口请求名称) ，另一类用于它们的补充。组件内部存在作业形式的协作。 控制线程可以通过它的接口进入一个组件。这些线程产生于一件作业或 HYPERLINK /view/486976.htm \t /_blank 硬件中断。 2 根据接口的设置说明组件功能。 接口可以由组件提供或使用。被提供的接口表现它为使用者提供的功能，被使用的接口表现使用者完成它的作业所需要的功能。 3 接口有双向性: 它们叙述一组接口供给者 ( HYPERLINK /view/178461.htm \t /_blank 指令)提供的函数和一组被接口的使用者(事件)实现的函数。这允许一个单一的接口能够表现组件之间复杂的交互作用 (举例来说.,当某一事件在一个回调之前发生时，对一些事件的兴趣登记)。 这是危险的，因为 TinyOS 中所有的长指令 (举例来说. 发送包)是非中断的; 他们的完成由一个事件( 发送完成)标志。 通过叙述接口，一个组件不能调用发送 HYPERLINK /view/178461.htm \t /_blank 指令除非它提供 sendDone 事件的实现。通常指令向下调用，比如， 从应用组件到那些比较靠近硬件的调用,而事件则向上调用。特定的原始事件与 HYPERLINK /view/486976.htm \t /_blank 1 结构和内容的分离: 程序由组件构成, 它们装配在一起 ( 配线 ) 构成完整程序. 组件定义两类域, 一类用于它们的描述 ( 包含它们的接口请求名称) ，另一类用于它们的补充。组件内部存在作业形式的协作。 控制线程可以通过它的接口进入一个组件。这些线程产生于一件作业或 HYPERLINK /view/486976.htm \t /_blank 硬件中断。 2 根据接口的设置说明组件功能。 接口可以由组件提供或使用。被提供的接口表现它为使用者提供的功能，被使用的接口表现使用者完成它的作业所需要的功能。 3 接口有双向性: 它们叙述一组接口供给者 ( HYPERLINK /view/178461.htm \t /_blank 指令)提供的函数和一组被接口的使用者(事件)实现的函数。这允许一个单一的接口能够表现组件之间复杂的交互作用 (举例来说.,当某一事件在一个回调之前发生时，对一些事件的兴趣登记)。 这是危险的，因为 TinyOS 中所有的长指令 (举例来说. 发送包)是非中断的; 他们的完成由一个事件( 发送完成)标志。 通过叙述接口，一个组件不能调用发送 HYPERLINK /view/178461.htm \t /_blank 指令除非它提供 sendDone 事件的实现。通常指令向下调用，比如， 从应用组件到那些比较靠近硬件的调用,而事件则向上调用。特定的原始事件与 HYPERLINK /view/486976.htm \t /_blank 硬件中断是关联的 (这种关联是由系统决定的,因此在本参考手册中不作进一步描述)。 4 组件通过接口彼此静态地相连。 这增加运行时效率,支持 rubust 设计, 而且允许更好的 HYPERLINK /view/1549698.htm \t /_blank 程序静态分析。 5 nesC基于由 HYPERLINK /view/487018.htm \t /_blank 编译器生成完整程序代码的需求设计。这考虑到较好的代码重用和分析。这方面的一例子是 nesC 的编译-时间数据竞争监视器。 6 nesC 的协作模型基于一旦开始直至完成作业 , 并且 HYPERLINK /view/600195.htm \t /_blank 中断源可以彼此打断作业. nesC 编译器标记由中断源引起的潜在的数据竞争。 中断是关联的 (这种关联是由系统决定的,因此在本参考手册中不作进一步描述)。 4 组件通过接口彼此静态地相连。 这增加运行时效率,支持 rubust 设计, 而且允许更好的 HYPERLINK /view/1549698.htm \t /_blank 程序静态分析。 5 nesC基于由 HYPERLINK /view/487018.htm \t /_blank 编译器生成完整程序代码的需求设计。这考虑到较好的代码重用和分析。这方面的一例子是 nesC 的编译-时间数据竞争监视器。 6 nesC 的协作模型基于一旦开始直至完成作业 , 并且 HYPERLINK /view/600195.htm \t /_blank 中断源可以彼此打断