CAROMEL , Denis

This document presents an object language that allows one to program parallel and distributed applications that behave in a deterministic manner, even if they are distributed over local or wide area networks. An object calculus, Asynchronous Sequential Processes, is proposed and determinism properties are proposed. ASP main characteristics are...

Based on the imp sigma-calculus, ASP (Asynchronous Sequential Processes) defines distributed applications behaving deterministically. This article extends ASP by building hierarchical and asynchronous distributed components. Components are hierarchical - a composite can be built from other components, and distributed - a composite can span over...

Grids are becoming more and more dynamic, running parallel applications on large scale and heterogeneous resources. Explicitly stopping a whole distributed application is becoming increasingly difficult. In that context, there is a strong need to free resources a soon as they become useless, leading to automatic termination, using distributed...

We propose a file transfer approach for the Grid. We have identified that file transfer in the Grid can take place at three different stages: deployment, user application execution, and retrieval (postexecution). Each stage has different environmental requirements, and therefore we apply different techniques. Our contribution comes from: (i)...

In this article a three staged file transfer approach for the Grid is proposed. File transfer in the Grid can take place at three stages: deployment, user application execution, and retrieval (post-execution). Each stage has it's own environmental requirements, and therefore different techniques must be applied. The contributions presented in...

We investigate the use of static analysis for building distributed and parallel programs in Java. We first quickly explain a principle of seamless sequential, multithreaded and distributed programming using Java, in order to enhance code reuse and code evolution. We exhibit conditions on the graph of objects to detect activable objects and...

In a multi-cloud environment, distributed application may need to have minimal inter-node latency to improve their performance. In this paper, We propose a model for the grouping of nodes with respect to network latency. The application scheduling is done on the basis of network latency. This model is a part of our proposed Cloud Scheduler...

Checkpointing protocols usually rely on the constitution of consistent global states, from which the application can restart upon a failure. This paper proposes a new characterization and technique to build a recoverable state, aiming at relaxing the constraints and overhead. , for Promised consistency, is proposed as such a recovery condition...

no abstract

For effective components, non-functional aspects must be added to the application functional code. Likewise enterprise middleware and component platforms, in the context of Grids, services must be deployed at execution in the component containers in order to implement those aspects without application code modifications. This paper proposes an...

http://www.teratec.eu/library/pdf/forum/2011/presentations/A2_05_FTeratec2011_Leriche_Cnrs.pdf

For effective components, non-functional aspects must be added to the application functional code. Likewise enterprise middleware and component platforms, in the context of Grids, services must be deployed at execution in the component containers in order to implement those aspects. This paper proposes an architecture for defining, configuring,...

This paper presents a Peer-to-Peer (P2P) infrastructure that supports a large scale grid. The P2P infrastructure is implemented in Java and federates Java Virtual Machines (JVMs) for computation. The management of shared JVMs is decentralized, self-organized, and configurable. The P2P infrastructure was deployed as a permanent desktop grid,...

This paper formally describes the dynamic semantic of the Eiffel language (Eiffel parallel). Eiffel is a parallel extension of Eiffel language based on passive and active objects, asynchronous communication and wait-by-necessity. In this semantics we use formal specifications of inheritance and dynamic binding which we have defined in Natural...

This research report first details a communication induced checkpointing fault tolerance protocol adapted to ProActive, a Java library that implements the ASP model. This model is based n a request/reply mechanism. In order to prove the correctness of this protocol, we introduce a local partial order between events occurring on a given process....

We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchronous communications, and data-flow synchronizations. We extend it with security levels attached to activities (active objects) and transmitted data. We design a...

Behavioral reflection is a powerful approach for adapting the behavior of running applications. In this paper we present and motivate partial behavioral reflection, an approach to more efficient and flexible behavioral reflection. We expose the spatial and temporal dimensions of such reflection, and propose a model of partial behavioral...

We propose in this paper, a mechanism for Grid computing frameworks, for specifying environmental requirements that may set and be optimized by deployers. Specified by designers by parameterizing deployment abstractions, the constraints can be dynamically mapped onto the infrastructure. This work is integrated in the ProActive middleware with...

We propose a grid programming approach using the ProActive middleware. The proposed strategy addresses several grid concerns, which we have classified into three categories. I. Grid Infrastructure which handles the resource acquisition and creation using deployment descriptors and Peer-to-Peer. II. Grid Technical Services which can provide...

In this paper we test the suitability of Java to implement a scalable Web Service that solves a set of problems related to peer-to-peer interactions between Web Services that behind firewalls or not generally accessible. In particular we describe how to enable reliable and long running conversations through firewalls betweenWeb Service peers...

Genetic algorithms are very demanding in terms of computing time and, when the population size is large, they need days to complete or even fail due to memory restrictions. It is particularly the case for artificial life where each evaluation can take more than one minute to develop an artificial creature, plant or organism. Indeed, creatures...

While many dream and talk about Service Level Agreement (SLA) and Quality of Service (QoS) for Service Oriented Architectures (SOA), the practical reality of Grid computing is still far from providing effective techniques enabling such contractual agreements. Towards this goal, this paper provides an overview of the techniques offered by...

Building and evolving Grid applications is complex. Component-based development has emerged as an effective approach to building flexible systems, but there is little experience in applying this approach to Grid programming. This paper presents our experience with reengineering a high performance numerical solver to become a component-based...

About ten years after the Java Grande effort, this paper aims at providing a snapshot of the current status of Java for High Performance Computing. Multi-core chips are becoming mainstream, offering many ways for a Java Virtual Machine (JVM) to take advantage of such systems for critical tasks such as Just-In-Time compilation or Garbage...

This document presents the work of redesigning a legacy hydraulic simulation software developed by the Société du Canal de Provence in order to solve its performances issues using Grid Computing and also to enable interactions with newer systems used in the company.