![]() Improvised DISCMAT Workshop on Combinatorial Topology
|
14:00 | Opening |
14:15-15:30 | Sergio Rajsbaum (UNAM, Mexico), Tasks vs objects , slides: pdf |
15:30-16:15 | Nayuta Yanagisawa (Kyoto University), t-Resilient Computability in Anonymous Shared-Memory Model, slides: pdf | 16:15-17:00 | Thibault Rieutord (Telecom ParisTEch), Affine tasks for distributed computing models, slides: pdf |
I will describe some of the work I have done with Armando Castaneda and Michel Raynal on interval-linearizability, a notion we introduced in DISC 2015 and extended in NETYS 2016 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 will describe the bridges we establish between these two paradigms, and our discussions about what is a distributed object, and what it means to solve it.
We investigate the fault-tolerant capability of distributed systems in the anonymous and t-resilient setting. In the anonymous model, a distributed system consists of a fixed number of processes with no identifiers executing an identical program. We assume that processes are prone to crash failures and communicate via multi-writer/muti-reader shared registers. We propose an anonymous t-resilient protocol for (t+1)-set agreement problem. We also give a topological characterization of colorless tasks that are t-resilient solvable in the anonymous model. The characterization implies that the anonymity does not reduce the computational power of the asynchronous shared-memory model as long as colorless tasks are concerned.
We show how (complex and non-compact) models of distributed computing can be expressed as iterations of (simple and compact) affine tasks, combinatorial structures defined as sub-complexes of the standard chromatic subdivision. We consider generic adversarial shared-memory models, including k-obstruction freedom, k-concurrency, t-resilience, etc.