目前我正在编写一个 C# 脚本,它可以调用用 Julia 模块编写的函数。 Julia 提供了一个 C API,允许在 Julia 中调用函数。我已经设法让用 Julia 模块编写的函数从 C# 调用,并让数组数据来回传递。
但是,我并不完全确定如何正确控制垃圾收集器。
此代码是 julia.h 提供的内联代码,它告诉 Julia 垃圾收集器 args 指向的变量正在另一个脚本中使用,不应移动/取消分配。每次调用 (jl_gc_push()
或 jl_gc_push_args()
都会将一个东西推送到垃圾收集器使用的堆栈。
julia.h 中的代码:
#define jl_pgcstack (jl_get_ptls_states()->pgcstack)
#define JL_GC_PUSH1(arg1) \
void *__gc_stkf[] = {(void*)3, jl_pgcstack, arg1}; \
jl_pgcstack = (jl_gcframe_t*)__gc_stkf;
...(similar functions for 2, 3, 4)............
#define JL_GC_PUSH5(arg1, arg2, arg3, arg4, arg5) \
void *__gc_stkf[] = {(void*)11, jl_pgcstack, arg1, arg2, arg3, arg4, arg5}; \
jl_pgcstack = (jl_gcframe_t*)__gc_stkf;
#define JL_GC_PUSHARGS(rts_var,n) \
rts_var = ((jl_value_t**)alloca(((n)+2)*sizeof(jl_value_t*)))+2; \
((void**)rts_var)[-2] = (void*)(((size_t)(n))<<1); \
((void**)rts_var)[-1] = jl_pgcstack; \
memset((void*)rts_var, 0, (n)*sizeof(jl_value_t*)); \
jl_pgcstack = (jl_gcframe_t*)&(((void**)rts_var)[-2])
#define JL_GC_POP() (jl_pgcstack = jl_pgcstack = jl_pgcstack->prev)
jl_get_ptls_states
返回一个结构,该结构具有一个名为 pgcstack
的指针。我相信这就是垃圾收集器使用的东西。 arg1
应该是 jl_value_t*
类型,rts_var
应该是 jl_value_t**
类型。
问题一:
我无法调和 JL_GC_PUSH1(和其他 JL_GC_PUSH# 中的这一行)之间的这一特殊差异:
void *__gc_stkf[] = {(void*)3, ...
JL_GC_PUSHARGS 中的这一行:
((void**)rts_var)[-2] = (void*)(((size_t)(n))<<1);
如果我使用 JL_GC_PUSH1 告诉垃圾收集器我希望忽略一个变量,它会将数组中的第一个变量设置为 3。但是,如果我要使用 JL_GC_PUSHARGS,它会将其设置为 2。我认为向左移动的位用零填充?不过,我了解其他所有功能在这些功能中是如何工作的。
问题 2:
我正在编写一个 C# 函数来完成 JL_GC_PUSHARGS 的功能,除了它接受 params IntPtr
而不是 jl_value_t**
。如果我这样分配内存安全吗?有谁知道 Julia 是否会根据需要取消分配,或者我是否必须在内存上调用 Marshal.FreeHGlobal?如果 Julia 仍然这样做并且我调用 Marshal.FreeHGlobal,会不会有问题?
C#版本:
public unsafe static void JL_GC_PUSHARGS(params IntPtr[] args) {
int l = args.Length;
IntPtr* pgcstacknew = (IntPtr*) Marshal.AllocHGlobal(Marshal.SizeOf<IntPtr>() * (l + 2)).ToPointer();
pgcstacknew[0] = (IntPtr)(2 * l + 1); //related to Question 1
pgcstacknew[1] = jl_pgcstack();
for(uint i = 2; i < l + 2; i++){
pgcstacknew[i] = args[i - 2];
}
jl_pgcstack() = pgcstacknew;
//I'm still having issues with this line ^^
}
现在假设 jl_pgcstack()
等同于用 C 编写的内联函数。我对此有疑问,但那是另一个问题。
最佳答案
Question 1
JL_GC_PUSH1
和 JL_GC_PUSHARGS
宏具有不同的堆栈布局。低位表示是哪一个。
Question 2
Julia 不会释放任何东西,因为在创建 gc-frame 时不应该分配任何东西。如果您要分配,通常最好通过 Julia API 并在 ObjectIdDict
(jl_eqtable_get/put) 之上构建一个模拟引用计数方案。
JL_GC_PUSHARGS 的直接翻译应该类似于:
unsafe {
// JL_GC_PUSHARGS
uint l = args.Length;
IntPtr* pgcstacknew = stackalloc IntPtr[l + 2];
pgcstacknew[0] = (IntPtr)(l << 2); // how many roots?
pgcstacknew[1] = jl_pgcstack(); // link to previous gc-frame
for (uint i = 0; i < l; i++) { // copy the args to the stack roots
pgcstacknew[i + 2] = args[i];
}
jl_pgcstack() = pgcstacknew; // install frame at top of gc-stack
}
// <do stuff with args here>
unsafe {
// JL_GC_POP
jl_pgcstack() = pgcstacknew[1]; // remove frame from gc-stack
}
另一种选择是使用 jl_call
函数集,其中包括 gc 框架(以及异常框架)的设置和拆卸。
关于c# - 将 Julia 嵌入到 C# : Garbage Collector Rewrite into C# Issues and Questions,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/44442654/