皮皮网

1.Golang sort源码阅读
2.golang context的源码阅读使用和源码分析
3.Golang源码剖析panic与recover，看不懂你打我好了
4.go源码分析——类型
5.golang的分析对象池sync.pool源码解读
6.深入 GO Context「源码分析+详细案例」

Golang sort源码阅读

       深入解析Go语言的sort源码，你会发现它并非简单的源码阅读快排应用。首先，分析要排序的源码阅读对象需要遵循特定的接口：

       接下来，以sort.Ints为例，分析交流桩源码尽管它的源码阅读名称暗示了快速排序，但实际上是分析个多算法融合的策略。在源码中，源码阅读你会看到：

       Go的分析sort函数巧妙地根据输入数据的特性，动态地切换到不同的源码阅读排序算法。例如，分析在某些情况下，源码阅读它会选择快速排序，分析而在其他情况下，源码阅读又可能采用其他高效的排序方法。

       这种灵活性并非Go所独有，Python和Java的排序方法，如TimSort，同样采用了混合排序的策略。这种设计让这些语言的sort函数能够在性能和效率上达到良好的平衡。

       总的来说，Go的sort函数展现了一种智能的排序策略，通过结合多种算法，优化了排序过程，是值得深入研究的实现细节。

golang context的使用和源码分析

       context是golang的标准库，用于在多个goroutine之间传递上下文信息，方便进行协调与通信。通过context，可以实现goroutine之间的取消操作、数据传递等功能。

       context的使用相对简单，主要接口包括Background()、TODO()、WithCancel、WithDeadline、WithTimeout、WithValue等。在需要传递context的goroutine中，可调用这些接口生成相应的context。

       WithCancel、WithDeadline、WithTimeout接口均用于协调goroutine间的操作，返回CancelFunc函数，用于取消context。使用时需调用cancel()函数来取消context。通过select ctx.Done()可判断context是否取消。

       WithValue接口用于在goroutine间传递key-value数据。获取数据时，会从当前context逐级向上查找，直至找到父context为止。

       context内部结构设计精巧，包含cancel类与value类。cancel类通过propagateCancel()函数建立与parent context的关系，使用Done()与cancel()方法进行context的取消操作。value类用于在goroutine间传递数据，实现层级查找与数据传递。app新闻源码

       深入源码分析，可以更好地理解context的内部机制与实现细节。通过官方文档与相关代码解析资料，可以深入了解context的原理与实践应用。

