Skip to content

Commit d3a30d8

Browse files
udesoud-netto
authored andcommitted
Minor fixes to support sticky
1 parent b5ea719 commit d3a30d8

File tree

3 files changed

+11
-86
lines changed

3 files changed

+11
-86
lines changed

src/gc-mmtk.c

Lines changed: 7 additions & 77 deletions
Original file line numberDiff line numberDiff line change
@@ -878,6 +878,7 @@ inline void mmtk_set_side_metadata(const void* side_metadata_base, void* obj) {
878878
STATIC_INLINE void mmtk_immortal_post_alloc_fast(MMTkMutatorContext* mutator, void* obj, size_t size) {
879879
if (MMTK_NEEDS_WRITE_BARRIER == MMTK_OBJECT_BARRIER) {
880880
mmtk_set_side_metadata(MMTK_SIDE_LOG_BIT_BASE_ADDRESS, obj);
881+
}
881882
}
882883

883884
JL_DLLEXPORT jl_value_t *jl_mmtk_gc_alloc_default(jl_ptls_t ptls, int osize, size_t align, void *ty)
@@ -1094,6 +1095,11 @@ void jl_gc_notify_image_load(const char* img_data, size_t len)
10941095
mmtk_set_vm_space((void*)img_data, len);
10951096
}
10961097

1098+
void jl_gc_notify_image_alloc(const char* img_data, size_t len)
1099+
{
1100+
mmtk_immortal_region_post_alloc((void*)img_data, len);
1101+
}
1102+
10971103
// ========================================================================= //
10981104
// Code specific to stock that is not supported by MMTk
10991105
// ========================================================================= //
@@ -1143,7 +1149,7 @@ JL_DLLEXPORT void jl_gc_queue_root(const struct _jl_value_t *ptr) JL_NOTSAFEPOIN
11431149
{
11441150
jl_task_t *ct = jl_current_task;
11451151
jl_ptls_t ptls = ct->ptls;
1146-
mmtk_object_reference_write_slow(&ptls->gc_tls.mmtk_mutator, parent, (const void*) 0);
1152+
mmtk_object_reference_write_slow(&ptls->gc_tls.mmtk_mutator, ptr, (const void*) 0);
11471153
}
11481154

11491155
JL_DLLEXPORT void jl_gc_queue_multiroot(const struct _jl_value_t *root, const void *stored,
@@ -1225,82 +1231,6 @@ JL_DLLEXPORT jl_value_t *jl_gc_internal_obj_base_ptr(void *p)
12251231
return NULL;
12261232
}
12271233

