Contexte et atouts du poste

This is a joint PhD between Inria Rennes and Mitsubishi Electric R&D Centre Europe (MERCE) located in Rennes, France, supervised by Ocan Sankur (Irisa - Inria), Florian Faissole, and Nicolas Waldburger (MERCE).

Candidates may contact supervisors for more information: , ,

Applications must be submitted on the following website:

Mission confiée

A livelock in a concurrent software is a situation where two threads are continuously executed, but each thread requires a resource owned by the other thread, and they enter a loop where no progress is made by any of the threads. One example is two polite persons trying to eat soup with a shared spoon: they both request to eat soup, but the person holding the spoon is too polite and passes it to the other person before eating the soup. The other person has the same behavior, so they end up passing the spoon to each other and no one ever actually ea...