Flutter 实现StackAllocator简化FFI局部变量的内存管理

本文主要是介绍Flutter 实现StackAllocator简化FFI局部变量的内存管理,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

文章目录

  • 前言
  • 一、为何简化?
    • 1、通常做法
    • 2、简化
  • 二、完整代码
  • 三、使用示例
    • 1、局部内存管理
    • 2、支持嵌套
  • 总结


前言

使用Flutter通过FFI调用c库的时候,经常需要传字符串或者一些指针变量,这里变量通常都是局部变量,在一个代码块运行完成后就不需要了,我们通常用calloc进行内存申请和释放,但这也带来了一个麻烦,每个变量都需要单独释放,且字符串必须用变量进行释放,不能直接使用字面量作为参数,否则就内存泄漏了。本文提供一种针对上述问题的简化操作。


一、为何简化?

1、通常做法

错误用法,下列用法会导致内存泄漏,在此表述用于明确简化的意义。

av_dict_set(opts, "rtsp_transport".toNativeUtf8().cast(),"tcp".toNativeUtf8().cast(), 0);

正确用法如下,变量多的时候,每个都要去释放是很麻的。

//对需要的变量进行内存申请
final key = "rtsp_transport".toNativeUtf8(allocator: calloc);
final value = "tcp".toNativeUtf8(allocator: calloc);
final a=calloc.allocate<A>(sizeOf<A>());
final b=calloc.allocate<B>(sizeOf<B>());
final c=calloc.allocate<C>(sizeOf<C>());
ffiTestA(a.ref);
ffiTestB(b.ref);
ffiTestC(c.ref);
av_dict_set(opts, key.cast(), value.cast(), 0);
//每个变量都需要变量进行内存释放
calloc.free(key);
calloc.free(value);
calloc.free(a);
calloc.free(b);
calloc.free(c);

2、简化

我们实现一个Allocator,用于局部的内存管理,就可以省去每个变量内存释放这个步骤。salloc是一个用于管理局部变量的Allocator。

//push表明入栈,可以理解为栈内存开始
salloc.push();
final a=salloc.allocate(sizeOf<A>());
final b=salloc.allocate(sizeOf<B>());
final c=salloc.allocate<C>(sizeOf<C>());
av_dict_set(opts, "rtsp_transport".toNativeUtf8(allocator: salloc).cast(),"tcp".toNativeUtf8(allocator: salloc).cast(), 0);
ffiTestA(a.ref);
ffiTestB(a.ref);
ffiTestC(a.ref);
//pop表明出栈,可以理解为栈内存结束(释放)
salloc.pop();

二、完整代码

stack_allocator.dart

import 'dart:ffi'; // For FFI
import 'package:ffi/ffi.dart';class StackAllocator implements Allocator {final List<List<Pointer>> _stacks = [];void push() {_stacks.add([]);}void pop() {final stack = _stacks.removeLast();for (final i in stack) {calloc.free(i);}}Pointer<T> allocate<T extends NativeType>(int byteCount, {int? alignment}) {final pointer = calloc.allocate<T>(byteCount, alignment: alignment);_stacks.last.add(pointer);return pointer;}void free(Pointer<NativeType> pointer) {_stacks.last.remove(pointer);calloc.free(pointer);}
}
///栈内使用的Allocator
///salloc.push后期间所有“栈变量”内存申请都通过此对象,salloc.pop释放salloc.push后的所有内存。支持递归嵌套。
///salloc.push和salloc.pop必须成对出现。
StackAllocator salloc = StackAllocator();

三、使用示例

1、局部内存管理

void test() {//push表明入栈,可以理解为栈内存开始salloc.push();try {//期间的局部变量都通过salloc申请。final a = salloc.allocate(sizeOf<A>());final b = salloc.allocate(sizeOf<B>());final c = salloc.allocate<C>(sizeOf<C>());av_dict_set(opts, "rtsp_transport".toNativeUtf8(allocator: salloc).cast(),"tcp".toNativeUtf8(allocator: salloc).cast(), 0);ffiTestA(a.ref);ffiTestB(a.ref);ffiTestC(a.ref);} finally {//pop表明出栈,可以理解为栈内存结束(释放),在finally确保函数结束一定会调用此方法。salloc.pop();}
}

2、支持嵌套

void test() {//push表明入栈,可以理解为栈内存开始salloc.push();try {//期间的局部变量都通过salloc申请。final a = salloc.allocate(sizeOf<A>());final b = salloc.allocate(sizeOf<B>());final c = salloc.allocate<C>(sizeOf<C>());av_dict_set(opts, "rtsp_transport".toNativeUtf8(allocator: salloc).cast(),"tcp".toNativeUtf8(allocator: salloc).cast(), 0);ffiTestA(a.ref);ffiTestB(a.ref);ffiTestC(a.ref);//支持嵌套,在下列范围内的内存,用完后立刻释放。salloc.push();av_dict_set(opts, "stimeout".toNativeUtf8(allocator: salloc).cast(),"5000000".toNativeUtf8(allocator: salloc).cast(), 0);salloc.pop();   } finally {//pop表明出栈,可以理解为栈内存结束(释放),在finally确保函数结束一定会调用此方法。salloc.pop();}
}

