Informations pratiques sur cette ressource

Description de la ressource pédagogique

Description (résumé)

In this talk, I describe some of the work I have done with Michel (and others) over a very productive period that started 15 years ago, and hopefully will last for many more years, where we have published an average of two conference papers and one journal paper per year, and have met many times in Mexico, France and other places. I concentrate on our more recent work on interval-linearizability, a notion we introduced to specify objects more general than the usual sequentially specified objects. While tasks explicitly state what might happen when a set of processes run concurrently, objects only specify what happens when processes access the object sequentially. Remarkably, these are two approaches that have largely remained independent since the early days of the theory of distributed computing. I describe the bridges we establish between these two paradigms, and our discussions about what is a distributed problem, and what it means to solve it.

"Domaine(s)" et indice(s) Dewey

• Distributed processing (004.36)
• informatique distribuée (005.276)

Thème(s)