the tinyos of tomorrow
Download
Skip this Video
Download Presentation
The TinyOS of Tomorrow

Loading in 2 Seconds...

play fullscreen
1 / 10

The TinyOS of Tomorrow - PowerPoint PPT Presentation


  • 97 Views
  • Uploaded on

The TinyOS of Tomorrow. Phil Levis NEST Retreat, Jan. 2003. TinyOS Progress. Data link layer Language support (nesC) Concurrency model formalization Data race detection Low-power mechanisms Network layer. What’s to Come. Abstract components vs. parameterized interfaces

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' The TinyOS of Tomorrow' - etana


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
the tinyos of tomorrow

The TinyOS of Tomorrow

Phil Levis

NEST Retreat, Jan. 2003

tinyos progress
TinyOS Progress
  • Data link layer
  • Language support (nesC)
  • Concurrency model formalization
  • Data race detection
  • Low-power mechanisms
  • Network layer
what s to come
What’s to Come
  • Abstract components vs. parameterized interfaces
  • Incorporating concurrency model
  • Further static analysis
    • Maximum stack depth
    • Model checking
abstract vs parameterized
Abstract vs. Parameterized
  • Abstract components
    • State replication
    • Complication: shared state
    • One-of-many
  • Parameterized interfaces
    • Compile-time binding
incorporating concurrency
Incorporating Concurrency
  • Synchronous (task)
  • Asynchronous (interrupt)
  • Translating between the two
  • Timer: Synchronous -> Asynchronous
  • Tasks: Asynchronous -> Synchronous
post considered harmful
Post Considered Harmful
  • Deprecated by concurrency qualifiers
  • Abstract components (linkage analysis)
  • Task queue length
  • Scheduler component

interface TaskBasic {

acommand result_t post();

event void run();

}

uses TaskBasic as SendTask;

abstract tasks
Abstract Tasks

abstract component SchedulerBasic() {

provides TaskBasic;

}

TaskEntry taskQueue[_INSTANCES_];

components SchedulerBasic();

TinyDB.SendTask -> SchedulerBasic;

parameterized tasks
Parameterized Tasks

interface TaskPriority { acommand result_uncombined_t post();

event void run();

}

component SchedulerPriority {

provides TaskPriority[uint8_t priority];

}

static analysis
Static Analysis
  • Stack depth (full program analysis)
  • Model checking (Engler et al., SOSP)
    • Implicit state transitions (MHSR)
    • Read-modify-write races (cross-component)
the mantra
The Mantra
  • HURRY UP PLEASE ITS TIME
  • SOSP 2003
ad