在Go语言中，一个协程（goroutine）能否保证始终绑定在同一个内核线程上执行？
考察说明
考查对Go调度器GMP模型的理解，以及协程与内核线程绑定关系的认识。
回答思路
- 【回答框架 1】Go调度器采用GMP模型，M代表内核线程，P代表逻辑处理器，G代表goroutine。P是G执行所需的上下文环境，M与P绑定后运行P队列中的G。默认情况下，内核线程数量可能多于CPU核心数，但M与P的绑定并不固定，G在P之间迁移。
- 【回答框架 2】goroutine并不保证固定在内核线程上。Go语言通过调度器将G分配给某个P，P关联的M执行。当G发生阻塞（如系统调用、channel操作）或抢占时，调度器会将G从当前M移除，放入另一个P的队列，之后由另一个M执行。
- 【回答框架 3】在Go 1.14之后引入了异步抢占，基于信号机制强制让出CPU，进一步增强了G的迁移性。因此，一个G可能在不同的M（内核线程）上被调度执行，不能保证绑定在同一个内核线程上。
- 【回答框架 4】如果希望限制G在特定线程上运行，可以通过runtime.LockOSThread将当前goroutine锁定到其所在的操作系统线程，但这是显式操作，且通常不推荐，因为会影响调度。
- 【关键点 1】Go调度器基于GMP模型，G可在P之间迁移，M与G不固定绑定。
- 【关键点 2】阻塞、抢占或系统调用都可能导致G在不同内核线程上执行。
- 【关键点 3】runtime.LockOSThread可显式锁定goroutine到当前线程，但破坏了调度器的灵活性。
- 【易错点 1】误认为goroutine与线程一一对应，实际上goroutine是用户态协程，由调度器管理。
- 【易错点 2】认为LockOSThread是默认行为，实际默认无绑定，且过度使用会导致线程阻塞和资源浪费。