[面试题~] Golang

1. 逃逸分析

1.1 逃逸分析是什么?

在编译原理中,分析指针动态范围的方法称之为逃逸分析。在Go中的表现是,如果一个对象的指针被多个方法或线程引用时,则称这个指针发生了逃逸。

所以,我认为逃逸分析指的是,通过分析变量的指针作用范围,来决定这个变量是分配在堆上还是栈上。

1.2 逃逸分析的作用是什么?

通过逃逸分析,可以把那些不需要分配在堆上的变量直接分配到栈上,堆上的变量少了,会减轻堆内存分配的开销,同时减少 GC 的压力,提高程序的运行速度。

1.3 逃逸分析是怎么完成的?

首先,Go语言逃逸分析的最基本的原则是:如果一个函数返回对一个变量的引用,那么这个变量就会发生逃逸。

其次是,编译器会分析代码的特征和代码的生命周期,Go 中的变量只有在编译器可以证明函数返回后是否会被引用。

简单地说,编译器会根据变量是否被外部引用来决定是否逃逸。

  1. 如果变量在函数外部没有引用,则优先放在栈上。
  2. 如果变量在函数外部存在引用,则必定放在堆上。

1.4 如何确定一个变量是否发生逃逸?

可以在编译的时候,启用编译器的额外支持,-gcflags输出编译器的优化细节,其中包含了逃逸分析的变量提示。

1.5 把变量分配到栈上和堆上有什么区别?

堆和栈相比,堆适合不可预知大小的内存分配。但是为此付出的代价是分配速度较慢,而且会形成内存碎片。栈内存分配则会非常快。栈分配内存只需要两个CPU指令:"PUSH"和"RELEASE",分配和释放;而堆分配内存首先需要去找到一块大小合适的内存块,之后要通过垃圾回收才能释放。

2. goroutine

2.1 为什么无法从父 goroutine 中恢复子 goroutine?

因为 goroutine 被设计为一个独立的代码执行单元,拥有自己的执行栈,不与其他 goroutine 共享任何数据。也就是说,无法让 gorourine 拥有返回值,也无法让 goroutine 拥有像 pid 那样的唯一 id 标识。

相关推荐
佛祖让我来巡山2 天前
深入理解JVM内存分配机制:大对象处理、年龄判定与空间担保
jvm·内存分配·大对象处理·空间担保·年龄判定
杨杨杨大侠2 天前
打开 JVM 黑匣子——走进 Java 字节码(一)
java·jvm·agent
J2K3 天前
JDK都25了,你还没用过ZGC?那真得补补课了
java·jvm·后端
侃侃_天下3 天前
最终的信号类
开发语言·c++·算法
Slaughter信仰3 天前
深入理解Java虚拟机:JVM高级特性与最佳实践(第3版)第十章知识点问答(10题)
java·jvm·数据库
echoarts3 天前
Rayon Rust中的数据并行库入门教程
开发语言·其他·算法·rust
Aomnitrix3 天前
知识管理新范式——cpolar+Wiki.js打造企业级分布式知识库
开发语言·javascript·分布式
每天回答3个问题3 天前
UE5C++编译遇到MSB3073
开发语言·c++·ue5
伍哥的传说3 天前
Vite Plugin PWA – 零配置构建现代渐进式Web应用
开发语言·前端·javascript·web app·pwa·service worker·workbox
小莞尔3 天前
【51单片机】【protues仿真】 基于51单片机八路抢答器系统
c语言·开发语言·单片机·嵌入式硬件·51单片机