else {
int base = items[item].base;
rassert(items[item].limit == base + size);
- printf("new region [%d,%d)\n", base, base + size);
+ //printf("new region [%d,%d)\n", base, base + size);
hash_init(item, base, size, 0);
}
}
);
rassert(actual_old_size <= old_size);
}
- printf("old region [%d,%d)\n", base, base + actual_old_size);
+ //printf("old region [%d,%d)\n", base, base + actual_old_size);
hash_verify(
item,
base + size,
else {
base = items[item].base;
rassert(items[item].limit == base + size);
- printf("new region [%d,%d)\n", base, base + size);
+ //printf("new region [%d,%d)\n", base, base + size);
hash_init(
item,
base + actual_old_size,
);
rassert(actual_old_size <= old_size);
}
- printf("old region [%d,%d)\n", base, base + actual_old_size);
+ //printf("old region [%d,%d)\n", base, base + actual_old_size);
hash_verify(item, base, actual_old_size - size, 0);
bool result = pool_alloc(
&head,
else {
base = items[item].base;
rassert(items[item].limit == base + size);
- printf("new region [%d,%d)\n", base, base + size);
+ //printf("new region [%d,%d)\n", base, base + size);
if (size >= actual_old_size)
hash_verify(
item,
);
rassert(actual_old_size <= old_size);
}
- printf("old region [%d,%d)\n", base, base + actual_old_size);
+ //printf("old region [%d,%d)\n", base, base + actual_old_size);
hash_verify(item, base, actual_old_size, 0);
pool_free(&head, items + item);
items[item].prev = NULL;
if (process_avail > core_table_avail)
process_avail = core_table_avail;
#endif
- printf("process_avail %ld\n", process_avail);
+ //printf("process_avail %ld\n", process_avail);
#else
process_avail = CORE_AVAIL + SWAP_AVAIL - spare;
#ifdef PREALLOCATE_CORE
if (process_avail > swap_table.avail)
process_avail = swap_table.avail;
#endif
- printf("process_avail %d\n", process_avail);
+ //printf("process_avail %d\n", process_avail);
#endif
lru_head.prev = &lru_head;
if (blocks > victim_core_blocks)
blocks = victim_core_blocks;
#endif
- printf("existing victim %d, swap out %d of %d\n", (int)(victim - processes), blocks, victim_core_blocks);
+ //printf("existing victim %d, swap out %d of %d\n", (int)(victim - processes), blocks, victim_core_blocks);
// increase swap allocation
#ifndef PREALLOCATE_SWAP
if (blocks > victim_core_blocks)
blocks = victim_core_blocks;
#endif
- printf("new victim %d, swap out %d of %d\n", (int)(victim - processes), blocks, victim_core_blocks);
+ //printf("new victim %d, swap out %d of %d\n", (int)(victim - processes), blocks, victim_core_blocks);
// add to swap pool
victim_swap_blocks = 0;
);
#endif
#ifdef INODE_SWAP
- printf("write core [%d,%d) to swap [%d,%d)\n", core_base, core_base + blocks, victim_swap_blocks, victim_swap_blocks + blocks);
+ //printf("write core [%d,%d) to swap [%d,%d)\n", core_base, core_base + blocks, victim_swap_blocks, victim_swap_blocks + blocks);
#else
- printf("write core [%d,%d) to swap [%d,%d)\n", core_base, core_base + blocks, swap_base, swap_base + blocks);
+ //printf("write core [%d,%d) to swap [%d,%d)\n", core_base, core_base + blocks, swap_base, swap_base + blocks);
#endif
#if !defined(INDIRECT_CORE) && !defined(INDIRECT_SWAP)
#ifdef INODE_SWAP
#endif
#else
j = (int)(size >> BLOCK_SHIFT);
- printf("blocks");
+ //printf("blocks");
for (i = 0; i < j; ++i) {
core_block = core_base + i;
#ifdef INDIRECT_CORE
core_block = core_table_mem[core_block];
- printf(" %d", core_block);
+ //printf(" %d", core_block);
#endif
#ifdef INODE_SWAP
swap_write(
#ifdef INDIRECT_SWAP
swap_block = swap_table_mem[swap_block];
#ifdef INDIRECT_CORE
- printf(",%d", swap_block);
+ //printf(",%d", swap_block);
#else
- printf(" %d", swap_block);
+ //printf(" %d", swap_block);
#endif
#endif
core_to_swap_copy(
core_block = core_base + i;
#ifdef INDIRECT_CORE
core_block = core_table_mem[core_block];
- printf(" %d", core_block);
+ //printf(" %d", core_block);
#endif
#ifdef INODE_SWAP
swap_write(
#ifdef INDIRECT_SWAP
swap_block = swap_table_mem[swap_block];
#ifdef INDIRECT_CORE
- printf(",%d", swap_block);
+ //printf(",%d", swap_block);
#else
- printf(" %d", swap_block);
+ //printf(" %d", swap_block);
#endif
#endif
putchar('*');
);
#endif
}
- printf("\n");
+ //printf("\n");
#endif
#ifdef INDIRECT_CORE
block_pool_free(&core_block_pool, core_table_mem + core_base, blocks);
// report whether aborted due to swap space or user request
return swap_out == blocks;
}
- printf("victimized %d\n", (int)(victim - processes));
+ //printf("victimized %d\n", (int)(victim - processes));
#ifndef PREALLOCATE_CORE
// remove from core pool
block_pool_alloc(&core_block_pool, core_table_mem + core_base, blocks);
#endif
#ifdef INODE_SWAP
- printf("read swap [%d,%d) to core [%d,%d)\n", process_swap_blocks, process_swap_blocks + blocks, core_base, core_base + blocks);
+ //printf("read swap [%d,%d) to core [%d,%d)\n", process_swap_blocks, process_swap_blocks + blocks, core_base, core_base + blocks);
#else
- printf("read swap [%d,%d) to core [%d,%d)\n", swap_base, swap_base + blocks, core_base, core_base + blocks);
+ //printf("read swap [%d,%d) to core [%d,%d)\n", swap_base, swap_base + blocks, core_base, core_base + blocks);
#endif
#if !defined(INDIRECT_CORE) && !defined(INDIRECT_SWAP)
#ifdef INODE_SWAP
#endif
#else
j = (int)(size >> BLOCK_SHIFT);
- printf("blocks");
+ //printf("blocks");
for (i = 0; i < j; ++i) {
int core_block = core_base + i;
#ifdef INDIRECT_CORE
core_block = core_table_mem[core_block];
- printf(" %d", core_block);
+ //printf(" %d", core_block);
#endif
#ifdef INODE_SWAP
swap_read(
#ifdef INDIRECT_SWAP
swap_block = swap_table_mem[swap_block];
#ifdef INDIRECT_SWAP
- printf(",%d", swap_block);
+ //printf(",%d", swap_block);
#else
- printf(" %d", swap_block);
+ //printf(" %d", swap_block);
#endif
#endif
swap_to_core_copy(
int core_block = core_base + i;
#ifdef INDIRECT_CORE
core_block = core_table_mem[core_block];
- printf(" %d", core_block);
+ //printf(" %d", core_block);
#endif
#ifdef INODE_SWAP
swap_read(
#ifdef INDIRECT_SWAP
swap_block = swap_table_mem[swap_block];
#ifdef INDIRECT_SWAP
- printf(",%d", swap_block);
+ //printf(",%d", swap_block);
#else
- printf(" %d", swap_block);
+ //printf(" %d", swap_block);
#endif
#endif
swap_to_core_copy(
);
#endif
}
- printf("\n");
+ //printf("\n");
#endif
#ifdef INDIRECT_SWAP
block_pool_free(&swap_block_pool, swap_table_mem + swap_base, blocks);
processes[process].core_item.limit ==
core_base + blocks
);
- printf("new core [%d,%d)\n", core_base, core_base + blocks);
+ //printf("new core [%d,%d)\n", core_base, core_base + blocks);
core_hash_init(
process,
(long)core_base << BLOCK_SHIFT,
0L
);
#ifdef PREALLOCATE_SWAP
- printf("new swap [%d,%d)\n", processes[process].swap_item.base, processes[process].swap_item.limit);
+ //printf("new swap [%d,%d)\n", processes[process].swap_item.base, processes[process].swap_item.limit);
#endif
}
}
rassert(actual_old_blocks <= old_blocks);
}
#ifdef PREALLOCATE_SWAP
- printf("old core [%d,%d) swap [%d,%d)\n", core_base, core_base + actual_old_blocks, processes[process].swap_item.base, processes[process].swap_item.limit);
+ //printf("old core [%d,%d) swap [%d,%d)\n", core_base, core_base + actual_old_blocks, processes[process].swap_item.base, processes[process].swap_item.limit);
#else
- printf("old core [%d,%d)\n", core_base, core_base + actual_old_blocks);
+ //printf("old core [%d,%d)\n", core_base, core_base + actual_old_blocks);
#endif
core_hash_verify(
process,
core_base + blocks
);
#ifdef PREALLOCATE_SWAP
- printf("new core [%d,%d) swap [%d,%d)\n", core_base, core_base + blocks, processes[process].swap_item.base, processes[process].swap_item.limit);
+ //printf("new core [%d,%d) swap [%d,%d)\n", core_base, core_base + blocks, processes[process].swap_item.base, processes[process].swap_item.limit);
#else
- printf("new core [%d,%d)\n", core_base, core_base + blocks);
+ //printf("new core [%d,%d)\n", core_base, core_base + blocks);
#endif
core_hash_init(
process,
}
}
rassert(core_blocks + swap_blocks == actual_old_blocks);
- printf("old core [%d,%d) swap [%d,%d)\n", core_base, core_base + core_blocks, swap_base, swap_base + swap_blocks);
+ //printf("old core [%d,%d) swap [%d,%d)\n", core_base, core_base + core_blocks, swap_base, swap_base + swap_blocks);
fflush(stdout);
core_hash_verify(
process,