Skip to content

Commit c93c4f9

Browse files
committed
Minor fixes to support sticky
1 parent 6eec92d commit c93c4f9

File tree

3 files changed

+11
-86
lines changed

3 files changed

+11
-86
lines changed

src/gc-mmtk.c

+7-77
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

-7
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"
@@ -1221,12 +1220,6 @@ JL_DLLEXPORT void jl_free_stack(void *stkbuf, size_t bufsz);
12211220
// thread-local allocator of the current thread.
12221221
JL_DLLEXPORT jl_weakref_t *jl_gc_new_weakref(jl_value_t *value);
12231222

1224-
#ifndef MMTK_GC
1225-
#include "gc-wb-stock.h"
1226-
#else
1227-
#include "gc-wb-mmtk.h"
1228-
#endif
1229-
12301223
JL_DLLEXPORT void jl_gc_safepoint(void);
12311224
JL_DLLEXPORT int jl_safepoint_suspend_thread(int tid, int waitstate);
12321225
JL_DLLEXPORT void jl_safepoint_suspend_all_threads(struct _jl_task_t *ct);

src/staticdata.c

+4-2
Original file line numberDiff line numberDiff line change
@@ -3474,6 +3474,7 @@ JL_DLLEXPORT jl_image_buf_t jl_preload_sysimg(const char *fname)
34743474
ios_seek_end(&f);
34753475
size_t len = ios_pos(&f);
34763476
char *sysimg = (char*)jl_gc_perm_alloc(len, 0, 64, 0);
3477+
jl_gc_notify_image_alloc(sysimg, len);
34773478
ios_seek(&f, 0);
34783479

34793480
if (ios_readall(&f, sysimg, len) != len)
@@ -4256,9 +4257,10 @@ static jl_value_t *jl_restore_package_image_from_stream(ios_t *f, jl_image_t *im
42564257
char *sysimg;
42574258
int success = !needs_permalloc;
42584259
ios_seek(f, datastartpos);
4259-
if (needs_permalloc)
4260+
if (needs_permalloc) {
42604261
sysimg = (char*)jl_gc_perm_alloc(len, 0, 64, 0);
4261-
else
4262+
jl_gc_notify_image_alloc(sysimg, len);
4263+
} else
42624264
sysimg = &f->buf[f->bpos];
42634265
if (needs_permalloc)
42644266
success = ios_readall(f, sysimg, len) == len;

0 commit comments

Comments
 (0)