Chayv

Golang 的 GMP 原理

Lonetrail 演示 — Thu, 18 Jun 2026 00:00:00 GMT

概念梳理

进程

进程是计算机中已运行的程序示例，拥有独立的内存空间、资源和系统信息。每个进程都是互相独立的，进程间通信需要通过特定的机制（如管道、消息队列、共享内存、信号、套接字、信号量、内存映射文件、远程过程调用（RPC）等），核心点如下：

（1）独立的内存空间

（2）进程之间相互隔离

（3）创建和销毁开销较大

（4）通常用于操作系统调度的基本单位

线程

通常语义中的线程，指的是内核级线程，核心点如下：

（1）是操作系统最小调度单元

（2）创建、销毁、调度交由内核完成，cpu需要完成用户态与内核态的切换

（3）可充分利用多核，实现并行

协程

协程，又称为用户级线程，核心点如下：

（1）与线程存在映射关系，为M：1

（2）创建、销毁、调度在用户态完成，对内核透明，所以更轻

（3）从属同一个内核级线程，无法并行；一个协程阻塞会导致从属同一下称的所有协程无法执行

Goroutine

Goroutine，经Golang优化后的特殊”协程“，核心点如下：

（1）与线程存在映射关系，为M:N;

（2）创建、销毁、调度都在用户态完成，对内核透明，足够轻便

（3）可以利用多线程、实现并行

（4）通过调度器的斡旋，实现和线程间的动态绑定和灵活调度

（5）栈空间大小可动态扩缩，因地制宜

GMP模型

g

g，即goroutine，是golang中对协程的抽象
g有自己的运行栈、生命周期状态、以及执行的任务函数（用户通过go func指定）；
g需要绑定在m上执行，在g视角中，可以将m理解为它的cpu

m

m即machine，是golang中对线程的抽象
m需要和p进行结合，从而进入gmp调度体系之中
m的运行目标始终在g0和g之间切换-当运行g0是执行的是m的调度流程，负责寻找合适的”任务“，也就是g；当运行g时，执行的时m获取到的”任务“，也就是用户通过go func启动的goroutine

p

p即processor，是golang中的调度器
p可以理解为m的执行代理，m需要与p绑定后，才会进入到gmp调度模式中；因此p的数量决定了g最大并行数量（可由用户通过**GOMAXPROCS**进行设定，超过CPU核数时无意义）
p是g的存储容器，其自带一个本地g队列（local run queue，简称lrq），承载着一系列等待被调度的g

gmp

（1）M是线程的抽象；G是goroutine；P是承上启下的调度器

（2）M调度G前，需要和P绑定

（3）全局有多个M和多个P，但同时并行的G的最大数量等于P的数量

（4）G的存放队列有三类：P的本地队列、全局队列和wait队列

（5）M调度G时，优先取P本地队列，其次取全局队列，后取wait队列，这样的好处是，取本地队列时，可以接近于无锁化，减少全局锁竞争

（6）为防止不同P的闲忙差异过大，设立work-stealing机制，本地队列为空的P可以尝试从其他P本地队列偷取一半G补充到自身队列中

Go 中的垃圾回收

Lonetrail 演示 — Thu, 18 Jun 2026 00:00:00 GMT

垃圾回收算法

背景介绍

垃圾回收（Garbage Collection，简称 GC）是一种内存管理策略，由垃圾收集器以及守护协程的方式在后台运作，按照既定的策略为用户回收那些不在被使用的对象，释放对应的内存空间。

（1） GC带来的优势：

屏蔽内存回收细节，为用户屏蔽复杂的内存管理工作。
以全局视野执行任务。

（2） GC带来的劣势：

将释放内存的工作委托给垃圾回收模块，研发人员得到了减负，也失去了控制主权。
增加了额外的成本，需要额外的状态信息用以存储全局的内存使用情况，且部分时间需要中断整个程序用以支持垃圾回收工作的执行。

标记清扫

标记清扫（Mark-Sweep）算法，分两步走：

标记：标记出当前还存活的对象
清扫：清扫掉未被标记到的垃圾对象

不足：会产生内存碎片，如果由大对象需要分配内存，可能会因为内存空间无法化零而导致分配失败。

标记压缩

标记压缩（Mark-Compact）算法，是在标记清扫算法的基础上做了升级，在第二步“清扫“的同时还会对存活对象进行压缩整合，使整体空间更为紧凑，从而解决内存碎片问题。

不足：实现会有很高的复杂度

半空间复制

半空间复制（Semispace Copy）核心点：

