• Home
  • Search
  • Efficient Transformations of Obstruction-Free Algorithms into Non-blocking Algorithms
  • Open Access IconOpen Access
  • Cite Icon8
  • https://doi.org/10.1007/978-3-540-75142-7_34Copy DOI Icon

Efficient Transformations of Obstruction-Free Algorithms into Non-blocking Algorithms

  • Sep 24, 2007
  • Gadi Taubenfeld
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Three well studied progress conditions for implementing concurrent algorithms without locking are, obstruction-freedom, non-blocking and wait-freedom. Obstruction-freedom is weaker than non-blocking which, in turn, is weaker than wait-freedom. While obstruction-freedom and non-blocking have the potential to significantly improve the performance of concurrent applications, wait-freedom (although desirable) imposes too much overhead upon the implementation. In [5], Fich, Luchangco, Moir, and Shavit have presented an interesting transformation that converts any obstruction-free algorithm into a wait-free algorithm when analyzed in the unknown-bound semi-synchronous model. The FLMS transformation uses n atomic single-writer registers, n atomic multi-writer registers and a single fetch-and-increment object, where n is the number of processes. We define a time complexity measure for analyzing such transformations, and prove that the time complexity of the FLMS transformation is exponential in the number of processes n. This leads naturally to the question of whether the time and/or space complexity of the FLMS transformation can be improved by relaxing the wait-freedom progress condition. We present several efficient transformations that convert any obstruction-free algorithm into a non-blocking algorithm when analyzed in the unknown-bound semi-synchronous model. All our transformations have O(1) time complexity. One transformation uses n atomic single-writer registers and a single compare-and-swap object; another transformation uses only a single compare-and-swap object which is assumed to support also a read operation.

Similar Papers
  • Conference Article
  • Citations6

Analysis of Time and Space Complexity of Array, Linked List and Linked Array(hybrid) in Linear Search Operation

  • Dec 08, 2022
  • B Lokeshwar +4
  • Addendum

WITHDRAWN: Spearman rank correlation based bagging ensemble bayes optimal classification for genomic predictive pattern analytics

  • Nov 01, 2020
  • Materials Today: Proceedings
  • Marrynal S Eastaff +1
  • Book Chapter
  • Citations5

Waiting in Concurrent Algorithms

  • Jan 01, 2016
  • Gadi Taubenfeld
  • Research Article
  • Citations75

A fast algorithm for optimal buffer insertion

  • Jun 01, 2005
  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • Weiping Shi +1
  • Research Article
  • Citations10

A faster FPTAS for knapsack problem with cardinality constraint

  • Apr 04, 2022
  • Discrete Applied Mathematics
  • Wenxin Li +2
  • Book Chapter

Mutex-Free Concurrent Objects

  • Dec 28, 2012
  • Michel Raynal
  • Conference Article
  • Citations32

Energy-Efficient Algorithms

  • Jan 14, 2016
  • Erik D Demaine +3
  • Book Chapter
  • Citations5

SVM Based MLP Neural Network Algorithm and Application in Intrusion Detection

  • Jan 01, 2011
  • Yong Hou +1
  • Research Article
  • Citations15

Sketch Kernel Ridge Regression Using Circulant Matrix: Algorithm and Theory.

  • Oct 29, 2019
  • IEEE transactions on neural networks and learning systems
  • Rong Yin +3
  • Research Article
  • Citations22

Routing with multiple quality-of-services constraints: An approximation perspective

  • Oct 06, 2011
  • Journal of Network and Computer Applications
  • Jun Huang +2
  • Conference Article
  • Citations27

The Similarity Computing of Documents Based on VSM

  • Jan 01, 2008
  • Qinglin Guo
  • Book Chapter
  • Citations1

Simulation of d′-Dimensional Cellular Automata on d-Dimensional Cellular Automata

  • Jan 01, 2006
  • Christoph Scheben
  • Research Article
  • Citations32

Tree structure for distributive lattices and its applications

  • Oct 01, 1996
  • Theoretical Computer Science
  • Michel Habib +1
  • Book Chapter
  • Citations25

A complete and constant time wait-free implementation of CAS from LL/SC and vice versa

  • Jan 01, 1998
  • Prasad Jayanti
  • Book Chapter

N-Dimensional Structure: A Data Structure with Fast Access and Sorting of Integers

  • Jan 01, 2022
  • Harshit Gupta +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.