Dartmouth logo Dartmouth College Computer Science
Technical Report series
CS home
TR home
TR search TR listserv
By author: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
By number: 2017, 2016, 2015, 2014, 2013, 2012, 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003, 2002, 2001, 2000, 1999, 1998, 1997, 1996, 1995, 1994, 1993, 1992, 1991, 1990, 1989, 1988, 1987, 1986

Reader-Writer Exclusion Supporting Upgrade and Downgrade with Reader-Priority
Michael I. Diamond
Dartmouth TR2011-683

Abstract: The Reader-Writer Exclusion problem seeks to provide a lock that protects some critical section of code for two classes of processes, readers and writers, where multiple readers are permitted to hold the lock at a time, but only one writer can hold the lock to the exclusion of all other processes. The difficulties in solving this problem lie not only in developing a good algorithm, but in rigorously formulating desirable properties for such an algorithm to have. Recently, Bhatt and Jayanti accomplished both of these tasks for several variants of the Reader-Writer Exclusion problem. We seek to extend their work by augmenting one of their algorithms (the one giving readers priority over writers) with the notions of upgrading and downgrading. We augment the algorithm by allowing processes in the critical section that are only permitted to read to attempt to acquire permission to write by upgrading, and by allowing processes that are permitted to write to relinquish their permission to write--but still remain in the critical section as readers--by downgrading.

Note: Senior Honors Thesis. Advisor: Prasad Jayanti.


PDF PDF (288KB)

Bibliographic citation for this report: [plain text] [BIB] [BibTeX] [Refer]

Or copy and paste:
   Michael I. Diamond, "Reader-Writer Exclusion Supporting Upgrade and Downgrade with Reader-Priority." Dartmouth Computer Science Technical Report TR2011-683, June 2011.


Notify me about new tech reports.

Search the technical reports.

To receive paper copy of a report, by mail, send your address and the TR number to reports AT cs.dartmouth.edu


Copyright notice: The documents contained in this server are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Technical reports collection maintained by David Kotz.