Golang源码剖析panic与recover，看不懂你打我好了

       哈喽，大家好，我是asong，今天与大家来聊一聊go语言中的"throw、try.....catch{ }"。如果你之前是一名java程序员，我相信你一定吐槽过go语言错误处理方式，但是这篇文章不是来讨论好坏的，我们本文的重点是带着大家看一看panic与recover是如何实现的。上一文我们讲解了defer是如何实现的，但是没有讲解与defer紧密相连的recover，想搞懂panic与recover的实现也没那么简单，就放到这一篇来讲解了。废话不多说，直接开整。

       Go 语言中panic 关键字主要用于主动抛出异常，类似 java 等语言中的 throw 关键字。panic 能够改变程序的控制流，调用 panic 后会立刻停止执行当前函数的剩余代码，并在当前 Goroutine 中递归执行调用方的 defer；

       Go 语言中recover 关键字主要用于捕获异常，让程序回到正常状态，类似 java 等语言中的 try ... catch 。recover 可以中止 panic 造成的程序崩溃。它是一个只能在 defer 中发挥作用的函数，在其他作用域中调用不会发挥作用；

       recover只能在defer中使用这个在标准库的注释中已经写明白了，我们可以看一下：

       这里有一个要注意的点就是recover必须要要在defer函数中使用，否则无法阻止panic。最好的验证方法是先写两个例子：

       运行我们会发现example2()方法的panic是没有被recover住的，导致整个程序直接crash了。这里大家肯定会有疑问，为什么直接写recover()就不能阻止panic了呢。我们在 详解defer实现机制(附上三道面试题，我不信你们都能做对)讲解了defer实现原理，一个重要的知识点**defer将语句放入到栈中时，也会将相关的值拷贝同时入栈。**所以defer recover()这种写法在放入defer栈中时就已经被执行过了，panic是发生在之后，所以根本无法阻止住panic。

       通过运行结果可以看出panic不会影响defer函数的使用，所以他是安全的。

       这里我开了两个协程，一个协程会发生panic，导致程序崩溃，但是只会执行自己所在Goroutine的延迟函数，所以正好验证了多个 Goroutine 之间没有太多的关联，一个 Goroutine 在 panic 时也不应该执行其他 Goroutine 的延迟函数。

       其实我们在实际项目开发中，经常会遇到panic问题， Go 的 runtime 代码中很多地方都调用了 panic 函数，对于不了解 Go 底层实现的新人来说，这无疑是挖了一堆深坑。我们在实际生产环境中总会出现panic，核心源码剖析但是我们的程序仍能正常运行，这是因为我们的框架已经做了recover，他已经为我们兜住底，比如gin，我们看一看他是怎么做的。

       我们先来写个简单的代码，看看他的汇编调用：执行go tool compile -N -l -S main.go就可以看到对应的汇编码了，我们截取部分片段分析：

       上面重点部分就是画红线的三处，第一步调用runtime.deferprocStack创建defer对象，这一步大家可能会有疑惑，我上一文忘记讲个这个了，这里先简单概括一下，defer总共有三种模型，编译一个函数里只会有一种defer模式。在讲defer实现机制时，我们一起看过defer的结构，其中有一个字段就是_panic，是触发defer的作用，我们来看看的panic的结构：

       简单介绍一下上面的字段：

       上面的pc、sp、goexit我们单独讲一下，runtime包中有一个Goexit方法，Goext能够终止调用它的goroutine，其他的goroutine是不受影响的，goexit也会在终止goroutine之前运行所有延迟调用函数，Goexit不是一个panic，所以这些延迟函数中的任何recover调用都将返回nil。如果我们在主函数中调用了Goexit会终止该goroutine但不会返回func main。由于func main没有返回，因此程序将继续执行其他gorountine，直到所有其他goroutine退出，程序才会crash。

       下面就开始我们的重点吧～。

       在讲defer实现机制时，我们一起看过defer的结构，其中有一个字段就是_panic，是触发defer的作用，我们来看看的panic的结构：简单介绍一下上面的字段：上面的pc、sp、goexit我们单独讲一下，runtime包中有一个Goexit方法，Goext能够终止调用它的goroutine，其他的goroutine是不受影响的，goexit也会在终止goroutine之前运行所有延迟调用函数，Goexit不是一个panic，所以这些延迟函数中的任何recover调用都将返回nil。如果我们在主函数中调用了Goexit会终止该goroutine但不会返回func main。由于func main没有返回，因此程序将继续执行其他gorountine，直到所有其他goroutine退出，程序才会crash。写个简单的例子：运行上面的例子你就会发现，即使在主goroutine中调用了runtime.Goexit，其他goroutine是没有任何影响的。所以结构中的pc、sp、goexit三个字段都是任务砍价源码为了修复runtime.Goexit，这三个字段就是为了保证该函数的一定会生效，因为如果在defer中发生panic，那么goexit函数就会被取消，所以才有了这三个字段做保护。看这个例子：

       英语好的可以看一看这个： github.com/golang/go/is...，这就是上面的一个例子，这里就不过多解释了，了解就好。

       接下来我们再来看一看gopanic方法。

       gopanic的代码有点长，我们一点一点来分析：

       根据不同的类型判断当前发生panic错误，这里没什么多说的，接着往下看。

       上面的代码都是截段，这些部分都是为了判断当前defer是否可以使用开发编码模式，具体怎么操作的就不展开了。

       在第三部分进行defer内联优化选择时会执行调用延迟函数(reflectcall就是这个作用)，也就是会调用runtime.gorecover把recoverd = true，具体这个函数的操作留在下面讲，因为runtime.gorecover函数并不包含恢复程序的逻辑，程序的恢复是在gopanic中执行的。先看一下代码：

       这段代码有点长，主要就是分为两部分：

       第一部分主要是这个判断if gp._panic != nil && gp._panic.goexit && gp._panic.aborted { ... }，正常recover是会绕过Goexit的，所以为了解决这个，添加了这个判断，这样就可以保证Goexit也会被recover住，这里是通过从runtime._panic中取出了程序计数器pc和栈指针sp并且调用runtime.recovery函数触发goroutine的调度，调度之前会准备好 sp、pc 以及函数的返回值。

       第二部分主要是做panic的recover，这也与上面的流程基本差不多，他是从runtime._defer中取出了程序计数器pc和栈指针sp并调用recovery函数触发Goroutine，跳转到recovery函数是通过runtime.call进行的，我们看一下其源码(src/runtime/asm_amd.s 行)：

       因为go语言中的runtime环境是有自己的堆栈和goroutine，recovery函数也是在runtime环境执行的，所以要调度到m->g0来执行recovery函数，我们在看一下recovery函数：

       在recovery 函数中，利用 g 中的两个状态码回溯栈指针 sp 并恢复程序计数器 pc 到调度器中，并调用 gogo 重新调度 g ， goroutine 继续执行，recovery在调度过程中会将函数的返回值设置为1。这个有什么作用呢？ 在deferproc函数中找到了答案：

       当延迟函数中recover了一个panic时，就会返回1，当 runtime.deferproc 函数的返回值是 1 时，编译器生成的代码会直接跳转到调用方函数返回之前并执行 runtime.deferreturn，跳转到runtime.deferturn函数之后，程序就已经从panic恢复了正常的逻辑。

       在这里runtime.fatalpanic实现了无法被恢复的程序崩溃，它在中止程序之前会通过 runtime.printpanics 打印出全部的 panic 消息以及调用时传入的参数。

       这就是这个逻辑流程，累死我了。。。。

       结尾给大家发一个小福利，哈哈，下载源码github这个福利就是如果避免出现panic，要注意这些：这几个是比较典型的，还有很多会发生panic的地方，交给你们自行学习吧～。

       好啦，这篇文章就到这里啦，素质三连（分享、点赞、在看）都是笔者持续创作更多优质内容的动力！

