[Tinyos-2-commits] CVS: tinyos-2.x/tools/tinyos/safe tos-ramsize, 1.3, 1.4 tos-ramsize.1, 1.1, 1.2

[John Regehr]

Update of /cvsroot/tinyos/tinyos-2.x/tools/tinyos/safe
In directory ddv4jf1.ch3.sourceforge.com:/tmp/cvs-serv12377

Modified Files:
	tos-ramsize tos-ramsize.1 
Log Message:
update docs, todos

Index: tos-ramsize
===================================================================
RCS file: /cvsroot/tinyos/tinyos-2.x/tools/tinyos/safe/tos-ramsize,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** tos-ramsize	11 Apr 2009 02:36:39 -0000	1.3
--- tos-ramsize	11 Apr 2009 20:51:04 -0000	1.4
***************
*** 27,47 ****
  
  # TODO: 
! #   tighten results by keeping track of atomic sections
! #   support overriding the default heuristic for detecting atomic vectors
! #   get rid of hard-coded non-terminating functions, just derive this
! #     when no "ret" is executed
! #   test for tightness / soundness using randprog
! #   read config info from a file
! #     chip parameters
! #     libc information
! #     recursion and interrupt info
! #   support TOSThreads
! #   support msp430
! #   enumerate soundness requirements
! #     stores to SP are direct and use "out"
! #     no indirect stores to registers
! #     no reentrant interrupts
! #     outs to 0x3f are ending atomic blocks, seis are enabling interrupts for real
! #     return instructions go back to their callers' successors
  
  ##########################################################################
--- 27,61 ----
  
  # TODO: 
! #
! # flesh out the man page
! #
! # make a page on the TinyOS wiki
! #
! # tighten results by keeping track of depths inside and out of
! # atomic sections
! #
! # support overriding the default heuristic for detecting atomic
! # interrupts
! #
! # get rid of hard-coded non-terminating functions, just derive this
! # when no "ret" is executed
! #
! # test for tightness / soundness using randprog and Avrora
! #
! # read config info from a file
! #   chip parameters
! #   libc information
! #   recursion and interrupt info
! #
! # support TOSThreads
! #
! # support msp430
! #
! # enumerate soundness requirements
! #   stores to SP are direct and use "out"
! #   no reentrant interrupts
! #   outs to SREG are for ending atomic blocks, seis are enabling interrupts for real
! #   return instructions go back to their callers' successors
! #   special-cases are correct
  
  ##########################################################################

Index: tos-ramsize.1
===================================================================
RCS file: /cvsroot/tinyos/tinyos-2.x/tools/tinyos/safe/tos-ramsize.1,v
retrieving revision 1.1
retrieving revision 1.2
diff -C2 -d -r1.1 -r1.2
*** tos-ramsize.1	10 Apr 2009 22:11:00 -0000	1.1
--- tos-ramsize.1	11 Apr 2009 20:51:04 -0000	1.2
***************
*** 9,11 ****
  .SH DESCRIPTION
  
! Write me.
--- 9,16 ----
  .SH DESCRIPTION
  
! This tool disassembles an elf file for AVR-based TinyOS platforms and
! estimates the maximum extent of its call stack.  This number is
! reported, along with the total static and dynamic RAM usage.
! 
! The primary documentation for this tool can be found on the TinyOS
! Documentation Wiki.