Add()操作必须早于Wait(), 否则会panic

这个理论怎么来的？

func main() {
	var wg sync.WaitGroup

	wg.Wait()
	wg.Add(2)
}

wo我这边尝试了一下没有得到任何 panic 啊

输出是正常的

问题描述

位置：第一章->1.2 Slice -> 3.5特殊切片
这里的对最后一个值的解读不太对，最后一个值应该是max。还有新切片的容量应该是cap = max - low；

这是我从网上找的一本PDF，不确实最新版本或者纸质书里面有没有这个问题

第四章2.2节中提到 alloc为mspan的指针数组，数组大小为class总数的2倍。数组中每个元素代表了一种class类型的span列表 其中数组中的每个元素代表span列表怎么理解呢？我理解是每个元素只能代表一个span

问题描述
网页版的内容有点小问题

如何找到这个错误

• 章节：1
• 页码：1.3

您认为应该如何？
map扩容确实是渐进式扩容，但是每次搬迁时并不是搬迁两个键值对，而是尝试搬迁两个bucket
图片

其他补充信息
源代码里面，通过evacuate函数进行实际的搬迁，并且是进行线性遍历，会对与每个bucket及其链接的所有overflow bucket都会进行搬迁，所有并不仅仅是两个键值对

As per Go 1.14 Release Notes:
go test -v now streams t.Log output as it happens, rather than at the end of all tests.

感谢@marjune 给予反馈意见 并提供参考材料：

https://tonybai.com/2020/03/10/visualizing-memory-management-in-golang/

近期会考虑重写/修订内存管理章节。

问题描述
第一章 1.1 节的 4.2 select 中提到 select 对于读是不阻塞的，以下是原文：

通过这个示例想说的是：select的case语句读channel不会阻塞，尽管channel中没有数据。这是由于case语句编译后调用读channel时会明确传入不阻塞的参数，此时读不到数据时不会将当前goroutine加入到等待队列，而是直接返回。

但示例中的 select 不阻塞其实是因为加了 default 吧，如果不加 default 的话还是会阻塞的，参考如下代码：

ch := make(chan int, 10)
go func() {
	time.Sleep(time.Second)
	ch <- 1
}()

select {
case n := <-ch:
	fmt.Println("ch read:", n)
}

fmt.Println("select read...")

如何找到这个错误

• 章节：第一章:常见数据结构实现原理
• 页码：1.1 节

您认为应该如何？
select 不加 default 的话，读 channel 是会阻塞的，加了 default，就走 default 不阻塞了。

图片

其他补充信息
（无）

问题描述
3.2G0系统调用描述错误

如何找到这个错误

• 章节：3
• 页码：

您认为应该如何？

这一小段是否描述为m0被系统调用更为合理，尽管本质上也是系统调用了G0，但描述上是否应该以m0视角出发

图片
如果有可能，尽量提供图片。

其他补充信息

Go的switch语句分为两种类型：

• 表达式
• 类型

参考资料: Switch statements.

问题描述
关于3.2G0系统调用描述问题探讨

如何找到这个错误

• 章节：3
• 页码：

您认为应该如何？

这一小段是否描述为m0被系统调用更为合理，尽管本质上也是系统调用了G0，但描述上是否应该以m0视角出发
仅代表个人观点，如果说的不对的话还望见谅

图片
如果有可能，尽量提供图片。

其他补充信息

支持作者，看得好舒服

希望作者能讲解sync.Pool包

第2节提到

spans区域存放span的指针，每个指针对应一个page

但是之后的说法都是每个span管理着一个或多个page，是否有矛盾？

[root@ecs-d8b6 ~]# go tool trace
Usage of 'go tool trace':
Given a trace file produced by 'go test':
	go test -trace=trace.out pkg

Open a web browser displaying trace:
	go tool trace [flags] [pkg.test] trace.out

Generate a pprof-like profile from the trace:
    go tool trace -pprof=TYPE [pkg.test] trace.out

