summaryrefslogtreecommitdiff
path: root/byterun/intern.c
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2015-11-20 17:54:26 +0100
committerDamien Doligez <damien.doligez@inria.fr>2015-12-21 14:27:46 +0100
commit0225ca01e39289ce1801fb09cd011cdbfb542b8d (patch)
tree378687ce2803504471b133900b9bf24d5afa0950 /byterun/intern.c
parent7c71653524ccb922b78456209e0f5c47573db5e9 (diff)
downloadocaml-0225ca01e39289ce1801fb09cd011cdbfb542b8d.tar.gz
GC latency improvements
Diffstat (limited to 'byterun/intern.c')
-rw-r--r--byterun/intern.c3
1 files changed, 1 insertions, 2 deletions
diff --git a/byterun/intern.c b/byterun/intern.c
index 23eaebce5d..e327d4141a 100644
--- a/byterun/intern.c
+++ b/byterun/intern.c
@@ -618,8 +618,7 @@ static void intern_add_to_heap(mlsize_t whsize)
/* Add new heap chunk to heap if needed */
if (intern_extra_block != NULL) {
/* If heap chunk not filled totally, build free block at end */
- asize_t request =
- ((Bsize_wsize(whsize) + Page_size - 1) >> Page_log) << Page_log;
+ asize_t request = Chunk_size (intern_extra_block);
header_t * end_extra_block =
(header_t *) intern_extra_block + Wsize_bsize(request);
Assert(intern_block == 0);