From 5e7da85ab1fa81c456c4e57b5dcd27082621c220 Mon Sep 17 00:00:00 2001 From: regehr Date: Thu, 23 Apr 2009 17:17:28 +0000 Subject: [PATCH] add todos --- tools/tinyos/safe/tos-ramsize | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/tools/tinyos/safe/tos-ramsize b/tools/tinyos/safe/tos-ramsize index 497acc54..431391e8 100755 --- a/tools/tinyos/safe/tos-ramsize +++ b/tools/tinyos/safe/tos-ramsize @@ -1,6 +1,6 @@ #!/usr/bin/perl -w -# Copyright (c) 2003 University of Utah and the Flux Group. +# Copyright (c) 2003-2009 University of Utah and the Flux Group. # All rights reserved. # # Permission to use, copy, modify, distribute, and sell this software @@ -21,6 +21,9 @@ # Author: John Regehr (regehr@cs.utah.edu) # Revised by: Xuejun Yang on 01/10/2009 +# For more information: +# http://docs.tinyos.net/index.php/Stack_Analysis + use strict; use warnings; use Getopt::Long; @@ -41,6 +44,8 @@ use Getopt::Long; # tighten results by keeping track of depths inside and out of # atomic sections # +# print stack used at thread blocking points +# # support overriding the default heuristic for detecting atomic # interrupts # -- 2.39.2