foo.c的

Question

我使用ctypes为C库编写了一个Python包装器。一切正常，直到我用threading模块尝试。

这是一个重现它的小例子：

foo.c的

#include <stdlib.h>
#include <assert.h>

char *foo_init() {
    char *result = (char*)malloc(sizeof(char));
    assert(result);
    return result;
}

char foo_get(const char* p) {
    return *p;
}

void foo_set(char *p, char value) {
    *p = value;
}

void foo_del(char *p) {
    free(p);
}

foo.py

import threading
import ctypes
libfoo=ctypes.CDLL('foo.so')

libfoo.foo_init.restype = ctypes.c_void_p
libfoo.foo_get.restype = ctypes.c_char

class Foo:
    def __init__(self):
        self.__obj__ = libfoo.foo_init()

    def get(self):
        return libfoo.foo_get(self.__obj__)

    def set(self, value):
        libfoo.foo_set(self.__obj__, ctypes.c_char(value))

    def __del__(self):
        libfoo.foo_del(self.__obj__)

x = Foo()
x.set(b'x')
print(x.get())

def compute():
    y = Foo()
    y.set(b'y')
    print(y.get())

t = threading.Thread(target=compute)
t.start()
t.join()

汇编：

gcc -Wall -shared -o foo.so -fPIC foo.c

执行：

export LD_LIBRARY_PATH=.
python3 foo.py

结果：

b'x'
[1]    8627 segmentation fault  python3 foo.py

我们在此处看到x.get()被正确打印，而y.get()执行了细分错误。因此，似乎存在与ctypes和threading相关联的问题。

请注意，如果我在y函数之外移动compute的初始化，则程序会正常退出。

此外，操纵指针的每个函数都会产生分段错误（例如，如果我只保留__init__和__del__函数，则仍会发生崩溃。

有关如何解决这个问题的想法吗？

Answer 1

@ user2357112在评论中给了我答案：添加（好）返回类型和参数类型很重要。

通过以下内容替换foo.py的开头可解决问题：

libfoo.foo_init.restype = ctypes.POINTER(ctypes.c_char)
libfoo.foo_init.argtypes = []
libfoo.foo_get.restype = ctypes.c_char
libfoo.foo_get.argtypes = [ctypes.POINTER(ctypes.c_char)]
libfoo.foo_set.argtypes = [ctypes.POINTER(ctypes.c_char), ctypes.c_char]
libfoo.foo_del.argtypes = [ctypes.POINTER(ctypes.c_char)]

使用ctypes和线程时出现分段错误

foo.c的

foo.py

1 个答案: