| commit | a87253bb8defdfb19d0b0b9ebce6b2e3441baf86 | [log] [tgz] |
|---|---|---|
| author | Till Westmann <till@westmann.org> | Tue Oct 15 18:31:42 2013 -0700 |
| committer | Till Westmann <till@westmann.org> | Tue Oct 15 18:31:42 2013 -0700 |
| tree | c54d4dc60373a042073af01c988dfffa8b54e053 | |
| parent | 029c50b4f9a10d048abd526dcc7753ef5570b0b8 [diff] |
- introduce (logical) type for local and global pointers (slots) - global pointers are 64-bit now - synchronize allocation and deallocation in RecordManagers - (over) synchronized modification of job queues - check that references are still valid when accessed (using an allocation counter) - some more debugging support