总结

以上就是今天要讲的内容,本文实现StackAllocator主要目的还是在于方便使用,尤其是与ffi的交互有大量的局部变量时,内存释放是非常繁琐的,而且也不能使用字符串的字面量,导致可读性也降低。有了StackAllocator就可以一定程度的解决这些问题,当然其实最好的方法是能实现真正的栈变量,不需要额外操作就能跟随函数一起释放,但笔者目前还没有找到很好的方式去实现。

这篇关于Flutter 实现StackAllocator简化FFI局部变量的内存管理的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1067323

相关文章

pandas中位数填充空值的实现示例

《pandas中位数填充空值的实现示例》中位数填充是一种简单而有效的方法,用于填充数据集中缺失的值,本文就来介绍一下pandas中位数填充空值的实现,具有一定的参考价值,感兴趣的可以了解一下... 目录什么是中位数填充?为什么选择中位数填充?示例数据结果分析完整代码总结在数据分析和机器学习过程中,处理缺失数

Golang HashMap实现原理解析

《GolangHashMap实现原理解析》HashMap是一种基于哈希表实现的键值对存储结构,它通过哈希函数将键映射到数组的索引位置,支持高效的插入、查找和删除操作,:本文主要介绍GolangH... 目录HashMap是一种基于哈希表实现的键值对存储结构,它通过哈希函数将键映射到数组的索引位置,支持

Pandas使用AdaBoost进行分类的实现

《Pandas使用AdaBoost进行分类的实现》Pandas和AdaBoost分类算法,可以高效地进行数据预处理和分类任务,本文主要介绍了Pandas使用AdaBoost进行分类的实现,具有一定的参... 目录什么是 AdaBoost?使用 AdaBoost 的步骤安装必要的库步骤一:数据准备步骤二:模型

使用Pandas进行均值填充的实现

《使用Pandas进行均值填充的实现》缺失数据(NaN值)是一个常见的问题,我们可以通过多种方法来处理缺失数据,其中一种常用的方法是均值填充,本文主要介绍了使用Pandas进行均值填充的实现,感兴趣的... 目录什么是均值填充?为什么选择均值填充?均值填充的步骤实际代码示例总结在数据分析和处理过程中,缺失数

Java对象转换的实现方式汇总

《Java对象转换的实现方式汇总》:本文主要介绍Java对象转换的多种实现方式,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录Java对象转换的多种实现方式1. 手动映射(Manual Mapping)2. Builder模式3. 工具类辅助映

Go语言开发实现查询IP信息的MCP服务器

《Go语言开发实现查询IP信息的MCP服务器》随着MCP的快速普及和广泛应用,MCP服务器也层出不穷,本文将详细介绍如何在Go语言中使用go-mcp库来开发一个查询IP信息的MCP... 目录前言mcp-ip-geo 服务器目录结构说明查询 IP 信息功能实现工具实现工具管理查询单个 IP 信息工具的实现服

SpringBoot基于配置实现短信服务策略的动态切换

《SpringBoot基于配置实现短信服务策略的动态切换》这篇文章主要为大家详细介绍了SpringBoot在接入多个短信服务商(如阿里云、腾讯云、华为云)后,如何根据配置或环境切换使用不同的服务商,需... 目录目标功能示例配置(application.yml)配置类绑定短信发送策略接口示例:阿里云 & 腾

python实现svg图片转换为png和gif

《python实现svg图片转换为png和gif》这篇文章主要为大家详细介绍了python如何实现将svg图片格式转换为png和gif,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录python实现svg图片转换为png和gifpython实现图片格式之间的相互转换延展:基于Py

Python利用ElementTree实现快速解析XML文件

《Python利用ElementTree实现快速解析XML文件》ElementTree是Python标准库的一部分,而且是Python标准库中用于解析和操作XML数据的模块,下面小编就来和大家详细讲讲... 目录一、XML文件解析到底有多重要二、ElementTree快速入门1. 加载XML的两种方式2.

Java的栈与队列实现代码解析

《Java的栈与队列实现代码解析》栈是常见的线性数据结构,栈的特点是以先进后出的形式,后进先出,先进后出,分为栈底和栈顶,栈应用于内存的分配,表达式求值,存储临时的数据和方法的调用等,本文给大家介绍J... 目录栈的概念(Stack)栈的实现代码队列(Queue)模拟实现队列(双链表实现)循环队列(循环数组