xgo: golang基于-toolexec实现猴子补丁

注: 转载请注明出处, 原文链接。

概述

在这篇博客中,我将详细介绍 xgo 的实现细节。

如果你不知道,xgo 项目位于 https://github.com/xhd2015/xgo。

它的作用很简单,就是在每个 Go 函数的开头添加拦截器,从而引入了所谓的 Trap 概念,然后在此基础上引入了其他功能,比如 MockPatchTrace

什么是 Trap?

Trap 是插入到函数体开头的一段代码。以一个名为 greet 的函数为例:

func greet(s string) string {return "hello " + s
}

经过xgo的处理后,编译器看到的代码将变为:

import "runtime"func greet(s string) (r0 string){stop, post := runtime.__xgo_trap(greet, &s, &r0)if stop {return}defer post()return "hello " +s
}

这两者的差异可以通过下面的图表来可视化:
在这里插入图片描述

如图所示,一旦函数被调用,它的控制流首先转移到 Trap,然后一系列拦截器将根据其目的检查当前调用是否应该被Mock、修改、记录或停止。

这个想法很简单,但也引发了一些问题:

  • 编译器如何看到插桩后的代码?
  • import runtime 是什么?

这两个问题反映了 xgo 的两个基本部分:编译器插桩和运行时插桩。

让我们先看看第一个问题。

编译器如何看到插桩后的代码?

为了让编译器看到与其原始源代码不同的代码,中间必须发生某种事情。

有趣的是,go build 有一个名为-toolexec的标志:

$ go help build
...
-toolexec 'cmd args'a program to use to invoke toolchain programs like vet and asm.For example, instead of running asm, the go command will run'cmd args /path/to/asm <arguments for asm>'.The TOOLEXEC_IMPORTPATH environment variable will be set,matching 'go list -f {{.ImportPath}}' for the package being built.
...

如果你搜索 go toolexec,甚至有一个示例:https://go.dev/src/cmd/go/testdata/script/toolexec.txt。

简而言之,-toolexec 标志允许用户拦截 go 调用的每个 compilelink 命令,并根据需要执行某种插桩,如下图所示:
在这里插入图片描述
请注意,当你在 go build 中添加 -toolexec=my_tool 标志时,它不会直接调用 compile argslink args,而是将这些调用转发给 my_tool <cmd> args

因此,xgo 利用这个标志来拦截 compile 命令,将所有的编译转发到增强后的编译器。

然后,增强后的编译器将在每个函数中插入这些Trap调用,为运行时在实际调用之前捕获函数调用提供机会。

import runtime 是什么?

现在,编译器已经为我们添加了Trap调用,我们如何知道需要进行什么样的检查?

我们不能让每个包都依赖于 xgo,因为它们可能并不需要它。

好在 runtime 也被插桩了,将调用转发给 xgo。因为在 Go 中,每个包都隐式依赖于 runtime 包。控制流程如下图所示:
在这里插入图片描述

这实际上是一种依赖注入。这样一来,用户的代码就不必显式依赖xgo。

上述代码可以在 runtime/trap_runtime/xgo_trap.go 和 runtime/trap/trap.go 中找到。

为了使Trap可扩展,xgo 引入了一个名为 interceptor 的概念。它具有以下签名:

type Interceptor struct {Pre  func(ctx context.Context, f *core.FuncInfo, args core.Object, result core.Object) (data interface{}, err error)Post func(ctx context.Context, f *core.FuncInfo, args core.Object, result core.Object, data interface{}) error
}

一个 interceptor 由两个子函数组成,称为 PrePost

  • Pre 在函数逻辑之前调用,
  • Post 在函数逻辑之后使用 defer 语句调用。

总结

让我们总结一下我们所讨论的内容。

当你运行 xgo test ./ 时,它会执行以下操作:

  1. 找到 GOROOT,
  2. 将 GOROOT 复制到 ~/.xgo/go-instruments/GOROOT 以准备进行插桩,
  3. 对 ~/.xgo/go-instruments/GOROOT 进行补丁,包括编译器和运行时,
  4. 构建插桩的编译器,
  5. 使用额外的标志调用 go build:go build -toolexec=exec_tool ./
  6. exec_tool 然后将所有编译命令转发给插桩的编译器,
  7. 一旦所有编译完成,go 调用 link 生成可执行文件,你就得到了一个插桩的二进制文件!

优点和缺点

