In the development of distributed programs, two different concepts have to be considered, each being quite complex even on its own: concurrency and distribution. For both concepts, similar problems like synchronizatio...
详细信息
In the development of distributed programs, two different concepts have to be considered, each being quite complex even on its own: concurrency and distribution. For both concepts, similar problems like synchronization and communication need to be addressed, yet they are treated with completely different mechanisms. The paper presents Dejay, a programming language based on Java that unifies concurrency and distribution into the single mechanism of virtual processors. This allows a considerable simplification for the development of distributed or concurrent programs and makes the transition from a local to a distributed environment seamless.
A framework to integrate negotiation capabilities-particularly components implementing a negotiation strategy-into mobile agents is introduced. The framework is based on a plug-in mechanism enabling a dynamic composit...
详细信息
A framework to integrate negotiation capabilities-particularly components implementing a negotiation strategy-into mobile agents is introduced. The framework is based on a plug-in mechanism enabling a dynamic composition of negotiating agents from pluggable modules. Strategy modules are further decomposed into parallel execution units based on the notion of an actor system.
This paper describes an architecture that provides support for quality of service (QoS) in open systems. The Quartz QoS architecture aims to avoid the dependency on specific platforms that limits the application of mo...
详细信息
This paper describes an architecture that provides support for quality of service (QoS) in open systems. The Quartz QoS architecture aims to avoid the dependency on specific platforms that limits the application of most existing QoS architectures in open, heterogeneous and distributedsystems. Quartz adopts a flexible and extensible platform-independent design that allows its internal components to be rearranged dynamically, adapting the architecture to the surrounding environment in order to accommodate the differences among diverse computing platforms. Further significant problems found in other QoS architectures, such as the lack of transparency, flexibility and expressiveness in the specification of QoS requirements and limited support for resource adaptation, are also addressed by quartz. This paper compares Quartz to other QoS architectures found in the literature, presents a prototype implementation of Quartz, and shows how Quartz is integrated with CORBA to form a framework for control and transfer of streaming media.
The vector-clock size necessary to characterize causality in a distributed computation is bounded by the dimension of the partial order induced by that computation. In an arbitrary distributed computation, the dimensi...
详细信息
The vector-clock size necessary to characterize causality in a distributed computation is bounded by the dimension of the partial order induced by that computation. In an arbitrary distributed computation, the dimension can be as large as the width, which in turn can be as large as the number of processes in the computation. Most vector clock algorithms, and all online ones, simply use a vector of size equal to the number of processes. In practice the dimension may be much smaller. It is the purpose of the paper to provide empirical evidence that the dimension of various distributed computations is often substantially smaller than the number of processes. We have found that typical distributed computations, with as many as 300 processes, have dimension less than 10. To achieve this quantification, we developed various theorems and algorithms which we also describe.
A novel concurrent programming paradigm called hypersequential programming (HSP) is being developed. HSP aims to eliminate all undesirable behaviours from a given application. A fundamental part of that system require...
详细信息
A novel concurrent programming paradigm called hypersequential programming (HSP) is being developed. HSP aims to eliminate all undesirable behaviours from a given application. A fundamental part of that system requires the use of test cases for the serialization of a program. Only those test cases found to be correct are used in the final concurrent program. Therefore, HSP relies on all the functionality being included into a program. This is opposite to traditional software engineering practice, which is to ensure that all unwanted behaviours have been removed. We briefly examine the HSP method with reference to test cases and scenarios. We examine a couple of brief examples and discuss the limitations of test cases, with particular respect to HSP. We conclude that finding a method of ensuring the correct set of test cases is used in development is essential to the success of HSP.
Using a distributed database system as part of a distributed web server architecture has obvious advantages. It is shown that a first phase distributed database system can be build by extending an existing object orie...
详细信息
One of the key issues in designing new simulation models for parallel execution, or in the migration of existing models to parallel platforms, is the mapping of the application architecture to the parallel system arch...
详细信息
The diversity of research and development work on agent technology has led to a strong distinction between mobile and intelligent agents. This paper presents an architecture aiming at providing a step towards the inte...
详细信息
ISBN:
(纸本)354064959X
The diversity of research and development work on agent technology has led to a strong distinction between mobile and intelligent agents. This paper presents an architecture aiming at providing a step towards the integration of these two aspects, concretely by providing an approach of dynamically embedding negotiation capabilities into mobile agents. In particular, the requirements for enabling automated negotiations including negotiation protocols and strategies, a plug-in component architecture for realizing such requirements on mobile agents, and the design of negotiation support building blocks as components of this architecture are presented.
暂无评论