golang进程内存控制避免docker内oom
作者:硅基生命 发布时间:2024-05-09 09:47:11
背景
golang版本:1.16
之前遇到的问题,docker启动时禁用了oom-kill(kill后服务受损太大),导致golang内存使用接近docker上限后,进程会hang住,不响应任何请求,debug工具也无法attatch。
前文分析见:golang进程在docker中OOM后hang住问题
本文主要尝试给出解决方案
测试程序
测试程序代码如下,协程h.allocate每秒检查内存是否达到800MB,未达到则申请内存,协程h.clear每秒检查内存是否超过800MB的80%,超过则释放掉超出部分,模拟通常的业务程序频繁进行内存申请和释放的逻辑。程序通过http请求127.0.0.1:6060触发开始执行方便debug。
docker启动时加--memory 1G --memory-reservation 1G --oom-kill-disable=true
参数限制总内存1G并关闭oom-kill
package main
import (
"fmt"
"math/rand"
"net/http"
_ "net/http/pprof"
"sync"
"sync/atomic"
"time"
)
const (
maxBytes = 800 * 1024 * 1024 // 800MB
arraySize = 4 * 1024
)
type handler struct {
start uint32 // 开始进行内存申请释放
total int32 // 4kB内存总个数
count int // 4KB内存最大个数
ratio float64 // 内存数达到count*ratio后释放多的部分
bytesBuffers [][]byte // 内存池
locks []*sync.RWMutex // 每个4kb内存一个锁减少竞争
wg *sync.WaitGroup
}
func newHandler(count int, ratio float64) *handler {
h := &handler{
count: count,
bytesBuffers: make([][]byte, count),
locks: make([]*sync.RWMutex, count),
wg: &sync.WaitGroup{},
ratio: ratio,
}
for i := range h.locks {
h.locks[i] = &sync.RWMutex{}
}
return h
}
func (h *handler) ServeHTTP(writer http.ResponseWriter, request *http.Request) {
atomic.StoreUint32(&h.start, 1) // 触发开始内存申请释放
}
func (h *handler) started() bool {
return atomic.LoadUint32(&h.start) == 1
}
// 每s检查内存未达到count个则补足
func (h *handler) allocate() {
h.wg.Add(1)
go func() {
defer h.wg.Done()
ticker := time.NewTicker(time.Second)
for range ticker.C {
for i := range h.bytesBuffers {
h.locks[i].Lock()
if h.bytesBuffers[i] == nil {
h.bytesBuffers[i] = make([]byte, arraySize)
h.bytesBuffers[i][0] = 'a'
atomic.AddInt32(&h.total, 1)
}
h.locks[i].Unlock()
fmt.Printf("allocated size: %dKB\n", atomic.LoadInt32(&h.total)*arraySize/1024)
}
}
}()
}
// 每s检查内存超过count*ratio将超出的部分释放掉
func (h *handler) clear() {
h.wg.Add(1)
go func() {
defer h.wg.Done()
ticker := time.NewTicker(time.Second)
for range ticker.C {
diff := int(atomic.LoadInt32(&h.total)) - int(float64(h.count)*h.ratio)
tmp := diff
for diff > 0 {
i := rand.Intn(h.count)
h.locks[i].RLock()
if h.bytesBuffers[i] == nil {
h.locks[i].RUnlock()
continue
}
h.locks[i].RUnlock()
h.locks[i].Lock()
if h.bytesBuffers[i] == nil {
h.locks[i].Unlock()
continue
}
h.bytesBuffers[i] = nil
h.locks[i].Unlock()
atomic.AddInt32(&h.total, -1)
diff--
}
fmt.Printf("free size: %dKB, left size: %dKB\n", tmp*arraySize/1024,
atomic.LoadInt32(&h.total)*arraySize/1024)
}
}()
}
// 每s打印日志检查是否阻塞
func (h *handler) print() {
h.wg.Add(1)
go func() {
defer h.wg.Done()
ticker := time.NewTicker(time.Second)
for range ticker.C {
go func() {
d := make([]byte, 1024) // trigger gc
d[0] = 1
fmt.Printf("running...%d\n", d[0])
}()
}
}()
}
// 等待启动
func (h *handler) wait() {
h.wg.Add(1)
go func() {
defer h.wg.Done()
addr := "127.0.0.1:6060" // trigger to start
err := http.ListenAndServe(addr, h)
if err != nil {
fmt.Printf("failed to listen on %s, %+v", addr, err)
}
}()
for !h.started() {
time.Sleep(time.Second)
fmt.Printf("waiting...\n")
}
}
// 等待退出
func (h *handler) waitDone() {
h.wg.Wait()
}
func main() {
go func() {
addr := "127.0.0.1:6061" // debug
_ = http.ListenAndServe(addr, nil)
}()
h := newHandler(maxBytes/arraySize, 0.8)
h.wait()
h.allocate()
h.clear()
h.print()
h.waitDone()
}
程序执行一段时间后rss占用即达到1G,程序不再响应请求,docker无法通过bash连接上,已经连接的bash执行命令显示错误bash: fork: Cannot allocate memory
一、为gc预留空间方案
之前的分析中,hang住的地方是调用mmap,golang内的堆栈是gc stw后的mark阶段,所以最开始的解决方法是想在stw之前预留100MB空间,stw后释放该部分空间给操作系统,改动如下:
但是进程同样会hang住,debug单步调试发现存在三种情况
未触发gc(是因为gc的步长参数默认为100%,下一次gc触发的时机默认是内存达到上次gc的两倍);
gc的stw之前就阻塞住,多数在gcBgMarkStartWorkers函数启动新的goroutine时陷入阻塞;
gc的stw后mark prepare阶段阻塞,即前文分析中的,申请新的workbuf时在mmap时阻塞;
可见,预留内存的方式只能对第3种情况有改善,增加了预留内存后多数为第2种情况阻塞。
从解决问题的角度看,预留内存,是让gc去适配内存达到上限后系统调用阻塞的情况,对于其他情况gc反而更差了,因为有额外的内存和cpu开销。更何况因为第2种情况的存在,导致gc的修改无法面面俱到。
而且即使第2种情况创建g不阻塞,创建g后仍然需要找到合适的m执行,但因为已有的m都会因为系统调用被阻塞,而创建新的m即新的线程,又会被阻塞在内存申请上。所以这是不光golang会遇到的问题,即使用其他语言写也会有这种问题。在这种环境下运行的进程,必须对自身的内存大小做严格控制。
二、调整gc参数
通过第一种方案的尝试,我们需要转换角度,结合实际使用场景做适配, 避免影响golang运行机制。限制条件主要有:
进程会使用较多内存
进程的使用有上限, 达到上限后系统调用会阻塞
需要让进程控制内存上限,同时在达到上限前多触发gc。解决方式如下:
用内存池。测试程序中的allocate和clear的逻辑,实际上就是实现了一个内存池,控制总的内存在640~800MB之间波动。
增加gc频率。程序启动时加环境变量GOGC=12,控制gc步长在12%,例如内存池达到800MB时,会在800*112%=896MB时触发gc,避免内存达到1G上限。
实测进程内存在900MB以下波动,没有hang住。
来源:https://juejin.cn/post/7155863066968588325
猜你喜欢
- 视频观看视频图像精灵这是我们教程系列“使用 Pygame 进行游戏开发”的第 3 部分。它适用于对游
- pylint是一个不错的代码静态检查工具。将其配置在pycharm中,随时对代码进行分析,确保所有代码都符合pep8规范,以便于养成良好的习
- 在第1章项目结构分析中,我们提到Startup.cs作为整个程序的入口点,等同于传统的Global.asax文件,即:用于初始化系统级的信息
- <!DOCTYPE html><html lang="en"><head><m
- Token验证是验证用户身份的重要方式,在golang开发中具有广泛应用,文中主要阐述了利用jwt包加密后的token验证。导入包:impo
- str='python String function'生成字符串变量str='python String func
- 1. 安装pip install PyExecJS # 需要注意, 包的名称:
- <script>var d = '2013-07-21';var nd = d.replace(new RegE
- vue中实现拖拽效果,供大家参考,具体内容如下首先要搞明白分清clientY pageY screenY layerY offsetY的区别
- 在简略的说之前,首先要对RW锁的结构有一个大致的了解type RWMutex struct { w
- 本文介绍了tensorflow中next_batch的具体使用,分享给大家,具体如下:此处给出了几种不同的next_batch方法,该文章只
- 一、控制用户存取 1、创建修改用户Creating Users Create/alter user new_user identified
- 本文实例为大家分享了js通过开始结束控制计时器的具体实现代码,供大家参考,具体内容如下时间戳的使用的可以取消对多次点击事件产生效果的累加,譬
- 1.cut()可以实现类似于对成绩进行优良统计的功能,来看代码示例。假如我们有一组学生成绩,我们需要将这些成绩分为不及格(0-59)、及格(
- 学习前言最近在学目标检测……SSD的源码好复杂……看
- 通过清晰的示例和解释,本文展示了 ChatGPT 如何简化和简化创建复杂 MySQL 查询的过程,使用户更容易与数据库交互并检索他们需要的数
- 呵呵,这几天沉溺于灌水,发现转贴的时候真的是很不方便,文字、图形、颜色、连接,如果都转过来真的是满费劲的,于是就写了一个小东西,简陋的很,不
- 这是由十几位视觉设计师设计的挂历,每个月份都是不同的风格,就像每个月都有不同温度和心情一样,思维跳跃性很大,可以作为挂历设计参考。当然,如果
- 一、删除字符串两端的一种或多种字符#strip()、lstrip()、rstrip()方法;(默认删除空格符)A、list.strip(字符
- 一.问题描述在二维数组的遍历中,我们经常使用双层for循环。在某些时候,我们并不需要遍历整个二维数组。当条件满足时就应该终止for循环。但是