Aspect-Oriented programming (AOP) is the name of a technique to automatically transform some existing base code to endow it with new properties. An aspect language allows the desired transformation to be expressed in ...
详细信息
Aspect-Oriented programming (AOP) is the name of a technique to automatically transform some existing base code to endow it with new properties. An aspect language allows the desired transformation to be expressed in a formal way and an aspect weaver reads the specification of the transformation expressed in the aspect language and applies it to the base code. AOP techniques allow systematic changes - e.g. insertion of synchronization code, of observability code, of instrumentation code - to be applied automatically to a large base code. The first part of this paper presents the AOP paradigm. The second part presents the XWeaver aspect weaver that is being developed at ETH-Zürich with the cooperation of ESA-ESTEC. The XWeaver differs from other aspect weavers in being extensible and minimally intrusive. It is extensible in the, sense that the aspect weaving process is controlled by a set of rules that are independent of each other and are each implemented in a dedicated module. The weaver can be extended by adding new modules that cover new rules to handle additional types of aspects. XWeaver is minimally intrusive in the sense that it gives a high degree of control over the structure of the modified code and it generates code that differs as little as possible from the base code. For these reasons, XWeaver is especially suitable for applications that must undergo a qualification process such as mission-critical applications. The target language of XWeaver is C++.
Trends in high-performance computing are making it necessary for long-running applications to tolerate hardware faults. The most commonly used approach is checkpoint and restart (CPR) - the state of the computation is...
详细信息
Trends in high-performance computing are making it necessary for long-running applications to tolerate hardware faults. The most commonly used approach is checkpoint and restart (CPR) - the state of the computation is saved periodically on disk, and when a failure occurs, the computation is restarted from the last saved state. At present, it is the responsibility of the programmer to instrument applications for CPR. Our group is investigating the use of compiler technology to instrument codes to make them self-checkpointing and self-restarting, thereby providing an automatic solution to the problem of making long-running scientific applications resilient to hardware faults. Our previous work focused on message-passing programs. In this paper, we describe such a system for shared-memory programs running on symmetric multiprocessors. This system has two components: (i) a pre-compiler for source-to-source modification of applications, and (ii) a runtime system that implements a protocol for coordinating CPR among the threads of the parallel application. For the sake of concreteness, we focus on a non-trivial subset of OpenMP that includes barriers and locks. One of the advantages of this approach is that the ability to tolerate faults becomes embedded within the application itself, so applications become self-checkpointing and self-restarting on any platform. We demonstrate this by showing that our transformed benchmarks can checkpoint and restart on three different platforms (Windows/x86, Linux/x86, and Tru64/Alpha). Our experiments show that the overhead introduced by this approach is usually quite small;they also suggest ways in which the current implementation can be tuned to reduced overheads further. Copyright 2004 ACM.
The proceedings contain 44 papers from the Proceedings of the 15th International Conference on systems Science - Control Theory, systems and Control Engineering, Operation and Manufacturing systems, Uncertain systems ...
详细信息
The proceedings contain 44 papers from the Proceedings of the 15th International Conference on systems Science - Control Theory, systems and Control Engineering, Operation and Manufacturing systems, Uncertain systems - Decision systems. The topics discussed include: nonlinear model predictive control method for control nonaffine systems;anti-windup compensation issues in adaptive multivariable pole-placement control with direction preservation;parameterization of stabilizing and robust stabilizing output feedback controllers for jump linear discrete-time systems;sliding mode control of the third order system with state constraints;and the analysis of the proving extent and of the domain of applicability for the methods of the optimal control.
The performance and system testing of enterprise software solutions and automation of the data collection process are discussed. The use of Performance Data Helper (PDH) library made possible a simple, single program ...
详细信息
The performance and system testing of enterprise software solutions and automation of the data collection process are discussed. The use of Performance Data Helper (PDH) library made possible a simple, single program automatically monitors a wide range of different hardware and collects performance data on all the system devices. PDH library is also used for building performance monitoring in programs to provide autonomic adjustment of the system resource usage. Both the PDH library and and Windows services API offer quick development of test and monitoring tools.
As technology has progressed, the use of Macintosh computers in campus computing labs has changed from independent workstations with no network access to fully networked members of the local domain. However, integrati...
详细信息
ISBN:
(纸本)9781581138696
As technology has progressed, the use of Macintosh computers in campus computing labs has changed from independent workstations with no network access to fully networked members of the local domain. However, integrating the newest Mac operating systems into a Windows-based Active Directory environment has presented many new opportunities (otherwise known as challenges) to customize the operating system to meet the needs of thousands of students per week. This presentation will attempt to demonstrate in brief the various techniques used to customize the OS X operating systems to integrate with the Windows-based Active Directory. Specifically, this will include logout scripts, between-user maintenance procedures, inactivity logouts, printer restrictions, desktop and dock customizations, and other user environment modifications. Copyright 2004 ACM.
We present a mechanism of modified Petri nets, the resource Petri nets, which are the basis of the control algorithm for the operating system of multiprocessor servers. This mechanism allows us to efficiently perform ...
详细信息
We present a mechanism of modified Petri nets, the resource Petri nets, which are the basis of the control algorithm for the operating system of multiprocessor servers. This mechanism allows us to efficiently perform task monitoring.
Genericity is a topic which is not sufficiently developed in state-based systems modelling, mainly due to a myriad of approaches and behaviour models which lack unification. This paper adopts coalgebra theory to propo...
详细信息
A Web Content Extraction System (WebCES) that tackles the problems of computer systems programming is presented. In order to overcome the shortcomings of a purely textural representation, WebCES represents documents a...
详细信息
A Web Content Extraction System (WebCES) that tackles the problems of computer systems programming is presented. In order to overcome the shortcomings of a purely textural representation, WebCES represents documents at a higher level of abstraction. The system uses a object-based representation built from the document object model, provided by the web browser, which allows better communication between the user and the WebCES.
We introduce a real-time extension of the PV language: A timed PV program consists of a number of timed automata which synchronize by locking and releasing common resources. We give a geometric semantics to such progr...
详细信息
Kleene Algebra with Tests is an extension of Kleene Algebra, the algebra of regular expressions, which can be used to reason about programs. We develop a coalgebraic theory of Kleene Algebra with Tests, along the line...
详细信息
暂无评论