分配两片相等大小的空间，称为fromspace和tospace
每轮只使用formspace空间，以GC作为分水岭划分轮次
GC时，将fromspace存活对象转移到tospace中，并以此为契机对空间进行压缩整合
GC后，交换fromspace和tospace，开启新的轮次

半空间复制算法应用了以空间换取时间的优化策略，解决了内存碎片的问题，降低了压缩空间的复杂度。

不足：比较浪费空间

引用计数

引用计数（Reference Counting）算法核心点：

对象每被引用一次，计数器加1
对象每被删除引用一次，计数器减1
GC时，把计数器等于0的对象删除

不足：无法解决循环引用和自引用问题

Golang中垃圾回收

Golang在1.8版本之后，GC策略矿建已经奠定，就是并发三色标记法+混合写屏障机制。

三色标记法

Golang GC用到的三色标记法属于标记清扫-算法的一种实现，核心点有：

对象分为三种颜色标记：黑、灰、白
黑对象代表，对象自身存活，且其指向对象都已标记完成
灰对象代表，对象自身存活，但其指向对象还未标记完成
白对象代表，对象尚未被标记到，可能是垃圾对象
标记开始前，将根对象（全局对象、栈上的局部变量等）置黑，将其所指向的对象置灰
标记规则是，从灰对象触发，将其所指向的对象都置灰。所有指向对象都置灰后，当前灰对象置黑
标记结束后，白色对象就是不可达对象，进行垃圾清扫

并发垃圾回收

Golang1.5版本是个分水岭，在此之前，GC时需要停止全局的用户协程，专注完成GC工作后，再恢复用户协程。

在1.5版本之后，Golang引入了并发垃圾回收机制，允许用户协程和后台的GC协程并发运行。

（1）Golang并发垃圾回收可能存在漏标问题

漏标问题是指用户协程与GC协程并发执行的场景下，部分存活对象未被标记从而被误删的情况。

初始时刻，对象B持有对象C的引用
GC协程下，对象A被扫描完成，置黑；此时对象B是灰色，还未完成扫描
用户协程下，对象A建立指向对象C的引用
用户协程下，对象B删除指向对象C的引用
GC协程下，开始指向对对象B的扫描

由于GC协程在B删除C的引用后才开始扫描B，因此无法到达C，因为A已经被置黑，不会再重复扫描，因此从扫描结果看，C是不可达的。

事实上C应该是被A引用的，而GC结束后因为C仍为白色，因此被GC误删

（2）Golang并发垃圾回收可能存在多标问题

多标问题指的是在用户协程与GC协程并发执行的场景下，部分垃圾对象被误标记从而导致GC未按时将其回收的问题

初始时刻，对象A持有对象B的引用
GC协程下，对象A被扫描完成，置黑；对象B被对象A引用，因此被置灰
用户协程下，对象A删除执行对象B的引用

在事实上，B在被A删除引用后，已经称为垃圾对象，但由于其事先已被置灰，因此最终灰更新为黑色，不会被GC删除。

屏障机制

强弱三色不变式

强三色不变式：白色对象不能被黑色对象直接引用（直接破坏）
弱三色不变式：白色对象可以被黑色对象引用，但要从某一个灰色对象出发仍然可以到达该白色对象

插入写屏障

屏障机制类似于一个回调保护机制，指的是在完成某个特定动作之前，会先完成屏障设置的内容。

插入写屏障的目标是实现强三色不变式，保证当一个黑色对象指向一个白色对象前，会触发屏障将白色对象置为灰色，再建立引用。

删除写屏障

删除写屏障的目标是实现弱三色不变式，保证当一个白色对象即将被上游删除引用前，会触发屏障将其置灰，之后再删除上有指向其的引用。

混合写屏障

屏障机制无法作用于栈对象

这是因为栈对象可能涉及频繁的轻量操作，倘若这些高频操作都需要-触发写屏障机制，那么所带来的成本将无法接收。

在这一背景下，单独看插入写屏障或删除写屏障，都无法真正解决漏标问题，除非我们引入额外的Stop the wrold（STW）阶段，对栈对象的额处理进行兜底。

为了消除这个额外的STW成本，Golang1.8引入了混合写屏障机制，可以视为糅合了插入写屏障和删除屏障的加强版，要点如下：

GC开始前，以栈为单位分批扫描，将栈中所有对象置黑
GC期间，栈上新创建对象直接置黑
堆对象正常启用插入写屏障
堆对象正常启用删除写屏障

Go 的接口型函数

