MuPC cache size and the amount of space available for dynamic memory
allocations are controlled by a configuration file, mupc.conf. The default
locatation of this file is /path/to/MuPC/etc/.
Copy it to your home
directory so that you can customize its values. If the run time system
cannot find the configuration file in your home directory, the one in the
default location is used. The configuration file contains only three run
CACHE_LINE_LENGTH (default 1024 bytes, max 65536 bytes)
CACHE_TABLE_SIZE (default 256 blocks, max 4096 blocks)
SHARED_MEM_SIZE_PER_THREAD (default 268435456 bytes)
The values must always be 0 or a power of 2.
Setting CACHE_LINE_LENGTH or
CACHE_TABLE_SIZE to 0 turns off caching.