展开菜单
首页 精品内容 本月促销 装机必备 Windows PDF教程 macOS软件 IOS软件 Android AI 专题
全部分类

当前位置:

首页 > 编程开发 > 非Go线程安全调用Go回调方法

非Go线程安全调用Go回调方法

本文探讨了在非Go运行时创建的C线程中调用Go回调函数的挑战与解决方案。由于Go运行时对线程管理的特殊性,直接调用Go代码可能导致问题。本文介绍了一种通过C线程原语与Go协程通信的间接方法,并详细讲解了rog-go.googlecode.com/hg/exp/callback包的使用,该包提供了一个可从C调用的Go入口点,从而实现跨语言的异步回调机制。

在非Go运行时创建的C线程中安全调用Go回调函数

本文探讨了在非Go运行时创建的C线程中调用Go回调函数的挑战与解决方案。由于Go运行时对线程管理的特殊性,直接调用Go代码可能导致问题。本文介绍了一种通过C线程原语与Go协程通信的间接方法,并详细讲解了rog-go.googlecode.com/hg/exp/callback包的使用,该包提供了一个可从C调用的Go入口点,从而实现跨语言的异步回调机制。

在Go与C语言混合编程的场景中,一个常见的需求是在C代码中定义回调函数,而该回调的实际逻辑由Go语言实现。当这些C回调函数由Go运行时创建的线程调用时,通常可以通过cgo的机制直接实现。然而,当回调函数来自非Go运行时创建的C线程时,问题变得复杂。Go运行时对线程有严格的管理,直接从一个未经Go运行时初始化的C线程中进入Go代码,可能会导致运行时状态不一致、死锁或其他不可预测的行为。

核心挑战与解决方案概述

核心挑战在于,Go运行时需要确保其内部状态(如M/P调度器、栈管理等)在每次Go代码执行时都是一致且受控的。一个由外部C库创建的线程,并未经过Go运行时的初始化和注册,直接在该线程上执行Go代码是危险的。

为了解决这个问题,一种可行的策略是引入一个中介层:C线程不直接调用Go代码,而是通过C线程原语(如互斥锁、条件变量、管道等)与一个由Go运行时管理的Go协程进行通信。当C线程需要触发Go回调时,它会将回调请求封装并通过C原语发送给Go协程。该Go协程接收到请求后,在Go的调度器控制下安全地执行实际的Go回调逻辑。这种方法虽然引入了一定的通信开销,但确保了Go运行时的稳定性。

使用 rog-go/exp/callback 包实现回调

为了简化上述通信机制,可以使用第三方包 rog-go.googlecode.com/hg/exp/callback。这个包封装了C线程与Go协程之间的通信细节,提供了一个可供C代码调用的函数指针,从而将回调请求安全地转发到Go运行时。

包概览

rog-go.googlecode.com/hg/exp/callback 包的核心是 callback.Func 变量。它是一个Go函数,被设计为可以转换为C函数指针并从C代码中调用。当 callback.Func 被C调用时,它会接收一个Go函数指针 f 和一个通用参数 arg,然后负责在一个Go上下文中安全地执行这个 f(arg) 回调。

package callback
import "rog-go.googlecode.com/hg/exp/callback"

// Func holds a pointer to the C callback function. When called,
// it calls the provided function f in a Go context with the given argument.
var Func = callbackFunc // 内部实现,对外暴露为 Func

将 callback.Func 暴露给C

要让C代码能够调用 callback.Func,我们需要将其地址传递给C。这通常通过一个C函数来完成,该函数接收一个函数指针并将其存储起来供后续调用。

以下是一个Go代码示例,展示了如何设置C回调函数:

// static void (*callback)(void (*f)(void*), void *arg);
// void setCallback(void *c){
//   callback = c;
// }
import "C" // 导入C伪包,用于CGO
import "rog-go.googlecode.com/hg/exp/callback"

func init() {
    // 在程序初始化时,将 callback.Func 的地址传递给C函数 setCallback
    // C.setCallback 期望接收一个 void* 类型的指针,这里我们将 Go 函数指针隐式转换为 void*
    C.setCallback(callback.Func)
}

