如何理解JVM的本地方法栈_JNI调用C语言库的内存分配机制

P粉602998670

P粉602998670

2026-03-21

661人浏览

原创

本地方法栈内存由操作系统管理,jvm gc无法回收,需手动配对malloc/free;jni中须正确处理引用、线程绑定及内存可见性,directbytebuffer是唯一受gc监管的native内存路径。

如何理解jvm的本地方法栈_jni调用c语言库的内存分配机制

本地方法栈不是Java堆,也不归GC管

Java代码调用 JNI 进入C函数后,所有内存分配(比如 malloccalloc)都在操作系统原生堆上,和 new Object() 完全无关。JVM的GC压根看不见这些内存,更不会回收——哪怕Java对象已经销毁,C侧 malloc 出来的缓冲区还挂着,就是典型的内存泄漏。

常见错误现象:OutOfMemoryError: unable to create native thread 或进程 RSS 持续上涨但 Java 堆稳定;用 valgrindasan 能抓到未释放的 malloc 块,但 JVM 监控工具(如 jstat)完全无反应。

  • JNI 函数里必须配对使用 malloc/freenew/delete,不能依赖 Java 对象生命周期
  • 避免在 native 方法里长期缓存指针或句柄(如全局 jobject),除非显式调用 NewGlobalRef 并配对 DeleteGlobalRef
  • 如果 C 库内部做了内存池或延迟释放,要确认它是否与 JVM 进程生命周期一致——例如嵌入式场景下 JVM 重启频繁,而 C 库静态变量残留会导致脏数据

JNIEnv* 和线程绑定导致的栈/堆混淆

JNIEnv* 不是全局变量,而是每个 OS 线程独有的一块栈空间映射,它里面存的局部引用表(Local Reference Table)默认只在当前 native 方法返回前有效。很多人误以为 jstringjbyteArray 返回后还能直接用 C 指针访问底层数据,其实一出方法就可能失效。

典型错误:在 JNI 函数里调用 GetStringUTFChars 获取 const char*,保存该指针到全局结构体,后续其他线程或回调中直接解引用——结果是随机崩溃或读到垃圾值。

  • 要用 GetStringUTFRegionGetByteArrayElements + Release 成对调用,把数据拷贝出来再处理
  • 跨线程传递 Java 对象时,必须用 NewGlobalRef 提升作用域,且记得在不再需要时 DeleteGlobalRef
  • JNIEnv* 不能缓存复用,不同线程调用 AttachCurrentThread 得到的 JNIEnv* 地址不同,也不能在 signal handler 或异步回调里直接用(除非明确 attach)

DirectByteBuffer 是唯一被 JVM “看见”的 native 内存

只有通过 ByteBuffer.allocateDirect() 创建的对象,其背后内存才由 JVM 统一管理(走 Unsafe.allocateMemory),并在 GC 时触发 Cleaner 回调释放。这是 JNI 场景下少有的、能和 GC 协同的 native 内存路径。

但注意:它不解决 C 库自身 malloc 的问题,只是给你一条“受监管”的通道。如果 C 函数想操作这块内存,你得传地址过去(比如 GetDirectBufferAddress),而不是自己再 malloc 一块。

  • 不要对 DirectByteBuffer 底层地址做 free —— JVM 会自己清理,重复 free 导致 double-free crash
  • 如果 C 库要求固定生命周期(比如初始化时注册一块 buffer 长期使用),建议用 DirectByteBuffer 配合 PhantomReference + Cleaner 做兜底,而非裸 malloc
  • Android 上 DirectByteBuffer 分配可能失败(受限于 ashmem 或 low-memory-killer 策略),需检查返回值是否为 NULL

System.loadLibrary 之后的符号解析和内存可见性

System.loadLibrary 加载的是动态库,但符号绑定发生在第一次调用 native 方法时(lazy binding)。如果 C 库内部用了 static 变量或 pthread_once 初始化,多线程首次并发调用可能触发竞态——尤其是初始化逻辑涉及 malloc 或 mmap。