[pkg.test] argument is required for traces produced by Go 1.6 and below.
Go 1.7 does not require the binary argument.

Supported profile types are:
    - net: network blocking profile
    - sync: synchronization blocking profile
    - syscall: syscall blocking profile
    - sched: scheduler latency profile

Flags:
	-http=addr: HTTP service address (e.g., ':6060')
	-pprof=type: print a pprof-like profile instead
	-d: print debug info such as parsed events

Note that while the various profiles available when launching
'go tool trace' work on every browser, the trace viewer itself
(the 'view trace' page) comes from the Chrome/Chromium project
and is only actively tested on that browser.

延伸阅读：

• https://juejin.im/post/5d27400151882530af139a85

建议在附录里补充上新手50个坑，如https://segmentfault.com/a/1190000013739000#

个人建议还是在文中的数字和英文前面加上空格

这样更加易读

https://cyc2018.github.io/Text-Typesetting/

这个工具可以帮忙添加空格，如果没有时间可提交 pr

• 跟据 --> 根据
• 些时 --> 此时
• 任意的 --> 任意地
• 不断的 --> 不断地
• 起动 --> 启动
• 做为 --> 作为 （根本没有'做为'的用法）
• 显式的 --> 显式地

感觉13.1节的内容跟13.3节有冲突，因为13.3节解释到append时值传递所以不可能操作原来的slice。那13.1节的扩容分析感觉不是问题所在，即使不扩容，只要不接收返回返回值，原来的slice也不会变化。

问题描述
在介绍context的时候，对于 context.Done() 是这样描述的

当context关闭后，Done()返回一个被关闭的管道，关闭的管道仍然是可读的，据此goroutine可以收到关闭请求，当context还未关闭时，Done()返回nil。

显然最后一句是不妥的，Done只可能会返回nil，参考下面原文。

如何找到这个错误

• 章节：5.3 context
• 页码：121

您认为应该如何？

Done may return nil if this context can never be canceled.

原文

// Done returns a channel that's closed when work done on behalf of this
// context should be canceled. Done may return nil if this context can
// never be canceled. Successive calls to Done return the same value.
// The close of the Done channel may happen asynchronously,
// after the cancel function returns.

建议的修改

无论context取消与否，context.Done() 总会返回同一个只读的管道，
这个管道会在context被取消时关闭。区别在于，context取消后，返回的管道是已经关闭的。
需要注意的是：如果当前context不支持取消，Done()可能会返回nil。例如， context.Backgroud()。
对于一个 nil chan，select语句会直接忽略这个分支，但如果对 nil chan 直接进行读写则会导致当前goroutine永远阻塞。

图片
如果有可能，尽量提供图片。

其他补充信息

很早之前发现了这么一本开源书籍，觉得很棒加了收藏夹，最近在造轮子的时候又想参考一些内容，结果点开404才愕然发现出了书。
白嫖失败所以第二天就在京东下单买了😂
个人觉得内存管理和GC部分是对我帮助最大的一块，尤其是堆内存分配机制这块，讲的很棒。
最近刚刚读过 The Journey of Go's Garbage Collector，对GC Pacer这块还不是很理解具体细节，不知道作者是否有兴趣讲解一二。

另外感觉本书可以增补的一些部分，struct padding（memory alignment/wasted byte），memory model（happens before），atomic都是很有意思的内容。前者对于了解struct内存布局，reflect offset等hack操作都很有帮助，后者可以加深对于同步机制的理解，或是帮助使用一些基于指令级别的“无锁”操作。

问题描述
A clear and concise description of what the bug is.
切片的简单表达式中 cap 值计算表达式有误

如何找到这个错误

• 章节：第1章第2节，1.2.4 切片表达->1.简单表达式->1)底层数组共享
• 页码：P22

您认为应该如何？
在书中写道：

新切片的生成逻辑可以使用以下伪代码表示：

b.array = &a[low]
b.len = high - low
b.cap = len(a) - low

应该是：b.cap = cap(a) - low ，b 的 cap 是由 a 的 cap 而不是 len 计算出来的

图片
如果有可能，尽量提供图片。

其他补充信息

问题描述

这本书对进阶非常有帮助，谢谢了。
95页关于 Go 程序启动时向系统申请的内存配图，bitmap 的大小是 512GB，我看了挺多资料，包括作者您网上开源的版本，都是根据 bitmap 中1个 byte 大小的内存对应 arena 区域中 4 个指针大小（指针大小为 8B）的内存，所以 bitmap 区域的大小 512G /（4*8B） = 16GB

如何找到这个错误

• 章节：第四章
• 页码：95

您认为应该如何？

图片
如果有可能，尽量提供图片。

其他补充信息

想请教一下作者这个 bitmap 分配 512 GB 是怎么计算的呢？谢谢

尊敬的作者：
您好！我正在阅读您的《GO专家编程》一书，书中的内容很有价值，我学习到了很多 go 语言的内部实现。
我在阅读 2.5 rwmutex 这一章节时，我发现了一处错误，通过与 go 源代码和 github 仓库中的图进行核对，
我认为：图中的 RWMutex.w.Lock() 应该是 RWMutex.w.Unlock()

略去相关截图与读者姓名

问题描述
A clear and concise description of what the bug is.
哈希冲突解决错误描述有误

如何找到这个错误

• 章节：1 章 3 节 -> 1.3.3 实现原理 -> 2. Hash 冲突
• 页码：P30

您认为应该如何？
原句："由于每个 bucket 可以存放 8 个键值对，所以同一个 bucket 存放超过 8 个键值对时就会再创建一个键值对，用类似链表的方式将 bucket 连接起来"
认为有误的地方："同一个 bucket 存放超过 8 个键值对时就会再创建一个 bucket？"，创建的是 bucket，通过 overflow 指针连起来，而不是再创建一个"键值对"吧？

图片
如果有可能，尽量提供图片。

其他补充信息

谢谢

请问书中的讲解是基于golang哪个版本呢？

问题描述
A clear and concise description of what the bug is.
关于字符和字节的错误使用

如何找到这个错误

• 章节：2 章 2 节 -> 2.2 for-range ->2.2.2 特性速览 -> 3. 作用于 string
• 页码：P79

您认为应该如何？
在 P79 中间部分关于 rune 类型的描述中，原句为：
"另外需要注意的是，range 的第二个返回值的类型为 rune 类型，它仅代表 Unicode 编码的 1 个字节"
想请教老师这的 "字节" 是否使用不当，应当为 "字符"
个人理解是，例如：

• 'h'，这是一个字符，占一个字节
• '中'，这是一个字符，占三个字节

不知是否理解有误，请老师斧正

图片
如果有可能，尽量提供图片。

其他补充信息

问题描述
感觉13.1节的内容跟13.3节有冲突，因为13.3节解释到append时值传递所以不可能操作原来的slice。那13.1节的扩容分析感觉不是问题所在，即使不扩容，只要不接收返回返回值，原来的slice也不会变化。

问题描述
hmap.bucket为数组指针，数组的大小为2^B，例如：hmap.B=2， 而hmap.buckets长度是2^B为4

在增量扩容内容当中，这个 B=1, 应该是 B=0 吧，不然应该是有两个bucket

还有这个地方，这个 B=2 , 应该是 B=1

希望大佬解答疑惑

容器类型：

• heap（src/container/heap）
• list（src/container/list）
• ring（src/container/ring）
• set（非标准库）(https://github.com/kubernetes/kubernetes/tree/master/staging/src/k8s.io/apimachinery/pkg/util/sets)

参考素材：

• heap kubefed 实现的delivererHeap
• heap kubernetes 实现的 TimeValue

问题描述
Hi.
书看了一半有余，觉得内容都很独特新颖，感谢分享。

关于书中图片有一些小建议，目前（应该是）所有插图都是标量图，看起来都是在类似ProcessOn这类工具上画出来再保存(png | jpg等)下来，然后插入到正文中的，在阅读的时候就会发现图中的中英文、图形、箭头都有模糊不清。尽管没有影响到理解内容，但是观感上来说对图书而言还是觉得可以改善。

您认为应该如何？
插图使用矢量图。但是全书内容重新编辑可能工作量也比较大，不然的话陈晓猛老师应该也有考虑过这个问题，在出版前处理掉了。

其他补充信息
Ver: 2020年7月第一版第1次印刷。
最后感谢任老师的写作，内容很棒。

问题描述
描述panic实现原理时使用图表来解释效果可能更好

如何找到这个错误

• 章节：8.3
• 页码：251

您认为应该如何？

图片
如果有可能，尽量提供图片。

其他补充信息

题目2应该是返回false

扩容方式

我注意到大部分的章节都是先用一些例子起篇，这样可以帮助读者先建立一个直观的理解。但不知道为什么5.3 context却先从实现原理入手，然后再给出例子。这样对于我这种对context都不了解的人会看的云里雾里。作者这里是有什么特殊的考量么？

问题描述
热身测验题目选项有误

如何找到这个错误

• 章节：第八章 / 8.2 defer / 8.2.1 热身测验 / 题目二
• 页码：227

您认为应该如何？
下面函数的输出结果是什么（单选）？

func DeferDemo2() {
        var aInt = 1

        defer fmt.Println(aInt)

        aInt = 2
        return
}

• A: 0
• B: 1

应改为：

• A: 2
• B: 1

图片
如果有可能，尽量提供图片。

其他补充信息

问题描述
勘误， web 版可能的typo, 位置： 题目三，参考答案， 最后一句 “”循环次效“” 应改为 “循环次数“”

如何找到这个错误

• 章节：2.3
  题目三，参考答案， 最后一句循环

您认为应该如何？

图片
如果有可能，尽量提供图片。

其他补充信息

源码：

func RangeString() {
	s := "Hello World"
	for i, v := range s {
		fmt.Printf("index: %d, value: %c\n", i, v)
	}
}

Example:

func ExampleRangeString() {
	RangeString()
	// Output:
	// index: 0, value: H
	// index: 1, value: e
	// index: 2, value: l
	// index: 3, value: l
	// index: 4, value: o
	// index: 5, value:
	// index: 6, value: W
	// index: 7, value: o
	// index: 8, value: r
	// index: 9, value: l
	// index: 10, value: d

结果：

--- FAIL: ExampleRangeString (0.00s)
got:
index: 0, value: H
index: 1, value: e
index: 2, value: l
index: 3, value: l
index: 4, value: o
index: 5, value:
index: 6, value: W
index: 7, value: o
index: 8, value: r
index: 9, value: l
index: 10, value: d
want:
index: 0, value: H
index: 1, value: e
index: 2, value: l
index: 3, value: l
index: 4, value: o
index: 5, value:
index: 6, value: W
index: 7, value: o
index: 8, value: r
index: 9, value: l
index: 10, value: d

如果字符串中包含空格，测试将失败。原因未明。

问题描述
“由于string底层使用 Unicode 编码方式,字符可能占用1-4个字节”，

如何找到这个错误

• 章节：2.2.2特性预览
• 页码：P78

您认为应该如何？

应该是UTF8

图片
如果有可能，尽量提供图片。

其他补充信息

感谢开源出这么好的文章，这一定是我在 Github 发现的最有价值的仓库之一。

在协程调度一文 3.1 队列轮转 中，有提到如下观点：

上图中可见每个P维护着一个包含G的队列，不考虑G进入系统调用或IO操作的情况下，P周期性的将G调度到M中执行，执行一小段时间，将上下文保存下来，然后将G放到队列尾部，然后从队列中重新取出一个G进行调度。

文中的观点是 P 存在有类似时间片的调度机制，不管 G 是否执行完毕，会把它重新放入队列，再取出新的 G 执行。

但我在另外一篇文章中又读到

Once a runnable G is found, it is executed until it is blocked.

P 会一直执行 G，直到 G 处于阻塞状态。

求作者答疑，解决我的困惑。

Kubernetes中也有recover的错误用法，两个案例需要补充到附录-recover失效章节中：

参考信息：

• Kubernetes对panic应该recover和panic的思考：kubernetes/kubernetes#91566
• recover错误用法-1：kubernetes/kubernetes#91561
• recover错误用法-2：kubernetes/kubernetes#91566

• 10 Essential Go Interview Questions

问题描述
slice原理一节的2.2示例的运行结果和解释错误。

如何找到这个错误

• 章节：2.2 题目二
• 页码：

您认为应该如何？
false

图片
如果有可能，尽量提供图片。

其他补充信息

示例的源代码：

package main

import (
"fmt"
)

func AddElement(slice []int, e int) []int {
return append(slice, e)
}

func main() {
var slice []int
slice = append(slice, 1, 2, 3)

newSlice := AddElement(slice, 4)
fmt.Println(&slice[0] == &newSlice[0])

}

错误原因：
因为AddElement函数内部append重新扩容了，但是它和原来的slice是两个内存地址值。

注：我的golang 1.16.7版本

问题描述
A clear and concise description of what the bug is.

如何找到这个错误

• 章节：
• 页码：

您认为应该如何？

图片
如果有可能，尽量提供图片。

其他补充信息

type runtimeTimer struct {
	tb uintptr
	i  int

	when   int64
	period int64
	f      func(interface{}, uintptr) // NOTE: must not be closure
	arg    interface{}
	seq    uintptr
}

用数组实现, 移除(还未过期)的时候可以直接根据数组下标定位到对应的堆元素, 时间复杂度 O(1), 然后调整堆顺序 O(lgN)

我有两个问题:

1. 为什么要用四叉堆呢?
2. 如果不用数组实现的话, 移除元素有什么数据结构能达到 O(lgN) 的时间复杂度吗?

本issue用于收集、记录格式化输入输出方面的知识。

https://github.com/RainbowMango/GoExpertProgramming/blob/master/chapter07/7.3.3-unit.md#%E5%90%AF%E5%8A%A8%E5%AD%90%E6%B5%8B%E8%AF%95run

testName是经过处理的name，但从简化代码看似乎是没有定义过。

问题描述
文中描述是基于go1.16之前版本扩容规则，1.16后扩容规则有所变动。题目举例已经不符合预期了。

func main(){
 var slice []int
 slice = append(slice, 1, 2, 3)// 此时cap(slice)为3，go1.16前为4
}

如何找到这个错误

• 章节：
  常见数据结构实现原理中slice篇
• 页码：

您认为应该如何？

图片
如果有可能，尽量提供图片。

其他补充信息

浏览了你的开源书，还有开源社区的贡献，发现你不仅参与kubernetes & CNCF 比较多，而且对Go语言也有极大的研究热情，可以留个邮箱交流下吗？

在项目cloudflare/golz4中，作者曾提交过一个commit，我们称它为commit B，它是基于commit A的。

不知出于何种原因，作者后面又把commit B给删除了，记录这里不是回滚，而是删除，猜测是force push到master分支。
当前master分支最近一个commit为 commit A.

造成的影响：

• commit B已经被部分代理收录，但用户无法使用。

https://github.com/RainbowMango/GoExpertProgramming/blob/master/chapter09/9.1.2-timer_principle.md#%E5%81%9C%E6%AD%A2timer

Timer还未触发，系统协程已经删除该Timer，Stop()返回false；
Timer已经触发，系统协程还未删除该Timer，Stop()返回true;

https://golang.google.cn/pkg/time/#Timer.Stop

It returns true if the call stops the timer, false if the timer has already expired or been stopped.

可能是这样的？

• Timer还未触发，且系统协程还未删除该Timer，Stop()返回true
• Timer已经触发，或系统协程已经删除该Timer，Stop()返回false