【Golang 面试 - 进阶题】每日 3 题（十四）

已于 2024-08-02 20:44:46 修改
阅读量1.1k 收藏 14
点赞数 17
分类专栏： # Golang 面试专栏 文章标签： 面试 职场和发展 开发语言 golang 后端
于 2024-08-02 20:44:15 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Newin2020/article/details/140879915
版权

✍个人博客：Pandaconda-CSDN博客

📣专栏地址：http://t.csdnimg.cn/UWz06

📚专栏简介：在这个专栏中，我将会分享 Golang 面试中常见的面试题给大家~
❤️如果有收获的话，欢迎点赞👍收藏📁，您的支持就是我创作的最大动力💪

40. 基 于信号的抢占式调度

在 golang 中，除了协作式调度和抢占式调度，还有一种基于信号的抢占式调度。基于信号的抢占式调度可以让 Goroutine 在执行过程中被立即中断，并强制切换到其他 Goroutine，从而实现抢占式调度。

在 golang 中，我们可以使用 runtime 包中的两个函数实现基于信号的抢占式调度：

  • runtime.Gosched()：让出 CPU 时间片，让其他 Goroutine 运行。

  • runtime.LockOSThread()：将当前 Goroutine 绑定到当前线程上，让该 Goroutine 独占一个线程，从而实现更精细的调度控制。

下面是一个简单的基于信号的抢占式调度的示例代码：

package main
import (
    "fmt"
    "runtime"
    "time"
)
func main() {
    go func() {
        for {
            fmt.Println("Goroutine 1 is running")
            runtime.Gosched()
        }
    }()
    go func() {
        for {
            fmt.Println("Goroutine 2 is running")
            runtime.Gosched()
        }
    }()
    for {
        fmt.Println("Main Goroutine is running")
        time.Sleep(time.Second)
    }
}

在这个示例代码中，我们定义了三个 Goroutine，分别是“Goroutine 1”、“Goroutine 2”和“Main Goroutine”。其中，“Goroutine 1”和“Goroutine 2”分别不断输出自己的名称，并在每次输出后使用 runtime.Gosched() 函数让出 CPU 时间片，从而实现抢占式调度。而“Main Goroutine”每秒输出一次自己的名称，并使用 time.Sleep() 函数暂停一秒钟，从而实现协作式调度。

需要注意的是，基于信号的抢占式调度不适用于所有场景，因为频繁调用 runtime.Gosched() 函数会导致性能下降，应该根据实际需求进行选择。

41. Go 如何查 看运行时调度信息？

有 2 种方式可以查看一个程序的调度 GMP 信息，分别是 go tool trace 和 GODEBUG。

trace.go

package main
import (
    "fmt"
    "os"
    "runtime/trace"
    "time"
)
func main() {
    //创建trace文件
    f, err := os.Create("trace.out")
    if err != nil {
        panic(err)
    }
    defer f.Close()
    //启动trace goroutine
    err = trace.Start(f)
    if err != nil {
        panic(err)
    }
    defer trace.Stop()
    //main
    for i := 0; i < 5; i++ {
        time.Sleep(time.Second)
        fmt.Println("Hello World")
    }
}

go tool trace

启动可视化界面：

go run trace.go
go tool trace trace.out
2022/04/22 10:44:11 Parsing trace...
2022/04/22 10:44:11 Splitting trace...
2022/04/22 10:44:11 Opening browser. Trace viewer is listening on http://127.0.0.1:35488

打开 http://127.0.0.1:35488 查看可视化界面：

  

点击 view trace 能够看见可视化的调度流程：

  

一共有 2 个 G 在程序中，一个是特殊的 G0，是每个 M 必须有的一个初始化的 G，另外一个是 G1 main goroutine (执行 main 函数的协程)，在一段时间内处于可运行和运行的状态。

1. 点击 Thr eads 那一行可视化的数据条，我们会看到 M 详细的信息

  

一共有 2 个 M 在程序中，一个是特殊的 M0，用于初始化使用，另外一个是用于执行 G1 的 M1。

2. 点击 Proc  那一行可视化的数据条，我们会看到 P 上正在运行 goroutine 详细的信息

一共有 3 个 P 在程序中，分别是 P0、P1、P2。

  

点击具体的 Goroutine 行为后可以看到其相关联的详细信息:

Start：开始时间
Wall Duration：持续时间
Self Time：执行时间
Start Stack Trace：开始时的堆栈信息
End Stack Trace：结束时的堆栈信息
Incoming flow：输入流
Outgoing flow：输出流
Preceding events：之前的事件
Following events：之后的事件
All connected：所有连接的事件

GODEBUG

