%T A Solution to k-Exclusion with O(logk) RMR Complexity
%A Jonathan H. Choi
%R Technical Report TR2011-682
%I Dartmouth College, Computer Science
%C Hanover, NH
%D June 2011
%U http://www.cs.dartmouth.edu/reports/TR2011-682.pdf
%X
We specify and prove an algorithm solving k-Exclusion, a generalization of the Mutual Exclusion problem. k-Exclusion requires that at most k processes
be in the Critical Section (CS) at once; in addition, we require bounded exit, starvation freedom and fairness properties. The goal within this
framework is to minimize the number of Remote Memory References (RMRs) made. Previous algorithms have required Omega(k) RMRs in the worst case. Our
algorithm requires O(log k) RMRs in the worst case under the Cache-Coherent (CC) model, a considerable improvement in time complexity.
%Z
Senior Honors Thesis; advisor: Prasad Jayanti.