Searched refs:LocalMemSpace (Results 1 - 16 of 16) sorted by relevance

/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dquick_gc.cpp76 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 Dgc_check_weak_ref.cpp72 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 Dgc_copy_phase.cpp93 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 Dgc.cpp141 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 Dheapsizing.h27 class LocalMemSpace;
43 LocalMemSpace *AddSpaceInMinorGC(uintptr_t space, bool isMutable);
47 LocalMemSpace *AddSpaceBeforeCopyPhase(bool isMutable);
H A Dmemmgr.h155 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 Dgc_update_phase.cpp64 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 Dmemmgr.cpp93 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 Dcheck_objects.cpp67 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 Dgc_mark_phase.cpp683 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 Dgc_share_phase.cpp120 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 Dheapsizing.cpp214 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 Dobjsize.cpp129 for (std::vector<LocalMemSpace*>::iterator i = gMem.lSpaces.begin(); i < gMem.lSpaces.end(); i++)
131 LocalMemSpace *space = *i;
H A Dexporter.cpp195 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 Dsavestate.cpp582 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 Dsharedata.cpp419 if (space->spaceType != ST_LOCAL || ! ((LocalMemSpace*)space)->allocationSpace)

Completed in 77 milliseconds