LOZI , Jean-Pierre

Complexity of a particular coordinated system is the degree of difficulty in predicting the properties of the system if the properties of the system's correlated parts are given. The coordinated system manifests properties not carried by individual parts. The subject system can be said to emerge without any "guiding hand". In systems theory and...

We introduce a novel method revealing hidden bifurcations in the multispiral Chua attractorin the case where the parameter of bifurcation c which determines the number of spiral isdiscrete. This method is based on the core idea of the genuine Leonov and Kuznetsov methodfor searching hidden attractors (i.e. applying homotopy and numerical...

The scalability of multithreaded applications on current multicore systems is hampered by the performance of lock algorithms, due to the costs of access contention and cache misses. The main contribution presented in this article is a new locking technique, Remote Core Locking (RCL), that aims to accelerate the execution of critical sections in...

As a central part of resource management, the OS thread scheduler must maintain the following, simple, invariant: make sure that ready threads are scheduled on available cores. As simple as it may seem, we found that this invariant is often broken in Linux. Cores may stay idle for seconds while ready threads are waiting in runqueues. In our...

L'ordonnanceur est un point clé au niveau des performances fournies par un système d'exploitation. Il est cependant difficile d'écrire une politique d'ordonnancement au sein d'un système d'exploitation actuel. Nous proposons Ipanema, un langage dédié permettant d'écrire des politiques d'ordonnancement multi-coeur sûres.

Operating systems have been shown to waste machine resources by leaving cores idle while work is ready to be scheduled. This results in suboptimal performance for user applications, and wasted power. Recent progress in formal verification methods have led to operating systems being proven safe, but operating systems have yet to be proven free...