Searched refs:LocalMemSpace (Results 1 - 16 of 16) sorted by relevance
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | quick_gc.cpp | 76 PolyObject *FindNewAddress(PolyObject *obj, POLYUNSIGNED L, LocalMemSpace *srcSpace); 77 virtual LocalMemSpace *FindSpace(POLYUNSIGNED length, bool isMutable) = 0; 88 virtual LocalMemSpace *FindSpace(POLYUNSIGNED length, bool isMutable); 89 LocalMemSpace *mutableSpace, *immutableSpace; 101 virtual LocalMemSpace *FindSpace(POLYUNSIGNED length, bool isMutable); 102 bool TakeOwnership(LocalMemSpace *space); 105 LocalMemSpace *mutableSpace, *immutableSpace; 106 LocalMemSpace **spaceTable; 146 static bool atomiclySetForwarding(LocalMemSpace *space, ptrasint *pt, ptrasint testVal, ptrasint update) 188 PolyObject *QuickGCScanner::FindNewAddress(PolyObject *obj, POLYUNSIGNED L, LocalMemSpace *srcSpac [all...] |
H A D | gc_check_weak_ref.cpp | 72 LocalMemSpace *space = gMem.LocalSpaceForAddress(w.AsStackAddr()-1); 93 LocalMemSpace *someSpace = gMem.LocalSpaceForAddress(someAddr.AsStackAddr()-1); 111 LocalMemSpace *space = gMem.LocalSpaceForAddress(refAddress.AsStackAddr()); 138 for (std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 140 LocalMemSpace *space = *i;
|
H A D | gc_copy_phase.cpp | 93 static inline PolyWord *FindFreeAndAllocate(LocalMemSpace *dst, uintptr_t limit, uintptr_t n) 192 static bool FindNextSpace(LocalMemSpace *src, LocalMemSpace **dst, bool isMutable, GCTaskId *id) 194 std::vector<LocalMemSpace*>::iterator m = gMem.lSpaces.begin(); 205 LocalMemSpace *lSpace = *m; 236 LocalMemSpace *mutableDest = 0, *immutableDest = 0; 238 for (std::vector<LocalMemSpace*>::reverse_iterator i = gMem.lSpaces.rbegin(); i != gMem.lSpaces.rend(); i++) 240 LocalMemSpace *src = *i; 296 LocalMemSpace *destSpace = isMutable || immutableDest == 0 ? mutableDest : immutableDest; 350 for(std::vector<LocalMemSpace*> [all...] |
H A D | gc.cpp | 141 for(std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 143 LocalMemSpace *lSpace = *i; 170 for (std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 172 LocalMemSpace *lSpace = *i; 189 for(std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 191 LocalMemSpace *lSpace = *i; 216 for (std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 218 LocalMemSpace *lSpace = *i; 250 for(std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 252 LocalMemSpace *lSpac [all...] |
H A D | heapsizing.h | 27 class LocalMemSpace; 43 LocalMemSpace *AddSpaceInMinorGC(uintptr_t space, bool isMutable); 47 LocalMemSpace *AddSpaceBeforeCopyPhase(bool isMutable);
|
H A D | memmgr.h | 155 class LocalMemSpace: public MarkableSpace class in inherits:MarkableSpace 158 LocalMemSpace(OSMem *alloc); 159 virtual ~LocalMemSpace() {} 239 LocalMemSpace *CreateAllocationSpace(uintptr_t size); 241 LocalMemSpace *NewLocalSpace(uintptr_t size, bool mut); 255 void DeleteLocalSpace(std::vector<LocalMemSpace*>::iterator &iter); 275 void ConvertAllocationSpaceToLocal(LocalMemSpace *space); 334 LocalMemSpace *LocalSpaceForAddress(const void *pt) const 338 return (LocalMemSpace*)s; 346 LocalMemSpace* LocalSpaceForObjectAddres [all...] |
H A D | gc_update_phase.cpp | 64 void UpdateObjectsInArea(LocalMemSpace *area); 80 LocalMemSpace *space = gMem.LocalSpaceForObjectAddress(obj); 125 void MTGCProcessUpdate::UpdateObjectsInArea(LocalMemSpace *area) 216 LocalMemSpace *space = (LocalMemSpace *)arg2; 250 for(std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 257 for (std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 259 LocalMemSpace *space = *i;
|
H A D | memmgr.cpp | 93 LocalMemSpace::LocalMemSpace(OSMem *alloc): MarkableSpace(alloc) function in class:LocalMemSpace 104 bool LocalMemSpace::InitSpace(PolyWord *heapSpace, uintptr_t size, bool mut) 145 for (std::vector<LocalMemSpace*>::iterator i = lSpaces.begin(); i < lSpaces.end(); i++) 184 LocalMemSpace* MemMgr::NewLocalSpace(uintptr_t size, bool mut) 187 LocalMemSpace *space = new LocalMemSpace(&osHeapAlloc); 237 LocalMemSpace *MemMgr::CreateAllocationSpace(uintptr_t size) 239 LocalMemSpace *result = NewLocalSpace(size, true); 252 void MemMgr::ConvertAllocationSpaceToLocal(LocalMemSpace *spac [all...] |
H A D | check_objects.cpp | 67 LocalMemSpace *lSpace = (LocalMemSpace*)space; 156 for (std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 158 LocalMemSpace *space = *i;
|
H A D | gc_mark_phase.cpp | 683 for (std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 701 static void SetBitmaps(LocalMemSpace *space, PolyWord *pt, PolyWord *top) 755 LocalMemSpace *lSpace = (LocalMemSpace *)arg1; 827 for(std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 829 LocalMemSpace *lSpace = *i; 854 for (std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 868 for(std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 870 LocalMemSpace *lSpace = *i;
|
H A D | gc_share_phase.cpp | 120 LocalMemSpace *space = gMem.LocalSpaceForAddress(lengthWord); 138 LocalMemSpace *space = gMem.LocalSpaceForAddress(lengthWord); 490 LocalMemSpace *sp = gMem.LocalSpaceForAddress((PolyWord*)obj - 1); 510 LocalMemSpace *space = gMem.LocalSpaceForAddress(lengthWord); 538 LocalMemSpace *space = gMem.LocalSpaceForAddress(lengthWord); 948 for (std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 950 LocalMemSpace *lSpace = *i;
|
H A D | heapsizing.cpp | 214 LocalMemSpace *HeapSizeParameters::AddSpaceInMinorGC(uintptr_t space, bool isMutable) 236 LocalMemSpace *sp = gMem.NewLocalSpace(spaceSize, isMutable); // Return the space or zero if it failed 252 LocalMemSpace *HeapSizeParameters::AddSpaceBeforeCopyPhase(bool isMutable) 254 LocalMemSpace *sp = gMem.NewLocalSpace(gMem.DefaultSpaceSize(), isMutable); 286 for (std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++)
|
H A D | objsize.cpp | 129 for (std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 131 LocalMemSpace *space = *i;
|
H A D | exporter.cpp | 195 for (std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 197 LocalMemSpace *space = *i; 632 for (std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 634 LocalMemSpace *space = *i;
|
H A D | savestate.cpp | 582 for (std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++) 584 LocalMemSpace *space = *i; 1953 LocalMemSpace *lSpace = gMem.NewLocalSpace(actualSize, descr->segmentFlags & SSF_WRITABLE);
|
H A D | sharedata.cpp | 419 if (space->spaceType != ST_LOCAL || ! ((LocalMemSpace*)space)->allocationSpace)
|
Completed in 77 milliseconds