当前位置: 首页 > 面试题库 >

如何使变量成为线程安全的

阎丰羽
2023-03-14
问题内容

我是Go的新手,我需要创建一个线程安全的变量。我知道在Java中您只能使用synchronized关键字,但是似乎没有类似的东西存在。有什么方法可以同步变量?


问题答案:

synchronized Java中的一种意思是仅允许单个线程(在任何给定时间)执行代码块。

在Go中,有很多构造可以实现该目标(例如互斥体,通道,等待组,中的原语sync/atomic),但是Go的谚语是:
“不要通过共享内存进行通信;而是通过通信来共享内存。”

因此,不要锁定和共享变量,不要这样做,而要在goroutine之间传递结果,例如使用通道(这样就不必访问共享内存)。有关详细信息,请参阅Go
Blog:通过通信共享内存

当然,在某些情况下,最简单,直接的解决方案是使用互斥锁来保护从多个goroutine到变量的并发访问。在这种情况下,可以按照以下步骤进行操作:

var (
    mu        sync.Mutex
    protectMe int
)

func getMe() int {
    mu.Lock()
    me := protectMe
    mu.Unlock()
    return me
}

func setMe(me int) {
    mu.Lock()
    protectMe = me
    mu.Unlock()
}

上述解决方案可以在几个方面进行改进:

  • 使用sync.RWMutex代替sync.Mutex,以便getMe()可以锁定以仅读取,因此多个并发的读取器不会互相阻塞。

  • 锁定(成功)之后,建议使用进行解锁defer,因此,如果后续代码中发生不良情况(例如,运行时恐慌),则互斥锁仍将被解锁,从而避免资源泄漏和死锁。尽管此示例非常简单,但不会发生任何不良情况,并且不能保证无条件使用延迟解锁。

  • 优良作法是保持互斥锁接近应保护的数据。因此,“包装” protectMe及其mu结构体是一个好主意。而且,如果需要的话,我们也可以使用嵌入,因此锁定/解锁变得更加方便(除非不得公开此功能)

因此,上述示例的改进版本可能如下所示(在GoPlayground上尝试):

type Me struct {
    sync.RWMutex
    me int
}

func (m *Me) Get() int {
    m.RLock()
    m.RUnlock()
    return m.me
}

func (m *Me) Set(me int) {
    m.Lock()
    m.me = me
    m.Unlock()
}

var me = &Me{}

func main() {
    me.Set(2)
    fmt.Println(me.Get())
}

该解决方案的另一个优点是:如果需要多个值Me,它将为每个值自动具有不同的,独立的互斥体(我们的初始解决方案将需要为每个新值手动创建单独的互斥体)。

尽管此示例正确有效,但可能不切实际。因为保护单个整数实际上并不需要互斥体。我们可以使用以下sync/atomic软件包实现相同的目的:

var protectMe int32

func getMe() int32 {
    return atomic.LoadInt32(&protectMe)
}

func setMe(me int32) {
    atomic.StoreInt32(&protectMe, me)
}

该解决方案更短,更清洁,更快。如果您的目标只是保护单个值,则首选此解决方案。如果您应该保护的数据结构更加复杂,atomic甚至可能不可行,那么使用互斥量可能是合理的。

现在,在显示共享/保护变量的示例之后,我们还应该给出一个示例,以实现 “不要通过共享内存进行通信;而是通过通信来共享内存” 来实现的目标

情况是您有多个并发的goroutine,并且在存储某些状态的位置使用了变量。一个goroutine更改(设置)状态,而另一个则读取(获取)状态。要从多个goroutine访问此状态,必须同步访问。

想法是不要有这样的“共享”变量,而是要有一个goroutine会设置的状态,它应该 “发送”
它,而另一个goroutine会读取它,它应该是状态为“发送给”(或换句话说,另一个goroutine应该 接收
更改后的状态)。因此,没有共享状态变量,而是两个goroutine之间存在 通信
。Go为这种“内部沟通”通信:渠道提供了出色的支持。语言内置了对通道的支持,其中包括send语句,receive运算符和其他支持(例如,您可以循环在通道上发送的值)。

让我们看一个实际的现实例子:“经纪人”。代理是“客户端”(goroutine)可以订阅以接收消息/更新的实体,并且代理能够将消息广播到订阅的客户端。在一个系统中,有许多客户端随时可能订阅/取消订阅,并且可能需要随时广播消息,因此以安全的方式同步所有这些操作将很复杂。明智地使用渠道,此代理实现非常干净和简单。该实现对于并发使用是完全安全的,支持“无限”客户端,并且不使用单个互斥或共享变量,仅使用通道。

另请参阅相关问题:

从其他线程读取值



 类似资料:
  • 问题内容: 据我所知,这是可变的,因此,如果多个线程试图访问和修改它,则不是线程安全的。我们如何使用客户端锁定或组合(包装器)使其成为线程安全的? 问题答案: 按照从好到坏的顺序: 根本不使用它,请查看Java 8的新Date and Time API。 完全不使用它,请查看jodatime 在所有的,使用不使用或一成不变的原始与代表 纪元时间 封装它。始终返回的防御性副本,从不引用内部对象 在实

  • 本文向大家介绍如何在Java中使类成为线程安全的?,包括了如何在Java中使类成为线程安全的?的使用技巧和注意事项,需要的朋友参考一下 线程安全类是保证从多个线程并发调用时正确的类的内部状态以及方法返回的值的类。 HashMap是一个非同步的集合类。如果我们需要对其执行线程安全操作,则必须显式同步它。 例: 在上面的示例中,我们有一个HashMap,它具有整数键和String类型值。为了使其同步,

  • 我一直在浏览JCIP,作者说。。 线程限制的一种特殊情况适用于可变变量。对共享的易失性变量执行读-修改-写操作是安全的,只要您确保该易失性变量仅从单个线程写入 例如,实例计数被认为是一个复合操作(读取值,向其添加一个值,并更新值),声明计数为易失性不会使此操作原子化,因此线程安全在这里得不到保证!!我说得对吗??但是在这里,作者说如果我们确保只从单个线程写入易失性变量,我们就可以修复它。我不明白这

  • 问题内容: 给出以下代码: 线程类将定期(通过执行器每5分钟更新一次)myConfigData成员变量。myConfigData的设置是否在“外部”线程中是线程安全的(原子的),还是我必须将每个读写操作都同步到myConfigData变量? 编辑:问题不是ConcurrentHashMap是否是线程安全的(根据Javadoc),而是ConcurrentHashMap本身在myConfigData

  • 我想写一个简单的线程安全类,可以用来设置或获取整数值。 最简单的方法是使用synchronized关键字: 我也可以尝试使用挥发性: 带有易失性关键字线程安全的类吗? 考虑下面的事件顺序: 线程A将该值设置为5 根据Java语言规范 “1”发生在“3”之前 但我不明白“1”怎么会出现在“2”之前,所以我怀疑“1”不会出现在“2”之前。 我怀疑线程C的读数可能是7或5。我认为带有volatile关键

  • 我的问题与静态变量的线程安全有关。 如果两个线程,t1具有静态锁,t2具有对象锁,可以同时继续,那么A类的状态测试将如何是线程安全的呢? 可能是,我错过了一些非常基本的东西,但不确定它是如何工作的。 根据下面的答案,我得到的印象是,如果必须使这些状态成为线程安全的,那么两个锁都应该由正在更新此状态的线程持有,或者确保它被仅静态方法或仅非静态方法访问。对吧?