1228-
JL_DLLEXPORT void jl_genericmemory_copyto(jl_genericmemory_t *dest, char* destdata,
1229-
jl_genericmemory_t *src, char* srcdata,
1230-
size_t n) JL_NOTSAFEPOINT
1231-
{
1232-
jl_datatype_t *dt = (jl_datatype_t*)jl_typetagof(dest);
1233-
if (dt != (jl_datatype_t*)jl_typetagof(src))
1234-
jl_exceptionf(jl_argumenterror_type, "jl_genericmemory_copyto requires source and dest to have same type");
1235-
const jl_datatype_layout_t *layout = dt->layout;
1236-
if (layout->flags.arrayelem_isboxed) {
1237-
_Atomic(void*) * dest_p = (_Atomic(void*)*)destdata;
1238-
_Atomic(void*) * src_p = (_Atomic(void*)*)srcdata;
1239-
jl_value_t *owner = jl_genericmemory_owner(dest);
1240-
jl_gc_wb(owner, NULL);
1241-
if (__unlikely(jl_astaggedvalue(owner)->bits.gc == GC_OLD_MARKED)) {
1242-
jl_value_t *src_owner = jl_genericmemory_owner(src);
1243-
ssize_t done = 0;
1244-
if (jl_astaggedvalue(src_owner)->bits.gc != GC_OLD_MARKED) {
1245-
if (dest_p < src_p || dest_p > src_p + n) {
1246-
for (; done < n; done++) { // copy forwards
1247-
void *val = jl_atomic_load_relaxed(src_p + done);
1248-
jl_atomic_store_release(dest_p + done, val);
1249-
// `val` is young or old-unmarked
1250-
if (val && !(jl_astaggedvalue(val)->bits.gc & GC_MARKED)) {
1251-
jl_gc_queue_root(owner);
1252-
break;
1253-
}
1254-
}
1255-
src_p += done;
1256-
dest_p += done;
1257-
} else {
1258-
for (; done < n; done++) { // copy backwards
1259-
void *val = jl_atomic_load_relaxed(src_p + n - done - 1);
1260-
jl_atomic_store_release(dest_p + n - done - 1, val);
1261-
// `val` is young or old-unmarked
1262-
if (val && !(jl_astaggedvalue(val)->bits.gc & GC_MARKED)) {
1263-
jl_gc_queue_root(owner);
1264-
break;
1265-
}
1266-
}
1267-
}
1268-
n -= done;
1269-
}
1270-
}
1271-
return memmove_refs(dest_p, src_p, n);
1272-
}
1273-
size_t elsz = layout->size;
1274-
char *src_p = srcdata;
1275-
int isbitsunion = layout->flags.arrayelem_isunion;
1276-
if (isbitsunion) {
1277-
char *sourcetypetagdata = jl_genericmemory_typetagdata(src);
1278-
char *desttypetagdata = jl_genericmemory_typetagdata(dest);
1279-
memmove(desttypetagdata+(size_t)destdata, sourcetypetagdata+(size_t)srcdata, n);
1280-
srcdata = (char*)src->ptr + elsz*(size_t)srcdata;
1281-
destdata = (char*)dest->ptr + elsz*(size_t)destdata;
1282-
}
1283-
if (layout->first_ptr != -1) {
1284-
memmove_refs((_Atomic(void*)*)destdata, (_Atomic(void*)*)srcdata, n * elsz / sizeof(void*));
1285-
jl_value_t *owner = jl_genericmemory_owner(dest);
1286-
if (__unlikely(jl_astaggedvalue(owner)->bits.gc == GC_OLD_MARKED)) {
1287-
jl_value_t *src_owner = jl_genericmemory_owner(src);
1288-
if (jl_astaggedvalue(src_owner)->bits.gc != GC_OLD_MARKED) {
1289-
dt = (jl_datatype_t*)jl_tparam1(dt);
1290-
for (size_t done = 0; done < n; done++) { // copy forwards
1291-
char* s = (char*)src_p+done*elsz;
1292-
if (*((jl_value_t**)s+layout->first_ptr) != NULL)
1293-
jl_gc_queue_multiroot(owner, s, dt);
1294-
}
1295-
}
1296-
}
1297-
}
1298-
else {
1299-
memmove(destdata, srcdata, n * elsz);
1300-
}
1301-
}
1302-
1303-
13041234
#ifdef __cplusplus
13051235
}
13061236
#endif

src/julia.h

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -66,7 +66,6 @@
6666

6767
typedef struct _jl_taggedvalue_t jl_taggedvalue_t;
6868
typedef struct _jl_tls_states_t *jl_ptls_t;
69-
typedef struct _jl_genericmemory_t jl_genericmemory_t;
7069

7170
#ifdef JL_LIBRARY_EXPORTS
7271
#include "uv.h"
@@ -1226,12 +1225,6 @@ JL_DLLEXPORT void jl_free_stack(void *stkbuf, size_t bufsz);
12261225
// thread-local allocator of the current thread.
12271226
JL_DLLEXPORT jl_weakref_t *jl_gc_new_weakref(jl_value_t *value);
12281227

1229-
#ifndef MMTK_GC
1230-
#include "gc-wb-stock.h"
1231-
#else
1232-
#include "gc-wb-mmtk.h"
1233-
#endif
1234-
12351228
JL_DLLEXPORT void jl_gc_safepoint(void);
12361229
JL_DLLEXPORT int jl_safepoint_suspend_thread(int tid, int waitstate);
12371230
JL_DLLEXPORT void jl_safepoint_suspend_all_threads(struct _jl_task_t *ct);

src/staticdata.c

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3480,6 +3480,7 @@ JL_DLLEXPORT jl_image_buf_t jl_preload_sysimg(const char *fname)
34803480
ios_seek_end(&f);
34813481
size_t len = ios_pos(&f);
34823482
char *sysimg = (char*)jl_gc_perm_alloc(len, 0, 64, 0);
3483+
jl_gc_notify_image_alloc(sysimg, len);
34833484
ios_seek(&f, 0);
34843485

34853486
if (ios_readall(&f, sysimg, len) != len)
@@ -4264,9 +4265,10 @@ static jl_value_t *jl_restore_package_image_from_stream(ios_t *f, jl_image_t *im
42644265
char *sysimg;
42654266
int success = !needs_permalloc;
42664267
ios_seek(f, datastartpos);
4267-
if (needs_permalloc)
4268+
if (needs_permalloc) {
42684269
sysimg = (char*)jl_gc_perm_alloc(len, 0, 64, 0);
4269-
else
4270+
jl_gc_notify_image_alloc(sysimg, len);
4271+
} else
42704272
sysimg = &f->buf[f->bpos];
42714273
if (needs_permalloc)
42724274
success = ios_readall(f, sysimg, len) == len;

0 commit comments

Comments
 (0)