1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112
|
/*
Title: save_vec.cpp - The save vector holds temporary values that may move as
the result of a garbage collection.
Copyright (c) 2006 David C.J. Matthews
This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License, or (at your option) any later version.
This library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with this library; if not, write to the Free Software
Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
*/
#ifdef WIN32
#include "winconfig.h"
#else
#include "config.h"
#endif
#ifdef HAVE_ASSERT_H
#include <assert.h>
#define ASSERT(x) assert(x)
#else
#define ASSERT(x)
#endif
#include "globals.h"
#include "save_vec.h"
#include "check_objects.h"
#include "scanaddrs.h"
#define SVEC_SIZE 1000
SaveVec::SaveVec()
{
save_vec = new SaveVecEntry[SVEC_SIZE];
save_vec_addr = save_vec;
}
SaveVec::~SaveVec()
{
delete[](save_vec);
}
// DCJM - I've used this in a few cases where we iterate over a list
// and want to avoid overflowing the save vec. I've assumed that simply
// resetting the list doesn't actually destroy the entry on the save vec
// and it's safe to still use it provided that doesn't result in allocation.
void SaveVec::reset(Handle old_value)
{
ASSERT(old_value >= save_vec && old_value <= save_vec_addr);
save_vec_addr = old_value;
}
Handle SaveVec::push(PolyWord valu) /* Push a PolyWord onto the save vec. */
{
ASSERT(save_vec_addr < save_vec+SVEC_SIZE);
Check(valu);
*save_vec_addr = SaveVecEntry(valu);
return save_vec_addr++;
}
/******************************************************************************/
/* */
/* run_time_gc - utility function, called indirectly */
/* */
/******************************************************************************/
void SaveVec::gcScan(ScanAddress *process)
/* Ensures that all the objects are retained and their addresses updated. */
{
for (Handle sv = save_vec; sv < save_vec_addr; sv++)
{
PolyWord *saved = &(sv->m_Handle);
if ((*saved).IsTagged()) {} // Don't need to do anything
else if ((*saved).IsCodePtr())
{
// We can have code pointers in set_code_address.
// Find the start of the code segment
PolyObject *obj = ObjCodePtrToPtr(saved->AsCodePtr());
// Calculate the byte offset of this value within the code object.
POLYUNSIGNED offset = saved->AsCodePtr() - (byte*)obj;
process->ScanRuntimeAddress(&obj, ScanAddress::STRENGTH_STRONG);
*saved = PolyWord::FromCodePtr((byte*)obj + offset);
}
else {
ASSERT((*saved).IsDataPtr());
PolyObject *obj = (*saved).AsObjPtr();
process->ScanRuntimeAddress(&obj, ScanAddress::STRENGTH_STRONG);
*saved = obj;
}
}
}
// We just have one of these.
static SaveVec save;
SaveVec *gSaveVec = &save;
|