icexin 最近的时间轴更新 icexin 最近的时间轴更新 |
icexinV2EX 第 97481 号会员，加入于 2015-02-14 19:43:08 +08:00 |
icexin
| [北京][日常实习][社招] shopee 搜广推-特征存储开发 酷工作 • icexin • 2025 年 5 月 28 日 |
| 将 Go 程序跑在裸机上之 LibOS
3 Go 编程语言 • icexin • 2021 年 8 月 9 日 • 最后回复来自 wupeaking
|
15 |
| Go 编写的跑在 x86 裸机上的 unikernel Go 编程语言 • icexin • 2020 年 10 月 18 日 • 最后回复来自 icexin | 22 |
| go 实现的 Minecraft
2 Go 编程语言 • icexin • 2018 年 4 月 8 日 • 最后回复来自 zjyl1994
|
27 |
icexin 最近回复了
2025 年 3 月 10 日 回复了 liyafe1997 创建的主题 › 程序员 › Cursor 到底比 VSCode+Copilot 强在哪？求指导 |
copliot 买过年包，个人感觉 cursor 和 copilot 的一个区别是：cursor 可以在代码行中间进行补全，copilot 只能从结尾补全。另外 cursor 的 tab 模式比较智能，准确率很高，小重构的时候框框 tab 就完事了。
2022 年 8 月 15 日 回复了 edis0n0 创建的主题 › 程序员 › 写前端的很好奇， WASM 是怎么做到同时在 ARM 和 x86 CPU 上运行的？如果是转译，性能损耗有多少？ Google 一直没搜到答案。 |
一般是通过 jit 编译到机器码的，具体实现上可以有不经过优化的一遍翻译，也可以有多遍的优化编译。可以参考一下 v8 的 https://v8.dev/blog/liftoff
2021 年 11 月 30 日 回复了 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