Lonetrail 演示 — Thu, 18 Jun 2026 00:00:00 GMT

在net/http包中，HandlerFunc为函数，实现了Handler接口。

type Handler interface {
    ServeHTTP(ResponseWriter, *Request)
}

type HandlerFunc func(ResponseWriter, *Request)

func (f HandlerFunc) ServeHTTP(w ResponseWriter, r *Request) {
    f(w, r)
}

这样实现后，只要你的函数签名为：

func (ResponseWriter, *Request)

拥有http.HandlerFunc()一致的函数签名，就可以将该函数进行类型转换，转换为http.HandlerFunc函数类型。且http.HandlerFunc函数类型实现了Handler接口，则你命名的函数转换后也相当于实现了Handler接口。

我们可以 http.Handle 来映射请求路径和处理函数，Handle 的定义如下：

func Handle(pattern string, handler Handler)

第二个参数是即接口类型 Handler，我们可以这么用。

func home(w http.ResponseWriter, r *http.Request) {
	w.WriteHeader(http.StatusOK)
	_, _ = w.Write([]byte("hello, index page"))
}

func main() {
	http.Handle("/home", http.HandlerFunc(home))
	_ = http.ListenAndServe("localhost:8000", nil)
}

通常，我们还会使用另外一个函数 http.HandleFunc，HandleFunc 的定义如下：

func HandleFunc(pattern string, handler func(ResponseWriter, *Request))

第二个参数是一个普通的函数类型，那可以直接将 home 传递给 HandleFunc：

func main() {
	http.HandleFunc("/home", home)
	_ = http.ListenAndServe("localhost:8000", nil)
}

那如果我们看过 HandleFunc 的内部实现的话，就会知道两种写法是完全等价的，内部将第二种写法转换为了第一种写法。

func (mux *ServeMux) HandleFunc(pattern string, handler func(ResponseWriter, *Request)) {
	if handler == nil {
		panic("http: nil handler")
	}
	mux.Handle(pattern, HandlerFunc(handler))
}

Lonetrail Markdown 编写规范

Lonetrail 演示 — Thu, 18 Jun 2026 00:00:00 GMT

本文档旨在为 Lonetrail 博客平台的文章撰写制定统一的 Markdown 编写规范。通过遵循本规范，可以确保文章在主题渲染、排版美观度、功能可用性（如代码高亮、数学公式、自定义组件）以及检索优化（SEO）上达到最佳效果。

一、 Frontmatter 元数据规范

每篇博客文章的开头必须包含 YAML 格式的 Frontmatter 区域，用以定义文章的元数据。

1. 标准模板

---
title: "文章标题"
published: 2026-06-18
description: "这是一段关于文章核心内容的简短摘要，用于文章列表展示及 SEO Meta 描述。"
tags: ["标签一", "标签二"]
category: "Tech"
image: "/images/covers/demo-cover.webp"
---

2. 字段详细说明

字段名称	类型	是否必填	说明
`title`	String	是	文章标题。应尽量简炼且表达主题，两端使用双引号包裹。
`published`	Date	是	发布日期。格式为 `YYYY-MM-DD`，无需加引号。
`description`	String	是	文章简介/摘要。建议在 100-150 字之间，有利于列表卡片美观及 SEO 抓取。
`tags`	Array	是	标签列表。用以进行标签页面的分类聚合。例如：`["Go", "Concurrency"]`。
`category`	String	是	分类。全站主要的大分类之一，例如 `Tech`（技术）或 `Journal`（日志）。
`image`	String	否	文章封面图路径。若无，请留空字符串 `""`。

[!WARNING] 注意：禁止在正文中遗漏 Frontmatter。未包含 Frontmatter 的历史文档（如部分旧技术笔记）应及时补充此元数据，否则可能导致 Astro 渲染引擎读取属性失败或无法在归档/系列列表中正常展示。

二、页面标题与结构规范

1. 标题层级

