skip to main content
10.1145/1185642.1185649acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
Article

DEGAS: discrete event Gnu advanced scheduler

Published:12 November 2006Publication History

ABSTRACT

DEGAS provides discrete-event scheduling capability to a GNAT Ada program without requiring extra calls to a simulation library. We accomplish this by intercepting all calls destined for the pthread library and then rerouting them to the dynamically linked DEGAS library; this allows a developer to switch between real-time and discrete-event modes at runtime in a non-intrusive manner. DEGAS narrows the separation between simulation and real time applications, and has significant implications for software that includes elements of concurrency, synchronization, and time. We foresee applications that go beyond simulations, including executable specifications, algorithm development, and system verification.

References

  1. Adya, A., Howell, J., Theimer,M., Bolosky, W.J., and Douceur, J.R., Cooperative Task Management without Manual Stack Management or, Event-driven Programming is Not the Opposite of Threaded Programming, Proceedings of the 2002 Usenix Annual Technical Conference. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. AdaCore, Inc. http://adacore.com. 104 Fifth Ave., 15th floor, New York, NY, 10011, USA.Google ScholarGoogle Scholar
  3. Blasi, A.D., Colucci, F., and Mariani, R. Y-CAN Platform: A Reusable Platform for Design, Verification, and Validation of CAN-based Systems on a Chip. In Proceedings of the European Test Workshop (ETW 2003).Google ScholarGoogle Scholar
  4. Bounker, P., Brabbs, J., and Adams, C. Low Cost Embedded Simulation System for Ground Vehicles. In Proceedings of the 1999 Interservice/Industry Training,Simulation and Education Conference (CD-ROM), National Training Systems Association, Orlando, FL, November 1999.Google ScholarGoogle Scholar
  5. Fishman, G.S. Concepts and Methods in Discrete Event Digital Simulation. John Wiley & Sons Inc, 1973.Google ScholarGoogle Scholar
  6. Goble, J. Modsim III, A Tutorial. In Proceedings of the 1997 Winter Simulation Conference (WSC '97), (Atlanta, GA, USA, Dec. 7-10, 1997). 601--605. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Godefroid, P. Software Model Checking: The Verisoft Approach. Formal Methods in System Design, 26, 2 (March 2005), 250--255. Kluwer Academic Publishers, Hingham, MA, USA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall, 1985. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Holzmann, G.J. The SPIN Model Checker. Addison-Wesley Professional, Boston, MA, USA. Sept. 2003.Google ScholarGoogle Scholar
  10. Kavi, K.M., Moshtaghi, A., and Chen, D.J. Modeling Multithreaded Applications Using Petri Nets. International Journal of Parallel Programming, 30, 5 (Oct. 2002), 353--371. Kluwer Academic Publishers, Norwell, MA, USA. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Lee, E.A. The Problem with Threads. Technical Report, UCB/EECS-2006-1, University of California, Berkeley, CA. Jan., 2006.Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Nance, R. E. A History of Discrete-Event Simulation Programming Languages. In Proceeedings of the Second ACM SIGPLAN Conference on History of Programming Languages ('93), (Cambridge, MA, USA, 1993). 149--175. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Overstreet, M.C and Nance, R.E. Characterizations and Relationships of World Views. In Proceedings of the 2004 Winter Simulation Conference (WSC. '04), (Washington D.C., USA, Dec. 5-8, 2004). IEEE Press. 279--287. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Pukite, J. and Pukite P.R., Modeling for Reliability Analysis, Wiley-IEEE Press, 1998. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Schwetman, H. CSIM19: A Powerful Tool for Building System Models. In Proceedings of the 2001 Winter Simulation Conference (WSC '01), (Arlington, VA., Dec. 9--12, 2001). IEEE Computer Society. 250--255. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Sjoland, M, Thyselius, R., and Sjoland, B. Adam, an Ada Simulation Library. In Proceedings of the Conference on TRI-Ada ('91). (San Jose, CA., USA.1991). ACM Press, New York, NY, USA. Google ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. DEGAS: discrete event Gnu advanced scheduler

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Conferences
        SIGAda '06: Proceedings of the 2006 annual ACM SIGAda international conference on Ada
        November 2006
        92 pages
        ISBN:1595935630
        DOI:10.1145/1185642

        Copyright © 2006 ACM

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 12 November 2006

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • Article

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!