Séminaire du 7 Juin 2013




Lieu

Telecom ParisTec (46 rue Barrault)h, amphi Emeraude: comment y aller

Programme

14h00-15h00: Petr Kuznetsov, LTCI, "Wait-Freedom with Advice"

Abstract:transparents It is well-known that most problems in distributed computing cannot be solved in a wait-free manner, i.e., ensuring that processes are able to make progress independently of each other. The failure-detector abstraction was proposed to circumvent these impossibilities. Intuitively, a failure detector provides each process with some (possibly incomplete and inaccurate) information about the current failure pattern, which allows the processes to wait for each other in order to compute a consistent output.

We motivate and propose a new way of thinking about failure detectors which allows us to define, quite surprisingly, what it means to solve a distributed task wait-free using a failure detector. We separate computation processes that obtain inputs and are supposed to produce outputs from synchronization processes that are subject to failures and can query a failure detector. In our framework, we obtain a complete classification of tasks, including ones that evaded comprehensible characterization so far, such as renaming or weak symmetry breaking.

15h00-15h30 : Thomas Hujsa, LIP6/UPMC, "Polynomial Sufficient Conditions of Well-Behavedness for Weighted Join-Free and Choice-Free Systems"

Abstract:transparents Join-Free Petri nets, whose transitions have at most one input place, model systems without synchronizations while Choice-Free Petri nets, whose places have at most one output transition, model systems without conflicts. These classes respectively encompass the state machines (or S-systems) and the marked graphs (or T-systems).

Whereas a structurally bounded and structurally live Petri net graph is said to be "well-formed", a bounded and live Petri net is said to be "well-behaved". Necessary and sufficient conditions for the well-formedness of Join-Free and Choice-Free nets have been known for some time, yet the behavioral properties of these classes are still not well understood. In particular efficient sufficient conditions for liveness have not been found until now.

We extend results on weighted T-systems to the class of weighted Petri nets and present transformations which preserve the feasible sequences of transitions and reduce the initial marking. We introduce a notion of "balancing" that makes possible the transformation of conservative systems into so-called "1-conservative systems" while retaining the feasible transition sequences. This transformation leads to polynomial sufficient conditions of liveness for well-formed Join-Free and Choice-Free nets.

15h30-16h00: pause café

16h00-16h30: vie du groupe