另一个坑是内存屏障缺失:C 函数修改了某块 native 内存,Java 层通过 DirectByteBuffer 读取时,可能因 CPU 缓存不一致看到旧值,尤其在 ARM 或 RISC-V 架构上更明显。

  • 确保 C 库初始化函数是线程安全的,必要时加 pthread_mutex_t 或用 __atomic 操作
  • 在 Java 层读写 DirectByteBuffer 前后,必要时插入 Unsafe.storeFence() / Unsafe.loadFence()(JDK9+)
  • 避免在 static 块里直接调用耗时或非幂等的 native 方法,改用双重检查锁或 Holder 模式延迟初始化

最常被忽略的点:JNI 层的内存模型和 Java 内存模型(JMM)不自动对齐。C 侧写的内存,Java 侧不一定立即可见;Java 侧改的 volatile 字段,C 侧读不到语义保证。这不是 bug,是设计使然——跨语言边界永远要自己加同步、拷贝、或 fence。

13万字C语言保姆级教程(深入):立即使用
在学习笔记中,你将探索c语言的核心概念和高级技巧!

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
C语言变量命名
C语言变量命名

c语言变量名规则是:1、变量名以英文字母开头;2、变量名中的字母是区分大小写的;3、变量名不能是关键字;4、变量名中不能包含空格、标点符号和类型说明符。php中文网还提供c语言变量的相关下载、相关课程等内容,供大家免费下载使用。

2023.06.20

1349

3

c语言入门自学零基础
c语言入门自学零基础

C语言是当代人学习及生活中的必备基础知识,应用十分广泛,本专题为大家c语言入门自学零基础的相关文章,以及相关课程,感兴趣的朋友千万不要错过了。

2023.07.25

1536

9

c语言运算符的优先级顺序
c语言运算符的优先级顺序

c语言运算符的优先级顺序是括号运算符 > 一元运算符 > 算术运算符 > 移位运算符 > 关系运算符 > 位运算符 > 逻辑运算符 > 赋值运算符 > 逗号运算符。本专题为大家提供c语言运算符相关的各种文章、以及下载和课程。

2023.08.02

691

5

c语言数据结构
c语言数据结构

数据结构是指将数据按照一定的方式组织和存储的方法。它是计算机科学中的重要概念,用来描述和解决实际问题中的数据组织和处理问题。数据结构可以分为线性结构和非线性结构。线性结构包括数组、链表、堆栈和队列等,而非线性结构包括树和图等。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.09

551

4

c语言random函数用法
c语言random函数用法

c语言random函数用法:1、random.random,随机生成(0,1)之间的浮点数;2、random.randint,随机生成在范围之内的整数,两个参数分别表示上限和下限;3、random.randrange,在指定范围内,按指定基数递增的集合中获得一个随机数;4、random.choice,从序列中随机抽选一个数;5、random.shuffle,随机排序。

2023.09.05

909

5

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2023.09.20

1128

7

c语言get函数的用法
c语言get函数的用法

get函数是一个用于从输入流中获取字符的函数。可以从键盘、文件或其他输入设备中读取字符,并将其存储在指定的变量中。本文介绍了get函数的用法以及一些相关的注意事项。希望这篇文章能够帮助你更好地理解和使用get函数 。

2023.09.20

1663

8

c数组初始化的方法
c数组初始化的方法

c语言数组初始化的方法有直接赋值法、不完全初始化法、省略数组长度法和二维数组初始化法。详细介绍:1、直接赋值法,这种方法可以直接将数组的值进行初始化;2、不完全初始化法,。这种方法可以在一定程度上节省内存空间;3、省略数组长度法,这种方法可以让编译器自动计算数组的长度;4、二维数组初始化法等等。

2023.09.22

5537

6

c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

2023.09.22

420

3

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
热门推荐
/
最新课程
phpStudy极速入门视频教程
phpStudy极速入门视频教程

共6课时 | 54.4万人学习

独孤九贱(4)_PHP视频教程
独孤九贱(4)_PHP视频教程

共89课时 | 131.8万人学习