diff options
author | Ian Lance Taylor <ian@gcc.gnu.org> | 2010-12-03 04:34:57 +0000 |
---|---|---|
committer | Ian Lance Taylor <ian@gcc.gnu.org> | 2010-12-03 04:34:57 +0000 |
commit | 7a9389330e91acc3ed05deac2d198af25d13cf3c (patch) | |
tree | 38fe54a4f38ede5d949c915d66191f24a6fe5153 /libgo/runtime/mfinal.c | |
parent | 1aa6700378e5188a853c018256113ce6e1fb5c05 (diff) | |
download | gcc-7a9389330e91acc3ed05deac2d198af25d13cf3c.zip gcc-7a9389330e91acc3ed05deac2d198af25d13cf3c.tar.gz gcc-7a9389330e91acc3ed05deac2d198af25d13cf3c.tar.bz2 |
Add Go frontend, libgo library, and Go testsuite.
gcc/:
* gcc.c (default_compilers): Add entry for ".go".
* common.opt: Add -static-libgo as a driver option.
* doc/install.texi (Configuration): Mention libgo as an option for
--enable-shared. Mention go as an option for --enable-languages.
* doc/invoke.texi (Overall Options): Mention .go as a file name
suffix. Mention go as a -x option.
* doc/frontends.texi (G++ and GCC): Mention Go as a supported
language.
* doc/sourcebuild.texi (Top Level): Mention libgo.
* doc/standards.texi (Standards): Add section on Go language.
Move references for other languages into their own section.
* doc/contrib.texi (Contributors): Mention that I contributed the
Go frontend.
gcc/testsuite/:
* lib/go.exp: New file.
* lib/go-dg.exp: New file.
* lib/go-torture.exp: New file.
* lib/target-supports.exp (check_compile): Match // Go.
From-SVN: r167407
Diffstat (limited to 'libgo/runtime/mfinal.c')
-rw-r--r-- | libgo/runtime/mfinal.c | 183 |
1 files changed, 183 insertions, 0 deletions
diff --git a/libgo/runtime/mfinal.c b/libgo/runtime/mfinal.c new file mode 100644 index 0000000..3f3a610 --- /dev/null +++ b/libgo/runtime/mfinal.c @@ -0,0 +1,183 @@ +// Copyright 2010 The Go Authors. All rights reserved. +// Use of this source code is governed by a BSD-style +// license that can be found in the LICENSE file. + +#include "runtime.h" +#include "malloc.h" + +static Lock finlock = LOCK_INITIALIZER; + +// Finalizer hash table. Direct hash, linear scan, at most 3/4 full. +// Table size is power of 3 so that hash can be key % max. +// Key[i] == (void*)-1 denotes free but formerly occupied entry +// (doesn't stop the linear scan). +// Key and val are separate tables because the garbage collector +// must be instructed to ignore the pointers in key but follow the +// pointers in val. +typedef struct Fintab Fintab; +struct Fintab +{ + void **key; + Finalizer **val; + int32 nkey; // number of non-nil entries in key + int32 ndead; // number of dead (-1) entries in key + int32 max; // size of key, val allocations +}; + +static void +addfintab(Fintab *t, void *k, Finalizer *v) +{ + int32 i, j; + + i = (uintptr)k % (uintptr)t->max; + for(j=0; j<t->max; j++) { + if(t->key[i] == nil) { + t->nkey++; + goto ret; + } + if(t->key[i] == (void*)-1) { + t->ndead--; + goto ret; + } + if(++i == t->max) + i = 0; + } + + // cannot happen - table is known to be non-full + runtime_throw("finalizer table inconsistent"); + +ret: + t->key[i] = k; + t->val[i] = v; +} + +static Finalizer* +lookfintab(Fintab *t, void *k, bool del) +{ + int32 i, j; + Finalizer *v; + + if(t->max == 0) + return nil; + i = (uintptr)k % (uintptr)t->max; + for(j=0; j<t->max; j++) { + if(t->key[i] == nil) + return nil; + if(t->key[i] == k) { + v = t->val[i]; + if(del) { + t->key[i] = (void*)-1; + t->val[i] = nil; + t->ndead++; + } + return v; + } + if(++i == t->max) + i = 0; + } + + // cannot happen - table is known to be non-full + runtime_throw("finalizer table inconsistent"); + return nil; +} + +static Fintab fintab; + +// add finalizer; caller is responsible for making sure not already in table +void +runtime_addfinalizer(void *p, void (*f)(void*), const struct __go_func_type *ft) +{ + Fintab newtab; + int32 i; + uint32 *ref; + byte *base; + Finalizer *e; + + e = nil; + if(f != nil) { + e = runtime_mal(sizeof *e); + e->fn = f; + e->ft = ft; + } + + runtime_lock(&finlock); + if(!runtime_mlookup(p, &base, nil, nil, &ref) || p != base) { + runtime_unlock(&finlock); + runtime_throw("addfinalizer on invalid pointer"); + } + if(f == nil) { + if(*ref & RefHasFinalizer) { + lookfintab(&fintab, p, 1); + *ref &= ~RefHasFinalizer; + } + runtime_unlock(&finlock); + return; + } + + if(*ref & RefHasFinalizer) { + runtime_unlock(&finlock); + runtime_throw("double finalizer"); + } + *ref |= RefHasFinalizer; + + if(fintab.nkey >= fintab.max/2+fintab.max/4) { + // keep table at most 3/4 full: + // allocate new table and rehash. + + runtime_memclr((byte*)&newtab, sizeof newtab); + newtab.max = fintab.max; + if(newtab.max == 0) + newtab.max = 3*3*3; + else if(fintab.ndead < fintab.nkey/2) { + // grow table if not many dead values. + // otherwise just rehash into table of same size. + newtab.max *= 3; + } + + newtab.key = runtime_mallocgc(newtab.max*sizeof newtab.key[0], RefNoPointers, 0, 1); + newtab.val = runtime_mallocgc(newtab.max*sizeof newtab.val[0], 0, 0, 1); + + for(i=0; i<fintab.max; i++) { + void *k; + + k = fintab.key[i]; + if(k != nil && k != (void*)-1) + addfintab(&newtab, k, fintab.val[i]); + } + runtime_free(fintab.key); + runtime_free(fintab.val); + fintab = newtab; + } + + addfintab(&fintab, p, e); + runtime_unlock(&finlock); +} + +// get finalizer; if del, delete finalizer. +// caller is responsible for updating RefHasFinalizer bit. +Finalizer* +runtime_getfinalizer(void *p, bool del) +{ + Finalizer *f; + + runtime_lock(&finlock); + f = lookfintab(&fintab, p, del); + runtime_unlock(&finlock); + return f; +} + +void +runtime_walkfintab(void (*fn)(void*), void (*scan)(byte *, int64)) +{ + void **key; + void **ekey; + + scan((byte*)&fintab, sizeof fintab); + runtime_lock(&finlock); + key = fintab.key; + ekey = key + fintab.max; + for(; key < ekey; key++) + if(*key != nil && *key != ((void*)-1)) + fn(*key); + runtime_unlock(&finlock); +} |