锁定具有可变长度的切片，而不锁定阅读向量长度，导致返回空元素？

在编写 Go 并行基准测试时，锁定具有可变长度切片的代码可能导致返回空元素。问题在于，未锁定读取向量长度，从而可能导致索引越界错误。为了解决此问题，应使用互斥体来保护切片，以防止数据竞争。然而，互斥体只能防止数据竞争，无法保证操作的原子性。因此，应使用专门为切片并发访问而设计的同步切片类型，该类型同时锁定读取和写入操作。通过使用同步切片，可以确保切片操作的安全性，防止空元素的返回。

当我为一些实际代码编写 golang 并行基准测试时，我遇到了 1 个错误。

例如，func 1中变量f将为nil，为什么？

type foo struct {
    name string
}

var s []*foo

比赛功能1：

for {
    // no lock
    length := len(s) // typo, it should be len(s) - 1
    f := s[length]
    fmt.println(f.name)
}

比赛功能2：

for {
    // lock
    mu.Lock()
    s = append(s, &foo{})
    mu.Unlock()
}

解决方案

互斥体不会影响锁定和解锁之间的调用（它们不会成为原子的，这对于所有操作都是不可能的），互斥体可以防止数据竞争，但您必须使用它来读取和写入，并且必须使用相同的实例双方的互斥体。所以这段代码是安全的：

type SyncSlice struct {
    inner []int
    m     sync.Mutex
}

func (s *SyncSlice) Append(elem int) {
    s.m.Lock()
    s.inner = append(s.inner, elem)
    s.m.Unlock()
}

func (s *SyncSlice) Len() int {
    s.m.Lock()
    defer s.m.Unlock() // as we have to unlock after returning
    return len(s.inner)
}

func (s *SyncSlice) Get(i int) int {
    s.m.Lock()
    defer s.m.Unlock() // as we have to unlock after returning
    return s.inner[i]
}

func (s *SyncSlice) Set(i, value int) {
    s.m.Lock()
    s.inner[i] = value
    s.m.Unlock()
}

尽管只有直接使用方法而不是字段才是安全的。您还必须使用相同的切片实例，因此 gorotine 必须能够访问 syncslice 的指针

本篇关于《锁定具有可变长度的切片，而不锁定阅读向量长度，导致返回空元素？》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于Golang的相关知识，请关注golang学习网公众号！