在上述Go代码中:

  1. //static void (*callback)(void (*f)(void*), void *arg); 声明了一个C函数指针 callback,它将用于存储从Go传递过来的回调函数。
  2. //void setCallback(void *c){ callback = c; } 定义了一个C函数 setCallback,它接收一个 void* 参数 c,并将其赋值给 callback 全局函数指针。
  3. import "C" 导入了CGO机制。
  4. 在 init 函数中,C.setCallback(callback.Func) 将 callback.Func 的地址传递给了C函数 setCallback。这样,C代码就可以通过 callback 指针来调用Go侧的回调逻辑了。

C侧如何触发Go回调

一旦 callback 函数指针在C侧被设置,C代码就可以在任何线程中通过这个指针来触发Go回调。C代码需要准备一个Go函数指针(通常是从Go侧传递过来的,或者通过Cgo导出)以及一个参数,然后调用 callback。callback.Func 内部会处理将这个请求安全地传递给Go协程,并在Go运行时环境中执行实际的回调函数 f。

例如,C代码可能看起来像这样(假设 go_callback_func 是一个由Go导出的、期望被调用的Go函数,arg 是其参数):

// C代码示例
#include 

// 声明 Go 侧设置的全局回调函数指针
// extern 是为了告诉编译器这个变量在其他编译单元中定义
extern void (*callback)(void (*f)(void*), void *arg);

// 假设这是一个Go导出的函数,或者一个Go期望C调用的函数
// void* go_callback_func; // 实际应为Go导出的函数指针

void callGoFromCThread(void (*go_func_ptr)(void*), void *data) {
    if (callback != NULL) {
        // 调用 Go 侧设置的通用回调入口
        callback(go_func_ptr, data);
    } else {
        printf("Go callback not set!\n");
    }
}

// 示例:一个非Go创建的线程可能会调用这个函数
// void* my_c_thread_func(void* arg) {
//     // ... C 线程逻辑 ...
//     callGoFromCThread(go_callback_func, some_data);
//     // ...
//     return NULL;
// }

示例与实践

rog-go.googlecode.com/hg/exp/callback 包提供了两个示例来演示其用法:

  1. looper 示例: 演示了如何从一个外部创建的C线程回调任意的Go闭包。
    goinstall rog-go.googlecode.com/hg/exp/example/looper
    cd $GOROOT/src/pkg/rog-go.googlecode.com/hg/exp/example/looper
    gotest
  2. event 示例: 演示了如何在一个典型的C回调接口之上封装Go回调。
    goinstall rog-go.googlecode.com/hg/exp/example/event
    cd $GOROOT/src/pkg/rog-go.googlecode.com/hg/exp/example/event
    gotest

    这两个示例都假定系统支持 pthreads。通过运行这些示例,可以更好地理解该机制在实际应用中的工作原理。

性能考量与注意事项

  • 性能开销: 这种通过C线程原语进行通信的方案会引入一定的性能开销。根据原始数据,每次回调可能需要约22微秒(µs),这对于高频率的回调场景可能是一个瓶颈。在设计系统时,需要评估这种延迟是否可接受。
  • 临时方案: 这种方法在一定程度上是作为 cgo 机制完善前的“权宜之计”。随着Go运行时和cgo的不断发展,未来可能会有更直接、更高效的方式来处理这类跨线程回调。然而,其核心思想——通过一个Go协程作为中转来安全地执行回调——即使在未来也可能具有参考价值,尤其是在需要精细控制Go运行时行为的复杂场景中。
  • 环境依赖: 示例和底层实现可能依赖于特定的C线程库(如 pthreads)。在不同操作系统或编译环境下部署时,需要确保这些依赖可用。

总结

在非Go运行时创建的C线程中安全地调用Go回调函数是一个具有挑战性的跨语言互操作问题。通过引入一个基于C线程原语和Go协程通信的中间层,并利用像 rog-go.googlecode.com/hg/exp/callback 这样的辅助包,可以有效地解决这一问题。尽管存在一定的性能开销,并且在某些情况下可能被视为一种临时方案,但这种技术提供了一种可靠的机制,确保了Go运行时的稳定性和安全性,使得Go代码能够响应来自外部C线程的事件,从而实现更复杂的Go与C混合系统。在设计此类系统时,务必权衡性能需求与实现复杂性。

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系bd@zhengruan.com
作者最新文章
编程开发
相关文章 更多
精品专题 更多
装机必备

正软商城装机必备专区,精选办公、浏览器、安全防护、影音播放、压缩解压、设计创作和系统工具等电脑常用正版软件,帮助用户快速完成新电脑软件配置。

Windows

