[面试题~] 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 标识。

相关推荐
qianbo_insist23 分钟前
c++ python 共享内存
开发语言·c++·python
今天背单词了吗98037 分钟前
算法学习笔记:8.Bellman-Ford 算法——从原理到实战,涵盖 LeetCode 与考研 408 例题
java·开发语言·后端·算法·最短路径问题
CoderPractice43 分钟前
C#控制台小项目-飞行棋
开发语言·c#·小游戏·飞行棋
Coding小公仔1 小时前
LeetCode 151. 反转字符串中的单词
开发语言·c++·算法
程序猿阿伟1 小时前
《声音的变形记:Web Audio API的实时特效法则》
开发语言·前端·php
Humbunklung2 小时前
Rust方法语法:赋予结构体行为的力量
开发语言·后端·rust
萧曵 丶2 小时前
Rust 内存结构:深入解析
开发语言·后端·rust
算法练习生2 小时前
Qt核心类QWidget及其派生类详解
开发语言·c++·qt
1024小神2 小时前
tauri项目在windows上的c盘没有权限写入文件
c语言·开发语言·windows