The computability of relaxed data structures: Queues and stacks as examples

Nir Shavit, Gadi Taubenfeld

פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

תקציר

Most concurrent data structures being designed today are versions of known sequential data structures. However, in various cases it makes sense to relax the semantics of traditional concurrent data structures in order to get simpler and possibly more efficient and scalable implementations. For example, when solving the classical producer-consumer problem by implementing a concurrent queue, it might be enough to allow the dequeue operation (by a consumer) to return and remove one of the two oldest values in the queue, and not necessarily the oldest one. We define infinitely many possible relaxations of several traditional data structures: queues, stacks and multisets, and examine their relative computational power.

שפה מקוריתאנגלית
כותר פרסום המארחStructural Information and Communication Complexity - 22nd International Colloquium, SIROCCO 2015, Post-Proceedings
עורכיםChristian Scheideler
מוציא לאורSpringer Verlag
עמודים414-428
מספר עמודים15
מסת"ב (מודפס)9783319252575
מזהי עצם דיגיטלי (DOIs)
סטטוס פרסוםפורסם - 2015
פורסם באופן חיצוניכן
אירוע22nd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2015 - Montserrat, ספרד
משך הזמן: 14 יולי 201516 יולי 2015

סדרות פרסומים

שםLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
כרך9439
ISSN (מודפס)0302-9743
ISSN (אלקטרוני)1611-3349

כנס

כנס22nd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2015
מדינה/אזורספרד
עירMontserrat
תקופה14/07/1516/07/15

הערה ביבליוגרפית

Publisher Copyright:
© Springer International Publishing Switzerland 2015.

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'The computability of relaxed data structures: Queues and stacks as examples'. יחד הם יוצרים טביעת אצבע ייחודית.

פורמט ציטוט ביבליוגרפי