-
Wait-Free Universality of Consensus in the Infinite Arrival Model
Authors:
Grégoire Bonin,
Achour Mostéfaoui,
Matthieu Perrin
Abstract:
In classical asynchronous distributed systems composed of a fixed number n of processes where some proportion may fail by crashing, many objects do not have a wait-free linearizable implementation (e.g. stacks, queues, etc.). It has been proved that consensus is universal in such systems, which means that this system augmented with consensus objects allows to implement any object that has a sequen…
▽ More
In classical asynchronous distributed systems composed of a fixed number n of processes where some proportion may fail by crashing, many objects do not have a wait-free linearizable implementation (e.g. stacks, queues, etc.). It has been proved that consensus is universal in such systems, which means that this system augmented with consensus objects allows to implement any object that has a sequential specification. To this end, many universal constructions have been proposed in systems augmented with consensus objects or with different equivalent objects or special hardware instructions (compare&swap, fetch&add, etc.). In this paper, we consider a more general system model called infinite arrival model where infinitely many processes may arrive and leave or crash during a run. We prove that consensus is still universal in this more general model. For that, we propose a universal construction. As a first step we build a weak log for which we propose two implementations using consensus objects for the first and the compare&swap special instruction for the other.
△ Less
Submitted 6 August, 2019;
originally announced August 2019.
-
ASIME 2018 White Paper. In-Space Utilisation of Asteroids: Asteroid Composition -- Answers to Questions from the Asteroid Miners
Authors:
Amara L. Graps,
Angel Abbud-Madrid,
Paul Abell,
Antonella Barucci,
Pierre Beck,
Lydie Bonal,
Grant Bonin,
Øystein Risan Borgersen,
Daniel Britt,
Humberto Campins,
Kevin Cannon,
Ian Carnelli,
Benoît Carry,
Ian Crawford,
Julia de Leon,
Line Drube,
Kerri Donaldson-Hanna,
Martin Elvis,
Alan Fitzsimmons,
JL Galache,
Simon F. Green,
Jan Thimo Grundmann,
Alan Herique,
Daniel Hestroffer,
Henry Hsieh
, et al. (19 additional authors not shown)
Abstract:
In kee** with the Luxembourg government's initiative to support the future use of space resources, ASIME 2018 was held in Belval, Luxembourg on April 16-17, 2018.
The goal of ASIME 2018: Asteroid Intersections with Mine Engineering, was to focus on asteroid composition for advancing the asteroid in-space resource utilisation domain. What do we know about asteroid composition from remote-sensin…
▽ More
In kee** with the Luxembourg government's initiative to support the future use of space resources, ASIME 2018 was held in Belval, Luxembourg on April 16-17, 2018.
The goal of ASIME 2018: Asteroid Intersections with Mine Engineering, was to focus on asteroid composition for advancing the asteroid in-space resource utilisation domain. What do we know about asteroid composition from remote-sensing observations? What are the potential caveats in the interpretation of Earth-based spectral observations? What are the next steps to improve our knowledge on asteroid composition by means of ground-based and space-based observations and asteroid rendez-vous and sample return missions? How can asteroid mining companies use this knowledge?
ASIME 2018 was a two-day workshop of almost 70 scientists and engineers in the context of the engineering needs of space missions with in-space asteroid utilisation. The 21 Questions from the asteroid mining companies were sorted into the four asteroid science themes: 1) Potential Targets, 2) Asteroid-Meteorite Links, 3) In-Situ Measurements and 4) Laboratory Measurements. The Answers to those Questions were provided by the scientists with their conference presentations and collected by A. Graps or edited directly into an open-access collaborative Google document or inserted by A. Graps using additional reference materials. During the ASIME 2018, first day and second day Wrap-Ups, the answers to the questions were discussed further. New readers to the asteroid mining topic may find the Conversation boxes and the Mission Design discussions especially interesting.
△ Less
Submitted 25 April, 2019;
originally announced April 2019.
-
ASIME 2016 White Paper: In-Space Utilisation of Asteroids: "Answers to Questions from the Asteroid Miners"
Authors:
Amara L. Graps,
Philippe Blondel,
Grant Bonin,
Daniel Britt,
Simone Centuori,
Marco Delbo,
Line Drube,
Rene Duffard,
Martin Elvis,
Daniel Faber,
Elizabeth Frank,
JL Galache,
Simon F. Green,
Jan Thimo Grundmann,
Henry Hsieh,
Akos Kereszturi,
Pauli Laine,
Anny-Chantal Levasseur-Regourd,
Philipp Maier,
Philip Metzger,
Patrick Michel,
Migo Mueller,
Thomas Mueller,
Naomi Murdoch,
Alex Parker
, et al. (6 additional authors not shown)
Abstract:
The aim of the Asteroid Science Intersections with In-Space Mine Engineering (ASIME) 2016 conference on September 21-22, 2016 in Luxembourg City was to provide an environment for the detailed discussion of the specific properties of asteroids, with the engineering needs of space missions that utilize asteroids.
The ASIME 2016 Conference produced a layered record of discussions from the asteroid…
▽ More
The aim of the Asteroid Science Intersections with In-Space Mine Engineering (ASIME) 2016 conference on September 21-22, 2016 in Luxembourg City was to provide an environment for the detailed discussion of the specific properties of asteroids, with the engineering needs of space missions that utilize asteroids.
The ASIME 2016 Conference produced a layered record of discussions from the asteroid scientists and the asteroid miners to understand each other's key concerns and to address key scientific questions from the asteroid mining companies: Planetary Resources, Deep Space Industries and TransAstra. These Questions were the focus of the two day conference, were addressed by scientists inside and outside of the ASIME Conference and are the focus of this White Paper.
The Questions from the asteroid mining companies have been sorted into the three asteroid science themes: 1) survey, 2) surface and 3) subsurface and 4) Other. The answers to those Questions have been provided by the scientists with their conference presentations or edited directly into an early open-access collaborative Google document (August 2016-October 2016), or inserted by A. Graps using additional reference materials. During the ASIME 2016 last two-hours, the scientists turned the Questions from the Asteroid Miners around by presenting their own key concerns: Questions from the Asteroid Scientists . These answers in this White Paper will point to the Science Knowledge Gaps (SKGs) for advancing the asteroid in-space resource utilisation domain.
△ Less
Submitted 16 January, 2017; v1 submitted 2 December, 2016;
originally announced December 2016.