|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Objectmoss.kernel.CREWLock
public class CREWLock
implementation of a CREW (concurrent read, exclusive write) lock for MOSS processes. Based on Peter Welch's and David Wood's CREW code from occam/KRoC. This is a bit simpler than the algorithm presented in the lecture.
| Constructor Summary | |
|---|---|
CREWLock()
creates and initialises a new CREW lock |
|
| Method Summary | |
|---|---|
void |
claim_read()
claim a read lock |
void |
claim_write()
claim the write lock |
void |
release_read()
release a read lock |
void |
release_write()
release the write lock |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public CREWLock()
| Method Detail |
|---|
public void claim_read()
public void release_read()
public void claim_write()
public void release_write()
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||