在生产者 - 消费者问题中，假设缓冲区大小为 5，用信号量实现同步与互斥。下列关于信号量初值的描述，正确的是？

A. 互斥信号量 mutex 初值为 5，空缓冲区信号量 empty 初值为 1，满缓冲区信号量 full 初值为 0

B. 互斥信号量 mutex 初值为 1，空缓冲区信号量 empty 初值为 5，满缓冲区信号量 full 初值为 0

C. 互斥信号量 mutex 初值为 1，空缓冲区信号量 empty 初值为 0，满缓冲区信号量 full 初值为 5

D. 互斥信号量 mutex 初值为 5，空缓冲区信号量 empty 初值为 0，满缓冲区信号量 full 初值为 1