go runtime 基础学习-go:linkname

之前在看mutexchannel等源码的时候,发现很多都会调用runtime_SemacquireMutex,runtime_doSpin,runtime_xxx等。当你跳转过去后,会发现没有实际的实现。类似c++中的.h文件。后全量搜索后,你会发现会有如下方法:

//go:linkname sync_runtime_SemacquireMutex sync.runtime_SemacquireMutex
func sync_runtime_SemacquireMutex(addr *uint32, lifo bool, skipframes int) {
    semacquire1(addr, lifo, semaBlockProfile|semaMutexProfile, skipframes)
}

其实,可以理解为runtime.go包里头,runtime_SemacquireMutex为其声明。实现则为sync.runtime_SemacquireMutex

func runtime_SemacquireMutex(s *uint32, lifo bool, skipframes int)

在阅读golang源码的时候,也可以看到很多go:linkname指令,理解这个指令有助于我们更好的理解golang代码的底层逻辑。

go:linkname格式

//go:linkname localname [importpath.name]

go:linkname指令指示编译器使用 import path.name 作为在源代码中声明为 localname 的变量或函数的目标文件符号名称。第一个参数表示当前方法或变量,第二个参数表示目标方法或变量。由于指令可以破坏类型系统和包模块化,因此在使用时必须导入unsafe包。

使用条件和注意事项

  1. 函数的声明 : func Hello()

  2. 添加go编译器指令 go:linkname localname [importpath.name]

  3. 这是因为 go build 添加了 -complete 参数来检查完整性。提供.s文件后, 以便编译器绕过 -complete 的检查,允许不完整的函数声明

  4. 由于指令可以破坏类型系统和包模块化,因此在使用时必须导入unsafe包。

举个🌰

.
├── go.mod
├── demo/internal
│           └── internal.go
│── demo/hello
│           └── hello.go
│           └── hello.s
└── main.go

internal.go

package internal.go

import (
   "fmt"
   _ "unsafe" // for go:linkname
)

//go:linkname helloPrint demo/hello.Hello
func helloPrint() {
   fmt.Println("hello world")
}

hello.go

package hello

import (
   _ "demo/internal"
)

func Hello()

main.go

package main

import (
   "demo/hello"
)

func main() {
   hello.Hello()
}

输出:hello world

reference

Golang's go:linkname directive

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 假设有一个内部包,它提供一个方法如下: 这个方法是内部使用的,它没有导出属性,因此它无法被其他外部包import,...
    hsiaojun阅读 2,862评论 0 2
  • 0. 为什么写本文 平时业务中一直使用 PHP 编写代码,但是一直对 Golang 比较感兴趣,闲暇、周末之余会看...
    小东班吉阅读 498评论 0 0
  • 在编写golang程序的过程中,会经常有一些sleep的需求,于是我们使用time.Sleep函数跳转到函数定义处...
    wu_sphinx阅读 3,589评论 4 1
  • Go - 开篇 Go语言是Robert Griesemer,Rob Pike和Ken Thompson于2007年...
    泥人冷风阅读 785评论 0 0
  • 并发是编程里面一个非常重要的概念,Go语言在语言层面天生支持并发,这也是Go语言流行的一个很重要的原因。 Go语言...
    羋学僧阅读 699评论 0 6