Correctness without cycles tested.
Dieser Commit ist enthalten in:
Ursprung
412ca96760
Commit
1cee0d900a
1
.gitignore
vendored
1
.gitignore
vendored
@ -1,2 +1,3 @@
|
|||||||
/cmake-build-debug
|
/cmake-build-debug
|
||||||
|
/cmake-build-release
|
||||||
/.idea
|
/.idea
|
||||||
|
92
RLBench.c
92
RLBench.c
@ -85,30 +85,30 @@ typedef struct Node0_struct {
|
|||||||
int i, j;
|
int i, j;
|
||||||
} Node0;
|
} Node0;
|
||||||
|
|
||||||
#ifdef HOLES
|
|
||||||
# define HOLE() GC_NEW(Node0);
|
|
||||||
#else
|
|
||||||
# define HOLE()
|
|
||||||
#endif
|
|
||||||
|
|
||||||
typedef Rl* Node;
|
typedef Rl* Node;
|
||||||
#define TO_NODE(rl) ((Node0*) (rl)->ref)
|
#define TO_NODE(rl) ((Node0*) (rl)->ref)
|
||||||
|
|
||||||
|
#ifdef DEBUG
|
||||||
|
int allocated = 0;
|
||||||
|
int freed = 0;
|
||||||
|
#endif
|
||||||
|
|
||||||
void init_Node(Node me, Node l, Node r) {
|
void init_Node(Node me, Node l, Node r) {
|
||||||
Node0* node = TO_NODE(me);
|
Node0* node = TO_NODE(me);
|
||||||
rl_set(&node->left, me->ref, l);
|
rl_set(&node->left, me->ref, l);
|
||||||
rl_set(&node->right, me->ref, r);
|
rl_set(&node->right, me->ref, r);
|
||||||
}
|
}
|
||||||
|
|
||||||
#ifndef GC
|
|
||||||
void destroy_Node(void* me) {
|
void destroy_Node(void* me) {
|
||||||
|
#ifdef DEBUG
|
||||||
|
freed++;
|
||||||
|
#endif
|
||||||
Node0* node = (Node0*)me;
|
Node0* node = (Node0*)me;
|
||||||
if(node->left.ref)
|
if(node->left.ref)
|
||||||
rl_free(&node->left);
|
rl_free(&node->left);
|
||||||
if(node->right.ref)
|
if(node->right.ref)
|
||||||
rl_free(&node->right);
|
rl_free(&node->right);
|
||||||
}
|
}
|
||||||
#endif
|
|
||||||
|
|
||||||
// Nodes used by a tree of a given size
|
// Nodes used by a tree of a given size
|
||||||
static int TreeSize(int i) {
|
static int TreeSize(int i) {
|
||||||
@ -129,13 +129,11 @@ static void Populate(int iDepth, Node thisNode) {
|
|||||||
return;
|
return;
|
||||||
} else {
|
} else {
|
||||||
iDepth--;
|
iDepth--;
|
||||||
# ifdef GC
|
|
||||||
thisNode->left = GC_NEW(Node0); HOLE();
|
|
||||||
thisNode->right = GC_NEW(Node0); HOLE();
|
|
||||||
# else
|
|
||||||
rl_alloc(&node->left, node, sizeof(Node0), destroy_Node);
|
rl_alloc(&node->left, node, sizeof(Node0), destroy_Node);
|
||||||
rl_alloc(&node->right, node, sizeof(Node0), destroy_Node);
|
rl_alloc(&node->right, node, sizeof(Node0), destroy_Node);
|
||||||
# endif
|
#ifdef DEBUG
|
||||||
|
allocated+=2;
|
||||||
|
#endif
|
||||||
Populate (iDepth, &node->left);
|
Populate (iDepth, &node->left);
|
||||||
Populate (iDepth, &node->right);
|
Populate (iDepth, &node->right);
|
||||||
}
|
}
|
||||||
@ -144,26 +142,23 @@ static void Populate(int iDepth, Node thisNode) {
|
|||||||
// Build tree bottom-up
|
// Build tree bottom-up
|
||||||
static void MakeTree(Node result, int iDepth) {
|
static void MakeTree(Node result, int iDepth) {
|
||||||
if (iDepth<=0) {
|
if (iDepth<=0) {
|
||||||
# ifndef GC
|
|
||||||
rl_alloc(result, NULL, sizeof(Node0), destroy_Node);
|
rl_alloc(result, NULL, sizeof(Node0), destroy_Node);
|
||||||
|
#ifdef DEBUG
|
||||||
|
allocated++;
|
||||||
|
#endif
|
||||||
Node0* node = TO_NODE(result);
|
Node0* node = TO_NODE(result);
|
||||||
node->left.ref = NULL;
|
node->left.ref = NULL;
|
||||||
node->right.ref = NULL;
|
node->right.ref = NULL;
|
||||||
# else
|
|
||||||
result = GC_NEW(Node0); HOLE();
|
|
||||||
# endif
|
|
||||||
/* result is implicitly initialized in both cases. */
|
/* result is implicitly initialized in both cases. */
|
||||||
} else {
|
} else {
|
||||||
Rl left, right;
|
Rl left, right;
|
||||||
MakeTree(&left, iDepth-1);
|
MakeTree(&left, iDepth-1);
|
||||||
MakeTree(&right, iDepth-1);
|
MakeTree(&right, iDepth-1);
|
||||||
# ifndef GC
|
|
||||||
rl_alloc(result, NULL, sizeof(Node0), destroy_Node);
|
rl_alloc(result, NULL, sizeof(Node0), destroy_Node);
|
||||||
# else
|
#ifdef DEBUG
|
||||||
result = GC_NEW(Node0); HOLE();
|
allocated++;
|
||||||
# endif
|
#endif
|
||||||
init_Node(result, &left, &right);
|
init_Node(result, &left, &right);
|
||||||
printf("Set works\n");
|
|
||||||
rl_free(&left);
|
rl_free(&left);
|
||||||
rl_free(&right);
|
rl_free(&right);
|
||||||
}
|
}
|
||||||
@ -190,15 +185,9 @@ static void TimeConstruction(int depth) {
|
|||||||
|
|
||||||
tStart = currentTime();
|
tStart = currentTime();
|
||||||
for (i = 0; i < iNumIters; ++i) {
|
for (i = 0; i < iNumIters; ++i) {
|
||||||
# ifndef GC
|
|
||||||
rl_alloc(&tempTree, NULL, sizeof(Node0), destroy_Node);
|
rl_alloc(&tempTree, NULL, sizeof(Node0), destroy_Node);
|
||||||
# else
|
|
||||||
tempTree = GC_NEW(Node0);
|
|
||||||
# endif
|
|
||||||
Populate(depth, &tempTree);
|
Populate(depth, &tempTree);
|
||||||
# ifndef GC
|
|
||||||
rl_free(&tempTree);
|
rl_free(&tempTree);
|
||||||
# endif
|
|
||||||
}
|
}
|
||||||
tFinish = currentTime();
|
tFinish = currentTime();
|
||||||
printf("\tTop down construction took %d msec\n",
|
printf("\tTop down construction took %d msec\n",
|
||||||
@ -207,9 +196,7 @@ static void TimeConstruction(int depth) {
|
|||||||
tStart = currentTime();
|
tStart = currentTime();
|
||||||
for (i = 0; i < iNumIters; ++i) {
|
for (i = 0; i < iNumIters; ++i) {
|
||||||
MakeTree(&tempTree, depth);
|
MakeTree(&tempTree, depth);
|
||||||
# ifndef GC
|
|
||||||
rl_free(&tempTree);
|
rl_free(&tempTree);
|
||||||
# endif
|
|
||||||
}
|
}
|
||||||
tFinish = currentTime();
|
tFinish = currentTime();
|
||||||
printf("\tBottom up construction took %d msec\n",
|
printf("\tBottom up construction took %d msec\n",
|
||||||
@ -219,18 +206,13 @@ static void TimeConstruction(int depth) {
|
|||||||
|
|
||||||
int main() {
|
int main() {
|
||||||
Node root;
|
Node root;
|
||||||
Node longLivedTree;
|
Rl longLivedTree;
|
||||||
Rl tempTree;
|
Rl tempTree;
|
||||||
long tStart, tFinish;
|
long tStart, tFinish;
|
||||||
long tElapsed;
|
long tElapsed;
|
||||||
int i, d;
|
int i, d;
|
||||||
double *array;
|
double *array;
|
||||||
|
|
||||||
#ifdef GC
|
|
||||||
// GC_full_freq = 30;
|
|
||||||
// GC_free_space_divisor = 16;
|
|
||||||
// GC_enable_incremental();
|
|
||||||
#endif
|
|
||||||
printf("Garbage Collector Test\n");
|
printf("Garbage Collector Test\n");
|
||||||
printf(" Live storage will peak at %d bytes.\n\n",
|
printf(" Live storage will peak at %d bytes.\n\n",
|
||||||
2 * sizeof(Node0) * TreeSize(kLongLivedTreeDepth) +
|
2 * sizeof(Node0) * TreeSize(kLongLivedTreeDepth) +
|
||||||
@ -246,32 +228,27 @@ int main() {
|
|||||||
|
|
||||||
// Stretch the memory space quickly
|
// Stretch the memory space quickly
|
||||||
MakeTree(&tempTree, kStretchTreeDepth);
|
MakeTree(&tempTree, kStretchTreeDepth);
|
||||||
printf("Made tree\n");
|
|
||||||
# ifndef GC
|
#ifdef DEBUG
|
||||||
|
printf("Made tree %i/%i\n", freed, allocated);
|
||||||
|
#endif
|
||||||
rl_free(&tempTree);
|
rl_free(&tempTree);
|
||||||
# endif
|
#ifdef DEBUG
|
||||||
|
printf("Deleted tree %i/%i\n", freed, allocated);
|
||||||
|
#endif
|
||||||
|
|
||||||
// Create a long lived object
|
// Create a long lived object
|
||||||
printf(" Creating a long-lived binary tree of depth %d\n",
|
printf(" Creating a long-lived binary tree of depth %d\n",
|
||||||
kLongLivedTreeDepth);
|
kLongLivedTreeDepth);
|
||||||
# ifndef GC
|
rl_alloc(&longLivedTree, NULL, sizeof(Node0), destroy_Node);
|
||||||
rl_alloc(longLivedTree, NULL, sizeof(Node0), destroy_Node);
|
Populate(kLongLivedTreeDepth, &longLivedTree);
|
||||||
# else
|
#ifdef DEBUG
|
||||||
longLivedTree = GC_NEW(Node0);
|
printf("Populated tree %i/%i\n", freed, allocated);
|
||||||
# endif
|
#endif
|
||||||
Populate(kLongLivedTreeDepth, longLivedTree);
|
|
||||||
|
|
||||||
// Create long-lived array, filling half of it
|
// Create long-lived array, filling half of it
|
||||||
printf(" Creating a long-lived array of %d doubles\n", kArraySize);
|
printf(" Creating a long-lived array of %d doubles\n", kArraySize);
|
||||||
# ifndef GC
|
|
||||||
array = malloc(kArraySize * sizeof(double));
|
array = malloc(kArraySize * sizeof(double));
|
||||||
# else
|
|
||||||
# ifndef NO_PTRFREE
|
|
||||||
array = GC_MALLOC_ATOMIC(sizeof(double) * kArraySize);
|
|
||||||
# else
|
|
||||||
array = GC_MALLOC(sizeof(double) * kArraySize);
|
|
||||||
# endif
|
|
||||||
# endif
|
|
||||||
for (i = 0; i < kArraySize/2; ++i) {
|
for (i = 0; i < kArraySize/2; ++i) {
|
||||||
array[i] = 1.0/i;
|
array[i] = 1.0/i;
|
||||||
}
|
}
|
||||||
@ -280,8 +257,11 @@ int main() {
|
|||||||
for (d = kMinTreeDepth; d <= kMaxTreeDepth; d += 2) {
|
for (d = kMinTreeDepth; d <= kMaxTreeDepth; d += 2) {
|
||||||
TimeConstruction(d);
|
TimeConstruction(d);
|
||||||
}
|
}
|
||||||
|
#ifdef DEBUG
|
||||||
|
printf("Smol trees %i/%i\n", freed, allocated);
|
||||||
|
#endif
|
||||||
|
|
||||||
if (longLivedTree == 0 || array[1000] != 1.0/1000)
|
if (longLivedTree.ref == 0 || array[1000] != 1.0/1000)
|
||||||
fprintf(stderr, "Failed\n");
|
fprintf(stderr, "Failed\n");
|
||||||
// fake reference to LongLivedTree
|
// fake reference to LongLivedTree
|
||||||
// and array
|
// and array
|
||||||
@ -291,10 +271,6 @@ int main() {
|
|||||||
tElapsed = elapsedTime(tFinish-tStart);
|
tElapsed = elapsedTime(tFinish-tStart);
|
||||||
PrintDiagnostics();
|
PrintDiagnostics();
|
||||||
printf("Completed in %d msec\n", tElapsed);
|
printf("Completed in %d msec\n", tElapsed);
|
||||||
# ifdef GC
|
|
||||||
printf("Completed %d collections\n", GC_gc_no);
|
|
||||||
printf("Heap size is %d\n", GC_get_heap_size());
|
|
||||||
# endif
|
|
||||||
# ifdef PROFIL
|
# ifdef PROFIL
|
||||||
dump_profile();
|
dump_profile();
|
||||||
# endif
|
# endif
|
||||||
|
25
rl.c
25
rl.c
@ -10,27 +10,29 @@ struct RlBox {
|
|||||||
};
|
};
|
||||||
|
|
||||||
#define RLBOX_SIZE sizeof(struct RlBox)
|
#define RLBOX_SIZE sizeof(struct RlBox)
|
||||||
#define PTR_TO_RLBOX(ptr) ((struct RlBox*)((ptr) - RLBOX_SIZE))
|
#define PTR_TO_RLBOX(ptr) ((struct RlBox*)(((void*)ptr) - RLBOX_SIZE))
|
||||||
|
|
||||||
inline void rl_alloc(Rl* reference, const void* owner, const size_t size, const Destructor destructor) {
|
inline void rl_alloc(Rl* reference, const void* owner, const size_t size, const Destructor destructor) {
|
||||||
struct RlBox* box = (struct RlBox*) malloc(RLBOX_SIZE + size);
|
struct RlBox* box = (struct RlBox*) malloc(RLBOX_SIZE + size);
|
||||||
box->marked = false;
|
box->marked = false;
|
||||||
box->first = NULL;
|
box->first = reference;
|
||||||
box->last = NULL;
|
box->last = reference;
|
||||||
box->destructor = destructor;
|
box->destructor = destructor;
|
||||||
reference->prev = NULL;
|
reference->prev = NULL;
|
||||||
reference->next = NULL;
|
reference->next = NULL;
|
||||||
reference->owner = PTR_TO_RLBOX(owner);
|
reference->owner = owner ? PTR_TO_RLBOX(owner) : NULL;
|
||||||
reference->ref = box + RLBOX_SIZE;
|
reference->ref = (void*)box + RLBOX_SIZE;
|
||||||
}
|
}
|
||||||
|
|
||||||
// reference may not point to a valid object
|
|
||||||
inline void rl_set(Rl* reference, const void* owner, const Rl* copy) {
|
inline void rl_set(Rl* reference, const void* owner, const Rl* copy) {
|
||||||
reference->prev = PTR_TO_RLBOX(copy->ref)->last;
|
struct RlBox* obj = PTR_TO_RLBOX(copy->ref);
|
||||||
|
reference->prev = obj->last;
|
||||||
reference->next = NULL;
|
reference->next = NULL;
|
||||||
reference->owner = PTR_TO_RLBOX(owner);
|
reference->owner = owner ? PTR_TO_RLBOX(owner) : NULL;
|
||||||
reference->ref = copy->ref;
|
reference->ref = copy->ref;
|
||||||
reference->prev->next = reference;
|
|
||||||
|
obj->last->next = reference;
|
||||||
|
obj->last = reference;
|
||||||
}
|
}
|
||||||
|
|
||||||
static void unmark(struct RlBox* obj) {
|
static void unmark(struct RlBox* obj) {
|
||||||
@ -94,8 +96,13 @@ inline void rl_free(Rl* reference) {
|
|||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
if(reference->next) {
|
||||||
|
obj->first = reference->next;
|
||||||
|
reference->next->prev = NULL;
|
||||||
|
|
||||||
if(search_root(obj))
|
if(search_root(obj))
|
||||||
return;
|
return;
|
||||||
|
}
|
||||||
|
|
||||||
obj->destructor(reference->ref);
|
obj->destructor(reference->ref);
|
||||||
free(obj);
|
free(obj);
|
||||||
|
4
rl.h
4
rl.h
@ -5,10 +5,10 @@ typedef struct Rl Rl;
|
|||||||
typedef void (*Destructor)(void*);
|
typedef void (*Destructor)(void*);
|
||||||
|
|
||||||
struct Rl {
|
struct Rl {
|
||||||
|
void* ref;
|
||||||
|
struct RlBox* owner;
|
||||||
Rl* prev;
|
Rl* prev;
|
||||||
Rl* next;
|
Rl* next;
|
||||||
struct RlBox* owner;
|
|
||||||
void* ref;
|
|
||||||
};
|
};
|
||||||
|
|
||||||
/*
|
/*
|
||||||
|
Laden…
In neuem Issue referenzieren
Einen Benutzer sperren