The F-snapshot problem

Gal Amram

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Aguilera, Gafni and Lamport introduced the signaling problem in [3]. In this problem, two processes numbered 0 and 1 can call two procedures: update and Fscan. A parameter of the problem is a two variable function F(x0, x1). Each process pi can assign values to variable xi by calling update(v) with some data value v, and compute the value: F(x0, x1) by executing an Fscan procedure. The problem is interesting when the domain of F is infinite and the range of F is finite. In this case, some “access restrictions” are imposed that limit the size of the registers that the Fscan procedure can access. Aguilera et al. provided a non-blocking solution and asked whether a wait-free solution exists. A positive answer can be found in [5]. The natural generalization of the two-process signaling problem to an arbitrary number of processes turns out to yield an interesting generalization of the fundamental snapshot problem, which we call the F-snapshot problem. In this problem n processes can write values to an n-segment array (each process to its own segment), and can read and obtain the value of an n-variable function F on the array of segments. In case that the range of F is finite, it is required that only bounded registers are accessed when the processes apply the function F to the array, although the data values written to the segments may be taken from an infinite set. We provide here an affirmative answer to the question of Aguilera et al. for an arbitrary number of processes. Our solution employs only single-writer atomic registers, and its time complexity is O(n log n).

Original languageEnglish
Title of host publicationStructural Information and Communication Complexity - 23rd International Colloquium, SIROCCO 2016, Revised Selected Papers
EditorsJukka Suomela
PublisherSpringer Verlag
Number of pages18
ISBN (Print)9783319483139
StatePublished - 1 Jan 2016
Event23rd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2016 - Helsinki, Finland
Duration: 19 Jul 201621 Jul 2016

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9988 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference23rd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2016

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'The F-snapshot problem'. Together they form a unique fingerprint.

Cite this