go源码分析——类型

       类型是Go语言中的核心概念，用于定义数据的结构和行为。类型可以分为基础类型和自定义类型，编译器会为每种类型生成对应的描述信息，这些信息构成了Go语言的类型系统。内置类型的数据结构在`runtime.type`文件中，而自定义类型的数据结构在`type.go`文件中，包括了类型名称、大小、对齐边界等属性。例如，切片的元素类型和map的键值类型都在其中有所体现。空接口`interface{ }`和非空接口`iface`是描述接口的底层结构体，分别用于表示不包含方法的接口和包含方法的接口。空接口的结构简单，包含类型和数据的位置信息，而非空接口的结构更复杂，包含接口的类型、实体类型和方法信息。接口的实现依赖于方法集的匹配，时间复杂度为O(m+n)。断言是判断一个类型是否实现了某个接口的机制，它依赖于接口的动态类型和类型元数据。类型转换和接口断言遵循类型兼容性原则，而反射提供了访问和操作类型元数据的能力，其核心是`reflect.Type`和`reflect.Value`两个结构体类型，分别用于获取类型信息和操作值。反射的关键在于明确接口的动态类型和类型实现了哪些方法，以及类型元数据与空接口和非空接口的数据结构之间的关系。

golang的对象池sync.pool源码解读

       Go语言对象池sync.pool源码深度解析

       对象池在Go语言中被设计用于解决频繁创建和销毁对象导致的性能问题。sync.pool的核心理念是复用已创建对象，减轻垃圾收集（GC）压力。以下是关键点的理解和代码分析：

       对象池的动机

       新对象的创建会消耗内存，并可能对GC造成负担。sync.pool就是为了解决这个问题，通过预先创建和存储对象，减少创建成本，提高性能。

       池与缓存的相似性

       无论是连接池、线程池还是对象池，它们都体现了池化和缓存的思想：复用资源，减少临时创建，提升响应速度。池化和缓存都是为了减少资源消耗，提升服务效率。

       go1.原理与用法

       对象池使用简单，通过New函数创建，Get和Put操作实现对象的复用。go1.之前的版本可能频繁清空池，导致性能损失。1.改进了设计，引入了victim cache机制，通过双向链表优化获取和存储对象，减少锁竞争。

       源码解析

       从pool的结构体可以看到，victim和victimSize用于管理受害缓存，popTail函数通过无锁操作处理链表，保证了高性能。put操作时，根据对象状态决定放入private或shared区域。

       总结

       对象池通过复用对象、提前准备和性能优化的存储提高性能。理解对象池的关键在于：复用、存储策略和并发控制。在Go 1.中，通过victim cache和链表操作，进一步提升了性能和并发处理能力。

       深入理解

       理解对象池的细节包括如何禁用抢占P以防止GC影响，以及如何通过noCopy防止对象拷贝导致的潜在问题。同时，伪共享的处理也是优化对象池性能的关键点。

       持续学习和实践是技术成长的基石，让我们保持对技术的热情，不断探索和优化。

深入 GO Context「源码分析+详细案例」

       深入探讨 GO Context「源码分析+详细案例」，旨在总结实际应用中使用场景和技巧，结合源码分析与项目实践，提高学习效率。本文基于 GO 1..4 版本，全面解析 Context 相关概念与应用。

       Context，中文翻译为上下文，是 GO 语言标准库中的一个类型，用于在多个函数、方法、协程、跨 API、进程间传递信息。它在 GO 1.7 发布时才加入标准库。

       学习 Context 最佳方式是研究其源码。源码精简且值得深入研究，通过梳理源码并绘制类图，有助于理解。

       接下来，我们将分析关键类图。

