[Tinyos-2-commits] CVS: tinyos-2.x/apps/tutorials/BlinkFail BlinkFailAppC.nc, 1.1, 1.2 BlinkFailC.nc, 1.1, 1.2 README.txt, 1.1, 1.2

[John Regehr]

Update of /cvsroot/tinyos/tinyos-2.x/apps/tutorials/BlinkFail
In directory sc8-pr-cvs10.sourceforge.net:/tmp/cvs-serv25420

Modified Files:
	BlinkFailAppC.nc BlinkFailC.nc README.txt 
Log Message:
document this app a bit

Index: BlinkFailAppC.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-2.x/apps/tutorials/BlinkFail/BlinkFailAppC.nc,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** BlinkFailAppC.nc	3 Jul 2008 18:10:29 -0000	1.1
--- BlinkFailAppC.nc	3 Jul 2008 18:41:36 -0000	1.2
***************
*** 31,37 ****
  
  /**
!  * Blink is a basic application that toggles the a mote LED periodically.
!  * It does so by starting a Timer that fires every second. It uses the
!  * OSKI TimerMilli service to achieve this goal.
   *
   * @author tinyos-help at millennium.berkeley.edu
--- 31,37 ----
  
  /**
!  * BlinkFail is a basic application that toggles the a mote LED periodically and
!  * then accesses out of bounds storage as a demonstration and sanity check for
!  * Safe TinyOS.
   *
   * @author tinyos-help at millennium.berkeley.edu

Index: BlinkFailC.nc
===================================================================
RCS file: /cvsroot/tinyos/tinyos-2.x/apps/tutorials/BlinkFail/BlinkFailC.nc,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** BlinkFailC.nc	3 Jul 2008 18:10:29 -0000	1.1
--- BlinkFailC.nc	3 Jul 2008 18:41:36 -0000	1.2
***************
*** 31,36 ****
  
  /**
!  * Implementation for Blink application.  Toggle the red LED when a
!  * Timer fires.
   **/
  
--- 31,36 ----
  
  /**
!  * Implementation for BlinkFail application.  Toggle the LEDs when a
!  * Timer fires.  Access out of bounds storage after a few seconds.
   **/
  
***************
*** 67,70 ****
--- 67,71 ----
      dbg("BlinkFailC", "Timer 1 fired @ %s \n", sim_time_string());
      call Leds.led1Toggle();
+     // here we violate memory safety on the 11th signal of this event
      a[i++] = 1;
    }

Index: README.txt
===================================================================
RCS file: /cvsroot/tinyos/tinyos-2.x/apps/tutorials/BlinkFail/README.txt,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** README.txt	3 Jul 2008 18:10:29 -0000	1.1
--- README.txt	3 Jul 2008 18:41:36 -0000	1.2
***************
*** 4,15 ****
  Description:
  
  Blink is a simple application that blinks the 3 mote LEDs. It tests
  that the boot sequence and millisecond timers are working properly.
  The three LEDs blink at 1Hz, 2Hz, and 4Hz. Because each is driven by
! an independent timer, visual inspection can determine whether there are
! bugs in the timer system that are causing drift. Note that this 
  method is different than RadioCountToLeds, which fires a single timer
! at a steady rate and uses the bottom three bits of a counter to display
! on the LEDs.
  
  Tools:
--- 4,22 ----
  Description:
  
+ BlinkFail is based on Blink (described below).  It is designed to
+ violate memory safety after a few seconds and is used as a
+ demonstration and sanity check for Safe TinyOS.  For more information
+ about Safe TinyOS see here:
+ 
+   http://www.cs.utah.edu/~coop/safetinyos/
+ 
  Blink is a simple application that blinks the 3 mote LEDs. It tests
  that the boot sequence and millisecond timers are working properly.
  The three LEDs blink at 1Hz, 2Hz, and 4Hz. Because each is driven by
! an independent timer, visual inspection can determine whether there
! are bugs in the timer system that are causing drift. Note that this
  method is different than RadioCountToLeds, which fires a single timer
! at a steady rate and uses the bottom three bits of a counter to
! display on the LEDs.
  
  Tools: