icexin's recent timeline updates icexin's recent timeline updates | icexinV2EX member #97481, joined on 2015-02-14 19:43:08 +08:00 |
icexin
| 使用阿里 coding plan 的同学要留意一下隐私条款，你的数据会被用于训练 程序员 icexin Feb 5 Lastly replied by hantconny | 25 |
| [北京][日常实习][社招] shopee 搜广推-特征存储开发 酷工作 icexin May 28, 2025 |
| 将 Go 程序跑在裸机上之 LibOS 3 Go 编程语言 icexin Aug 9, 2021 Lastly replied by wupeaking | 15 |
| Go 编写的跑在 x86 裸机上的 unikernel Go 编程语言 icexin Oct 18, 2020 Lastly replied by icexin | 22 |
| go 实现的 Minecraft 2 Go 编程语言 icexin Apr 8, 2018 Lastly replied by zjyl1994 | 27 |
icexin's recent replies
Mar 10, 2025 Replied to a topic by liyafe1997 程序员 Cursor 到底比 VSCode+Copilot 强在哪？求指导 |
copliot 买过年包，个人感觉 cursor 和 copilot 的一个区别是：cursor 可以在代码行中间进行补全，copilot 只能从结尾补全。另外 cursor 的 tab 模式比较智能，准确率很高，小重构的时候框框 tab 就完事了。
Aug 15, 2022 Replied to a topic by edis0n0 程序员 写前端的很好奇， WASM 是怎么做到同时在 ARM 和 x86 CPU 上运行的？如果是转译，性能损耗有多少？ Google 一直没搜到答案。 |
一般是通过 jit 编译到机器码的，具体实现上可以有不经过优化的一遍翻译，也可以有多遍的优化编译。可以参考一下 v8 的 https://v8.dev/blog/liftoff
Nov 30, 2021 Replied to a topic by sunny1688 问与答 关于 golang 碰到的一个问题！ |
大家回答的点都集中在内存回收上，实际的问题是没有加锁导致的不变式被打破的问题。
实际的 slice 包含 data ，len 和 cap 字段，这些大家也都知道了。slice 结构的不变式是：在任意时刻，data 指向的数据长度都是至少是 len 长度，否则访问 len-1 的数据就会 内存错误。
在题主的代码里面，多个 goroutine 同时对 demo.llist 进行赋值，但因为没有加锁，所以赋值不是原子的，从而会出现一个 goroutine 刚赋值了 data ，还没来得及赋值 data 和 cap 就被其他 goroutine 拿去用了， 破坏了不变式， 从而在扩容的时候就访问了非法内存，从而 panic 。
一段简单代码就可以复现：
package main
import "log"
type T struct {
A, B int
}
func step(t T) T {
if t.B != t.A*2 {
log.Panic(t)
}
x := t.A+1
return T{
A: x,
B: 2*x,
}
}
func main() {
var t = T{
A: 1,
B: 2,
}
for {
go func() {
t = step(t)
}()
}
}
实际的 slice 包含 data ，len 和 cap 字段，这些大家也都知道了。slice 结构的不变式是：在任意时刻，data 指向的数据长度都是至少是 len 长度，否则访问 len-1 的数据就会 内存错误。
在题主的代码里面，多个 goroutine 同时对 demo.llist 进行赋值，但因为没有加锁，所以赋值不是原子的，从而会出现一个 goroutine 刚赋值了 data ，还没来得及赋值 data 和 cap 就被其他 goroutine 拿去用了， 破坏了不变式， 从而在扩容的时候就访问了非法内存，从而 panic 。
一段简单代码就可以复现：
package main
import "log"
type T struct {
A, B int
}
func step(t T) T {
if t.B != t.A*2 {
log.Panic(t)
}
x := t.A+1
return T{
A: x,
B: 2*x,
}
}
func main() {
var t = T{
A: 1,
B: 2,
}
for {
go func() {
t = step(t)
}()
}
}
Select Language