Coordination without prior agreement

Gadi Taubenfeld

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


Assuming that there is an a priori agreement between processes on the names of shared memory locations, as done in almost all the publications on shared memory algorithms, is tantamount to assuming that agreement has already been solved at the lower-level. From a theoretical point of view, it is intriguing to figure out how coordination can be achieved without relying on such lower-level agreement. In order to better understand the new model, we have designed new algorithms without relying on such a priori lower-level agreement, and proved space lower bounds and impossibility results for several important problems, such as mutual exclusion, consensus, election and renaming. Using these results, we identify fundamental differences between the standard model where there is a lower-level agreement about the shared register's names and the strictly weaker model where there is no such agreement.

שפה מקוריתאנגלית
כותר פרסום המארחPODC 2017 - Proceedings of the ACM Symposium on Principles of Distributed Computing
מוציא לאורAssociation for Computing Machinery
מספר עמודים10
מסת"ב (אלקטרוני)9781450349925
מזהי עצם דיגיטלי (DOIs)
סטטוס פרסוםפורסם - 26 יולי 2017
פורסם באופן חיצוניכן
אירוע36th ACM Symposium on Principles of Distributed Computing, PODC 2017 - Washington, ארצות הברית
משך הזמן: 25 יולי 201727 יולי 2017

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

שםProceedings of the Annual ACM Symposium on Principles of Distributed Computing
כרךPart F129314


כנס36th ACM Symposium on Principles of Distributed Computing, PODC 2017
מדינה/אזורארצות הברית

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

Publisher Copyright:
© 2017 Association for Computing Machinery.

טביעת אצבע

להלן מוצגים תחומי המחקר של הפרסום 'Coordination without prior agreement'. יחד הם יוצרים טביעת אצבע ייחודית.

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