禁止在正文中使用一级标题 (#)。 Astro 渲染器会自动将 Frontmatter 中的 title 解析并渲染为页面的 <h1> 标签。因此，文章正文的最高级标题必须从二级标题 (##) 开始。
合理使用三级标题 (###) 和四级标题 (####) 进行内容细分，避免标题层级过深（一般不超过四级）。

2. 空行与间距

每个标题、段落、列表、代码块、引用块之间，必须保留且仅保留一个空行。
这样可以保证 Markdown 源码的可读性，并使得渲染后的排版间距符合视觉比例。

3. 中英文混排与排版细节

为了排版的美观性与专业性，建议在正文撰写中遵循以下细节：

空格使用：中文与英文、中文与数字之间建议保留一个半角空格。
- 推荐：我们在 Go 语言中经常使用 Goroutine 来处理并发。
- 不推荐：我们在Go语言中经常使用Goroutine来处理并发。
避免无用样式：严禁直接从 Notion 或其它富文本编辑器复制带有多余 HTML 标签的内容（例如带有  的文本），应尽量保持纯净的 Markdown 语法。

三、代码块与高亮规范

Lonetrail 集成了功能强大的 astro-expressive-code 插件，支持多语言语法高亮、代码框标题、行号、折叠、高亮行等高级功能。

1. 语言标识符

编写代码块时，必须明确指定语言标识符，以便代码高亮引擎正确解析。

# 推荐写法
```go
func main() {
    fmt.Println("Hello, Lonetrail")
}


常用标识符参考：`typescript`, `javascript`, `python`, `rust`, `go`, `yaml`, `bash`, `json`, `markdown`。

### 2. 行内代码

对于正文中提及的变量、函数名、文件名、配置项或终端命令，应使用反引号包裹：
* 示例：调用 `calculateTrajectory(origin, destination)` 方法来计算轨道。

---

## 四、 数学公式规范 (KaTeX)

Lonetrail 支持通过 KaTeX 渲染数学公式。

### 1. 块级公式

单独成行的公式使用双美元符号 `$$` 包裹：

$$
E = mc^2
$$

$$
v = \sqrt{\frac{2GM}{r}}
$$

### 2. 行内公式

行内嵌入的数学公式使用单美元符号 `$` 包裹。例如：质能方程 $E=mc^2$ 描述了质量与能量的等价关系。

---

## 五、 自定义提示框与组件规范

基于 `rehype-components` 插件，Lonetrail 支持在 Markdown 中直接使用 HTML 自定义标签来渲染精美的提示框（Callout/Admonition）。

### 1. 提示框类型

根据 `astro.config.mjs` 中的配置，系统目前支持以下提示框标签：

| 标签对 | 别名标签（颜色） | 适用场景 | 渲染效果 |
| :--- | :--- | :--- | :--- |
| `<note>` | `<blue>` | 一般信息、补充说明 | 蓝色背景提示框 |
| `<tip>` | `<green>` | 实用技巧、最佳实践建议 | 绿色背景提示框 |
| `<important>`| `<cyan>` | 关键步骤、核心要点 | 青色背景提示框 |
| `<warning>` | `<yellow>` | 潜在风险、兼容性警告 | 黄色背景提示框 |
| `<caution>` | `<red>` | 高危操作、可能导致失败的细节 | 红色背景提示框 |

### 2. 使用方法示例

在 Markdown 正文中直接使用闭合标签包裹内容即可：

```html
<note>
这是一条蓝色的补充说明信息，用于提示读者某些不显眼但有用的细节。
</note>

<tip>
**提示**：在执行 `pnpm dev` 之前，确保已运行过 `pnpm install` 完整下载所有依赖。
</tip>

<caution>
**警告**：修改 `src/site.yml` 配置时，请保持正确的 YAML 缩进，否则可能导致构建报错。
</caution>

六、引用与列表规范

1. 引用块

引用块使用 > 引导，通常用于引用名言、参考资料说明等。如需换行，需要在行末加上两个空格或直接使用空行：

Ad Astra Per Aspera.
Through hardships to the stars.

2. 列表

无序列表：使用 - 或 * 作为引导符。
有序列表：使用数字加英文句点 1.，后面保留一个空格。
嵌套列表：子列表的引导符相比上级列表需要缩进 2 或 4 个空格。

Chayv

Golang 的 GMP 原理

概念梳理

进程

线程

协程

Goroutine

GMP模型

g

m

p

gmp

Go 中的垃圾回收

垃圾回收算法

背景介绍

标记清扫

标记压缩

半空间复制

引用计数

Golang中垃圾回收

三色标记法

并发垃圾回收

屏障机制

强弱三色不变式

插入写屏障

删除写屏障

混合写屏障

Go 的接口型函数

Lonetrail Markdown 编写规范

一、 Frontmatter 元数据规范

1. 标准模板

2. 字段详细说明

二、 页面标题与结构规范

1. 标题层级

2. 空行与间距

3. 中英文混排与排版细节

三、 代码块与高亮规范

1. 语言标识符

六、 引用与列表规范

1. 引用块

2. 列表

二、页面标题与结构规范

三、代码块与高亮规范

六、引用与列表规范