| dc.contributor.advisor |
Nancy Lynch |
en_US |
| dc.contributor.author |
Fan, Rui |
en_US |
| dc.contributor.author |
Lynch, Nancy |
en_US |
| dc.contributor.other |
Theory of Computation |
en_US |
| dc.date.accessioned |
2008-07-28T13:30:11Z |
|
| dc.date.available |
2008-07-28T13:30:11Z |
|
| dc.date.issued |
2006-07-23 |
en_US |
| dc.identifier.other |
MIT-CSAIL-TR-2008-047 |
en_US |
| dc.identifier.uri |
http://hdl.handle.net/1721.1/41890 |
|
| dc.description.abstract |
We prove an $\Omega(n \log n)$ lower bound on the number ofnon-busywaiting memory accesses by any deterministic algorithm solving$n$ process mutual exclusion that communicates via shared registers.The cost of the algorithm is measured in the \emph{state change} costmodel, a variation of the cache coherent model. Our bound is tight inthis model. We introduce a novel information theoretic prooftechnique. We first establish a lower bound on the information neededby processes to solve mutual exclusion. Then we relate the amount ofinformation processes can acquire through shared memory accesses tothe cost they incur. We believe our proof technique is flexible andintuitive, and may be applied to a variety of other problems andsystem models. |
en_US |
| dc.description.provenance |
Submitted by CSAIL Importer (publications-dspace@csail.mit.edu) on 2008-07-28T13:30:09Z
No. of bitstreams: 2
MIT-CSAIL-TR-2008-047.pdf: 387909 bytes, checksum: de1675301ffcdda7c001e657ba6e20ea (MD5)
MIT-CSAIL-TR-2008-047.ps: 73870 bytes, checksum: a2b77c3f6431328c3f2f3c9bb992c364 (MD5) |
en |
| dc.description.provenance |
Made available in DSpace on 2008-07-28T13:30:11Z (GMT). No. of bitstreams: 2
MIT-CSAIL-TR-2008-047.pdf: 387909 bytes, checksum: de1675301ffcdda7c001e657ba6e20ea (MD5)
MIT-CSAIL-TR-2008-047.ps: 73870 bytes, checksum: a2b77c3f6431328c3f2f3c9bb992c364 (MD5)
Previous issue date: 2006-07-23 |
en |
| dc.format.extent |
14 p. |
en_US |
| dc.relation |
Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory |
en_US |
| dc.relation |
|
en_US |
| dc.subject |
Mutual exclusion |
en_US |
| dc.subject |
Time complexity |
en_US |
| dc.subject |
Lower bound techniques |
en_US |
| dc.title |
An $\Omega(n \log n)$ Lower Bound on the Cost of Mutual Exclusion |
en_US |
