An Almost Tight Lower Bound for Abortable Leader Election
| dc.contributor.advisor | Woelfel, Philipp | |
| dc.contributor.author | Eghbali, Aryaz | |
| dc.contributor.committeemember | Woelfel, Philipp | |
| dc.contributor.committeemember | Cockett, J. Robin B. | |
| dc.contributor.committeemember | Hadzilacos, Vassos | |
| dc.date | 2018-11 | |
| dc.date.accessioned | 2018-07-17T15:16:24Z | |
| dc.date.available | 2018-07-17T15:16:24Z | |
| dc.date.issued | 2018-07-11 | |
| dc.description.abstract | This thesis introduces a general definition of abortability for object types with concurrent specifications. The main result discussed here is a lower bound of Ω(log n/ log log n) remote memory references (RMR) of abortable leader election in both cache coherent (CC) and distributed shared memory (DSM) models. Hence, showing a gap in the RMR complexity of abortable and non-abortable leader election, as leader election has O(1) RMR complexity [30]. Further, a small modification to the implementation of name-consensus and compare-and-swap [33] provides abortable name-consensus and abortable compare-and-swap in the CC model, given an abortable or atomic test-and-set object. | en_US |
| dc.identifier.citation | Eghbali, A. (2018). An Almost Tight Lower Bound for Abortable Leader Election (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/32406 | |
| dc.identifier.doi | http://dx.doi.org/10.11575/PRISM/32406 | |
| dc.identifier.uri | http://hdl.handle.net/1880/107195 | |
| dc.language.iso | eng | |
| dc.publisher.faculty | Graduate Studies | |
| dc.publisher.faculty | Science | |
| dc.publisher.institution | University of Calgary | en |
| dc.publisher.place | Calgary | en |
| dc.rights | University of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission. | |
| dc.subject | Remote Memory Reference | |
| dc.subject | Distributed Algorithms | |
| dc.subject | Shared Memory | |
| dc.subject.classification | Computer Science | en_US |
| dc.title | An Almost Tight Lower Bound for Abortable Leader Election | |
| dc.type | master thesis | |
| thesis.degree.discipline | Computer Science | |
| thesis.degree.grantor | University of Calgary | |
| thesis.degree.name | Master of Science (MSc) | |
| ucalgary.item.requestcopy | true |