Linking is traditionally a batch process that resolves cross-references between object modules and run-time libraries to produce a stand-alone executable image. Because most program changes only involve a small part o...
详细信息
Linking is traditionally a batch process that resolves cross-references between object modules and run-time libraries to produce a stand-alone executable image. Because most program changes only involve a small part of the program, we have implemented an incremental linker, named Inclink, that processes only the changed modules. Inclink generates a new executable in time proportional to the size of a change;in contrast, a batch linker generates an executable in time proportional to the size of the program. To minimize updates to the executable, Inclink allocates extra space for every module. By allocating 24 percent more space in the executable for overflows, Inclink can update a module in place over 97 percent of the time. Measurements show that Inclink is more than an order of magnitude faster than the UNIX(R) [2] batch linker and that 88 percent of all links will take less than 2 s of CPU time on a Micro VAX-2, independent of program size.
The key technical issues involved in producing high-quality Ada compilers and related support tools are discussed. These include real-time issues, programming tools and environments, and code optimization. Also addres...
详细信息
The key technical issues involved in producing high-quality Ada compilers and related support tools are discussed. These include real-time issues, programming tools and environments, and code optimization. Also addressed are some important problems that compiler designers face, for example, determining which deficiencies of existing Ada systems can be attributed to the language and which are simply hard-to-implement features or unresolved issued in Ada compiler technology
Focuses on the impact of object-oriented and logic programming on software designers in the United States. Advantages of the programming style; Inclusion of deductive retrieval in the Prolog program language; Features...
详细信息
Focuses on the impact of object-oriented and logic programming on software designers in the United States. Advantages of the programming style; Inclusion of deductive retrieval in the Prolog program language; Features of the Prolog-like search facility.
RNet is a high-level programming system for building and executing distributed hard real-time programs. The main objective in developing RNet is to investigate how high-level programming concepts and tools can be used...
详细信息
RNet is a high-level programming system for building and executing distributed hard real-time programs. The main objective in developing RNet is to investigate how high-level programming concepts and tools can be used to simplify the real-time programming task. A distributed real-time program in RNet consists of a configuration specification that outlines the structure and real-time properties of the program, and a set of program modules written in a high-level programming language. The RNet configuration system performs a static feasibility analysis of the specifications and handles the construction, distribution, and execution of the program. A debugging and timing analysis system, currently under development and not described here, will be used to measure the real-time characteristics of network resources and the application program, and to perform a validation of the specifications via simulation. The distributed RNet kernel provides run-time support for message-passing and real-time scheduling. The RNet programming model, based on message ports having associated deadlines, provides the programmer with a direct means of expressing a variety of real-time behavioral effects in a way that can be validated. In particular, timing constraints can be used to obtain reliable event synchronization. Some properties that are considered desirable in a high-level distributed real-time programming system are identified. These address ❉s such as program moduilarity and reconfigurability, timing constraint specification, validation and enforcement, real-time event handling, I/O and exception handling, logical and physical structure specification, and program analysis. The degree to which RNet succeeds in possessing these properties is discussed.
作者：
P.F. ElzerBrown
Boveri & Cie. Central Research Laboratory (ZFL/L3) POB 101332 Heidelberg FRG
The paper gives an overview over methods and tools for the management of the software life cycle and a report on the 'First IFAC/IFIP Workshop on Experience with the Management of Software Projects' in Heidelb...
详细信息
The paper gives an overview over methods and tools for the management of the software life cycle and a report on the 'First IFAC/IFIP Workshop on Experience with the Management of Software Projects' in Heidelberg, May 14 - 16, 1986. It mainly emphasizes non-technical aspects, like e.g. cost-estimation, productivity, planning, and human factors. In the technical parts it is tried to draw attention to aspects which are usually neglected, like e.g. test and verification or application dependent selection of tools and languages. Finally an attempt is made to identify technological trends in the development of software tools.
The authors have developed an extended intelligent terminal system MDPS with four CRT displays controlled by microprocessors and with useful programming tools in order to achieve a high-level programming environment. ...
详细信息
The authors have developed an extended intelligent terminal system MDPS with four CRT displays controlled by microprocessors and with useful programming tools in order to achieve a high-level programming environment. The system is based on the fact that reference to, comparison among, and utilization of various kinds of information are the basic but essential actions in the programming environment. Users can arrange various kinds of information spatially using simple concepts “text” and “page” of MDPS. MDPS has several advantages over conventional terminal systems.
暂无评论