GODEBUG 变量可以控制运行时内的调试变量。查看调度器信息，将会使用如下两个参数：

  • schedtrace：设置 schedtrace=X 参数可以使运行时在每 X 毫秒发出一行调度器的摘要信息到标准 err 输出中。

  • scheddetail：设置 schedtrace=X 和 scheddetail=1 可以使运行时在每 X 毫秒发出一次详细的多行信息，信息内容主要包括调度程序、处理器、OS 线程 和 Goroutine 的状态。

查看基本信息

go build trace.go
GODEBUG=schedtrace=1000 ./trace
SCHED 0ms: gomaxprocs=8 idleprocs=6 threads=4 spinningthreads=1 idlethreads=0 runqueue=0 [1 0 0 0 0 0 0 0]
Hello World
SCHED 1010ms: gomaxprocs=8 idleprocs=8 threads=4 spinningthreads=0 idlethreads=2 runqueue=0 [0 0 0 0 0 0 0 0]
Hello World
SCHED 2014ms: gomaxprocs=8 idleprocs=8 threads=4 spinningthreads=0 idlethreads=2 runqueue=0 [0 0 0 0 0 0 0 0]
Hello World
SCHED 3024ms: gomaxprocs=8 idleprocs=8 threads=4 spinningthreads=0 idlethreads=2 runqueue=0 [0 0 0 0 0 0 0 0]
Hello World
SCHED 4027ms: gomaxprocs=8 idleprocs=8 threads=4 spinningthreads=0 idlethreads=2 runqueue=0 [0 0 0 0 0 0 0 0]
Hello World
SCHED 5029ms: gomaxprocs=8 idleprocs=7 threads=4 spinningthreads=0 idlethreads=2 runqueue=0 [0 0 0 0 0 0 0 0]

sched：每一行都代表调度器的调试信息，后面提示的毫秒数表示启动到现在的运行时间，输出的时间间隔受 schedtrace 的值影响。

gomaxprocs：当前的 CPU 核心数（GOMAXPROCS 的当前值）。

idleprocs：空闲的处理器数量，后面的数字表示当前的空闲数量。

threads：OS 线程数量，后面的数字表示当前正在运行的线程数量。

spinningthreads：自旋状态的 OS 线程数量。

idlethreads：空闲的线程数量。

runqueue：全局队列中中的 Goroutine 数量，而后面的[0 0 0 0 0 0 0 0] 则分别代表这 8 个 P 的本地队列正在运行的 Goroutine 数量。

查看详细信息

go build trace.go
GODEBUG=scheddetail=1,schedtrace=1000 ./trace
SCHED 0ms: gomaxprocs=8 idleprocs=6 threads=4 spinningthreads=1 idlethreads=0 runqueue=0 gcwaiting=0 nmidlelocked=0 stopwait=0 sysmonwait=0
  P0: status=0 schedtick=0 syscalltick=0 m=-1 runqsize=1 gfreecnt=0 timerslen=0
  P1: status=1 schedtick=0 syscalltick=0 m=2 runqsize=0 gfreecnt=0 timerslen=0
  P2: status=0 schedtick=0 syscalltick=0 m=-1 runqsize=0 gfreecnt=0 timerslen=0
  P3: status=0 schedtick=0 syscalltick=0 m=-1 runqsize=0 gfreecnt=0 timerslen=0
  P4: status=0 schedtick=0 syscalltick=0 m=-1 runqsize=0 gfreecnt=0 timerslen=0
  P5: status=0 schedtick=0 syscalltick=0 m=-1 runqsize=0 gfreecnt=0 timerslen=0
  P6: status=0 schedtick=0 syscalltick=0 m=-1 runqsize=0 gfreecnt=0 timerslen=0
  P7: status=0 schedtick=0 syscalltick=0 m=-1 runqsize=0 gfreecnt=0 timerslen=0
  M3: p=0 curg=-1 mallocing=0 throwing=0 preemptoff= locks=1 dying=0 spinning=false blocked=false lockedg=-1
  M2: p=1 curg=-1 mallocing=0 throwing=0 preemptoff= locks=2 dying=0 spinning=false blocked=false lockedg=-1
  M1: p=-1 curg=-1 mallocing=0 throwing=0 preemptoff= locks=2 dying=0 spinning=false blocked=false lockedg=-1
  M0: p=-1 curg=-1 mallocing=0 throwing=0 preemptoff= locks=1 dying=0 spinning=false blocked=false lockedg=1
  G1: status=1(chan receive) m=-1 lockedm=0
  G2: status=1() m=-1 lockedm=-1
  G3: status=1() m=-1 lockedm=-1
  G4: status=4(GC scavenge wait) m=-1 lockedm=-1

G

status：G 的运行状态。
m：隶属哪一个 M。
lockedm：是否有锁定 M。

G 的运行状态共涉及如下 9 种状态：

