【正确答案】 D

【答案解析】本题考查信号量的功能。在多道程序系统中，信号量机制是一种有效的实现进程同步与互斥的工具。进程执行的前趋关系实质上是指进程的同步关系。除此以外，只有进程的并发执行不需要信号量来控制，因此正确答案为D。