Ce site est en cours de construction.
Pour plus d'informations vous pouvez consulter les sites de nos anciens laboratoires :
Site du LIF - Site du LSIS


LIS UMR CNRS 7020

LIS UMR 7020

Le LIS Laboratoire d’Informatique et Systèmes est une nouvelle structure issue de la fusion de deux UMR : le Laboratoire d’Informatique Fondamentale de Marseille (LIF) UMR 7279 et le Laboratoire des Sciences de l’Information et des Systèmes (LSIS) UMR 7296. C’est une Unité Mixte de Recherche (UMR) sous tutelles du Centre National de la Recherche Scientifique (CNRS) rattachée à l’Institut des sciences de l'information et de leurs interactions (INS2I), de l’Université d’Aix-Marseille (AMU) et de l’Université de Toulon (UTLN).

Best software Award & Best Poster Award

Félicitation à nos deux docotrants de l'équipe DIMAG Amal Htait et Gael Guibon qui ont obtenu le « best poster award » et le « best software award » lors de la conférence CICLing à Hanoi.

Prochains évènements

Retour à l'agenda
20 April 2018

Séminaire DALGO : "The Synchronization Power of Atomic Bitwise Operations", Damien Imbs

Bitwise AND, OR and XOR operations are very widely used, but have received little attention in the distributed setting. Because bitwise operations are available in most modern processors, they can constitute a valuable tool for synchronization in distributed systems. It is then natural to consider the level of synchronization that these operations can achieve. A shared AND/OR register consists of an array of x bits and offers three atomic operations: AND and OR operations, which take an array of x bits as parameter and change the state of the register by applying the corresponding bitwise operation, and a read operation which returns the content of the array. A shared AND/OR/XOR register additionally offers a XOR operation. After introducing shared AND/OR and AND/OR/XOR registers, this talk will exhibit their synchronization power by determining their consensus number, that is, the maximum number of processes that can solve wait-free consensus using these objects.

Tutelles