正软商城Windows软件专区,汇集适用于Windows电脑的办公、设计、安全防护、影音播放、开发工具和系统优化软件,提供软件介绍、系统要求、正版授权及购买下载服务。

PDF教程

正软商城PDF教程频道提供PDF编辑、转换、合并、拆分、压缩及格式处理方法,同时介绍常用PDF软件和工具的使用技巧。

macOS软件

正软商城macOS软件专区,精选适用于Mac电脑的办公、设计、影音、效率、开发和系统工具,提供软件功能介绍、macOS兼容版本、正版授权及购买下载服务。

IOS软件

正软商城iOS软件专区,精选适用于iPhone和iPad的办公、学习、影音、设计、效率及AI应用,提供功能介绍、适用设备、系统要求和正版获取方式等信息。

AI

正软商城AI软件专区,汇集AI写作、AI绘画、AI视频、AI办公、AI编程、AI翻译、智能客服和数据分析等人工智能工具,提供功能介绍、适用平台、收费方式及正版购买信息。

Mac软件 更多
WPS Office macOS版
WPS Office macOS版

WPS Office是一款面向macOS用户的综合办公套件,将文字处理、电子表格、演示文稿、PDF工具、模板与云协作整合在同一应用中。它兼容常见Microsoft Office格式,支持Intel及Apple芯片Mac,基础功能可免费使用,

Shapr3D macOS版
Shapr3D macOS版

Shapr3D是一款面向工业设计、机械工程、建筑概念和三维打印工作流的CAD软件。Mac版采用Parasolid建模内核,支持草图约束、实体建模、工程图、可视化渲染及常见CAD格式交换,并可通过账户在多台设备之间同步项目。

REAPER macOS版
REAPER macOS版

REAPER是Cockos开发的数字音频工作站,提供多轨音频与MIDI录制、剪辑、处理、混音和母带制作工具。Mac版兼容Intel与Apple芯片,支持AU、VST、VST3、CLAP等插件格式,并提供高度可定制的工作流程。

Ableton Live macOS版
Ableton Live macOS版

Ableton Live 是面向音乐制作人与现场表演者的数字音频工作站,提供编曲视图、独具特色的现场视图、音频录制、MIDI创作、实时变速、乐器及效果器。Mac版原生支持Apple芯片,并可连接音频接口、MIDI控制器和第三方插件。

Adobe After Effects macOS版
Adobe After Effects macOS版

Adobe After Effects 是面向动态图形、影视特效与视频合成的专业创作软件。它提供关键帧动画、遮罩抠像、运动跟踪、三维空间、文字动画和表达式等工具,并可与 Premiere Pro、Photoshop、Illustrator

Adobe Audition macOS版
Adobe Audition macOS版

Adobe Audition 是面向播客、影视后期、音乐制作及内容创作者的专业音频工作站,提供波形精修、多轨录制与混音、频谱编辑、降噪修复、响度匹配和效果处理工具,并可与 Adobe Premiere 协同完成视频声音制作。

Adobe Bridge macOS版
Adobe Bridge macOS版

Adobe Bridge 是面向摄影师、设计师及内容团队的免费数字资产管理工具,可集中预览照片、视频和 Adobe 项目文件,并利用评级、标签、关键词、元数据、筛选与收藏集完成分类检索。它还支持批量重命名、格式导出、相机导入及 Camera

Adobe Illustrator macOS版
Adobe Illustrator macOS版

Adobe Illustrator 是 Adobe 推出的专业矢量图形设计软件,适合在 Mac 上制作标志、图标、插画、包装、信息图及印刷版面。它以路径和锚点构建可无损缩放的图形,并提供钢笔、形状、文字、图像描摹、渐变、画板及生成式功能。

Adobe InDesign macOS版
Adobe InDesign macOS版

Adobe InDesign 是面向印刷品与数字出版物的专业版面设计软件,可在 Mac 上制作书籍、杂志、宣传册、海报、报告及交互式文档。它提供精细的文字样式、网格、母版、长文档管理和印前输出能力。

Adobe Lightroom Classic macOS版
Adobe Lightroom Classic macOS版

Adobe Lightroom Classic 是面向桌面摄影工作流的照片管理与后期处理软件,可将原始照片保存在本地硬盘,通过目录、关键词、评分和收藏夹高效整理图库,并提供 RAW 冲印、蒙版、镜头校正、批量同步及多格式导出等功能。

Adobe Media Encoder macOS版
Adobe Media Encoder macOS版

