Modular implementation of adaptive decisions in stochastic simulations

ABSTRACT

We present a modular approach to implement adaptive decisions with existing scientific codes. Using a sophisticated system software tool based on the function call interception technique, an external code module is transparently combined with the given program without altering the original code structure, resulting in a newly composed application with extended behavior. This is useful for generalizing codes into using different parameter values or to switch algorithms or implementations at runtime. Applying the proposed method on a biochemical stochastic simulation software package to implement a set of exemplary use cases, which includes changing program parameters, substituting random number generators, and dynamically changing the stochastic simulation method, we demonstrate how effectively new code modules can be plugged in to construct an application with enhanced capabilities.

REFERENCES

• 1: ACC. http://www.aspectc.net.
• 2: Netlib. http://www.netlib.org.
• 3: RANLIB C Implementation. http://www.netlib.org/random.
• 4: StochKit. http://www.engineering.ucsb.edu/~cse/StochKit.
• 5: Bryan Buck , Jeffrey K. Hollingsworth, An API for Runtime Code Patching, International Journal of High Performance Computing Applications, v.14 n.4, p.317-329, November 2000 [doi>10.1177/109434200001400404]
• 6: Y. Cao, D. T. Gillespie, and L. R. Petzold. Accelerated Stochastic Simulation of the Stiff Enzyme-Substrate Reaction. Journal of Chemical Physics, 123(14): 144917.1--144917.12, October 2005.
• 7: Y. Cao, D. T. Gillespie, and L. R. Petzold. The Slow-Scale Stochastic Simulation Algorithm. Journal of Chemical Physics, 122(1): 014116, January 2005.
• 8: Y. Cao and L. R. Petzold. Trapezoidal Tau-Leaping Formula for the Stochastic Simulation of Biochemical Systems. Proceedings of Foundations of Systems Biology in Engineering (FOSBE), pages 149--152, 2005.
• 9: Viktor K. Decyk , Charles D. Norton , Henry J. Gardner, Why Fortran?, Computing in Science and Engineering, v.9 n.4, p.68-71, July 2007 [doi>10.1109/MCSE.2007.89]
• 10: Paul F. Dubois, Ten Good Practices in Scientific Programming, Computing in Science and Engineering, v.1 n.1, p.7-11, January 1999 [doi>10.1109/MCISE.1999.743610]
• 11: D. T. Gillespie. A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions. Journal of Computational Physics, 22(4): 403--434, December 1976.
• 12: D. T. Gillespie. Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry, 81(25): 2340--2361, 1977.
• 13: D. T. Gillespie. Approximate Accelerated Stochastic Simulation of Chemically Reacting Systems. The Journal of Chemical Physics, 115(4): 1716--1733, 2001.
• 14: M. A. Heffner. A Runtime Framework for Adaptive Compositional Modeling. Master's thesis, Blacksburg, VA, USA, 2004.
• 15: Erik Hilsdale , Jim Hugunin, Advice weaving in AspectJ, Proceedings of the 3rd international conference on Aspect-oriented software development, p.26-35, March 22-24, 2004, Lancaster, UK [doi>10.1145/976270.976276]
• 16: Elias N. Houstis , Ann C. Catlin , John R. Rice , Vassilios S. Verykios , Naren Ramakrishnan , Catherine E. Houstis, PYTHIA-II: a knowledge/database system for managing performance data and recommending scientific software, ACM Transactions on Mathematical Software (TOMS), v.26 n.2, p.227-253, June 2000 [doi>10.1145/353474.353475]
• 17: G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In M. Akşit and S. Matsuoka, editors, Proceedings European Conference on Object-Oriented Programming, volume 1241, pages 220--242. Springer-Verlag, Berlin, Heidelberg, and New York, 1997.
• 18: Pierre L'Ecuyer , Serge Côté, Implementing a random number package with splitting facilities, ACM Transactions on Mathematical Software (TOMS), v.17 n.1, p.98-111, March 1991 [doi>10.1145/103147.103158]
• 19: M. M. Lehman. The Programming Process. Technical Report RC2722, IBM Research Report, December 1969.
• 20: M. M. Lehman , L. A. Belady, Program evolution: processes of software change, Academic Press Professional, Inc., San Diego, CA, 1985
• 21: Chi-Keung Luk , Robert Cohn , Robert Muth , Harish Patil , Artur Klauser , Geoff Lowney , Steven Wallace , Vijay Janapa Reddi , Kim Hazelwood, Pin: building customized program analysis tools with dynamic instrumentation, Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, June 12-15, 2005, Chicago, IL, USA
• 22: William R. Mahoney , William L. Sousan, Using common off-the-shelf tools to implement dynamic aspects, ACM SIGPLAN Notices, v.42 n.2, p.34-41, February 2007 [doi>10.1145/1241761.1241765]
• 23: Michael Mascagni , Ashok Srinivasan, Algorithm 806: SPRNG: a scalable library for pseudorandom number generation, ACM Transactions on Mathematical Software (TOMS), v.26 n.3, p.436-461, Sept. 2000 [doi>10.1145/358407.358427]
• 24: Makoto Matsumoto , Takuji Nishimura, Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator, ACM Transactions on Modeling and Computer Simulation (TOMACS), v.8 n.1, p.3-30, Jan. 1998 [doi>10.1145/272991.272995]
• 25: N. Nethercote and J. Seward. Valgrind: A Program Supervision Framework. Electronic Notes in Theoretical Computer Science, 89(2), 2003.
• 26: N. Ramakrishnan, E. N. Houstis, and J. R. Rice. Recommender Systems for Problem Solving Environments. In H. Kautz, editor, Working Notes of the AAAI-98 Workshop on Recommender Systems, pages 91--95. AAAI/MIT Press, 1998.
• 27: M. Rathinam, L. R. Petzold, Y. Cao, and D. T. Gillespie. Stiffness in Stochastic Chemically Reacting Systems: The Implicit Tau-Leaping Method. The Journal of Chemical Physics, 119(24): 12784--12794, 2003.
• 28: M. Saito and M. Matsumoto. SIMD-oriented Fast Mersenne Twister: a 128-bit Pseudorandom Number Generator. In Monte Carlo and Quasi-Monte Carlo Methods 2006, pages 607--622. Springer Berlin Heidelberg, 2006.
• 29: Olaf Spinczyk , Andreas Gal , Wolfgang Schröder-Preikschat, AspectC++: an aspect-oriented extension to the C++ programming language, Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications, February 01, 2002, Sydney, Australia
• 30: Amitabh Srivastava , Alan Eustace, ATOM: a system for building customized program analysis tools, Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, p.196-205, June 20-24, 1994, Orlando, Florida, United States
• 31: C. Zhang and H.-A. Jacobsen. TinyC²: Towards Building a Dynamic Weaving Aspect Language for C. In Proceedings of the 2nd AOSD Workshop on Foundations of Aspect-Oriented Languages, Boston, MA, USA, March 2003.

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.2 Automatic Programming

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.3 Coding Tools and Techniques
          Subjects: Structured programming

General Terms:
Languages, Management

Keywords:
function call interception, modular composition, program modification, stochastic simulation