xref: /oneTBB/src/tbbmalloc/backref.cpp (revision 478de5b1)
151c0b2f7Stbbdev /*
2b15aabb3Stbbdev     Copyright (c) 2005-2021 Intel Corporation
351c0b2f7Stbbdev 
451c0b2f7Stbbdev     Licensed under the Apache License, Version 2.0 (the "License");
551c0b2f7Stbbdev     you may not use this file except in compliance with the License.
651c0b2f7Stbbdev     You may obtain a copy of the License at
751c0b2f7Stbbdev 
851c0b2f7Stbbdev         http://www.apache.org/licenses/LICENSE-2.0
951c0b2f7Stbbdev 
1051c0b2f7Stbbdev     Unless required by applicable law or agreed to in writing, software
1151c0b2f7Stbbdev     distributed under the License is distributed on an "AS IS" BASIS,
1251c0b2f7Stbbdev     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
1351c0b2f7Stbbdev     See the License for the specific language governing permissions and
1451c0b2f7Stbbdev     limitations under the License.
1551c0b2f7Stbbdev */
1651c0b2f7Stbbdev 
1751c0b2f7Stbbdev #include "tbbmalloc_internal.h"
1851c0b2f7Stbbdev #include <new>        /* for placement new */
1951c0b2f7Stbbdev 
2051c0b2f7Stbbdev namespace rml {
2151c0b2f7Stbbdev namespace internal {
2251c0b2f7Stbbdev 
2351c0b2f7Stbbdev 
2451c0b2f7Stbbdev /********* backreferences ***********************/
2551c0b2f7Stbbdev /* Each slab block and each large memory object header contains BackRefIdx
2651c0b2f7Stbbdev  * that points out in some BackRefBlock which points back to this block or header.
2751c0b2f7Stbbdev  */
2851c0b2f7Stbbdev struct BackRefBlock : public BlockI {
2951c0b2f7Stbbdev     BackRefBlock *nextForUse;     // the next in the chain of blocks with free items
3051c0b2f7Stbbdev     FreeObject   *bumpPtr;        // bump pointer moves from the end to the beginning of the block
3151c0b2f7Stbbdev     FreeObject   *freeList;
3251c0b2f7Stbbdev     // list of all blocks that were allocated from raw mem (i.e., not from backend)
3351c0b2f7Stbbdev     BackRefBlock *nextRawMemBlock;
34*478de5b1Stbbdev     std::atomic<int> allocatedCount; // the number of objects allocated
3551c0b2f7Stbbdev     BackRefIdx::master_t myNum;   // the index in the master
3651c0b2f7Stbbdev     MallocMutex   blockMutex;
3751c0b2f7Stbbdev     // true if this block has been added to the listForUse chain,
3851c0b2f7Stbbdev     // modifications protected by masterMutex
39*478de5b1Stbbdev     std::atomic<bool> addedToForUse;
4051c0b2f7Stbbdev 
4151c0b2f7Stbbdev     BackRefBlock(const BackRefBlock *blockToUse, intptr_t num) :
4251c0b2f7Stbbdev         nextForUse(NULL), bumpPtr((FreeObject*)((uintptr_t)blockToUse + slabSize - sizeof(void*))),
4351c0b2f7Stbbdev         freeList(NULL), nextRawMemBlock(NULL), allocatedCount(0), myNum(num),
4451c0b2f7Stbbdev         addedToForUse(false) {
4551c0b2f7Stbbdev         memset(&blockMutex, 0, sizeof(MallocMutex));
4651c0b2f7Stbbdev 
4751c0b2f7Stbbdev         MALLOC_ASSERT(!(num >> CHAR_BIT*sizeof(BackRefIdx::master_t)),
4851c0b2f7Stbbdev                       "index in BackRefMaster must fit to BackRefIdx::master");
4951c0b2f7Stbbdev     }
5051c0b2f7Stbbdev     // clean all but header
5151c0b2f7Stbbdev     void zeroSet() { memset(this+1, 0, BackRefBlock::bytes-sizeof(BackRefBlock)); }
5251c0b2f7Stbbdev     static const int bytes = slabSize;
5351c0b2f7Stbbdev };
5451c0b2f7Stbbdev 
5551c0b2f7Stbbdev // max number of backreference pointers in slab block
5651c0b2f7Stbbdev static const int BR_MAX_CNT = (BackRefBlock::bytes-sizeof(BackRefBlock))/sizeof(void*);
5751c0b2f7Stbbdev 
5851c0b2f7Stbbdev struct BackRefMaster {
5951c0b2f7Stbbdev /* On 64-bit systems a slab block can hold up to ~2K back pointers to slab blocks
6051c0b2f7Stbbdev  * or large objects, so it can address at least 32MB. The master array of 256KB
6151c0b2f7Stbbdev  * holds 32K pointers to such blocks, addressing ~1 TB.
6251c0b2f7Stbbdev  * On 32-bit systems there is ~4K back pointers in a slab block, so ~64MB can be addressed.
6351c0b2f7Stbbdev  * The master array of 8KB holds 2K pointers to leaves, so ~128 GB can addressed.
6451c0b2f7Stbbdev  */
6551c0b2f7Stbbdev     static const size_t bytes = sizeof(uintptr_t)>4? 256*1024 : 8*1024;
6651c0b2f7Stbbdev     static const int dataSz;
6751c0b2f7Stbbdev /* space is reserved for master table and 4 leaves
6851c0b2f7Stbbdev    taking into account VirtualAlloc allocation granularity */
6951c0b2f7Stbbdev     static const int leaves = 4;
7051c0b2f7Stbbdev     static const size_t masterSize = BackRefMaster::bytes+leaves*BackRefBlock::bytes;
7151c0b2f7Stbbdev     // The size of memory request for a few more leaf blocks;
7251c0b2f7Stbbdev     // selected to match VirtualAlloc granularity
7351c0b2f7Stbbdev     static const size_t blockSpaceSize = 64*1024;
7451c0b2f7Stbbdev 
7551c0b2f7Stbbdev     Backend       *backend;
76*478de5b1Stbbdev     std::atomic<BackRefBlock*> active;         // if defined, use it for allocations
77*478de5b1Stbbdev     std::atomic<BackRefBlock*> listForUse;     // the chain of data blocks with free items
7851c0b2f7Stbbdev     BackRefBlock  *allRawMemBlocks;
7951c0b2f7Stbbdev     std::atomic <intptr_t> lastUsed; // index of the last used block
8051c0b2f7Stbbdev     bool           rawMemUsed;
8151c0b2f7Stbbdev     MallocMutex    requestNewSpaceMutex;
8251c0b2f7Stbbdev     BackRefBlock  *backRefBl[1];   // the real size of the array is dataSz
8351c0b2f7Stbbdev 
8451c0b2f7Stbbdev     BackRefBlock *findFreeBlock();
8551c0b2f7Stbbdev     void          addToForUseList(BackRefBlock *bl);
8651c0b2f7Stbbdev     void          initEmptyBackRefBlock(BackRefBlock *newBl);
8751c0b2f7Stbbdev     bool          requestNewSpace();
8851c0b2f7Stbbdev };
8951c0b2f7Stbbdev 
9051c0b2f7Stbbdev const int BackRefMaster::dataSz
9151c0b2f7Stbbdev     = 1+(BackRefMaster::bytes-sizeof(BackRefMaster))/sizeof(BackRefBlock*);
9251c0b2f7Stbbdev 
9351c0b2f7Stbbdev static MallocMutex masterMutex;
9451c0b2f7Stbbdev static std::atomic<BackRefMaster*> backRefMaster;
9551c0b2f7Stbbdev 
9651c0b2f7Stbbdev bool initBackRefMaster(Backend *backend)
9751c0b2f7Stbbdev {
9851c0b2f7Stbbdev     bool rawMemUsed;
9951c0b2f7Stbbdev     BackRefMaster *master =
10051c0b2f7Stbbdev         (BackRefMaster*)backend->getBackRefSpace(BackRefMaster::masterSize,
10151c0b2f7Stbbdev                                                  &rawMemUsed);
10251c0b2f7Stbbdev     if (! master)
10351c0b2f7Stbbdev         return false;
10451c0b2f7Stbbdev     master->backend = backend;
105*478de5b1Stbbdev     master->listForUse.store(nullptr, std::memory_order_relaxed);
106*478de5b1Stbbdev     master->allRawMemBlocks = nullptr;
10751c0b2f7Stbbdev     master->rawMemUsed = rawMemUsed;
10851c0b2f7Stbbdev     master->lastUsed = -1;
10951c0b2f7Stbbdev     memset(&master->requestNewSpaceMutex, 0, sizeof(MallocMutex));
11051c0b2f7Stbbdev     for (int i=0; i<BackRefMaster::leaves; i++) {
11151c0b2f7Stbbdev         BackRefBlock *bl = (BackRefBlock*)((uintptr_t)master + BackRefMaster::bytes + i*BackRefBlock::bytes);
11251c0b2f7Stbbdev         bl->zeroSet();
11351c0b2f7Stbbdev         master->initEmptyBackRefBlock(bl);
11451c0b2f7Stbbdev         if (i)
11551c0b2f7Stbbdev             master->addToForUseList(bl);
11651c0b2f7Stbbdev         else // active leaf is not needed in listForUse
117*478de5b1Stbbdev             master->active.store(bl, std::memory_order_relaxed);
11851c0b2f7Stbbdev     }
11951c0b2f7Stbbdev     // backRefMaster is read in getBackRef, so publish it in consistent state
12051c0b2f7Stbbdev     backRefMaster.store(master, std::memory_order_release);
12151c0b2f7Stbbdev     return true;
12251c0b2f7Stbbdev }
12351c0b2f7Stbbdev 
124*478de5b1Stbbdev #if __TBB_SOURCE_DIRECTLY_INCLUDED
12551c0b2f7Stbbdev void destroyBackRefMaster(Backend *backend)
12651c0b2f7Stbbdev {
12751c0b2f7Stbbdev     if (backRefMaster.load(std::memory_order_acquire)) { // Is initBackRefMaster() called?
12851c0b2f7Stbbdev         for (BackRefBlock *curr = backRefMaster.load(std::memory_order_relaxed)->allRawMemBlocks; curr; ) {
12951c0b2f7Stbbdev             BackRefBlock *next = curr->nextRawMemBlock;
13051c0b2f7Stbbdev             // allRawMemBlocks list is only for raw mem blocks
13151c0b2f7Stbbdev             backend->putBackRefSpace(curr, BackRefMaster::blockSpaceSize,
13251c0b2f7Stbbdev                                      /*rawMemUsed=*/true);
13351c0b2f7Stbbdev             curr = next;
13451c0b2f7Stbbdev         }
13551c0b2f7Stbbdev         backend->putBackRefSpace(backRefMaster.load(std::memory_order_relaxed), BackRefMaster::masterSize,
13651c0b2f7Stbbdev                                  backRefMaster.load(std::memory_order_relaxed)->rawMemUsed);
13751c0b2f7Stbbdev     }
13851c0b2f7Stbbdev }
139*478de5b1Stbbdev #endif
14051c0b2f7Stbbdev 
14151c0b2f7Stbbdev void BackRefMaster::addToForUseList(BackRefBlock *bl)
14251c0b2f7Stbbdev {
143*478de5b1Stbbdev     bl->nextForUse = listForUse.load(std::memory_order_relaxed);
144*478de5b1Stbbdev     listForUse.store(bl, std::memory_order_relaxed);
145*478de5b1Stbbdev     bl->addedToForUse.store(true, std::memory_order_relaxed);
14651c0b2f7Stbbdev }
14751c0b2f7Stbbdev 
14851c0b2f7Stbbdev void BackRefMaster::initEmptyBackRefBlock(BackRefBlock *newBl)
14951c0b2f7Stbbdev {
15051c0b2f7Stbbdev     intptr_t nextLU = lastUsed+1;
15151c0b2f7Stbbdev     new (newBl) BackRefBlock(newBl, nextLU);
15251c0b2f7Stbbdev     MALLOC_ASSERT(nextLU < dataSz, NULL);
15351c0b2f7Stbbdev     backRefBl[nextLU] = newBl;
15451c0b2f7Stbbdev     // lastUsed is read in getBackRef, and access to backRefBl[lastUsed]
15551c0b2f7Stbbdev     // is possible only after checking backref against current lastUsed
15651c0b2f7Stbbdev     lastUsed.store(nextLU, std::memory_order_release);
15751c0b2f7Stbbdev }
15851c0b2f7Stbbdev 
15951c0b2f7Stbbdev bool BackRefMaster::requestNewSpace()
16051c0b2f7Stbbdev {
16151c0b2f7Stbbdev     bool isRawMemUsed;
16251c0b2f7Stbbdev     static_assert(!(blockSpaceSize % BackRefBlock::bytes),
16351c0b2f7Stbbdev                          "Must request space for whole number of blocks.");
16451c0b2f7Stbbdev 
16551c0b2f7Stbbdev     if (backRefMaster.load(std::memory_order_relaxed)->dataSz <= lastUsed + 1) // no space in master
16651c0b2f7Stbbdev         return false;
16751c0b2f7Stbbdev 
16851c0b2f7Stbbdev     // only one thread at a time may add blocks
16951c0b2f7Stbbdev     MallocMutex::scoped_lock newSpaceLock(requestNewSpaceMutex);
17051c0b2f7Stbbdev 
171*478de5b1Stbbdev     if (listForUse.load(std::memory_order_relaxed)) // double check that only one block is available
17251c0b2f7Stbbdev         return true;
17351c0b2f7Stbbdev     BackRefBlock *newBl = (BackRefBlock*)backend->getBackRefSpace(blockSpaceSize, &isRawMemUsed);
17451c0b2f7Stbbdev     if (!newBl) return false;
17551c0b2f7Stbbdev 
17651c0b2f7Stbbdev     // touch a page for the 1st time without taking masterMutex ...
17751c0b2f7Stbbdev     for (BackRefBlock *bl = newBl; (uintptr_t)bl < (uintptr_t)newBl + blockSpaceSize;
17851c0b2f7Stbbdev          bl = (BackRefBlock*)((uintptr_t)bl + BackRefBlock::bytes)) {
17951c0b2f7Stbbdev         bl->zeroSet();
18051c0b2f7Stbbdev     }
18151c0b2f7Stbbdev 
18251c0b2f7Stbbdev     MallocMutex::scoped_lock lock(masterMutex); // ... and share under lock
18351c0b2f7Stbbdev 
18451c0b2f7Stbbdev     const size_t numOfUnusedIdxs = backRefMaster.load(std::memory_order_relaxed)->dataSz - lastUsed - 1;
18551c0b2f7Stbbdev     if (numOfUnusedIdxs <= 0) { // no space in master under lock, roll back
18651c0b2f7Stbbdev         backend->putBackRefSpace(newBl, blockSpaceSize, isRawMemUsed);
18751c0b2f7Stbbdev         return false;
18851c0b2f7Stbbdev     }
18951c0b2f7Stbbdev     // It's possible that only part of newBl is used, due to lack of indices in master.
19051c0b2f7Stbbdev     // This is OK as such underutilization is possible only once for backreferneces table.
19151c0b2f7Stbbdev     int blocksToUse = min(numOfUnusedIdxs, blockSpaceSize / BackRefBlock::bytes);
19251c0b2f7Stbbdev 
19351c0b2f7Stbbdev     // use the first block in the batch to maintain the list of "raw" memory
19451c0b2f7Stbbdev     // to be released at shutdown
19551c0b2f7Stbbdev     if (isRawMemUsed) {
19651c0b2f7Stbbdev         newBl->nextRawMemBlock = backRefMaster.load(std::memory_order_relaxed)->allRawMemBlocks;
19751c0b2f7Stbbdev         backRefMaster.load(std::memory_order_relaxed)->allRawMemBlocks = newBl;
19851c0b2f7Stbbdev     }
19951c0b2f7Stbbdev     for (BackRefBlock *bl = newBl; blocksToUse>0; bl = (BackRefBlock*)((uintptr_t)bl + BackRefBlock::bytes), blocksToUse--) {
20051c0b2f7Stbbdev         initEmptyBackRefBlock(bl);
201*478de5b1Stbbdev         if (active.load(std::memory_order_relaxed)->allocatedCount.load(std::memory_order_relaxed) == BR_MAX_CNT) {
202*478de5b1Stbbdev             active.store(bl, std::memory_order_release); // active leaf is not needed in listForUse
20351c0b2f7Stbbdev         } else {
20451c0b2f7Stbbdev             addToForUseList(bl);
20551c0b2f7Stbbdev         }
20651c0b2f7Stbbdev     }
20751c0b2f7Stbbdev     return true;
20851c0b2f7Stbbdev }
20951c0b2f7Stbbdev 
21051c0b2f7Stbbdev BackRefBlock *BackRefMaster::findFreeBlock()
21151c0b2f7Stbbdev {
212*478de5b1Stbbdev     BackRefBlock* active_block = active.load(std::memory_order_acquire);
213*478de5b1Stbbdev     MALLOC_ASSERT(active_block, ASSERT_TEXT);
21451c0b2f7Stbbdev 
215*478de5b1Stbbdev     if (active_block->allocatedCount.load(std::memory_order_relaxed) < BR_MAX_CNT)
216*478de5b1Stbbdev         return active_block;
217*478de5b1Stbbdev 
218*478de5b1Stbbdev     if (listForUse.load(std::memory_order_relaxed)) { // use released list
21951c0b2f7Stbbdev         MallocMutex::scoped_lock lock(masterMutex);
22051c0b2f7Stbbdev 
221*478de5b1Stbbdev         if (active_block->allocatedCount.load(std::memory_order_relaxed) == BR_MAX_CNT) {
222*478de5b1Stbbdev             active_block = listForUse.load(std::memory_order_relaxed);
223*478de5b1Stbbdev             if (active_block) {
224*478de5b1Stbbdev                 active.store(active_block, std::memory_order_release);
225*478de5b1Stbbdev                 listForUse.store(active_block->nextForUse, std::memory_order_relaxed);
226*478de5b1Stbbdev                 MALLOC_ASSERT(active_block->addedToForUse.load(std::memory_order_relaxed), ASSERT_TEXT);
227*478de5b1Stbbdev                 active_block->addedToForUse.store(false, std::memory_order_relaxed);
228*478de5b1Stbbdev             }
22951c0b2f7Stbbdev         }
23051c0b2f7Stbbdev     } else // allocate new data node
23151c0b2f7Stbbdev         if (!requestNewSpace())
23251c0b2f7Stbbdev             return NULL;
233*478de5b1Stbbdev     return active.load(std::memory_order_acquire); // reread because of requestNewSpace
23451c0b2f7Stbbdev }
23551c0b2f7Stbbdev 
23651c0b2f7Stbbdev void *getBackRef(BackRefIdx backRefIdx)
23751c0b2f7Stbbdev {
23851c0b2f7Stbbdev     // !backRefMaster means no initialization done, so it can't be valid memory
23951c0b2f7Stbbdev     // see addEmptyBackRefBlock for fences around lastUsed
24051c0b2f7Stbbdev     if (!(backRefMaster.load(std::memory_order_acquire))
24151c0b2f7Stbbdev         || backRefIdx.getMaster() > (backRefMaster.load(std::memory_order_relaxed)->lastUsed.load(std::memory_order_acquire))
24251c0b2f7Stbbdev         || backRefIdx.getOffset() >= BR_MAX_CNT)
24351c0b2f7Stbbdev         return NULL;
24451c0b2f7Stbbdev     return *(void**)((uintptr_t)backRefMaster.load(std::memory_order_relaxed)->backRefBl[backRefIdx.getMaster()]
24551c0b2f7Stbbdev                      + sizeof(BackRefBlock)+backRefIdx.getOffset()*sizeof(void*));
24651c0b2f7Stbbdev }
24751c0b2f7Stbbdev 
24851c0b2f7Stbbdev void setBackRef(BackRefIdx backRefIdx, void *newPtr)
24951c0b2f7Stbbdev {
25051c0b2f7Stbbdev     MALLOC_ASSERT(backRefIdx.getMaster()<=backRefMaster.load(std::memory_order_relaxed)->lastUsed.load(std::memory_order_relaxed)
25151c0b2f7Stbbdev                                  && backRefIdx.getOffset()<BR_MAX_CNT, ASSERT_TEXT);
25251c0b2f7Stbbdev     *(void**)((uintptr_t)backRefMaster.load(std::memory_order_relaxed)->backRefBl[backRefIdx.getMaster()]
25351c0b2f7Stbbdev               + sizeof(BackRefBlock) + backRefIdx.getOffset()*sizeof(void*)) = newPtr;
25451c0b2f7Stbbdev }
25551c0b2f7Stbbdev 
25651c0b2f7Stbbdev BackRefIdx BackRefIdx::newBackRef(bool largeObj)
25751c0b2f7Stbbdev {
25851c0b2f7Stbbdev     BackRefBlock *blockToUse;
25951c0b2f7Stbbdev     void **toUse;
26051c0b2f7Stbbdev     BackRefIdx res;
26151c0b2f7Stbbdev     bool lastBlockFirstUsed = false;
26251c0b2f7Stbbdev 
26351c0b2f7Stbbdev     do {
26451c0b2f7Stbbdev         MALLOC_ASSERT(backRefMaster.load(std::memory_order_relaxed), ASSERT_TEXT);
26551c0b2f7Stbbdev         blockToUse = backRefMaster.load(std::memory_order_relaxed)->findFreeBlock();
26651c0b2f7Stbbdev         if (!blockToUse)
26751c0b2f7Stbbdev             return BackRefIdx();
26851c0b2f7Stbbdev         toUse = NULL;
26951c0b2f7Stbbdev         { // the block is locked to find a reference
27051c0b2f7Stbbdev             MallocMutex::scoped_lock lock(blockToUse->blockMutex);
27151c0b2f7Stbbdev 
27251c0b2f7Stbbdev             if (blockToUse->freeList) {
27351c0b2f7Stbbdev                 toUse = (void**)blockToUse->freeList;
27451c0b2f7Stbbdev                 blockToUse->freeList = blockToUse->freeList->next;
27551c0b2f7Stbbdev                 MALLOC_ASSERT(!blockToUse->freeList ||
27651c0b2f7Stbbdev                               ((uintptr_t)blockToUse->freeList>=(uintptr_t)blockToUse
27751c0b2f7Stbbdev                                && (uintptr_t)blockToUse->freeList <
27851c0b2f7Stbbdev                                (uintptr_t)blockToUse + slabSize), ASSERT_TEXT);
279*478de5b1Stbbdev             } else if (blockToUse->allocatedCount.load(std::memory_order_relaxed) < BR_MAX_CNT) {
28051c0b2f7Stbbdev                 toUse = (void**)blockToUse->bumpPtr;
28151c0b2f7Stbbdev                 blockToUse->bumpPtr =
28251c0b2f7Stbbdev                     (FreeObject*)((uintptr_t)blockToUse->bumpPtr - sizeof(void*));
283*478de5b1Stbbdev                 if (blockToUse->allocatedCount.load(std::memory_order_relaxed) == BR_MAX_CNT-1) {
28451c0b2f7Stbbdev                     MALLOC_ASSERT((uintptr_t)blockToUse->bumpPtr
28551c0b2f7Stbbdev                                   < (uintptr_t)blockToUse+sizeof(BackRefBlock),
28651c0b2f7Stbbdev                                   ASSERT_TEXT);
28751c0b2f7Stbbdev                     blockToUse->bumpPtr = NULL;
28851c0b2f7Stbbdev                 }
28951c0b2f7Stbbdev             }
29051c0b2f7Stbbdev             if (toUse) {
291*478de5b1Stbbdev                 if (!blockToUse->allocatedCount.load(std::memory_order_relaxed) &&
292*478de5b1Stbbdev                     !backRefMaster.load(std::memory_order_relaxed)->listForUse.load(std::memory_order_relaxed)) {
29351c0b2f7Stbbdev                     lastBlockFirstUsed = true;
294*478de5b1Stbbdev                 }
295*478de5b1Stbbdev                 blockToUse->allocatedCount.store(blockToUse->allocatedCount.load(std::memory_order_relaxed) + 1, std::memory_order_relaxed);
29651c0b2f7Stbbdev             }
29751c0b2f7Stbbdev         } // end of lock scope
29851c0b2f7Stbbdev     } while (!toUse);
29951c0b2f7Stbbdev     // The first thread that uses the last block requests new space in advance;
30051c0b2f7Stbbdev     // possible failures are ignored.
30151c0b2f7Stbbdev     if (lastBlockFirstUsed)
30251c0b2f7Stbbdev         backRefMaster.load(std::memory_order_relaxed)->requestNewSpace();
30351c0b2f7Stbbdev 
30451c0b2f7Stbbdev     res.master = blockToUse->myNum;
30551c0b2f7Stbbdev     uintptr_t offset =
30651c0b2f7Stbbdev         ((uintptr_t)toUse - ((uintptr_t)blockToUse + sizeof(BackRefBlock)))/sizeof(void*);
30751c0b2f7Stbbdev     // Is offset too big?
30851c0b2f7Stbbdev     MALLOC_ASSERT(!(offset >> 15), ASSERT_TEXT);
30951c0b2f7Stbbdev     res.offset = offset;
31051c0b2f7Stbbdev     if (largeObj) res.largeObj = largeObj;
31151c0b2f7Stbbdev 
31251c0b2f7Stbbdev     return res;
31351c0b2f7Stbbdev }
31451c0b2f7Stbbdev 
31551c0b2f7Stbbdev void removeBackRef(BackRefIdx backRefIdx)
31651c0b2f7Stbbdev {
31751c0b2f7Stbbdev     MALLOC_ASSERT(!backRefIdx.isInvalid(), ASSERT_TEXT);
31851c0b2f7Stbbdev     MALLOC_ASSERT(backRefIdx.getMaster()<=backRefMaster.load(std::memory_order_relaxed)->lastUsed.load(std::memory_order_relaxed)
31951c0b2f7Stbbdev                   && backRefIdx.getOffset()<BR_MAX_CNT, ASSERT_TEXT);
32051c0b2f7Stbbdev     BackRefBlock *currBlock = backRefMaster.load(std::memory_order_relaxed)->backRefBl[backRefIdx.getMaster()];
32151c0b2f7Stbbdev     FreeObject *freeObj = (FreeObject*)((uintptr_t)currBlock + sizeof(BackRefBlock)
32251c0b2f7Stbbdev                                         + backRefIdx.getOffset()*sizeof(void*));
32351c0b2f7Stbbdev     MALLOC_ASSERT(((uintptr_t)freeObj>(uintptr_t)currBlock &&
32451c0b2f7Stbbdev                    (uintptr_t)freeObj<(uintptr_t)currBlock + slabSize), ASSERT_TEXT);
32551c0b2f7Stbbdev     {
32651c0b2f7Stbbdev         MallocMutex::scoped_lock lock(currBlock->blockMutex);
32751c0b2f7Stbbdev 
32851c0b2f7Stbbdev         freeObj->next = currBlock->freeList;
32951c0b2f7Stbbdev         MALLOC_ASSERT(!freeObj->next ||
33051c0b2f7Stbbdev                       ((uintptr_t)freeObj->next > (uintptr_t)currBlock
33151c0b2f7Stbbdev                        && (uintptr_t)freeObj->next <
33251c0b2f7Stbbdev                        (uintptr_t)currBlock + slabSize), ASSERT_TEXT);
33351c0b2f7Stbbdev         currBlock->freeList = freeObj;
334*478de5b1Stbbdev         currBlock->allocatedCount.store(currBlock->allocatedCount.load(std::memory_order_relaxed)-1, std::memory_order_relaxed);
33551c0b2f7Stbbdev     }
33651c0b2f7Stbbdev     // TODO: do we need double-check here?
337*478de5b1Stbbdev     if (!currBlock->addedToForUse.load(std::memory_order_relaxed) &&
338*478de5b1Stbbdev         currBlock!=backRefMaster.load(std::memory_order_relaxed)->active.load(std::memory_order_relaxed)) {
33951c0b2f7Stbbdev         MallocMutex::scoped_lock lock(masterMutex);
34051c0b2f7Stbbdev 
341*478de5b1Stbbdev         if (!currBlock->addedToForUse.load(std::memory_order_relaxed) &&
342*478de5b1Stbbdev             currBlock!=backRefMaster.load(std::memory_order_relaxed)->active.load(std::memory_order_relaxed))
34351c0b2f7Stbbdev             backRefMaster.load(std::memory_order_relaxed)->addToForUseList(currBlock);
34451c0b2f7Stbbdev     }
34551c0b2f7Stbbdev }
34651c0b2f7Stbbdev 
34751c0b2f7Stbbdev /********* End of backreferences ***********************/
34851c0b2f7Stbbdev 
34951c0b2f7Stbbdev } // namespace internal
35051c0b2f7Stbbdev } // namespace rml
35151c0b2f7Stbbdev 
352