Loading...
Please wait, while we are loading the content...
Similar Documents
EDEN - An Event-Driven Execution Monitor for Ada Tasking Programs : Implementation and Application
| Content Provider | Semantic Scholar |
|---|---|
| Author | Cheng, Jingde Shirakihara, Toshio Araki, Keijiro Ushijima, Kazuo |
| Copyright Year | 1988 |
| Abstract | This paper describes the design, implementation and applications of an event-driven execution monitor for Ada tasking programs named EDEN. We discuss two major problems which confronted us in developing the execution monitor, i.e., what to observe in monitoring an Ada tasking program, and how to reduce the interference from the monitoring actions. These are intrinsic problems in monitoring concurrent programs. In this paper we describe our approaches which we adopted to those problems in designing and implementing EDEN. This paper also presents practical applications of EDEN including communication deadlock detection. Finally we assess our monitoring mechanism and our monitor EDEN. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/100516/1/0655-02.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
