问答题 Lamport面包店互斥算法是否会出现饿死情况？

问答题 设CR1是关于一组共享变量SV1的临界区域，CR2是关于另外一组共享变量SV2的临界区域，当进程P1进入CR1时，进程P2是否可以进入CR2？为什么？

问答题 试分析临界区域的大小与系统并发性之间的关系。