Commissariat &#xc0; L'&#xc9;nergie Atomique Et Aux &#xc9;nergies Alternatives

Stéphane Louise

Vincent David

Raphaël David

Paul Dubrulle

Michel Harrand

Thierry Collette

Nicolas Ventroux

Mathieu Jan

Nikolay Kosmatov

Frédéric Blanc

Thierry Goubier

Christophe Gaston

Arnault Lapitre

The present invention concerns a method and a tool for designing and validating a data flow system comprising a set of software and/or hardware actors (a, a) interconnected with each other by unidirectional communication channels (c, c), the tool comprising: &#x2014;a modelling interface () configured to generate an instance of the system by specifying, in a formal manner, a real-time and reconfigurable data flow, the reconfiguration of the data flow being carried out dynamically by propagating reconfiguration data from one actor to another through the communication channels, &#x2014;an analysis module () configured to prove a predetermined set of behavioral properties of the system by means of a static analysis of the instance, &#x2014;a refinement interface () designed to allocate resources to the instance, thus establishing a configured instance, the allocation of resources being carried out in such a way that an implementation of the system complies with the configured instance, and &#x2014;a conformity test module () configured to verify the conformity of the behaviour of an implementation of the system with respect to the configured instance.

Tool and method for designing and validating a data flow system by a formal model

A system for executing a data flow graph comprises: at least two first actors each comprising means for independently executing a computation of a same data set comprising at least one datum, and producing a quality descriptor of the data set, the execution of the computation by each of at least two first actors being triggered by a synchronization system; a third actor, comprising means for triggering the execution of the computation by each of at least two first actors, and initializing a clock configured to emit an interrupt signal when a duration has elapsed; a fourth actor, comprising means for executing, at the latest at the interrupt signal from the clock: the selection, from the set of at least two first actors having produced a quality descriptor, of the one whose descriptor exhibits the most favorable value; the transfer of the data set computed by the selected actor.

Speculative and iterative execution of delayed data flow graphs

A system including a plurality of processing units for executing tasks in parallel and a communication network. The processing units are organized into clusters of units, each cluster comprising a local memory. The system includes means for statically allocating tasks to each cluster of units, so that a task of an application is processed by the same cluster of units from one execution to another. Each cluster includes cluster management means for allocating tasks to each of its processing units and space in the local memory for executing them, so that a given task of an application may not be processed by the same processing unit from one execution to another. The cluster management means includes means for managing the tasks, means for managing the processing units, means for managing the local memory and means for managing the communications involving its processing units. The management means operate simultaneously and cooperatively.

Statically allocating set of tasks to particular cluster and dynamically allocating each task to different processing units within cluster

An allocation and control unit for allocating execution threads for a task to a plurality of auxiliary processing units and for controlling the parallel execution of said execution threads by said auxiliary processing units, the task being executed in a sequential manner by a main processing unit. The allocation and control unit includes means for managing auxiliary logical processing units, means for managing auxiliary physical processing units each corresponding to an auxiliary processing unit, and means for managing the auxiliary processing units. The means for managing the auxiliary processing units include means for allocating an auxiliary logical processing unit to an execution thread to be executed, and means for managing the correspondence between the auxiliary logical processing units and the auxiliary physical processing units. The auxiliary processing units execute in parallel the execution threads for the task by way of the auxiliary logical processing units, which are allocated as late as possible and freed as early as possible.

Allocation and control unit for controlling parallel execution of threads on auxiliary processing units

Growing community of inventors

Orsay, France

Stéphane Louise