GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 03:32:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

more debug messages

Browse Source
This commit is contained in:
Krasimir Angelov
2022-05-23 10:31:29 +02:00
parent e794f46e49
commit 31e20ffd84
1 changed files with 16 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
src/runtime/c/pgf/db.cxx
View File

@@ -598,6 +598,10 @@ PGF_INTERNAL_DECL object PgfDB::new_block_descr(object o, size_t size, txn_t txn
odescr = free_descriptors[0]; odescr = free_descriptors[0];
descr = ptr(block_descr, odescr); descr = ptr(block_descr, odescr);
free_descriptors[0] = descr->chain; free_descriptors[0] = descr->chain;
#ifdef DEBUG_MEMORY_ALLOCATOR
fprintf(stderr, "recycled block descriptor %016lx\n", odescr);
#endif
} else { } else {
size_t block_size = request2size(sizeof(block_descr)); size_t block_size = request2size(sizeof(block_descr));
@@ -614,6 +618,10 @@ PGF_INTERNAL_DECL object PgfDB::new_block_descr(object o, size_t size, txn_t txn
odescr = top; odescr = top;
top += block_size; top += block_size;
#ifdef DEBUG_MEMORY_ALLOCATOR
fprintf(stderr, "allocated new block descriptor %016lx\n", odescr);
#endif
descr = ptr(block_descr, odescr); descr = ptr(block_descr, odescr);
} }
@@ -646,6 +654,10 @@ object PgfDB::upd_block_descr(object map, object left, object right)
map = free_descriptors[0]; map = free_descriptors[0];
new_descr = ptr(block_descr, map); new_descr = ptr(block_descr, map);
free_descriptors[0] = new_descr->chain; free_descriptors[0] = new_descr->chain;
#ifdef DEBUG_MEMORY_ALLOCATOR
fprintf(stderr, "recycled block descriptor %016lx\n", map);
#endif
} else { } else {
size_t block_size = request2size(sizeof(block_descr)); size_t block_size = request2size(sizeof(block_descr));
@@ -665,6 +677,10 @@ object PgfDB::upd_block_descr(object map, object left, object right)
map = top; map = top;
top += block_size; top += block_size;
#ifdef DEBUG_MEMORY_ALLOCATOR
fprintf(stderr, "allocated new block descriptor %016lx\n", map);
#endif
new_descr = ptr(block_descr, map); new_descr = ptr(block_descr, map);
} }