3 个关键接口

       1. **Context 接口**：用于跨 API 边界携带请求信息的标准方式，支持截止时间（deadline）、撤销信号（cancellation signal）及其他值。

       2. **Stringer 接口**：定义生成字符串的标准方式，通过 `String()` 方法返回字符串，常用于调试和日志记录。

       3. **canceler 接口**：表示可撤销的上下文类型接口，实现该接口的类型能直接撤销，用于需要撤销一系列相关操作的场景。

4 个核心结构体

       1. **valueCtx 结构体**：携带键值对，通过 `WithValue` 方法设置值，并使用 `Value` 方法获取值。若 key 重复，值被最后的覆盖。

       2. **cancelCtx 结构体**：表示可撤销的上下文，当被撤销时，也会撤销任何实现了 `canceler` 接口的子级。

       3. **timerCtx 结构体**：用于携带定时器和截止时间信息，嵌入 `cancelCtx` 实现 `Done` 和 `Err` 方法，通过停止定时器后调用 `cancelCtx.cancel` 实现撤销功能。

       4. **emptyCtx 结构体**：表示空上下文，用作默认的顶级上下文，通过 `context.TODO` 和 `context.Background` 函数创建，不被撤销，没有值，也没有截止时间。

应用场景与案例

       1. **timerCtx 定时撤销的 Context**：在 API 调用耗时长、影响业务处理速度的场景中，创建定时撤销的 Context，避免阻塞业务。

       2. **cancelCtx 可撤销的 Context**：在控制协程退出或撤销的场景中，使用可撤销的 Context，合理利用资源，避免内存泄露。

       3. **valueCtx 携带键值的 Context**：在全链路追踪、定义标准接口、日志输出等场景中携带关键数据，提高代码的灵活性和通用性。

总结

       深入理解 Context 的关键在于其源码的解析与实际应用案例的结合。通过本文，读者不仅能够掌握 Context 的基本概念与接口，还能在实际项目中应用 Context，解决复杂问题。

Go语言源码阅读分析（3）-- unsafe

       Go语言的unsafe包提供了一套打破类型安全限制的操作，但使用时需谨慎，因为它可能导致代码无法移植。包内主要包含unsafe.go文件和一些声明，实际实现和测试用例并未提供。关键内容如下：

       1. Pointer类型：可以转换为任何类型的指针，以及Uintptr类型，这种转换允许直接读写内存，风险极高，需谨慎使用。

        - 可以将任意类型转换为Pointer类型，但转换后不能长于原类型，且要求内存布局一致。例如，将float转换为uint的函数`Floatbits`。

        - Pointer可以转换为uintptr，但这种转换仅用于内存地址的打印，且不能直接从uintptr恢复为Pointer，除非是枚举类型。

       2. 偏移指针：用于访问结构体字段或数组元素，需确保指针不会超出原始对象的内存范围。

       3. syscall调用：在syscall包中，某些函数需要在同一条语句中进行指针到uintptr的转换，以确保指针指向的对象在调用时仍然有效。

       4. reflect包使用：reflect.Value.Pointer和UndafeAddr返回的都是uintptr，应在获取后立即转换为Pointer，避免对象被GC回收。

       5. 反射结构体转换：例如StringHeader和SliceHeader的Data字段，仅在指向活动切片或字符串时有效。

       总之，unsafe包的使用需遵循特定的规则和限制，不当使用可能导致程序不稳定或移植问题。接下来的计划是研究reflect包。

