如何通过共享库实现不同编程语言间的相互调用？

一、编程语言如何解析共享库并发起调用 #

共享库（.so/.dll）是编译后的二进制文件，包含可执行机器码和符号表（函数/变量名到内存地址的映射）。所有语言调用共享库的底层逻辑都依赖操作系统提供的API，步骤统一：

• 加载：通过系统调用（Linuxdlopen/WindowsLoadLibrary）将共享库加载到当前进程的地址空间，操作系统自动完成地址重定位（把库内的相对地址转换为进程内绝对地址）。
• 符号查找：用dlsym/GetProcAddress等系统调用，根据函数名从符号表中找到对应的内存地址。
• 执行调用：按照目标平台的调用约定（如C的cdecl）把参数压入栈，跳转到找到的内存地址执行函数，最后处理返回值。

比如Python的ctypes库、Apache的mod_python，底层都是这套逻辑——mod_python作为C共享库嵌入Apache进程，同时加载Python运行时，双向实现C与Python的函数调用。

二、跨语言通信的核心本质 #

跨语言通信的核心是数据标准化传递和执行流程协调，分为两类场景：

• 同进程内调用：如Python/Java调用同进程的C共享库，是性能最高的协作方式。核心是让两种语言的运行时处于同一地址空间，通过约定的内存布局、调用规则完成数据转换。
• 跨进程通信：如Python进程调用Java进程，依赖IPC机制（管道、套接字）或中间件（gRPC），先将数据序列化（JSON/Protobuf）再传递，本质是进程间的数据交换。

你关注的mod_python和JNI都属于同进程内调用。

三、解释型与编译型语言协作：以JNI为例 #

Java的JNI是典型的同进程跨语言调用，完整流程如下：

1. 声明Native方法：在Java代码中用native标记要调用的C函数，比如：

   public class TestJNI {
       public native void sayHello();
       static {
           System.loadLibrary("testjni"); // 加载共享库
       }
       public static void main(String[] args) {
           new TestJNI().sayHello();
       }
   }
   

2. 生成JNI头文件：用javac -h . TestJNI.java生成C头文件，里面包含符合JNI规范的函数签名：

   JNIEXPORT void JNICALL Java_TestJNI_sayHello(JNIEnv *, jobject);
   

   这个签名是Java与C的约定，确保JVM能找到对应的C函数。
3. 编写C实现：按照头文件签名编写C代码，通过JNIEnv指针操作Java运行时：

   #include <jni.h>
   #include <stdio.h>
   JNIEXPORT void JNICALL Java_TestJNI_sayHello(JNIEnv *env, jobject obj) {
       printf("Hello from C via JNI!\n");
   }
   

4. 编译共享库：将C代码编译为.so文件（Linux）：

   gcc -shared -fPIC -I$JAVA_HOME/include -I$JAVA_HOME/include/linux testjni.c -o libtestjni.so
   

5. 运行调用：Java程序加载共享库后，直接调用native方法，JVM会负责把调用转发给C函数。

关键细节：

• JVM将共享库加载到自身进程空间，C代码与Java字节码在同一进程内运行。
• JNIEnv是C代码操作Java的入口，提供了大量API实现Java对象与C数据的转换（如字符串、数组）。
• JNI规定了统一的调用约定，确保参数传递、栈帧处理的一致性。

四、mod_python与WSGI的协作逻辑 #

mod_python作为Apache的C模块，和JNI的协作思路一致：

1. Apache启动时加载mod_python.so，模块内部初始化Python解释器（将Python运行时嵌入Apache进程）。
2. 当HTTP请求到达，mod_python将Apache的C语言请求结构体（如request_rec）转换为Python能处理的WSGI规范数据（如environ字典）。
3. 调用Python编写的WSGI应用处理请求，再将Python返回的响应数据转换为Apache能识别的格式，发送给客户端。
4. 全程在Apache进程内完成，Python解释器与Apache的C代码共享地址空间，通过mod_python实现双向的数据转换和函数调用。

内容的提问来源于stack exchange，提问作者Skipper