go协程调度的三个问题（具体看描述）？

Question

最近了解了很多关于go协程的原理，但是还有几点疑问：
1. 程序在初始化时是只创建一个M和一个P吗？还是一个M和多个P（P的数量为cpu核心数）？
2. 在当前的正在运行的协程G中，如果也新建一个协程G，那这个新的G是直接放在当前P的等待队列中？还是放在其他空闲的P的等待队列？亦或者新建一个P（如果P的数量小于cpu核心数），然后放在这个P的队列中？
3. 当一个P的等待队列已经没有G，具体是如何从别的P中抢协程的？万一两个不同的P都同时从同一个P中抢协程，那么P的等待队列岂不是需要加同步机制？

悬赏没多少了，希望有看过源码的回答一下，谢谢！

Answer 1

主要看雨痕的笔记，受益匪浅！
我自己回答一下：
1、程序启动创建一个M和cpu核心数个P，大多数情况下P的数量不会变，M会有最大数限制。
2、新建的G放在本地队列，如果本地队列放满（本地队列最多256个）就放在全局队列，然后唤醒空闲的P（如果存在的话）
3、P的等待队列操作是使用CAS来保证一致性的，因为确实存在多个线程同时从一个等待队列取G