GO面视题

1. Go内存管理机制

Go语言不需要程序员主动调用 malloc来分配堆空间，编译器会自动分析，找出需要 malloc 的变量， 使用堆内存。编译器的这个分析过程就叫做逃逸分析(GC垃圾回收)。

逃逸分析并不是百分百准确的，它是有缺陷的。

堆内存分配不仅分配逻辑上比栈空间复杂，它最致命的是会带来很大的管理成本，Go语言要消耗很多的计算资源对其进行标记回收（也就是GC成本）。

2. go new与make区别

make和new都是golang用来分配内存的內建函数，且在堆上分配内存，make 即分配内存，也初始化内存。new只是将内存清零，并没有初始化内存。

make返回的还是引用类型本身；而new返回的是指向类型的指针。

make只能用来分配及初始化类型为slice，map，channel的数据；new可以分配任意类型的数据。

3. 进程，线程与协程的区别

操作系统的进程占据独立的内存，上下文进程间的切换开销（栈、寄存器、页表、文件句柄等）比较大。

线程是CPU调度的最小单位，从属于进程；

多个线程共享所属进程的资源，线程间通信主要通过共享内存，上下文切换很快，资源开销较进程少。

协程：一个线程可以拥有多个协程，协程不是被操作系统内核所管理，而完全是由程序所控制

上下文切换由GMP中的P进行管理，资源消耗更小，性能更高。

goroutine在初始化内存和上下文切换，以及协(线)程调度方面完全秒杀线程和进程，这是Go语言

适合做高性能服务器软件开发的原因。

4. GMP模型

Goroutine的并发编程模型基于GMP模型，简要解释一下GMP的含义：

G: 是基于协程建立的用户态线程，是Goroutine的缩写。其中包括执行的函数指令及参数；每个goroutine都有自己的栈空间，定时器，初始化的栈空间在2k左右，空间会随着需求增长。

M: 它关联一个os内核线程，用于执行G。是一个线程或称为Machine，所有M是有线程栈的。当goroutine调度到线程时，使用该goroutine自己的栈信息而不是M的线程栈。

P: Processor(其作用类似于CPU)，负责调度goroutine，维护一个本地goroutine队列，M从P上获得goroutine并执行，同时还负责部分内存的管理。P里面一般会存当前goroutine运行的上下文环境（函数指针，堆栈地址及地址边界）。

5.原子操作与互斥锁的区别

互斥锁是一种数据结构，用来让一个线程执行程序的关键部分，完成互斥的多个操作。

原子操作是针对某个值的单个互斥操作。

可以把互斥锁理解为悲观锁，共享资源每次只给一个线程使用，其它线程阻塞。

6. 乐观锁和悲观锁

乐观锁和悲观锁是两种思想，用于解决并发场景下的数据竞争问题。

乐观锁：乐观锁在操作数据时非常乐观，认为别人不会同时修改数据。因此乐观锁不会上锁，只是在执行更新的时候判断一下在此期间别人是否修改了数据：如果别人修改了数据则放弃操作，否则执行操作。

悲观锁：悲观锁在操作数据时比较悲观，认为别人会同时修改数据。因此操作数据时直接把数据锁住，直到操作完成后才会释放锁；上锁期间其他人不能修改数据。