Most high level languages with multiprocessing do not have built in mechanisms to detect deadlocks during program execution. We present transformation rules for taking an original Ada program P and deriving a new prog...
详细信息
ISBN:
(纸本)0897910877
Most high level languages with multiprocessing do not have built in mechanisms to detect deadlocks during program execution. We present transformation rules for taking an original Ada program P and deriving a new program P', such that P' has a potential deadlock iff P does, and P' signals whenever a deadlock is about to occur. In principle, the transformations can be applied mechanically, giving a practical tool for debugging deadlocks. Since this method modifies the source program, it can be used with any implementation of the language, without special knowledge of the implementation of tasking. The transformations that we have developed thus far are sufficient to handle most of the complexities of Ada tasking, including arbitrary task types, conditional entry calls, selective waits, timed entry calls, and intertask *** the course of this work, we have developed some generally useful source program transformations, such as one to uniformly introduce task identifiers. We have also developed some interesting concurrent algorithms for the deadlock *** actual monitor program for detecting deadlocks has been implemented in *** basic approach and monitoring algorithms are applicable to other languages with multiple processes.
This paper reports on an existing, operational prototype system, TG/TF2, for the generation of typeset quality documentation from a formal database. TG/TF2 directly supports the conceptual separation of system design,...
详细信息
ISBN:
(纸本)089791080X
This paper reports on an existing, operational prototype system, TG/TF2, for the generation of typeset quality documentation from a formal database. TG/TF2 directly supports the conceptual separation of system design, document content design, and document format design. Specifically, support for system design is supplied by Problem Statement Language/Problem Statement Analyzer (PSL/PSA), a development of the ISDOS Project at the University of Michigan. Document content design support is provided by the Text Generator (TG) language system. Text Formatter, Version 2 (TF2) supports document format *** is a programming language system specifically tailored for accessing a PSL/PSA database. TG supports document content design through an outline facility that allows the specification of both the order and conceptual content of each section of the ***2 provides typeset quality output from the text generated by TG. Though similar in flavor to most “pretty printer”/RUNOFF programs, TF2 has been tailored to the requirements of automatic document production without human *** paper describes the improvements needed in both concept and implementation before the prototype system can be made into an operational tool. The motivation, genesis, and conceptual basis of TG/TF2 are treated, not the details of the software.
This talk addresses two interlocking problems: the increasing shortage of technical personnel, especially programmers; and the fact that written communication is a necessary task which such people often do not perform...
详细信息
ISBN:
(纸本)089791080X
This talk addresses two interlocking problems: the increasing shortage of technical personnel, especially programmers; and the fact that written communication is a necessary task which such people often do not perform effectively. One way to alleviate both problems is to identify certain aspects of the professional programmer's job which involve communication, especially to non-programmer audiences, and then to assign these tasks to professional communicators or documentation specialists.
暂无评论