试图理解提升队列示例

我试图理解boost.org中的队列示例。特别是最简单的单生产者-单消费者队列。请考虑下面的代码。

为什么consumer_count是原子的而不是生产者_count？它们都在各自的线程中发生变化。

在声明队列的行上，为什么尖括号中有一个常量？我认为在构造foo<bar>中，bar只是foo的修饰符，就像Vector<double>一样。我知道它是在设置队列的大小，但为什么像普通函数调用那样用尖括号而不是括号呢？

查看生产者中for循环中的空while循环。如果队列已满，那么push函数将返回false。难道这会进入一个无限循环吗？

我不理解无锁定的概念。什么是锁？

为什么消费者中有2个while pop循环？

如果生产者&消费者以相同的优先级同时运行队列的大小应该徘徊在0或1附近，对吗？或者它填充然后倾倒&结束

在联接使用者线程之前，在main中设置Done。我很困惑。此代码末尾的事件顺序是什么？

#include <boost/thread/thread.hpp>
#include <boost/lockfree/spsc_queue.hpp>
#include <iostream>
#include <boost/atomic.hpp>
int producer_count = 0;
boost::atomic_int consumer_count (0);
boost::lockfree::spsc_queue<int, boost::lockfree::capacity<1024> > spsc_queue;
const int iterations = 10000000;
void producer(void)
{
    for (int i = 0; i != iterations; ++i) {
        int value = ++producer_count;
        while (!spsc_queue.push(value));
    }
}
boost::atomic<bool> done (false);
void consumer(void)
{
    int value;
    while (!done) {
        while (spsc_queue.pop(value)) ++consumer_count;
    }
    while (spsc_queue.pop(value)) ++consumer_count;
}
int main(int argc, char* argv[]) {
    using namespace std;
    cout << "boost::lockfree::queue is ";
    if (!spsc_queue.is_lock_free()) cout << "not ";
    cout << "lockfree" << endl;
    boost::thread producer_thread(producer);
    boost::thread consumer_thread(consumer);
    producer_thread.join();
    done = true;
    consumer_thread.join();
    cout << "produced " << producer_count << " objects." << endl;
    cout << "consumed " << consumer_count << " objects." << endl;
}