状态值含义
_Gidle0刚刚被分配，还没有进行初始化。
_Grunnable1已经在运行队列中，还没有执行用户代码。
_Grunning2不在运行队列里中，已经可以执行用户代码，此时已经分配了 M 和 P。
_Gsyscall3正在执行系统调用，此时分配了 M。
_Gwaiting4在运行时被阻止，没有执行用户代码，也不在运行队列中，此时它正在某处阻塞等待中。
_Gmoribund_unused5尚未使用，但是在 gdb 中进行了硬编码。
_Gdead6尚未使用，这个状态可能是刚退出或是刚被初始化，此时它并没有执行用户代码，有可能有也有可能没有分配堆栈。
_Genqueue_unused7尚未使用。
_Gcopystack8正在复制堆栈，并没有执行用户代码，也不在运行队列中。

M

p：隶属哪一个 P。
curg：当前正在使用哪个 G。
runqsize：运行队列中的 G 数量。
gfreecnt：可用的G（状态为 Gdead）。
mallocing：是否正在分配内存。
throwing：是否抛出异常。
preemptoff：不等于空字符串的话，保持 curg 在这个 m 上运行。

P

status：P 的运行状态。
schedtick：P 的调度次数。
syscalltick：P 的系统调用次数。
m：隶属哪一个 M。
runqsize：运行队列中的 G 数量。
gfreecnt：可用的G（状态为 Gdead）
状态值含义
_Pidle0刚刚被分配，还没有进行进行初始化。
_Prunning1当 M 与 P 绑定调用 acquirep 时，P 的状态会改变为 _Prunning。
_Psyscall2正在执行系统调用。
_Pgcstop3暂停运行，此时系统正在进行 GC，直至 GC 结束后才会转变到下一个状态阶段。
_Pdead4废弃，不再使用。

42. GMP 调度过程中存在哪些阻塞？

在 GMP（GNU 多精度算术库）调度过程中，可能会存在以下几种阻塞情况：

  1. IO 阻塞：当 GMP 库进行 IO 操作时，如果 IO 操作需要等待数据读取或写入，此时 GMP 库的调度可能会被阻塞。

  2. 系统调用阻塞：当 GMP 库使用系统调用时，如申请内存、获取时间等，如果系统调用需要等待结果返回，此时 GMP 库的调度可能会被阻塞。

  3. 锁竞争阻塞：当多个线程同时访问 GMP 库的同一个数据结构时，可能会出现锁竞争的情况，如果某个线程获得锁并持有锁的时间过长，其他线程的调度可能会被阻塞。

  4. 垃圾回收阻塞：在 GMP 库中，存在一种称为 “垃圾回收” 的机制，用于释放不再使用的内存。当垃圾回收机制启动时，所有线程的调度都会被暂停，直到垃圾回收完成。

总之，GMP 调度过程中的阻塞情况可能会导致程序执行时间延长，因此在编写 GMP 应用程序时需要考虑如何避免或减少阻塞情况的发生。