Golang源码分析Golang如何实现自举（一）

       本文旨在探索Golang如何实现自举这一复杂且关键的技术。在深入研究之前，让我们先回顾Golang的历史。Golang的开发始于年，其编译器在早期阶段是由C语言编写。直到Go 1.5版本，Golang才实现了自己的编译器。研究自举的最佳起点是理解从Go 1.2到Go 1.3的版本，这些版本对自举有重要影响，后续还将探讨Go 1.4。

       接下来，我们来了解一下Golang的编译过程。Golang的编译主要涉及几个阶段：词法解析、语法解析、优化器和生成机器码。这一过程始于用户输入的“go build”等命令，这些命令实际上触发了其他内部命令的执行。这些命令被封装在环境变量GOTOOLDIR中，具体位置因系统而异。尽管编译过程看似简单，但实际上包含了多个复杂步骤，包括词法解析、语法解析、优化器、生成机器码以及连接器和buildid过程。

       此外，本文还将介绍Golang的目录结构及其功能，包括API、文档、C头文件、依赖库、源代码、杂项脚本和测试目录。编译后生成的文件将被放置在bin和pkg目录中，其中bin目录包含go、godoc和gofmt等文件，pkg目录则包含动态链接库和工具命令。

       在编译Golang时，首先需要了解如何安装GCC环境。为了确保兼容性，推荐使用GCC 4.7.0或4.7.1版本。通过使用Docker镜像简化了GCC的安装过程，使得编译变得更为便捷。编译Golang的命令相对简单，通过执行./all即可完成编译过程。

       最后，本文对编译文件all.bash和make.bash进行了深入解析。all.bash脚本主要针对nix系统执行，而make.bash脚本则包含了编译过程的关键步骤，包括设置SELinux、编译dist文件、编译go_bootstrap文件，直至最终生成Golang可执行文件。通过分析这些脚本，我们可以深入了解Golang的自举过程，即如何通过go_bootstrap文件来编译生成最终的Golang。

       总结而言，Golang的自举过程是一个复杂且多步骤的技术，包含了从早期C语言编译器到自动生成编译器的转变。通过系列文章的深入探讨，我们可以更全面地理解Golang自举的实现细节及其背后的逻辑。本文仅是这一过程的起点，后续将详细解析自举的关键组件和流程。

沉浸式go-cache源码阅读！

       大家好，我是豆小匠，这期将带领大家探索go-cache的内部实现，深入理解本地缓存机制，并分享一些阅读源码的实用技巧。

       首先，我们从源码入手，Goland中仅需关注cache.go和sharded.go两个文件，总共行代码，是不错的学习资源。通过README.md，可以了解到包的使用方法。

       创建缓存实例时，我们注意到它依赖于清理间隔，而非实时过期删除。这引出了一个问题：如何在逻辑上处理过期缓存？我们开始在cache.go中寻找答案。

       首先，我们关注Cache结构体，它定义了整个缓存的框架。接下来，重点阅读New函数，这里使用了runtime.SetFinalizer来确保即使对象被设置为nil，清理协程的GC回收也受到影响。

       通过源码解析，我们明白，如果清理协程与Cache对象关联，即使对象不再活跃，GC仍无法立即回收。再深入Get方法，你会发现，缓存失效并非通过key是否存在，而是通过item中的过期时间判断，定时清理主要为了释放存储空间。

       最后，我们对常用的方法进行挑选，梳理cache类的成员变量和功能，通过创建图示的方式，来帮助我们更好地理解和记忆。值得注意的是，onEvicted是删除key的回调函数，而sharded.go是未公开的分片缓存实验代码。

Go源码简读系列—context

       context简介

       在Go语言中，context用于在并发程序中传递取消信号和元数据信息。它是并发安全的，广泛应用于协程中以实现超时控制和数据传递。context通过构建context链来传递信息，即通过父context创建子context，子context在匿名字段中保存父context信息，形成关联关系。基于这些关联，context能够传递取消信号，并查找键值对信息。

       context类型

       context接口包含四个方法：Deadline()、Done()、Err()、Value()。它们分别用于获取截止时间、返回只读channel、返回错误以及获取键值对。所有context类型都实现了此接口。

       context实例

       空context为空的context，通过Background()和TODO()方法获取。Background()用于构建根context，TODO()用于向函数传递空context。emptyCtx是唯一可以直接创建的context类型。

       canceler类context

       canceler接口用于传递取消信号，包含cancel和Done方法。实现canceler接口的context有cancelCtx和timerCtx。cancelCtx由用户主动取消，timerCtx可通过定时器或用户主动取消触发。

       关联机制

       canceler类context的关联关系通过map实现。上游context通过map存储下游context，当上游关闭channel时，遍历map触发下游context的取消动作。不同协程间通过channel监听context的信号，当channel关闭时，触发对应逻辑动作。

       value类context

       value类context用于存储键值对信息，包含Context、key和val字段。通过Value方法查找key对应的value。查找顺序为当前context，然后是上游context链。

       传递取消信号的context

       cancelCtx和timerCtx均支持传递取消信号。cancelCtx由用户主动取消，timerCtx可通过定时器或主动触发取消。它们的实现通过context链和map关联下游context，当上游context关闭channel时，触发连锁取消和监听逻辑。

       传递键值对的context

       valueCtx存储键值对，通过WithValue创建。查找key对应的value时，从当前context开始，递归查询上游context链，返回最近满足条件的值。