2 commits

Author	SHA1	Message	Date
Sears Russell	126ae31392	bufferMananger is *really* reentrant now! (I think) However, the same thread may not load a page more than once. So, LLADD has to be altered so that it never calls loadPage() more than once per operation (more efficient), and/or pin/unpin need to be implemented. An easy way to do pin/unpin is to have them pull things out of the cache replacement list, and then re-insert them.	2004-07-21 02:13:28 +00:00
Sears Russell	d1f76f0b4a	Initial revision	2004-06-24 21:10:31 +00:00