License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.DISC.2018.8
URN: urn:nbn:de:0030-drops-97974
URL: http://drops.dagstuhl.de/opus/volltexte/2018/9797/
Go to the corresponding LIPIcs Volume Portal


Aspnes, James ; Haeupler, Bernhard ; Tong, Alexander ; Woelfel, Philipp

Allocate-On-Use Space Complexity of Shared-Memory Algorithms

pdf-format:
LIPIcs-DISC-2018-8.pdf (0.6 MB)


Abstract

Many fundamental problems in shared-memory distributed computing, including mutual exclusion [James E. Burns and Nancy A. Lynch, 1993], consensus [Leqi Zhu, 2016], and implementations of many sequential objects [Prasad Jayanti et al., 2000], are known to require linear space in the worst case. However, these lower bounds all work by constructing particular executions for any given algorithm that may be both very long and very improbable. The significance of these bounds is justified by an assumption that any space that is used in some execution must be allocated for all executions. This assumption is not consistent with the storage allocation mechanisms of actual practical systems. We consider the consequences of adopting a per-execution approach to space complexity, where an object only counts toward the space complexity of an execution if it is used in that execution. This allows us to show that many known randomized algorithms for fundamental problems in shared-memory distributed computing have expected space complexity much lower than the worst-case lower bounds, and that many algorithms that are adaptive in time complexity can also be made adaptive in space complexity. For the specific problem of mutual exclusion, we develop a new algorithm that illustrates an apparent trade-off between low expected space complexity and low expected RMR complexity. Whether this trade-off is necessary is an open problem. For some applications, it may be helpful to pay only for objects that are updated, as opposed to those that are merely read. We give a data structure that requires no space to represent objects that are not updated at the cost of a small overhead on those that are.

BibTeX - Entry

@InProceedings{aspnes_et_al:LIPIcs:2018:9797,
  author =	{James Aspnes and Bernhard Haeupler and Alexander Tong and Philipp Woelfel},
  title =	{{Allocate-On-Use Space Complexity of Shared-Memory Algorithms}},
  booktitle =	{32nd International Symposium on Distributed Computing  (DISC 2018)},
  pages =	{8:1--8:17},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-092-7},
  ISSN =	{1868-8969},
  year =	{2018},
  volume =	{121},
  editor =	{Ulrich Schmid and Josef Widder},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2018/9797},
  URN =		{urn:nbn:de:0030-drops-97974},
  doi =		{10.4230/LIPIcs.DISC.2018.8},
  annote =	{Keywords: Space complexity, memory allocation, mutual exclusion}
}

Keywords: Space complexity, memory allocation, mutual exclusion
Seminar: 32nd International Symposium on Distributed Computing (DISC 2018)
Issue Date: 2018
Date of publication: 28.09.2018


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI