Information for "A scalable lock-free stack algorithm"

Basic information

Display title	A scalable lock-free stack algorithm
Default sort key	A scalable lock-free stack algorithm
Page length (in bytes)	15
Namespace ID	0
Page ID	8768512
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	1
Counted as a content page	Yes
Page views in the past month	0
MaRDI portal item ID	None
Central description	scientific article; zbMATH DE number 6012799

Page protection

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

View the protection log for this page.

Edit history

Page creator	Import240129110113 (talk \| contribs)
Date of page creation	09:53, 30 January 2024
Latest editor	AllProfilePages260409040437 (talk \| contribs)
Date of latest edit	15:01, 11 April 2026
Total number of edits	2
Recent number of edits (within past 90 days)	1
Recent number of distinct authors	1

Page properties

Transcluded templates (17)	Pages included on this page: Template:Badge (view source) Template:DeepChat (view source) Template:Publication (view source) Template:ReportABug (view source) Module:BacklinksList (view source) Module:HelperMethods (view source) Module:HelperStrConverter (view source) Module:PublicationCitesWork (view source) Module:PublicationContainsTheoremList (view source) Module:PublicationJournalEntry (view source) Module:PublicationKeywordList (view source) Module:PublicationMSCList (view source) Module:PublicationRecommendedItems (view source) Module:PublicationShowAbstract (view source) Module:PublicationUsesSoftwareList (view source) Module:Wd (view source) Module:Wd/i18n (view source)
MaRDI portal entities used in this page	zbMATH Keywords Miscellaneous (e.g. entity existence) Label: en published in Miscellaneous (e.g. entity existence) Label: en full work available at URL Miscellaneous (e.g. entity existence) Label: en Mathematics Subject Classification ID Miscellaneous (e.g. entity existence) Label: en publication date Miscellaneous (e.g. entity existence) Label: en Trace-based derivation of a scalable lock-free stack algorithm Label: en Title An applicative random-access stack Title A steady state analysis of diffracting trees Title Label: en Nonblocking algorithms and preemption-safe locking on multiprogrammed shared memory multiprocessors Title Label: en Elimination trees and the construction of pools and stacks Title Label: en Combining funnels: A dynamic approach to software combining Title Label: en PVS Label: en Title Relating trace refinement and linearizability Title Common2 extended to stacks and unbounded concurrency Title An optimistic approach to lock-free FIFO queues Title Lock-free concurrent binomial heaps Label: en Title Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. With an application to proving that non-blocking algorithms are bounded lock-free Title Nir Shavit Label: en Title Bounded-wait combining: constructing robust and high-throughput shared objects Title Label: en Fast and scalable rendezvousing Title Adaptive and efficient algorithms for lattice agreement and renaming Label: en Title A scalable, correct time-stamped stack Title Liveness-Preserving Atomicity Abstraction Title Fully-Adaptive Algorithms for Long-Lived Renaming Title Label: en Introduction to algorithms. Title Label: en Q4437136 Title Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors Title Label: en A fast, scalable mutual exclusion algorithm Label: en Title Q5155670 Title Safe memory reclamation for dynamic lock-free objects using atomic reads and writes Title Label: en Randomized wait-free concurrent objects (extended abstract) Title Label: en Proving linearizability with temporal logic Title Tasks in modular proofs of concurrent algorithms Title Set-linearizable implementations from read/write operations: sets, fetch \& increment, stacks and queues with multiplicity Title Quantifiability: a concurrent correctness condition modeled in vector space Title Reuse, don't recycle: transforming lock-free algorithms that throw away descriptors Title Tasks in modular proofs of concurrent algorithms Title Danny Hendler Label: en Title Lena Yerushalmi Label: en Title A scalable lock-free stack algorithm Title Miscellaneous (e.g. entity existence) Label: en Sitelink Some statements A general lock-free algorithm using compare-and-swap Label: en Title Journal of Parallel and Distributed Computing Label: en