Pandaconda
关注
  • 17
    点赞
  • 踩
  • 14
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
go语言如何实现协程的抢占式调度的？
Hi，我是sharkchili，CSDN Java领域博客专家，开源项目JavaGuide维护人员，我想写一些有意思的东西，希望对你有帮助。
04-23 967
实现协程并发，为了避免单协程持续持有线程导致线程队列中的其他协程饥饿问题，设计者提出了一个抢占式调度机制，本文会基于一个简单的代码示例对抢占式调度过程进行深入讲解剖析。因为近期收到很多读者的私信，所以也专门创建了一个交流群，感兴趣的读者可以通过上方的公众号获取笔者的联系方式完成好友添加，点击备注。因为近期收到很多读者的私信，所以也专门创建了一个交流群，感兴趣的读者可以通过上方的公众号获取笔者的联系方式完成好友添加，点击备注。假设我们的协程没有进行额外的函数调用，是否就意味着当前协程的线程不能被抢占呢？
深度解密Go语言之基于信号的抢占式调度
梦醒人间
05-12 809
不知道大家在实际工作中有没有遇到过老版本 Go 调度器的坑：死循环导致程序“死机”。我去年就遇到过，并且搞出了一起 P0 事故，还写了篇弱智的找 bug 文章。识别事故的本质，并且用一个非...
【Golang 面试 - 进阶题】每日 3 题（四）
Newin2020的博客
07-28 1053
📚专栏简介：在这个专栏中，我将会分享 Golang 面试中常见的面试题给大家~
【Golang 面试 - 进阶题】每日 3 题（十一）
Newin2020的博客
08-01 1228
📚专栏简介：在这个专栏中，我将会分享 Golang 面试中常见的面试题给大家~
【Golang 面试 - 进阶题】每日 3 题（六）
Newin2020的博客
07-29 903
📚专栏简介：在这个专栏中，我将会分享 Golang 面试中常见的面试题给大家~
【Golang 面试 - 进阶题】每日 3 题（十）
Newin2020的博客
07-31 1007
📚专栏简介：在这个专栏中，我将会分享 Golang 面试中常见的面试题给大家~
【Golang 面试 - 进阶题】每日 3 题（十三）
Newin2020的博客
08-02 1027
📚专栏简介：在这个专栏中，我将会分享 Golang 面试中常见的面试题给大家~
【Golang 面试 - 进阶题】每日 3 题（十五）
Newin2020的博客
08-03 820
📚专栏简介：在这个专栏中，我将会分享 Golang 面试中常见的面试题给大家~
Golang 面试题、编程题、Linux 技巧整理、技术调研以及个人学习记录，每天更新 1-2 条。.zip
03-16
【标题】中的“Golang 面试题、编程题、Linux 技巧整理、技术调研以及个人学习记录”表明这是一个关于Go语言、编程面试、Linux操作系统技能和技术探索的学习资源集合。每日更新1-2条内容，说明这个资料库是持续更新...
面试摘要【持续更新】
SUNJIFENG666的博客
05-23 437
1、中熔断和限流怎么做的，熔断、降级、限流【方法：令牌桶、漏桶、滑动窗口】1）、限流有哪几种方式？我扯了阿里sentinel的令牌桶、漏斗、冷启动、自适应限流（bbr、cpu load），为什么bbr公式能做到自适应限流？当时没想明白这个问题问什么，然后面试官说了可以根据结果来做调整。参考资料：bbr服务容错：单机器多线程限流2、设计模式3、序列化工具参考资料 ：ProtoBuf ：4、百万微服务如何定位出现的微服务5、分布式 ID九种实现。
CSDN前1000名博主
热门推荐
无知人生，记录点滴
05-26 7万+
博主 简介 stpeace 排名：1 原创：2166 粉丝：7180 积分：181660 等级：10stpeace的专栏中国本博客供大家交流，欢迎各抒己见。博文中的内容禁止用 yuanmeng001 排名：2 原创：5286 粉丝：10660 积分：170616 等级：10袁萌专栏无穷小微积分倡导者–北大教授null老师 yjclsx 排名：3 原创：162...
力扣面试150 分隔链表 模拟
最新发布
人言束负
09-04 342
👨‍🏫 参考题解
操作系统面试真题总结（六）
月伴飞鱼
09-04 953
涉及的任务无法继续执行，因为每个任务都在等待其他任务释放资源，但是没有任务会释放它的资源，因为它们都在等待。这是因为CPU可以通过时间片轮转或其他任务切换策略，在各个任务之间快速切换，给人以它们在同时进行的错觉。这是一种非阻塞调用，也就是说，还没得到结果，就继续做别的事情，不会因为单一操作的等待而阻塞。这是一种阻塞调用，也就是说，进行某项操作的过程中，不得不停下来等待，直到这个操作完成。如果你的电脑有多个核心或处理器，你就可以在多个核心或处理器上同时执行多个线程，这是。，主要取决于具体的需求和场景。
测试基础｜记一次CPU冲高的排查过程！
09-04 523
背景、需求需要计算大容量环境下多个数据库数据的负载，并把分库关系迁移，以实现多个数据库节点负载均衡。现象、执行分库迁移脚本后，脚本执行进度始终保持 10%，组件 CPU 使用率冲到 95% 以上，且后台没有打印出有用的日志。
***萌新6：24点（爆搜）
2301_80718054的博客
09-04 415
来源：牛客网。
11. GIS三维建模工程师岗位职责、技术要求和常见面试题
专注GIS软件开发。
09-04 1339
GIS 三维建模工程师负责利用地理信息数据创建逼真的三维地理模型，以实现更直观的地理信息展示和分析。请介绍一下你对地理信息数据安全的理解，以及在三维建模过程中如何保障数据安全？请介绍一下你对三维地理信息系统的用户体验的理解，以及如何提高用户体验？请介绍一下你在三维建模过程中遇到的一个技术难题，以及你是如何解决的？在三维建模过程中，如何考虑模型的可扩展性和兼容性？请介绍一下你对三维建模技术在不同领域的应用的了解。请介绍一下你对三维建模技术的发展趋势的看法。如何进行三维模型的优化，以提高模型的性能？
大厂Golang面试精华：技术点全面解析
本资源集合了众多关于Golang开发工程师面试题，涵盖了广泛的IT基础知识和技术深度。以下是部分重要知识点的详细解析： 1. **Go语言channel** - `close`操作后，如果有一个或多个读goroutine阻塞在`recv`操作上，...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值