線傳感器網絡中的nesC嵌入式編程語言

引 言

無線傳感器網絡是目前國內外研究的熱點之一，它是由大量廉價的傳感器節點組成，通過有線／無線通信方式自組織形成的網絡系統，相互協作地感知周圍的數據。由于無線傳感器節點是一種典型的資源受限的嵌入式系統，需要一個微型的操作系統來組織和管理硬件，實現應用軟件的功能。TinyOS是美國加州大學伯克利分校針對無線傳感器網絡而設計的一個基于事件驅動的微型操作系統，最初是用匯編和C語言實現的。由于C語言不能有效、方便地滿足面向傳感器網絡的應用開發，其目標代碼比較長，經進一步研究設計出了支持組件化的新型編程語言——nesC。其最大的特點是，將組件化／模塊化思想和基于事件驅動的執行模型相結合。現TinyOS操作系統和基于TinyOS的應用程序都是用nesC語言編寫的，大大提高了應用開發的方便性和應用執行的可靠性。本文以WSN為背景，通過一個基于TinyOS的燈閃爍實例——Blink，詳細介紹nesC語言的結構以及用該語言如何實現組件化／模塊化的應用程序，為深入研究TinyOS的應用開發提供一種實現方法。

1 nosC語言結構

nesC是C語言的擴展，精通C語言的程序員掌握這種語言相對比較快。與C語言的存儲格式不同，用nesC語言編寫的文件是以“．nc”為后綴。每個nc文件實現一個組件功能(組件化／模塊化)。在nesC程序中，主要定義兩種功能不同的組件——模塊(module)和配件(configuration)。

模塊主要用于描述組件的接口函數功能以及具體的實現過程，每個模塊的具體執行都由4個相關部分組成：命令函數、事件函數、數據幀和一組執行線程。其中，命令函數是可直接執行，也可調用底層模塊的命令，但必須有返回值，來表示命令是否完成。返回值有3種可能：成功(見BlinkM．nc代碼部分)、失敗、分步執行。事件函數是由硬件事件觸發執行的，底層模塊的事件函數跟硬件中斷直接關聯，包括外部事件、時鐘事件、計數器事件。一個事件函數將事件信息放置在自己的數據幀中，后通過產生線程、觸發上層模塊的事件函數、調用底層模塊的命令函數等方式進行相應處理，因此節點的硬件事件會觸發兩條可能的執行方向——模塊間向上的事件函數調用和模塊間向下的命令函數調用。

配件主要是描述組件不同接口的關系，完成各個組件接口之間的相互連接和調用。相關執行部分主要包含提供給其他組件的接口和配件要使用的接口的組件接口列表和如何將各個組件接口連接在一起的執行連接列表。

模塊和配件的定義格式如下：

在模塊中，關鍵字“implementation”必須包含實現模塊提供和使用接口聲明的全部命令和事件。在配件中，關鍵字“implementation”定義執行部分，連接用“->”、“=”、“-”等符號表示，“->”表示位于左邊的組件接口要調用位于右邊的組件接口。

不管是模塊還是配件，每個組件都包含了定義和實現兩部分。被提供者和被使用者都是通過調用接口來實現各個接口的通信和函數的功能，不同的模塊也可以實現相同的接口。接口可以是命令和事件，也可以是單獨定義的一組命令。在應用程序中存在多個配置文件，并且配件之間存在一個層次關系，最上面的為頂層配件文件(每個應用程序必須有一個頂層配件)，定義了Main組件接口與其他組件接口的連接方式以及各個接口間的調用關系。具體框架圖可參見文獻[6]中的關于nesC的一般結構。

2 nesC應用程序的分析

每一個nesC應用程序都是由一個或多個組件通過接口鏈接起來，并通過ncc／gcc編譯生成一個完整的可執行程序。下面以TinyOS軟件中的Blink應用程序為例，具體介紹nesC應用程序結構。