go语言切片slice的线程协程安全问题

见代码注释:

package main
import (
 "fmt"
 "sync"
)
func main() {
 sourceArray := [...]string{"a", "b", "c", "d", "e", "f", "g"}
 fmt.Println(sourceArray)
 slice_1 := sourceArray[:4]
 slice_2 := sourceArray[2:]
 slice_3 := sourceArray[1:]
 slice_4 := slice_3[1:]
 slice_5 := slice_4[1:]
 slice_1[3] = "i"
fmt.Println(sourceArray)
 fmt.Println(slice_1)
 fmt.Println(slice_2)
 fmt.Println(slice_3)
 fmt.Println(slice_4)
 fmt.Println(slice_5)
 wg := &sync.WaitGroup{}
 wg.Add(5)
 /*slice, map, channel, function, method 皆为go语言中的引用类型; 一个切片slice)是一个隐藏数组的引用,并且对于该切片的切片也是引用同一个数组.*/
go func( p []string) {
 defer wg.Done()
 p[3] = "w" //p[3] --> sourceArray[3]
}(slice_1) //在函数调用传参时, 因为slice是引用类型, 所以slice_1与p这两个引用皆指向同一个数组sourceArray
go func( p []string) {
 defer wg.Done()
 p[1] = "z" //p[1] --> sourceArray[3]
}(slice_2)
 go func( p []string) {
 defer wg.Done()
 p[2] = "x" //p[2] --> sourceArray[3]
}(slice_3)
 go func(p []string) {
 defer wg.Done()
 p[1] = "q" //p[1] --> sourceArray[3] //即使切片的切片,依然指向同一个数组sourceArray
}(slice_4)
 go func(p []string) {
 defer wg.Done()
 p[0] = "t" //p[0] --> sourceArray[3] //即使切片的切片的切片等等,依然指向同一个数组sourceArray
}(slice_5)
 wg.Wait()
  /* 由以上分析可知, 在多线程编程, 协程编程中, 对于共享的变量,资源的读写是一定要串行化的, 比如加锁,或通过channel来实现排他性访问.
 通过上面的测试代码,我们了解到,对于切片(slice)的读写最终都是对切片的隐藏数组的读写, 如果读写的数组索引范围,或是元素重合, 则多个协程
 读写共享元素,在并发情况下,则必然产生竞争,破坏共享元素数据, 所以要保护,要么加锁, 要么用channel将访问排队串行化.
 所以对于slice的使用一定要特别注意3点: (1)切片为引用类型 (2)一个切片是一个隐藏数组的引用 (3)切片再切片等等,依然指向同一个隐藏数组
 注意: 这些结论都是在没有超过切片容量(隐藏数组的长度)的情况下得出的, 因为go语言内置函数append会在切片容量不够时, 分配新的更大的切片及相应的隐藏数组;
 但是这并不影响以上结论,新切片, 旧切片依然各自指向自己的隐藏数组.
 */fmt.Println("------")
 fmt.Println(slice_1)
 fmt.Println(slice_2)
 fmt.Println(slice_3)
 fmt.Println(slice_4)
 fmt.Println(slice_5)
}

注意: 此文章只是我个人笔记, 如有错漏,请一定指正, 共同学习, 我的邮箱: htyu_0203_39@sina.com

本文来自:CSDN博客

感谢作者:htyu_0203_39

查看原文:go语言切片slice的线程协程安全问题

• 编辑
• 预览