2004-08-21 00:03:30 +00:00
|
|
|
#define _XOPEN_SOURCE 600
|
|
|
|
#include <stdlib.h>
|
|
|
|
|
2004-08-03 02:04:56 +00:00
|
|
|
#include "../page.h"
|
|
|
|
#include <lladd/operations/pageOperations.h>
|
|
|
|
#include <assert.h>
|
2004-08-21 00:03:30 +00:00
|
|
|
/*#include "../page/slotted.h"*/
|
|
|
|
#include "../page/header.h"
|
|
|
|
#include "../pageFile.h"
|
2005-05-05 21:34:12 +00:00
|
|
|
#include "../page/fixed.h"
|
|
|
|
#include <alloca.h>
|
2004-08-21 00:03:30 +00:00
|
|
|
|
2004-12-06 01:20:48 +00:00
|
|
|
#ifdef REUSE_PAGES
|
2004-08-21 00:03:30 +00:00
|
|
|
static int freelist;
|
2004-12-06 01:20:48 +00:00
|
|
|
#endif
|
2004-08-21 00:03:30 +00:00
|
|
|
static int freepage;
|
|
|
|
static pthread_mutex_t pageAllocMutex;
|
|
|
|
|
|
|
|
/*int __pageAlloc(int xid, Page * p, lsn_t lsn, recordid r, const void * d) {
|
2004-08-03 02:04:56 +00:00
|
|
|
int type = *(int*)d;
|
|
|
|
|
|
|
|
*page_type_ptr(p) = type;
|
2004-08-21 00:03:30 +00:00
|
|
|
/ ** @todo this sort of thing should be done in a centralized way. * /
|
2004-08-17 01:46:17 +00:00
|
|
|
if(type == SLOTTED_PAGE) {
|
|
|
|
slottedPageInitialize(p);
|
|
|
|
}
|
2004-08-03 02:04:56 +00:00
|
|
|
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
int __pageDealloc(int xid, Page * p, lsn_t lsn, recordid r, const void * d) {
|
|
|
|
*page_type_ptr(p) = UNINITIALIZED_PAGE;
|
|
|
|
return 0;
|
|
|
|
}
|
2004-08-21 00:03:30 +00:00
|
|
|
*/
|
2004-08-03 02:04:56 +00:00
|
|
|
int __pageSet(int xid, Page * p, lsn_t lsn, recordid r, const void * d) {
|
|
|
|
memcpy(p->memAddr, d, PAGE_SIZE);
|
2005-02-10 03:51:09 +00:00
|
|
|
pageWriteLSN(xid, p, lsn);
|
2004-08-03 02:04:56 +00:00
|
|
|
return 0;
|
|
|
|
}
|
2004-08-21 00:03:30 +00:00
|
|
|
|
|
|
|
typedef struct {
|
|
|
|
int before;
|
|
|
|
int after;
|
|
|
|
} update_tuple;
|
|
|
|
|
2004-12-06 01:20:48 +00:00
|
|
|
int __update_freepage(int xid, Page * p, lsn_t lsn, recordid r, const void * d) {
|
2004-08-21 00:03:30 +00:00
|
|
|
assert(r.page == 0);
|
|
|
|
const update_tuple * t = d;
|
2004-12-06 01:20:48 +00:00
|
|
|
/* printf("freepage %d -> %d\n", t->before, t->after);
|
|
|
|
fflush(NULL); */
|
2004-08-21 00:03:30 +00:00
|
|
|
* headerFreepage_ptr(p) = t->after;
|
|
|
|
freepage = t->after;
|
2005-02-10 03:51:09 +00:00
|
|
|
pageWriteLSN(xid, p, lsn);
|
2004-08-21 00:03:30 +00:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
int __update_freespace_inverse(int xid, Page * p, lsn_t lsn, recordid r, const void * d) {
|
|
|
|
#ifdef REUSE_PAGES
|
|
|
|
assert(r.page == 0);
|
|
|
|
const update_tuple * t = d;
|
2004-12-06 01:20:48 +00:00
|
|
|
/* ("freespace %d <- %d\n", t->before, t->after);
|
|
|
|
fflush(NULL); */
|
2004-08-21 00:03:30 +00:00
|
|
|
|
|
|
|
* headerFreepage_ptr(p) = t->before;
|
|
|
|
freepage = t->before;
|
|
|
|
#endif
|
2005-02-10 03:51:09 +00:00
|
|
|
pageWriteLSN(xid, p, lsn);
|
2004-08-21 00:03:30 +00:00
|
|
|
return 0;
|
|
|
|
}
|
2004-12-06 01:20:48 +00:00
|
|
|
#ifdef REUSE_PAGES
|
2004-08-21 00:03:30 +00:00
|
|
|
/** @todo need to hold mutex here... */
|
|
|
|
int __update_freelist(int xid, Page * p, lsn_t lsn, recordid r, const void * d) {
|
|
|
|
assert(r.page == 0);
|
|
|
|
|
|
|
|
const update_tuple * t = d;
|
|
|
|
|
|
|
|
/* printf("freelist %d -> %d\n", t->before, t->after);
|
2004-12-06 01:20:48 +00:00
|
|
|
fflush(NULL); */
|
2004-08-21 00:03:30 +00:00
|
|
|
|
|
|
|
* headerFreepagelist_ptr(p) = t->after;
|
|
|
|
freelist = t->after;
|
|
|
|
pageWriteLSN(p, lsn);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
int __update_freelist_inverse(int xid, Page * p, lsn_t lsn, recordid r, const void * d) {
|
|
|
|
assert(r.page == 0);
|
|
|
|
const update_tuple * t = d;
|
|
|
|
|
2004-12-06 01:20:48 +00:00
|
|
|
/* printf("freelist %d <- %d\n", t->before, t->after);
|
|
|
|
fflush(NULL); */
|
2004-08-21 00:03:30 +00:00
|
|
|
|
|
|
|
* headerFreepagelist_ptr(p) = t->before;
|
|
|
|
freelist = t->before;
|
|
|
|
pageWriteLSN(p, lsn);
|
|
|
|
return 0;
|
|
|
|
}
|
2004-12-06 01:20:48 +00:00
|
|
|
#endif
|
2004-08-21 00:03:30 +00:00
|
|
|
int __free_page(int xid, Page * p, lsn_t lsn, recordid r, const void * d) {
|
|
|
|
const int * successor = d;
|
2004-12-06 01:20:48 +00:00
|
|
|
/*printf("Unallocing page %d\n", r.page);
|
|
|
|
fflush(NULL); */
|
2004-08-21 00:03:30 +00:00
|
|
|
memset(p->memAddr, 0, PAGE_SIZE);
|
|
|
|
*page_type_ptr(p) = LLADD_FREE_PAGE;
|
|
|
|
*nextfreepage_ptr(p) = *successor;
|
2005-02-10 03:51:09 +00:00
|
|
|
pageWriteLSN(xid, p, lsn);
|
2004-08-21 00:03:30 +00:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
int __alloc_freed(int xid, Page * p, lsn_t lsn, recordid r, const void * d) {
|
|
|
|
memset(p->memAddr, 0, PAGE_SIZE);
|
2005-02-10 03:51:09 +00:00
|
|
|
pageWriteLSN(xid, p, lsn);
|
2004-08-21 00:03:30 +00:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2005-02-22 03:10:54 +00:00
|
|
|
compensated_function int TpageGet(int xid, int pageid, byte *memAddr) {
|
|
|
|
Page * q = 0;
|
|
|
|
try_ret(compensation_error()) {
|
|
|
|
q = loadPage(xid, pageid);
|
|
|
|
memcpy(memAddr, q->memAddr, PAGE_SIZE);
|
|
|
|
} end_ret(compensation_error());
|
2004-08-21 00:03:30 +00:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2005-02-22 03:10:54 +00:00
|
|
|
compensated_function int TpageSet(int xid, int pageid, byte * memAddr) {
|
2004-08-03 02:04:56 +00:00
|
|
|
recordid rid;
|
|
|
|
rid.page = pageid;
|
|
|
|
rid.slot = 0;
|
|
|
|
rid.size = 0;
|
2005-02-22 03:10:54 +00:00
|
|
|
try_ret(compensation_error()) {
|
|
|
|
Tupdate(xid,rid,memAddr, OPERATION_PAGE_SET);
|
|
|
|
} end_ret(compensation_error());
|
2004-08-03 02:04:56 +00:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2004-08-21 00:03:30 +00:00
|
|
|
|
|
|
|
/** This needs to be called immediately after the storefile is opened,
|
|
|
|
since it needs to perform raw, synchronous I/O on the pagefile for
|
|
|
|
bootstrapping purposes. */
|
2005-02-22 03:10:54 +00:00
|
|
|
compensated_function void pageOperationsInit() {
|
2004-12-06 01:20:48 +00:00
|
|
|
/* Page p;
|
2004-08-21 00:03:30 +00:00
|
|
|
p.rwlatch = initlock();
|
|
|
|
p.loadlatch = initlock();
|
2006-06-13 22:44:40 +00:00
|
|
|
// assert(!posix_memalign((void **)&(p.memAddr), PAGE_SIZE, PAGE_SIZE));
|
2004-12-06 01:20:48 +00:00
|
|
|
p.id = 0;*/
|
2005-02-22 03:10:54 +00:00
|
|
|
Page * p;
|
|
|
|
try {
|
|
|
|
p = loadPage(-1, 0);
|
|
|
|
assert(!compensation_error());
|
|
|
|
} end;
|
2005-02-10 03:51:09 +00:00
|
|
|
/** Release lock on page zero. */
|
2004-12-06 01:20:48 +00:00
|
|
|
|
|
|
|
if(*page_type_ptr(p) != LLADD_HEADER_PAGE) {
|
|
|
|
/*printf("Writing new LLADD header\n"); fflush(NULL); */
|
|
|
|
headerPageInitialize(p);
|
|
|
|
} else {
|
|
|
|
/*printf("Found LLADD header.\n"); fflush(NULL);*/
|
2004-08-21 00:03:30 +00:00
|
|
|
}
|
2004-12-06 01:20:48 +00:00
|
|
|
#ifdef REUSE_PAGES
|
|
|
|
freelist = *headerFreepagelist_ptr(p);
|
|
|
|
#endif
|
|
|
|
freepage = *headerFreepage_ptr(p);
|
2004-08-21 00:03:30 +00:00
|
|
|
|
|
|
|
assert(freepage);
|
2004-12-06 01:20:48 +00:00
|
|
|
releasePage(p);
|
2004-08-21 00:03:30 +00:00
|
|
|
|
|
|
|
pthread_mutex_init(&pageAllocMutex, NULL);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-02-22 03:10:54 +00:00
|
|
|
/** @todo TpageAlloc / TpageDealloc + undo + page reuse is not multi-transaction / threadsafe.
|
2004-08-21 00:03:30 +00:00
|
|
|
|
|
|
|
Example of the problem:
|
|
|
|
|
|
|
|
T1 T2
|
|
|
|
dealloc(100)
|
|
|
|
(a) list ptr 30 -> 100
|
|
|
|
(b) p(100) nil -> 30
|
|
|
|
alloc() -> 100 <- Can't allow this to happen!
|
|
|
|
list_ptr 100 -> 30
|
|
|
|
alloc() -> 30
|
|
|
|
list_ptr 30 -> 20
|
|
|
|
abort();
|
|
|
|
|
|
|
|
// Really just needs to remove 100 from the linked list. Instead,
|
|
|
|
we use physical, value based locking.
|
|
|
|
|
|
|
|
list ptr 20 <- 30 <- Oops! Page 30 is in use, and we lose the rest
|
|
|
|
of the freelist, starting at 20!
|
|
|
|
|
|
|
|
The partial solution: dealloc() aquires a lock on the freelist until
|
|
|
|
commit / abort. If other transactions need to allocate when the
|
|
|
|
lock is held, then they simply do not reuse pages. Since locking is
|
|
|
|
not yet implemented, we require applications to manually serialize
|
2005-02-24 21:12:36 +00:00
|
|
|
transactions that call Talloc or Tdealloc
|
2004-08-21 00:03:30 +00:00
|
|
|
|
|
|
|
A better solution: defer the addition of 100 to the freelist until
|
|
|
|
commit, and use a 'real' data structure, like a concurrent B-Tree.
|
|
|
|
|
|
|
|
*/
|
2004-08-03 02:04:56 +00:00
|
|
|
|
2005-02-22 03:10:54 +00:00
|
|
|
compensated_function int TpageDealloc(int xid, int pageid) {
|
2004-08-21 00:03:30 +00:00
|
|
|
#ifdef REUSE_PAGES
|
|
|
|
|
2005-02-22 03:10:54 +00:00
|
|
|
begin_action_ret(pthread_mutex_unlock, &pageAllocMutex, -1) {
|
|
|
|
recordid rid;
|
|
|
|
|
|
|
|
update_tuple t;
|
|
|
|
pthread_mutex_lock(&pageAllocMutex);
|
|
|
|
|
|
|
|
rid.page = pageid;
|
|
|
|
rid.slot = 0;
|
|
|
|
rid.size = 0;
|
2004-08-03 02:04:56 +00:00
|
|
|
|
2005-02-22 03:10:54 +00:00
|
|
|
assert(freelist != pageid);
|
|
|
|
t.before = freelist;
|
2006-06-22 19:10:02 +00:00
|
|
|
|
2005-02-22 03:10:54 +00:00
|
|
|
Tupdate(xid, rid, &freelist, OPERATION_FREE_PAGE);
|
2006-06-22 19:10:02 +00:00
|
|
|
|
2005-02-22 03:10:54 +00:00
|
|
|
t.after = pageid;
|
|
|
|
freelist = pageid;
|
|
|
|
rid.page = 0;
|
|
|
|
Tupdate(xid, rid, &t, OPERATION_UPDATE_FREELIST);
|
|
|
|
pthread_mutex_unlock(&pageAllocMutex);
|
|
|
|
} end_action_ret(-1);
|
2004-08-21 00:03:30 +00:00
|
|
|
#endif
|
2005-02-22 03:10:54 +00:00
|
|
|
|
2004-08-03 02:04:56 +00:00
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2005-02-22 03:10:54 +00:00
|
|
|
compensated_function int TpageAlloc(int xid /*, int type */) {
|
2004-08-03 02:04:56 +00:00
|
|
|
recordid rid;
|
2004-08-21 00:03:30 +00:00
|
|
|
update_tuple t;
|
2004-08-03 02:04:56 +00:00
|
|
|
rid.slot = 0;
|
|
|
|
rid.size = 0;
|
2004-08-21 00:03:30 +00:00
|
|
|
|
|
|
|
pthread_mutex_lock(&pageAllocMutex);
|
|
|
|
int newpage;
|
2004-12-06 01:20:48 +00:00
|
|
|
/*printf("TpageAlloc\n"); fflush(NULL); */
|
2004-08-21 00:03:30 +00:00
|
|
|
#ifdef REUSE_PAGES
|
|
|
|
if(freelist) {
|
|
|
|
|
2004-10-18 18:24:54 +00:00
|
|
|
DEBUG("Re-using old page: %d\n", freelist);
|
|
|
|
|
2004-08-21 00:03:30 +00:00
|
|
|
newpage = freelist;
|
|
|
|
|
2005-02-22 03:10:54 +00:00
|
|
|
Page * p;
|
|
|
|
begin_action_ret(pthread_mutex_unlock, &pageAllocMutex, compensation_error()) {
|
|
|
|
p = loadPage(newpage); /* Could obtain write lock here,
|
2004-08-21 00:03:30 +00:00
|
|
|
but this is the only function
|
|
|
|
that should ever touch pages of
|
|
|
|
type LLADD_FREE_PAGE, and we
|
|
|
|
already hold a mutex... */
|
2005-02-22 03:10:54 +00:00
|
|
|
} end_ret(compensation_error());
|
2004-08-21 00:03:30 +00:00
|
|
|
assert(*page_type_ptr(p) == LLADD_FREE_PAGE);
|
|
|
|
t.before = freelist;
|
|
|
|
freelist = *nextfreepage_ptr(p);
|
|
|
|
t.after = freelist;
|
|
|
|
assert(newpage != freelist);
|
|
|
|
releasePage(p);
|
2005-02-22 03:10:54 +00:00
|
|
|
|
|
|
|
begin_action_ret(pthread_mutex_unlock, &pageAllocMutex, compensation_error()) {
|
|
|
|
rid.page = newpage;
|
|
|
|
Tupdate(xid, rid, &freelist, OPERATION_ALLOC_FREED);
|
|
|
|
|
|
|
|
rid.page = 0;
|
|
|
|
Tupdate(xid, rid, &t, OPERATION_UPDATE_FREELIST);
|
|
|
|
} end_ret;
|
2004-08-21 00:03:30 +00:00
|
|
|
rid.page = newpage;
|
|
|
|
|
|
|
|
} else {
|
|
|
|
#endif
|
2004-12-06 01:20:48 +00:00
|
|
|
/*printf("Allocing new page: %d\n", freepage);
|
|
|
|
fflush(NULL); */
|
2004-08-21 00:03:30 +00:00
|
|
|
|
|
|
|
t.before = freepage;
|
|
|
|
newpage = freepage;
|
|
|
|
freepage++;
|
|
|
|
t.after = freepage;
|
2004-12-06 01:20:48 +00:00
|
|
|
|
|
|
|
/*printf("next freepage: %d\n", freepage); */
|
|
|
|
/* Don't need to touch the new page. */
|
2004-08-21 00:03:30 +00:00
|
|
|
|
|
|
|
rid.page = 0;
|
2005-02-22 03:10:54 +00:00
|
|
|
|
|
|
|
begin_action_ret(pthread_mutex_unlock, &pageAllocMutex, compensation_error()) {
|
|
|
|
Tupdate(xid, rid, &t, OPERATION_UPDATE_FREESPACE);
|
|
|
|
} end_action_ret(compensation_error());
|
2004-08-21 00:03:30 +00:00
|
|
|
|
|
|
|
rid.page = newpage;
|
|
|
|
#ifdef REUSE_PAGES
|
|
|
|
}
|
|
|
|
#endif
|
2004-08-03 02:04:56 +00:00
|
|
|
|
2004-08-21 00:03:30 +00:00
|
|
|
pthread_mutex_unlock(&pageAllocMutex);
|
2004-12-06 01:20:48 +00:00
|
|
|
/*printf("TpageAlloc alloced page %d\n", newpage); fflush(NULL); */
|
2004-08-21 00:03:30 +00:00
|
|
|
return newpage;
|
2004-08-03 02:04:56 +00:00
|
|
|
}
|
2004-08-21 00:03:30 +00:00
|
|
|
|
2005-05-05 21:34:12 +00:00
|
|
|
|
|
|
|
/**
|
|
|
|
@todo TfixedPageAlloc is a huge hack, and it writes an extra 4k to
|
|
|
|
the log each time it is called.
|
|
|
|
|
|
|
|
@return a recordid. The page field contains the page that was
|
|
|
|
allocated, the slot field contains the number of slots on the
|
|
|
|
apge, and the size field contains the size of each slot.
|
|
|
|
*/
|
|
|
|
recordid TfixedPageAlloc(int xid, int size) {
|
|
|
|
int page = TpageAlloc(xid);
|
|
|
|
Page * p = loadPage(xid, page);
|
2005-10-31 23:21:18 +00:00
|
|
|
fixedPageInitialize(p , size, recordsPerPage(size));
|
2005-05-05 21:34:12 +00:00
|
|
|
byte * tmpMemAddr = alloca(PAGE_SIZE);
|
|
|
|
memcpy(tmpMemAddr, p->memAddr, PAGE_SIZE);
|
|
|
|
TpageSet(xid, page, tmpMemAddr);
|
|
|
|
releasePage(p);
|
|
|
|
recordid rid;
|
|
|
|
rid.page = page;
|
|
|
|
rid.slot = recordsPerPage(size);
|
|
|
|
rid.size = size;
|
|
|
|
return rid;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2005-02-22 03:10:54 +00:00
|
|
|
compensated_function int TpageAllocMany(int xid, int count /*, int type*/) {
|
2004-08-21 00:03:30 +00:00
|
|
|
/* int firstPage = -1;
|
|
|
|
int lastPage = -1; */
|
|
|
|
recordid rid;
|
|
|
|
rid.slot = 0;
|
|
|
|
rid.size = 0;
|
|
|
|
|
|
|
|
update_tuple t;
|
|
|
|
pthread_mutex_lock(&pageAllocMutex);
|
|
|
|
|
|
|
|
t.before = freepage;
|
|
|
|
int newpage = freepage;
|
|
|
|
freepage += count;
|
|
|
|
t.after = freepage;
|
|
|
|
|
|
|
|
/* Don't need to touch the new pages. */
|
|
|
|
|
|
|
|
rid.page = 0;
|
2005-02-22 03:10:54 +00:00
|
|
|
begin_action_ret(pthread_mutex_unlock, &pageAllocMutex, compensation_error()) {
|
|
|
|
Tupdate(xid, rid, &t, OPERATION_UPDATE_FREESPACE);
|
|
|
|
rid.page = newpage;
|
|
|
|
} compensate_ret(compensation_error());
|
2004-08-21 00:03:30 +00:00
|
|
|
|
|
|
|
return newpage;
|
2004-08-03 02:04:56 +00:00
|
|
|
}
|
|
|
|
|
2004-08-21 00:03:30 +00:00
|
|
|
/** Safely allocating and freeing pages is suprisingly complex. Here is a summary of the process:
|
|
|
|
|
|
|
|
Alloc:
|
|
|
|
|
|
|
|
obtain mutex
|
|
|
|
choose a free page using in-memory data
|
|
|
|
load page to be used, and update in-memory data. (obtains lock on loaded page)
|
2005-02-22 03:10:54 +00:00
|
|
|
T update() the page, zeroing it, and saving the old successor in the log.
|
2004-08-21 00:03:30 +00:00
|
|
|
relase the page (avoid deadlock in next step)
|
2005-02-22 03:10:54 +00:00
|
|
|
T update() LLADD's header page (the first in the store file) with a new copy of
|
2004-08-21 00:03:30 +00:00
|
|
|
the in-memory data, saving old version in the log.
|
|
|
|
release mutex
|
|
|
|
|
|
|
|
Free:
|
|
|
|
|
|
|
|
obtain mutex
|
|
|
|
determine the current head of the freelist using in-memory data
|
2005-02-22 03:10:54 +00:00
|
|
|
T update() the page, initializing it to be a freepage, and physically logging the old version
|
2004-08-21 00:03:30 +00:00
|
|
|
release the page
|
2005-02-22 03:10:54 +00:00
|
|
|
T update() LLADD's header page with a new copy of the in-memory data, saving old version in the log
|
2004-08-21 00:03:30 +00:00
|
|
|
release mutex
|
|
|
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
Operation getUpdateFreespace() {
|
|
|
|
Operation o = {
|
|
|
|
OPERATION_UPDATE_FREESPACE,
|
|
|
|
sizeof(update_tuple),
|
2004-10-18 18:24:54 +00:00
|
|
|
/* OPERATION_UPDATE_FREESPACE_INVERSE, */ OPERATION_NOOP,
|
2004-12-06 01:20:48 +00:00
|
|
|
&__update_freepage
|
2004-08-21 00:03:30 +00:00
|
|
|
};
|
|
|
|
return o;
|
|
|
|
}
|
|
|
|
|
|
|
|
Operation getUpdateFreespaceInverse() {
|
|
|
|
Operation o = {
|
|
|
|
OPERATION_UPDATE_FREESPACE_INVERSE,
|
|
|
|
sizeof(update_tuple),
|
|
|
|
OPERATION_UPDATE_FREESPACE,
|
|
|
|
&__update_freespace_inverse
|
|
|
|
};
|
|
|
|
return o;
|
|
|
|
}
|
|
|
|
|
|
|
|
Operation getUpdateFreelist() {
|
|
|
|
Operation o = {
|
|
|
|
OPERATION_UPDATE_FREELIST,
|
|
|
|
sizeof(update_tuple),
|
2004-10-18 18:24:54 +00:00
|
|
|
OPERATION_NOOP,
|
2004-12-06 01:20:48 +00:00
|
|
|
#ifdef REUSE_PAGES
|
2004-08-21 00:03:30 +00:00
|
|
|
&__update_freelist
|
2004-12-06 01:20:48 +00:00
|
|
|
#else
|
|
|
|
NULL
|
|
|
|
#endif
|
|
|
|
};
|
2004-08-21 00:03:30 +00:00
|
|
|
return o;
|
|
|
|
}
|
|
|
|
|
|
|
|
Operation getUpdateFreelistInverse() {
|
|
|
|
Operation o = {
|
|
|
|
OPERATION_UPDATE_FREELIST_INVERSE,
|
|
|
|
sizeof(update_tuple),
|
|
|
|
OPERATION_UPDATE_FREELIST,
|
2004-12-06 01:20:48 +00:00
|
|
|
#ifdef REUSE_PAGES
|
2004-08-21 00:03:30 +00:00
|
|
|
&__update_freelist_inverse
|
2004-12-06 01:20:48 +00:00
|
|
|
#else
|
|
|
|
NULL
|
|
|
|
#endif
|
|
|
|
};
|
2004-08-21 00:03:30 +00:00
|
|
|
return o;
|
|
|
|
}
|
|
|
|
|
|
|
|
/** frees a page by zeroing it, setting its type to LLADD_FREE_PAGE,
|
|
|
|
and setting the successor pointer. This operation physically logs
|
|
|
|
a whole page, which makes it expensive. Doing so is necessary in
|
|
|
|
general, but it is possible that application specific logic could
|
|
|
|
avoid the physical logging here. */
|
|
|
|
Operation getFreePageOperation() {
|
|
|
|
Operation o = {
|
|
|
|
OPERATION_FREE_PAGE,
|
|
|
|
sizeof(int),
|
|
|
|
NO_INVERSE_WHOLE_PAGE,
|
|
|
|
&__free_page
|
|
|
|
};
|
|
|
|
return o;
|
|
|
|
}
|
|
|
|
|
|
|
|
/** allocs a page that was once freed by zeroing it. */
|
|
|
|
Operation getAllocFreedPage() {
|
|
|
|
Operation o = {
|
|
|
|
OPERATION_ALLOC_FREED,
|
|
|
|
sizeof(int),
|
|
|
|
OPERATION_UNALLOC_FREED,
|
|
|
|
&__alloc_freed
|
|
|
|
};
|
|
|
|
return o;
|
|
|
|
}
|
|
|
|
/** does the same thing as getFreePageOperation, but doesn't log a preimage. (Used to undo an alloc of a freed page.) */
|
|
|
|
Operation getUnallocFreedPage() {
|
|
|
|
Operation o = {
|
|
|
|
OPERATION_UNALLOC_FREED,
|
|
|
|
sizeof(int),
|
|
|
|
OPERATION_ALLOC_FREED,
|
|
|
|
&__free_page
|
|
|
|
};
|
|
|
|
return o;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/*Operation getPageAlloc() {
|
2004-08-03 02:04:56 +00:00
|
|
|
Operation o = {
|
|
|
|
OPERATION_PAGE_ALLOC,
|
|
|
|
sizeof(int),
|
|
|
|
OPERATION_PAGE_DEALLOC,
|
|
|
|
&__pageAlloc
|
|
|
|
};
|
|
|
|
return o;
|
|
|
|
}
|
|
|
|
|
|
|
|
Operation getPageDealloc() {
|
|
|
|
Operation o = {
|
|
|
|
OPERATION_PAGE_DEALLOC,
|
|
|
|
sizeof(int),
|
|
|
|
OPERATION_PAGE_ALLOC,
|
|
|
|
&__pageDealloc
|
|
|
|
};
|
|
|
|
return o;
|
2004-08-21 00:03:30 +00:00
|
|
|
}*/
|
2004-08-03 02:04:56 +00:00
|
|
|
|
|
|
|
Operation getPageSet() {
|
|
|
|
Operation o = {
|
|
|
|
OPERATION_PAGE_SET,
|
|
|
|
PAGE_SIZE, /* This is the type of the old page, for undo purposes */
|
|
|
|
/*OPERATION_PAGE_SET, */ NO_INVERSE_WHOLE_PAGE,
|
|
|
|
&__pageSet
|
|
|
|
};
|
|
|
|
return o;
|
|
|
|
}
|