因此,xgo 从上述机制中获得了优点和缺点。
优点:

  • 并发安全:它不会替换需要修改全局地址的函数,因此每个 goroutine 可以设置自己的拦截器并单独删除它们,
  • 兼容性:它重写源代码而不是架构指令,因此与操作系统和架构无关,
  • 可扩展性:它提供了通用的拦截器,因此它的用途不仅限于模拟,你可以借鉴 GRPC 拦截器的所有用途,比如已经实现的追踪、缓存、日志记录等…

缺点:

  • 用户需要安装 xgo 才能启用陷阱功能。

感谢阅读,xgo的核心实现已经在上面全部介绍了。你对此有什么看法?请在这里留下评论,让我们一起讨论吧!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/800131.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【uniapp】个推H5号码认证一键登录(附代码)

前言 最近在做APP、h5产品&#xff0c;登陆注册成了难题。邮箱验证多数人不会使用&#xff0c;还是短信方便点&#xff0c;短信可以采用号码认证和验证码的方式&#xff0c;前者稍微便宜的&#xff0c;关于性价比和上手程度我推荐个推&#xff0c; 于是有了今天这篇案例记录&a…

Latex表格制作详细教程(table, tabular, multirow, multicolumn)

一、简单表格制作 Latex表格需要用到 table 和 tabular 环境。其中 table 环境里写表格的标题(caption&#xff09;、表格的位置之类的。 tabular 环境则是绘制表格的内容。一个简单的表格绘制代码如下所示&#xff1a; \documentclass{article}\begin{document}\begin{table…

Pytorch实用教程:tensor.size()用法 | .squeeze()方法

文章目录 Pytorch中tensor变量.size(0)示例在不同上下文中的用法更广泛的用法 .squeeze()参数解释.squeeze(-1) 的作用使用场景示例 Pytorch中tensor变量.size(0) 在 PyTorch 中&#xff0c;tensor.size(0) 是用来获取张量&#xff08;Tensor&#xff09;第一个维度的大小的一…

2024-04-08 NO.6 Quest3 自定义交互事件

文章目录 1 交互事件——更改 Cube 颜色2 交互事件——创建 Cube2.1 非代码方式2.2 代码方式 ​ 在开始操作前&#xff0c;我们导入上次操作的场景&#xff0c;相关介绍在 《2024-04-08 NO.5 Quest3 手势追踪进行 UI 交互-CSDN博客》 文章中。 1 交互事件——更改 Cube 颜色 …

[Flutter]导入singular_flutter_sdk后运行到Android报错

问题&#xff1a; 接入归因之前&#xff0c;flutter项目一起正常。接入归因之后&#xff0c;iOS正常Android有问题。 dependencies: # Singular归因singular_flutter_sdk: ^1.3.3 针对 Flutter 的 Singular SDK 集成指南 https://support.singular.net/hc/zh-cn/articles/…

在html页面中引入的element-plusMessage 消息提示用法

步骤 1: 引入Element Plus的CSS和JS 你需要从CDN或者其他来源获取Element Plus的CSS和JS文件的链接&#xff0c;并将它们添加到你的HTML文件中。以CDN为例&#xff1a; <!-- 引入Element Plus CSS --> <link rel"stylesheet" href"https://unpkg.com…

P8749 [蓝桥杯 2021 省 B] 杨辉三角形

[蓝桥杯 2021 省 B] 杨辉三角形 题目描述 下面的图形是著名的杨辉三角形: 如果我们按从上到下、从左到右的顺序把所有数排成一列&#xff0c;可以得到如下数列&#xff1a; 1 , 1 , 1 , 1 , 2 , 1 , 1 , 3 , 3 , 1 , 1 , 4 , 6 , 4 , 1 , … 1,1,1,1,2,1,1,3,3,1,1,4,6,4,1, …

Python | Leetcode Python题解之第14题最长公共前缀

题目&#xff1a; 题解&#xff1a; class Solution:def longestCommonPrefix(self, strs: List[str]) -> str:def isCommonPrefix(length):str0, count strs[0][:length], len(strs)return all(strs[i][:length] str0 for i in range(1, count))if not strs:return &quo…

IP网络对讲广播系统审计

前言 这个系统是前两年在一个内网遇到的&#xff0c;当时顺手试了一个admin登陆之后再没有然后了&#xff0c;最近发现有大佬分享关于这个系统的漏洞&#xff0c;于是就把自己当初看的几个漏洞分享一下&#xff0c;系统比较简单&#xff0c;漏洞点很多&#xff0c;不要做坏事哦…

大商创多用户商城系统 多处SQL注入漏洞复现

0x01 产品简介 大商创多用户商城系统是一个功能强大、灵活多变的新零售电商系统服务商。该系统支持平台自营和商家入驻,实现多元化经营模式,能够全面整合供应商、生产商、经销商和消费者等产业链资源,提高产品多样性,加快资金流动速度,并有助于减少不必要的成本输出。 0…

SAP ABAP CDS-01 ABAP CDS概述

ABAP CDS概述 ABAP核心数据服务(ABAP CDS)是AS ABAP(Application Server ABAP 的缩写,即 ABAP 应用服务器)通用CDS概念的平台独立实现。ABAP CDS使得在标准AS ABAP数据库上定义语义数据模型成为可能。与特定于SAP HANA的变体HANA CDS不同&#xff0c;ABAP CDS独立于数据…

【二分查找】Leetcode 山脉数组的峰顶索引

题目解析 852. 山脉数组的峰顶索引 这到题使用暴力枚举的查找方法发现这段数组是有二段性的&#xff0c;峰顶左边的一段区间是一段递增区间&#xff0c;右边的一段区间是一段递减区间 算法讲解 class Solution { public:int peakIndexInMountainArray(vector<int>&am…

循序表实战——基于循序表的通讯录

前言&#xff1a;本篇文章主要是利用顺序表作为底层&#xff0c; 实现一个通讯录。偏向于应用&#xff0c; 对于已经学习过c的友友们可能没有难度了已经。没有学习过c的友友&#xff0c; 如果顺序表不会写&#xff0c; 或者说没有自己实现过&#xff0c; 请移步学习顺序表相关内…

多线程重点知识(个人整理笔记)

目录 1. java 多线程 1.1. 什么是进程?什么是线程? 1.1.1. 进程 1.1.2. 线程 1.1.3. 多线程 2. 并行和并发有什么区别&#xff1f; 3. 守护线程是什么&#xff1f; 4. 创建线程有哪几种方式&#xff1f; 4.1. 线程的常见成员方法 5. 线程安全问题 5.1. synchronize…

深度探索Sketch:功能、历程、替代软件及技巧一览

Sketch 它是一个适合所有设计师的矢量绘图应用程序。矢量绘图也是设计网页、图标和界面的最佳方式。但除了矢量编辑的功能外&#xff0c;我们还增加了一些基本的位图工具&#xff0c;如模糊和颜色校正。 为什么选择Sketch Sketch 它是为图标设计和界面设计而生的。它是一个优…

LangChain - 文档转换

文章目录 一、文档转换器 & 文本拆分器文本拆分器 二、开始使用文本拆分器三、按字符进行拆分四、代码分割 (Split code)1、PythonTextSplitter2、JS3、Markdown4、Latex5、HTML6、Solidity 五、MarkdownHeaderTextSplitter1、动机2、Use case 六、递归按字符分割七、按tok…

2024年C语言最新经典面试题汇总(21-30)

C语言文章更新目录 C语言学习资源汇总&#xff0c;史上最全面总结&#xff0c;没有之一 C/C学习资源&#xff08;百度云盘链接&#xff09; 计算机二级资料&#xff08;过级专用&#xff09; C语言学习路线&#xff08;从入门到实战&#xff09; 编写C语言程序的7个步骤和编程…

Navicat中导出导入txt结合sql语句实现sqlserver转到Postgis空间数据库中

效果 1、sqlserver数据库中导出 sqlserver数据库字段 2、postgis中导入

C++ //练习 11.20 重写11.1节练习(第376页)的单词计数程序,使用insert代替下标操作。你认为哪个程序更容易编写和阅读?解释原因。

C Primer&#xff08;第5版&#xff09; 练习 11.20 练习 11.20 重写11.1节练习&#xff08;第376页&#xff09;的单词计数程序&#xff0c;使用insert代替下标操作。你认为哪个程序更容易编写和阅读&#xff1f;解释原因。 环境&#xff1a;Linux Ubuntu&#xff08;云服务…

Golang | Leetcode Golang题解之第9题回文数

题目&#xff1a; 题解&#xff1a; func isPalindrome(x int) bool {// 特殊情况&#xff1a;// 如上所述&#xff0c;当 x < 0 时&#xff0c;x 不是回文数。// 同样地&#xff0c;如果数字的最后一位是 0&#xff0c;为了使该数字为回文&#xff0c;// 则其第一位数字也…