zoukankan      html  css  js  c++  java
  • [GO] golang happen before 的保证原则

    1) 单线程

    2) Init 函数

    如果包P1中导入了包P2,则P2中的init函数Happens Before 所有P1中的操作
    main函数Happens After 所有的init函数
    3) Goroutine

    Goroutine的创建Happens Before所有此Goroutine中的操作
    Goroutine的销毁Happens After所有此Goroutine中的操作
    4) Channel

    对一个元素的send操作Happens Before对应的receive 完成操作  ,  [先发后接]
    对channel的close操作Happens Before receive 端的收到关闭通知操作  [先关后接,接到零值]
    对于无缓冲channel(unbuffered Channel),对一个元素的receive 操作Happens Before对应的send完成操作  [先接后发]
    对于Buffered Channel,假设Channel 的buffer 大小为C,那么对第k个元素的receive操作,Happens Before第k+C个send完成操作。可以看出上一条Unbuffered Channel规则就是这条规则C=0时的特例  [先接后发]
    5) Lock

    Go里面有Mutex和RWMutex两种锁,RWMutex除了支持互斥的Lock/Unlock,还支持共享的RLock/RUnlock。

    对于一个Mutex/RWMutex,设n < m,则第n个Unlock操作Happens Before第m个Lock操作。
    对于一个RWMutex,存在数值n,RLock操作Happens After 第n个UnLock,其对应的RUnLock Happens Before 第n+1个Lock操作。
    简单理解就是这一次的Lock总是Happens After上一次的Unlock,读写锁的RLock HappensAfter上一次的UnLock,其对应的RUnlock Happens Before 下一次的Lock。

  • 相关阅读:
    JS判断鼠标从什么方向进入一个容器
    [JS进阶] 编写可维护性代码 (1)
    CSS3 animation小动画
    如何使用js捕获css3动画
    webpack入门(译)
    js拖拽3D立方体旋转
    简单3D翻转
    html 基础
    python 并发编程
    python 网络编程
  • 原文地址:https://www.cnblogs.com/taoshihan/p/14201691.html
Copyright © 2011-2022 走看看