greg/stasis-aries-wal
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

additional load/release page stubs

Browse source
This commit is contained in:
Sears Russell 2011-02-02 21:32:03 +00:00
parent c4ebeb1285
commit 3e9d970a2d
2 changed files with 47 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
src/stasis/wrapper_gunk.c
View file

@ -11,5 +11,14 @@
#include <assert.h>
#include <stasis/bufferManager.h>
static int not_called = 0;
Page* __real_loadPage(int xid, pageid_t pid) { assert(not_called); abort(); }
void __real_releasePage(Page* p) { assert(not_called); }
#define LINKER_STUB { assert(not_called); abort(); }
Page* __real_loadPage(int xid, pageid_t pageid) LINKER_STUB
Page * __real_loadPageOfType(int xid, pageid_t pageid, pagetype_t type)
LINKER_STUB
Page * __real_loadUninitializedPage(int xid, pageid_t pageid) LINKER_STUB
Page * __real_loadPageForOperation(int xid, pageid_t pageid, int op, int is_recovery)
LINKER_STUB
void __real_releasePage(Page* p) LINKER_STUB
Page * __real_getCachedPage(int xid, pageid_t pageid) LINKER_STUB

43
src/stasis/wrappers.c
View file

@ -1,16 +1,45 @@
#include <stasis/transactional.h>
#include <stasis/bufferManager.h>
Page* __real_loadPage(int xid, pageid_t pid);
Page* __wrap_loadPage(int xid, pageid_t pid) {
printf("CALL loadPage(%d, %lld)\n", (int)xid, (long long)pid);
Page * ret = __real_loadPage(xid, pid);
printf("RET %lx = loadPage(%d, %lld)\n", (intptr_t)ret, (int)xid, (long long)pid);
Page* __real_loadPage(int xid, pageid_t pageid);
Page * __real_loadPageOfType(int xid, pageid_t pageid, pagetype_t type);
Page * __real_loadUninitializedPage(int xid, pageid_t pageid);
Page * __real_loadPageForOperation(int xid, pageid_t pageid, int op, int is_recovery);
void __real_releasePage(Page* p);
Page * __real_getCachedPage(int xid, pageid_t pageid);
Page* __wrap_loadPage(int xid, pageid_t pageid) {
printf("CALL loadPage(%d, %lld)\n", (int)xid, (long long)pageid);
Page * ret = __real_loadPage(xid, pageid);
printf("RET %lx = loadPage(%d, %lld)\n", (intptr_t)ret, (int)xid, (long long)pageid);
return ret;
}
void __real_releasePage(Page* p);
void __wrap_releasePage(Page* p) {
Page * __wrap_loadPageOfType(int xid, pageid_t pageid, pagetype_t type) {
printf("CALL loadPage(%d, %lld)\n", (int)xid, (long long)pageid);
Page * ret = __real_loadPageOfType(xid, pageid, type);
printf("RET %lx = loadPage(%d, %lld)\n", (intptr_t)ret, (int)xid, (long long)pageid);
return ret;
}
Page * __wrap_loadUninitializedPage(int xid, pageid_t pageid) {
printf("CALL loadPage(%d, %lld)\n", (int)xid, (long long)pageid);
Page * ret = __real_loadUninitializedPage(xid, pageid);
printf("RET %lx = loadPage(%d, %lld)\n", (intptr_t)ret, (int)xid, (long long)pageid);
return ret;
}
Page * __wrap_loadPageForOperation(int xid, pageid_t pageid, int op, int is_recovery) {
printf("CALL loadPage(%d, %lld)\n", (int)xid, (long long)pageid);
Page * ret = __real_loadPageForOperation(xid, pageid, op, is_recovery);
printf("RET %lx = loadPage(%d, %lld)\n", (intptr_t)ret, (int)xid, (long long)pageid);
return ret;
}
void __wrap_releasePage(Page* p) {
printf("CALL releasePage(%lx)\n", (intptr_t)p);
__real_releasePage(p);
printf("RET void = releasePage(%lx)\n", (intptr_t)p);
}
Page * __wrap_getCachedPage(int xid, pageid_t pageid) {
printf("CALL loadPage(%d, %lld)\n", (int)xid, (long long)pageid);
Page * ret = __real_getCachedPage(xid, pageid);
printf("RET %lx = loadPage(%d, %lld)\n", (intptr_t)ret, (int)xid, (long long)pageid);
return ret;
}