Adobe Media Encoder 是 Adobe 推出的专业音视频编码与转码工具,可通过队列、预设和监视文件夹批量完成格式转换、代理文件创建及多平台成片输出,并与 Premiere Pro、After Effects 等软件紧密协作。

Adobe Photoshop macOS版
Adobe Photoshop macOS版

Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理软件,提供图层、蒙版、选区、修复、调色、文字排版、智能对象及生成式编辑等能力。Mac 版支持 Intel 与 Apple Silicon 处理器。

WINDOWS 更多
AutoCAD Windows版
AutoCAD Windows版

AutoCAD 是 Autodesk 推出的专业计算机辅助设计软件,Windows 版支持精确二维绘图、三维实体与曲面建模、图纸标注、布局发布和任务自动化,并包含多套行业专业化工具组合,适用于建筑、机械、电气、工程建设及制造设计人员。

SketchUp Pro Windows版
SketchUp Pro Windows版

SketchUp Pro 是面向建筑、室内、景观、施工和产品设计等专业场景的三维建模工具,提供桌面建模、LayOut 二维文档、模型资源库、扩展程序及云端协作能力。其操作逻辑直观,适合从概念推敲、空间规划到图纸表达和方案汇报的完整工作流程。

AutoCAD LT Windows版
AutoCAD LT Windows版

AutoCAD LT 是 Autodesk 推出的专业二维 CAD 软件,适合建筑师、工程师、施工人员和设计师完成精确绘图、标注及文档编制。它支持 DWG 工作流、智能块、图形比较、计数、表格和 AutoLISP 自动化,

Rhino 3D Windows版
Rhino 3D Windows版

Rhino 3D 是 McNeel 推出的专业三维建模工具,可创建、编辑和分析 NURBS 曲线曲面、实体、网格、SubD 与点云。Windows 版支持精确造型、工程制图、渲染、文件转换及 Grasshopper 参数化设计,

Autodesk Fusion Windows版
Autodesk Fusion Windows版

Autodesk Fusion 是面向产品设计与制造的云连接开发平台,在统一环境中整合三维 CAD、CAM、CAE、PCB、工程图、数据管理和团队协作功能,适合产品设计师、机械工程师、电子工程师及加工制造团队完成从概念建模、验证分析到生产交

Archicad Windows版
Archicad Windows版

Archicad 是 Graphisoft 面向建筑师、设计师、工程师及 BIM 团队开发的建筑信息模型平台。它把三维建筑建模、施工文档、数据管理、专业协调、实时协作和可视化集中在统一项目环境中,适合从概念方案到施工交付的完整建筑设计流程。

Vectorworks Architect Windows版
Vectorworks Architect Windows版

Vectorworks Architect 是面向建筑师、室内设计师和建筑顾问的综合设计与BIM平台,覆盖概念草图、二维制图、三维建模、施工文档、数据报表、可视化及开放式协作。它强调自由造型与数据化建筑对象并存,

Shapr3D Windows版
Shapr3D Windows版

Shapr3D 是一款基于 Siemens Parasolid 几何内核的专业三维CAD软件,可在 Windows 电脑和平板设备上完成草图绘制、实体建模、参数化修改、模型可视化及技术图纸制作。软件提供免费基础方案,

FreeCAD Windows版
FreeCAD Windows版

FreeCAD 是面向机械设计、产品开发、建筑建模和创客项目的免费开源参数化三维 CAD 工具。它可在 Windows 上完成约束草图、实体零件、装配、工程图、BIM、有限元分析及 CAM 等任务,

Twinmotion Windows版
Twinmotion Windows版

Twinmotion 是 Epic Games 推出的实时三维可视化工具,可导入常见 CAD、BIM 与三维模型,通过材质、环境、植被、灯光及动画资源快速构建场景,并输出图片、视频、全景图和交互演示。

BricsCAD Windows版
BricsCAD Windows版

BricsCAD 是以 DWG 为核心格式的专业 CAD 平台,可用于二维制图、三维建模、工程文档与设计协作。产品按 Lite、Pro、BIM、Mechanical 和 Ultimate 等层级提供不同工具,

Ableton Live Windows版
Ableton Live Windows版

Ableton Live 是面向音乐创作、录音、编曲、声音设计、混音与现场演出的数字音频工作站。它将适合即兴触发素材的 Session 视图与传统时间线编曲结合,并提供音频变速、MIDI工具、软件乐器、效果器和声音资源,