nesC

nesC (pronounced "NES-see") is a component-based, event-driven programming language used to build applications for the TinyOS platform. TinyOS is an operating environment designed to run on embedded devices used in distributed wireless sensor networks. nesC is built as an extension to the C programming language with components "wired" together to run applications on TinyOS. The name nesC is an abbreviation of "network embedded systems C".

This article is about the programming language. For the safety code, see National Electrical Safety Code.

Components and interfaces

nesC programs are built out of components, which are assembled ("wired") to form whole programs. Components have internal concurrency in the form of tasks. Threads of control may pass into a component through its interfaces. These threads are rooted either in a task or a hardware interrupt.

Interfaces may be provided or used by components. The provided interfaces are intended to represent the functionality that the component provides to its user, the used interfaces represent the functionality the component needs to perform its job.

In nesC, interfaces are bidirectional: They specify a set of functions to be implemented by the interface's provider (commands) and a set to be implemented by the interface's user (events). This allows a single interface to represent a complex interaction between components (e.g., registration of interest in some event, followed by a callback when that event happens). This is critical because all lengthy commands in TinyOS (e.g. send packet) are non-blocking; their completion is signaled through an event (send done). By specifying interfaces, a component cannot call the send command unless it provides an implementation of the sendDone event. Typically commands call downwards, i.e., from application components to those closer to the hardware, while events call upwards. Certain primitive events are bound to hardware interrupts.

Components are statically linked to each other via their interfaces. This increases runtime efficiency, encourages robust design, and allows for better static analysis of programs.

gollark: Perhaps. I suppose I may be assuming conscious stuff at work here when it might not be.
gollark: The orbital immutability strike replaces you with a killed version of yourself.
gollark: Wait, assigned? MUTABLE STATE. INITIATING ORBITAL IMMUTABILITY STRIKE.
gollark: > also I'm pretty sure it's a case of in-group/out-group-ismWhat is? I mean, our CS class didn't, presumably, have someone going "hmm yes you are of incorrect gender/ethnicity, no computer science for you" - people just *didn't sign up*.
gollark: Yes, I ignored it because I patternmatched it to "identity-politics-y complaining again".
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.