请实现一个生产者-消费者模型，要求消息主键递增，并保证并发环境下的正确性。

回答思路

1. 说明生产者与消费者的职责划分
2. 设计主键递增机制，考虑并发环境下防重与顺序
3. 选择并说明合适的同步机制（如锁、条件变量、阻塞队列）
4. 处理消费者与生产者速度不匹配及线程安全
5. 给出可测试的关键代码或伪代码