G-P-M 模型是 Go 语言中用于并发编程的模型，其机制如下：

1. G：Goroutine（协程）。Goroutine 是 Go 语言中轻量级的线程实现，可以同时执行多个 Goroutine，每个 Goroutine 都可以独立运行和调度，不受外部线程的干扰。

2. P：Processor（处理器）。Processor 是 Goroutine 的物理承载者，负责执行和调度 Goroutine。一个 P 可以承载多个 Goroutine，但只能有一个 Goroutine 在一个时刻运行。

3. M：Machine（机器）。Machine 是操作系统中的线程，Goroutine 和 Processor 都运行在 Machine 上。一个 Machine 可以承载多个 Processor 和 Goroutine，但是一个 Goroutine 只能在一个 Processor 上运行。

G-P-M 模型的机制如下：

1. 当一个 Goroutine 启动时，它会被分配到一个 Processor 上运行。

2. 如果 Processor 上的 Goroutine 队列已满，则会启动一个新的 Processor。

3. 如果一个 Processor 上的 Goroutine 长时间运行或者发生阻塞，则会被停止并重新分配到其他 Processor 上。

4. 如果一个 Processor 上没有 Goroutine 运行，则会主动去找其他 Processor 上的 Goroutine 运行。

5. 当一个 Machine 的资源不足时，Go 运行时会启动更多的 Machine。

通过 G-P-M 模型，Go 语言可以实现高并发和高效率的程序运行，充分利用硬件资源，避免了线程和进程的开销和复杂性。