| A. Bawden. PCLSRing: Keeping process state modular. Unpublished report. ftp://ftp.ai.mit.edu/pub/alan/- pclsr.memo, 1989. |
....for page I O, a small, in kernel thread structure containing a capability to the stalled process is queued on the in kernel stall queue. The invoker s program counter is adjusted to retry the invocation when awakened. This design is similar to that adopted in Fluke [12] and MIT s ITS system [10, 3], and simplifies checkpointing, as checkpointed kernel state requires special handling by the checkpoint mechanism. In the current implementation, the only kernel state that must be checkpointed is the table of stall queue structures. The stall queue structures are also the only kernel resource ....
A. Bawden. PCLSRing: Keeping process state modular. Unpublished report. ftp://ftp.ai.mit.edu/pub/alan/- pclsr.memo, 1989.
....sequence it can be hoisted, scheduled, removed from loops or otherwise shifted to some convenient location that dominates the transaction. The retry store doesn t have any data dependency on any other instruction the retry PC is only ever fetched by the interrupt handler. 5 Side step and PCLSR The final possibility is to side step the problem entirely: restructure the heap data structures to eliminate the need to serialise access to the heap. Then threads do not need to lock the heap at all. We can accomplish this by giving each thread its own chunk of storage for allocation. When a ....
....However, if threads lock using abort retry, then the collector can break locks on the fly, as it traces through the heap and discovers suspended thread activation records. This notion of forcing a thread into a consistent state on demand, providing an atomic view of critical operations, is called PCLSRing the thread, a term taken from the general PCLSR mechanism in the ITS operating system, and described in an unpublished but influential note by Bawden [PCLSR] This approach spreads the lock breaking work out incrementally over the entire collection process, and also eliminates the need to ....
[Article contains additional citation context not shown here]
Alan Bawden. "PCLSRing: Keeping process state modular." Unpublished memo, available via anonymous FTP as ftp://ftp.ai.mit. edu/pub/alan/pclsr.memo.
....cleanly interrupted and restarted, representing all aspects of a suspended computation in the contents of a thread s user mode registers: in fact, this property was a central principle of the system s design and substantial effort was made in the implementation to achieve it. An unpublished memo [4] describes the design and implementation in detail, though to our knowledge no formally published work has previously identified the benefits of an atomic API and explored the implementation issues. There are several systems which use concepts similar to Fluke s atomic system call API in different ....
A. Bawden. PCLSRing: Keeping Process State Modular. Unpublished report. ftp://ftp.ai.mit.edu/pub/alan/pclsr.memo, 1989.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC