GO的环境配置?
GOPATH GOROOT 都是干嘛用的?
配置环境跟java对比有点奇怪
https://blog.csdn.net/weixin_40563757/article/details/115476327
语言特性
协程?
建立一个协程很简单 加一个go关键字就可以
package concurrence
import (
"fmt"
"time"
)
func hello(i int) {
println("hello goroutine : " + fmt.Sprint(i))
}
func HelloGoRoutine() {
for i := 0; i < 5; i++ {
go func(j int) {
hello(j)
}(i)
}
time.Sleep(time.Second)
}
通过通信共享内存而不是通过共享内存而实现通信?
先提供一个或多个高性能队列,线程/进程/微服务之间需要访问别人时,不能直接读写别人的数据,而要通过队列提出请求,然后在对方处理请求时再做相应处理。
Q&A
Q:我对java比较熟悉,java里面通过锁来实现共享内存,从而实现通信。 那啥叫”通过通信共享内存“啊?
A:ultimate go notebook 里面讲把channel当做信号收发,而不是一种数据结构。
Q:我可以理解成chenel在go里 就像 阻塞队列BlockingQueu在java里吗? 只不过chenel颗粒度更小实现的更加底层?
A:无人回复。。。。
https://juejin.cn/post/7096859698984386574/#heading-14
https://draveness.me/whys-the-design-communication-shared-memory/
Channel?
make(chan元素类型,[缓冲大小])·
- 无缓冲通道 make(chan int)
- 有缓冲通道 make(chan int,2)
例子:一个经典的生产消费模型
package concurrence
func CalSquare() {
src := make(chan int)
dest := make(chan int, 3)
go func() {
defer close(src)
for i := 0; i < 10; i++ {
src <- i
}
}()
go func() {
defer close(dest)
for i := range src {
dest <- i * i
}
}()
for i := range dest {
//复杂操作
println(i)
}
}
LOCK?
package concurrence
import (
"sync"
"time"
)
var (
x int64
lock sync.Mutex
)
func addWithLock() {
for i := 0; i < 2000; i++ {
lock.Lock()
x += 1
lock.Unlock()
}
}
func addWithoutLock() {
for i := 0; i < 2000; i++ {
x += 1
}
}
func Add() {
x = 0
for i := 0; i < 5; i++ {
go addWithoutLock()
}
time.Sleep(time.Second)
println("WithoutLock:", x)
x = 0
for i := 0; i < 5; i++ {
go addWithLock()
}
time.Sleep(time.Second)
println("WithLock:", x)
}
func ManyGoWait() {
var wg sync.WaitGroup
wg.Add(5)
for i := 0; i < 5; i++ {
go func(j int) {
defer wg.Done()
hello(j)
}(i)
}
wg.Wait()
}
内存管理
相关概念
-
Mutator:业务线程,分配新对象,修改对象指向关系
-
Collector: GC线程,找到存活对象,回收死亡对象的内存空间. Serial GC:只有一个collector
-
Parallel GC;:支持多个collectors同时回收的 GC算法.
-
Concurrent GC: mutator(s)和collector(s)可以同时执行
Collectors必须感知对象指向关系的改变!
ConcurrentGC 的实现方式
- 三色标记
- 混合写屏障
追踪垃圾回收
可达性分析
-
对象被回收的条件:指针指向关系不可达的对象
-
标记根对象
静态变量、全局变量、常量、线程栈等
-
标记:找到可达对象
求指针指向关系的传递闭包:从根对象出发,找到所有可达对象 -
清理:所有不可达对象
将存活对象复制到另外的内存空间(Copying GC)
将死亡对象的内存标记为句分配“(Mark-sweep GC)移动并整理存活对象(Mark-compact GC)
-
根据对象的生命周期,使用不同的标记和清理策略
引用计数
- 每个对象都有一个与之关联的引用数目
- 对象存活的条件:当且仅当引用数大于0
- 优点:
内存管理的操作被平摊到程序执行过程中
内存管理不需要了解runtime的实现细节:C++智能指针(smart pointer) - 缺点:
维护引用计数的开销较大:通过原子操作保证对引用计数操作的原子性和可见性 - 无法回收环形数据结构—— weak reference (swift 使用了 weal reference,相对解决了引用计数无法回收环形数据结构的问题)
内存开销:每个对象都引入的额外内存空间存储引用数目 - 回收内存时依然可能引发暂停
分块
-
目标:为对象在heap 上分配内存·提前将内存分块
-
调用系统调用mmap()向OS申请一大块内存,例如4 MB·先将内存划分成大块,例如8KB,称作mspan
再将大块继续划分成特定大小的小块,用于对象分配
noscan nspan:分配不包含指针的对象——GC不需要扫描
scan mspan:分配包含指针的对象—— GC需要扫描
-
对象分配:根据对象的大小,选择最合适的块返回
缓存
- TCMalloc: thread caching
- 每个p包含一个nrache用于快速分配,用于为绑定于p上的g分配对象
- mcache管理一组mspan
- 当mcache中的nspan分配完毕,向mcentral申请带有未分配块的mspan
- 当ms pan中没有分配的对象,ns pan会被缓存在mcentral中,而不是立刻释放并归还给OS
内存管理优化
- 对象分配是非常高频的操作:每秒分配GB级别的内存
- 小对象占比较高
- Go内存分配比较耗时
分配路径长:g -> m->p -> mache -> ms pan -> memory block -> return pointer. - pprof:对象分配的函数是最频繁调用的函数之一
Balanced GC(根据对象的生命周期,使用不同的标记和清理策略)
小对象的管理
- 每个g 都绑定一大块内存(1KB),称作 goroutine allocation buffer (GAB)·
- GAB用于noscan类型的小对象分配:<128 B
- 使用三个指针维护GAB: base, end, top
- Bump pointer(指针碰撞)风格对象分配
无须和其他分配请求互斥
分配动作简单高效
大对象的管理
-
GAB对于Go内存管理来说是一个对象
-
本质:将多个小对象的分配合并成一次达对象的分配
-
问题:GAB的对象分配方式会导致内存被延迟释放
-
方案:移动 GAB中存活的对象
当GAB总大小超过一定阈值时,将GAB中存活的对象复制到另外分配的GAB中
原先的 GAB可以释放,避免内存泄漏
本质:用copying GC的算法管理小对象
文章评论