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