C++20 信号量的生产者和消费者问题

问：

这是使用改编自维基百科 https://en.wikipedia.org/wiki/Producer%E2%80%93consumer_problem 的 c++20 信号量的生产者和消费者问题实现。我们还需要 std：：lock_guardstd：：mutex g（mtx）;吗？

#include <thread>
#include <mutex>
#include <semaphore>

std::queue<int> q;
std::counting_semaphore<N> full{0};
std::counting_semaphore<N> empty{N};
std::mutex mtx;

void produce() {
  for (;;) {
    int item = 0;
    empty.acquire();
    {
      std::lock_guard<std::mutex> g(mtx);
      q.push(item);
    }
    full.release();
  }
}

void consume() {
  for (;;) {
    full.acquire();
    {
      std::lock_guard<std::mutex> g(mtx);
      int item = q.front();
      q.pop();
    }
    empty.release();
  }
}

int main() {
  std::thread t1(producer);
  std::thread t2(consumer);
  t1.join();
  t2.join();
}

据我了解，信号量已经排除了。为什么我们需要另一个lock_guard？