both processes can starve.
initially S=0, process P1 can only start the execution.
Process P1 can execute again and again without giving a chance to process P2. So P2 can starve.
Process P1 starts the execution, P1 preempts, P2 starts its execution, now P2 can keep on running without giving a chance to P1, hence P1 can also starve.