Location dependencies provide a means by which the client program can depend on the location of blocks (that is, on the bits in pointers to the blocks) in the presence of a moving memory manager (where the location of blocks may change and the client program needs to recognize and correctly deal with such cases).
The interface is intended to support (amongst other things) address-based hash tables and that will be used as a running example. See the section Location dependency in the Guide for a more detailed look at this example.
A location dependency is represented by an structure of type mps_ld_s. It encapsulates a set of dependencies on the locations of blocks. It can be used to determine whether any of the blocks have been moved by the memory manager.
To depend on the location of a block is to perform a computation whose result depends on the particular representation (that is, the “bit-pattern”) of a reference to the block. This includes any sort of hash operation on a pointer to the block (such as treating the pointer as an integer and taking it modulo 257). It is possible to depend on the location of more than one block.
A dependency has been made stale if the block whose location was depended on might have moved since the dependency was made. If this is the case, then computations that depend on the location of a block may give different results. A location dependency has been made stale if any of the blocks whose location has been depended on might have moved since the respective dependency was made.
The client program must provide space for the mps_ld_s structure. Typically, this will be inlined in some larger structure. This structure can be in memory managed by the MPS or elsewhere; that doesn’t matter.
For example, the toy Scheme interpreter inlines the location dependency in its hash table structure:
typedef struct table_s {
type_t type; /* TYPE_TABLE */
hash_t hash; /* hash function */
cmp_t cmp; /* comparison function */
mps_ld_s ld; /* location dependency */
obj_t buckets; /* hash buckets */
} table_s;
Before the first use, the location dependency must be reset by calling the function mps_ld_reset().
Note
This means that it is not possible to statically create a location dependency that has been reset.
You can call mps_ld_reset() at any later point to clear all dependencies from the structure. For example, this is normally done whenever mps_ld_isstale() returns true.
Before the location of a block is depended on (for example, hashed) a reference to the block may be added to a location dependency by calling mps_ld_add(). Dependencies on many blocks can be added to the same location dependency.
It is also possible to merge two location dependencies by calling mps_ld_merge(), which has the same effect as adding all of the references from one dependency to another.
For example, in an address-based hash table implementation, each key that is added to the table must be added to the dependency before its address is hashed. In the toy Scheme interpreter this is most easily done in the function that hashes an address:
static unsigned long eq_hash(obj_t obj, mps_ld_t ld)
{
union {char s[sizeof(obj_t)]; obj_t addr;} u;
if (ld) mps_ld_add(ld, arena, obj);
u.addr = obj;
return hash(u.s, sizeof(obj_t));
}
When the locations of blocks are used (during a hash table lookup for example), the computation should be carried out and the result used in the usual way (for example, the pointer is hashed and the has used to index into the table). At this point one of three situations can occur:
Success requires no further test: the operation can proceed. In case of failure, you should call mps_ld_isstale(). If it returns false, then no blocks have moved, so you must be in case (2).
But if mps_ld_isstale() returns true, you could still be in either case (2) or case (3). All mps_ld_isstale() tells you is that some blocks that have been depended on might have moved. At this point you need to:
For example, in the case of a hash table you should rehash based on the new locations of the blocks.
static obj_t table_ref(obj_t tbl, obj_t key)
{
struct bucket_s *b = buckets_find(tbl, tbl->table.buckets, key, NULL);
if (b && b->key != NULL && b->key != obj_deleted)
return b->value;
if (mps_ld_isstale(&tbl->table.ld, arena, key)) {
b = table_rehash(tbl, tbl->table.buckets->buckets.length, key);
if (b) return b->value;
}
return NULL;
}
After mps_ld_isstale() has returned true, and you’ve rehashed the table, it might be tempting to repeat the usual address-based lookup. But the MPS does not guarantee that mps_ld_isstale() will not return true again: if the re-hashing took a long time or touched lots of memory, there might have been another garbage collection. (The only time that mps_ld_isstale() guarantees to return false is immediately after mps_ld_reset().)
You might put in a loop here, but for reliability it is better to fall back to a non-address-based version of the computation: here, since table_rehash has to loop over all the entries in the table anyway, it might as well find the bucket containing key at the same time and return it.
The functions are all thread-safe with respect to operations on different location dependencies. That means that it is not necessary for threads to interlock if they are performing operations on different location dependencies. The descriptions of the individual functions detail their thread-safety attributes if multiple threads need to access the same location dependency.
The type of location dependencies. It is a transparent alias for a pointer to mps_ld_s.
A location dependency records the fact that the client program depends on the bit patterns of some references (and not merely on the identity of the block to which the reference refers), and provides a function (mps_ld_isstale()) to find out whether any of these references have been changed because a block has been moved.
A typical use is in the implementation of a hash table which hashes blocks by hashing their addresses. After a block has moved, the table needs to be rehashed, otherwise it will not be found in the table.
The type of the structure used to represent a location dependency.
typedef struct mps_ld_s {
mps_word_t w0, w1;
} mps_ld_s;
It is an opaque structure type: it is supplied so that the client program can inline the structure (because its size is known), but the client must not access it other than via the functions mps_ld_add(), mps_ld_isstale(), mps_ld_merge(), and mps_ld_reset().
Add a dependency on a block to a location dependency.
ld is a location dependency.
arena is the arena to which addr belongs.
addr is the address of the block.
After calling mps_ld_add(), and until ld is passed to mps_ld_reset(), the call
mps_ld_isstale(ld, arena, addr)
will return true if the block has moved.
Note
It is an error to call mps_ld_add() on the same location dependency with addresses from two different arenas. If you need to test for staleness against multiple arenas, then you need at least one location dependency for each arena.
mps_ld_add() is not thread-safe with respect to mps_ld_add(), mps_ld_merge(), or mps_ld_reset() on the same location dependency, but it is thread-safe with respect to mps_ld_isstale() operations. This means that calls to mps_ld_add() from different threads must interlock if they are using the same location dependency. The practical upshot of this is that there should be a lock associated with each location dependency.
Determine if any of the dependencies in a location dependency are stale with respect to an arena.
ld is the location dependency.
arena is the arena to test for staleness against. It must be the same arena that was passed to all calls to mps_ld_add() on ld.
addr is an address that may appear in telemetry events related to this call (it will not be tested for staleness).
The location dependency is examined to determine whether any of the dependencies encapsulated in it have been made stale with respect to arena. If any of the dependencies encapsulated in the location dependency are stale (that is, the blocks whose location has been depended on have been moved by arena) then mps_ld_isstale() will return true. If there have been no calls to mps_ld_add() on ld since the last call to mps_ld_reset(), then mps_ld_isstale() will return false. mps_ld_isstale() may return any value in other circumstances (but will strive to return false if the blocks encapsulated in the location dependency have not moved).
Note
mps_ld_isstale() may report a false positive (returning true despite none of the added addresses having being moved by the arena) but never a false negative (returning false when an added address has been moved).
mps_ld_isstale() is thread-safe with respect to itself and with respect to mps_ld_add(), but not with respect to mps_ld_reset().
Merge one location dependency into another.
dest_ld is the destination of the merge.
arena is the arena .
src_ld is the source of the merge.
The effect of this is to add all the addresses that were added to src_ld to the dest_ld.
Note
mps_ld_merge() has the same thread-safety properties as mps_ld_add().
Reset a location dependency.
ld is the location dependency.
arena is an arena.
After this call, ld encapsulates no dependencies. After the call to mps_ld_reset() and prior to any call to mps_ld_add() on ld, mps_ld_isstale() on ld will return false for all arenas.
Note
mps_ld_reset() is not thread-safe with respect to any other location dependency function.