1. Golang中有哪些方式进行安全读写共享变量
- Mutex ------------------- 互斥锁
- RWMutex--------------- 读写锁(基于Mutex实现)
- 无缓冲Channel-------- 同步
关于Mutex有关的博客–> https://www.jianshu.com/p/679041bdaa39
2. Chan 的发送和接收
ch := make(chan int) //无缓冲的channel由于没有缓冲,发送和接收需要同步
ch := make(chan int,2) //有缓冲的channel不要求发送和接受操作同步,当通道满了的时候会阻塞
3. Golang中常见的三种并发控制模型
1. 通过无缓冲channel通知实现并发控制
- 无缓冲的通道指的是通道的大小为0,也就是说,这种类型的通道在接收前没有能力保存任何值,它要求发送 goroutine 和接收 goroutine 同时准备好,才可以完成发送和接收操作。
2. 通过sync包中的WaitGroup实现并发控制
- Goroutine是异步执行的,有的时候为了防止在结束mian函数的时候结束掉Goroutine,所以需要同步等待,这个时候就需要用 WaitGroup了,在 sync 包中,提供了 WaitGroup (可以看做一个容器),它会等待它收集的所有 goroutine 任务全部完成。在WaitGroup里主要有三个方法:
1.Add, 可以添加或减少 goroutine的数量.
2.Done, 相当于Add(-1).
3.Wait, 执行后会堵塞主线程,直到WaitGroup 里的值减至0.
3. Context上下文,实现并发控制
- 通常,在一些简单场景下使用 channel 和 WaitGroup 已经足够了,但是当面临一些复杂多变的网络(比如超时)并发场景下 channel 和 WaitGroup 显得有些力不从心了。 比如一个网络请求 Request,每个 Request 都需要开启一个 goroutine 做一些事情,这些 goroutine 又可能会开启其他的 goroutine,比如数据库和RPC服务。 所以我们需要一种可以跟踪 goroutine 的方案,才可以达到控制他们的目的,这就是Go语言为我们提供的 Context,称之为上下文非常贴切,它就是goroutine 的上下文。 它是包括一个程序的运行环境、现场和快照等。每个程序要运行时,都需要知道当前程序的运行状态,通常Go 将这些封装在一个 Context 里,再将它传给要执行的 goroutine 。
context 包主要是用来处理多个 goroutine 之间共享数据,及多个 goroutine 的管理。
相关博客 https://blog.csdn.net/lanyang123456/article/details/80730923
4. nil slice 和 empty slice 的区别
- JSON标准库对 nil slice和 empty slice 的处理是不一致的
- nil slice 场景 : var slice []int
- empty slice 场景: slice := make([]int,0) 或者 slice := []int{}
5. 协程,线程,进程的区别
- 进程
进程是具有一定独立功能的程序,进程是系统进行资源分配和调度的一个独立单位,进程重量最大,占据独立的内存,所以上下文进程建的切换开销太大,但相对比较稳定安全
- 线程
线程是进程的一个实体,是CPU调度和分派的基本单位,它是比进程更小的能独立运行的基本单位.线程自己基本上不拥有系统资源,只拥有一点在运行中必不可少的资源(如程序计数器,一组寄存器和栈),但是它可与同属一个进程的其他的线程共享进程所拥有的全部资源。线程间通信主要通过共享内存,上下文切换很快,资源开销较少,但相比进程不够稳定容易丢失数据。
- 协程
协程是一种用户态的轻量级线程,协程的调度完全由用户控制。协程拥有自己的寄存器上下文和栈。协程调度切换时,将寄存器上下文和栈保存到其他地方,在切回来的时候,恢复先前保存的寄存器上下文和栈,直接操作栈则基本没有内核切换的开销,可以不加锁的访问全局变量,所以上下文的切换非常快。
是什么 | 作用 | 重量 | 上下文进程切换开销 | 通信 | |
---|---|---|---|---|---|
进程 | 具有一定独立功能的程序 | 资源调度与分配的基本单位 | 最大 | 大 | 进程间通信 |
线程 | 进程的一个实体 | 任务调度和执行的基本单位 | 较小 | 小 | 共享内存 |
xie程 | 用户态轻量级线程 | 调度完全由用户控制 | 小 | 小 | channel |
6. 死锁和解决方案
死锁产生的四个必要条件:
-
互斥条件:一个资源每次只能被一个进程使用
-
请求与保持条件:一个进程因请求资源而阻塞时,对已获得的资源保持不放。
-
不剥夺条件:进程已获得的资源,在末使用完之前,不能强行剥夺。
-
循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系。 这四个条件是死锁的必要条件,只要系统发生死锁,这些条件必然成立,而只要上述条件之一不满足,就不会发生死锁。
-
预防死锁
可以把资源一次性分配:(破坏请求和保持条件)
然后剥夺资源:即当某进程新的资源未满足时,释放已占有的资源(破坏不可剥夺条件)
资源有序分配法:系统给每类资源赋予一个编号,每一个进程按编号递增的顺序请求资源,释放则相反(破坏环路等待条件)
- 避免死锁
预防死锁的几种策略,会严重地损害系统性能。因此在避免死锁时,要施加较弱的限制,从而获得 较满意的系统性能。由于在避免死锁的策略中,允许进程动态地申请资源。因而,系统在进行资源分配之前预先计算资源分配的安全性。若此次分配不会导致系统进入不安全状态,则将资源分配给进程;否则,进程等待。其中最具有代表性的避免死锁算法是银行家算法。
- 检测死锁
首先为每个进程和每个资源指定一个唯一的号码,然后建立资源分配表和进程等待表.
- 解除死锁
当发现有进程死锁后,便应立即把它从死锁状态中解脱出来,常采用的方法有.
- 剥夺资源
从其它进程剥夺足够数量的资源给死锁进程,以解除死锁状态.
- 撤消进程
可以直接撤消死锁进程或撤消代价最小的进程,直至有足够的资源可用,死锁状态.消除为止.所谓代价是指优先级、运行代价、进程的重要性和价值等。
7. golang的内存模型,为什么小对象过多会造成gc(垃圾回收)压力
- 通常小对象过多会导致GC三色法消耗过多的CPU,优化思路:减少对象分配
- 另外的一些gc优化小技巧 -----> https://golangnote.com/topic/222.html
- GC三色法 -------> https://zhuanlan.zhihu.com/p/105495961
8. Data Race(数据竞争)问题如何解决
- 使用互斥锁Mutex,或者使用Channel,使用Channel的效率要比互斥锁高
9. Channel为什么可以做到线程安全
- Golang的Channel,发送一个数据到Channel 和 从Channel接收一个数据 都是 原子性的。而且Go的设计思想就是:不要通过共享内存来通信,而是通过通信来共享内存,前者就是传统的加锁,后者就是Channel。也就是说,设计Channel的主要目的就是在多任务间传递数据的,这当然是安全的。
先写这么点吧,学完再写别的