Design and Implementation of TinyGALS: A Programming Model for ...

More documents

Recommendations

Info

[31] T. J. Mowbray, W. A. Ruh, and R. M. Soley. Inside CORBA: Distributed Object Standards and Applications. Addison-Wesley, 1997. [32] D. Schmidt, M. Stal, H. Rohnert, and F. Buschmann. Pattern-Oriented Software Ar- chitecture: Patterns for Concurrent and Networked Objects, volume 2. John Wiley & Sons, 2000. [33] A. Silberschatz, P. B. Galvin, and G. Gagne. Operating System Concepts. John Wiley & Sons, 6th edition, 2001. [34] D. B. Stewart and R. A. Brown. Grand challenges in mission-critical systems: Dynamically reconfigurable real-time software for flight control systems. In Workshop on Real-Time Mission-Critical Systems in conjunction with the 1999 Real-Time Systems Symposium, November 1999. http://www.embedded- zone.com/bib/position/rtmcs99.pdf. [35] D. B. Stewart, R. A. Volpe, and P. K. Khosla. Design of dynamically reconfigurable real-time software using port-based objects. IEEE Transactions on Software Engi- neering, 23(12):759–776, December 1997. [36] C. A. Waldspurger and W. E. Weihl. Stride scheduling: Deterministic proportional- share resource management. Technical Report MIT/LCS/TM-528, June 1995. [37] M. Weiser. The computer for the twenty-first century. Scientific American, pages 94–104, September 1991. http://www.ubiq.com/hypertext/weiser/SciAmDraft3.html. [38] M. Weiser. Some computer science issues in ubiquitous computing. Communications of the ACM, 36(7):75–84, 1993. [39] M. Welsh, D. Culler, and E. Brewer. SEDA: an architecture for well-conditioned, scalable internet services. In Proceedings of the Eighteenth ACM Symposium on Op- erating Systems Principles, pages 230–243. ACM Press, 2001. [40] M. Welsh, S. D. Gribble, E. A. Brewer, and D. Culler. A design framework for highly concurrent systems. Technical Report UCB/CSD-00-1108, University of California, Berkeley, April 2000. 64
[41] F. Zhao and L. Guibas, editors. Second International Workshop on Information Pro- cessing in Sensor Networks (IPSN 2003), volume 2634 of Lecture Notes in Computer Science. Springer-Verlag, April 2003. [42] Y. Zhao. A study of Click, TinyGALS and CI. http://ptolemy.eecs.berkeley.edu/ ellen zh/click tinygals ci.pdf, April 2003. 65
Page 1:
Design and Implementation of TinyGA
Page 5 and 6:
Contents 1 Introduction 1 2 The Tin
Page 7:
8 Acknowledgements 60 iii
Page 10 and 11:
does not require synchronization, w
Page 12 and 13:
integrate subsystems that share a c
Page 14 and 15:
2 The TinyGALS Programming Model Ti
Page 16 and 17:
2.2.1 TinyGALS Components Component
Page 18 and 19:
Component implementation for COUNTE
Page 20 and 21:
Module definition for leds. include
Page 22 and 23: uns in a single thread of execution
Page 24 and 25: as in a normal method call. 8 The g
Page 26 and 27: nondeterministic component firing o
Page 28 and 29: module. Tokens are placed in input
Page 30 and 31: Application def. include modules{ A
Page 32 and 33: 1. The values of all internal varia
Page 34 and 35: Conditions for well-formedness Here
Page 36 and 37: Determinacy of a system without glo
Page 38 and 39: I0 q0 I1 I2 In a 1 0,0 a 1 0,0 + a2
Page 40 and 41: app_init() app_start() statevar_PAR
Page 42 and 43: the same name as the output port. T
Page 44 and 45: if there is an event in the global
Page 46 and 47: 5 Example The TinyGALS programming
Page 48 and 49: the motes as three separate modules
Page 50 and 51: Table 4: Code size comparison of BL
Page 52 and 53: gered modules in TinyGALS and tasks
Page 54 and 55: critical section to maintain data i
Page 56 and 57: and a pull port is illegal. Every p
Page 58 and 59: Poll packet from receive DMA ring P
Page 60 and 61: Click router thread TinyGALS thread
Page 62 and 63: unlike Click, the TinyGALS model do
Page 64 and 65: 6.5 Timed Multitasking Timed multit
Page 66 and 67: quiescent system state to the next
Page 68 and 69: 8 Acknowledgements I wish to thank
Page 70 and 71: [11] S. S. Bhattacharyya, E. Cheong
show all

Design and Implementation of TinyGALS: A Programming Model for ...

Create successful ePaper yourself

Delete template?

Save as template?