DEGAS: discrete event Gnu advanced scheduler

Authors:
Luke Ludwig;Paul Pukite
Affiliations:
University of Minnesota, Minneapolis, Minnesota;BAeSystems, Fridley, Minnesota
Venue:
Proceedings of the 2006 annual ACM SIGAda international conference on Ada
Year:
2006

Citing 10
Cited 1

Communicating sequential processes

Communicating sequential processes
Adam, an Ada simulation library

TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
A history of discrete event simulation programming languages

HOPL-II The second ACM SIGPLAN conference on History of programming languages
MODSIM III—a tutorial

Proceedings of the 29th conference on Winter simulation
Markov Modeling for Reliability Analysis

Markov Modeling for Reliability Analysis
CSIM19: CSIM19: a powerful tool for building system models

Proceedings of the 33nd conference on Winter simulation
Modeling Multithreaded Applications Using Petri Nets

International Journal of Parallel Programming
Cooperative Task Management Without Manual Stack Management

ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
Software Model Checking: The VeriSoft Approach

Formal Methods in System Design
Characterizations and relationships of world views

WSC '04 Proceedings of the 36th conference on Winter simulation

Generic discrete event simulations using DEGAS:: application to logic design and digital signal processing

Proceedings of the 2007 ACM international conference on SIGAda annual international conference

Quantified Score

Hi-index	0.00

Visualization

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.