1

假设我在 Java 中实现了 Herlihy-Wing 队列:

public class HWQueue<T> {
    AtomicReference<T>[] items;
    AtomicInteger tail;
    static final int CAPACITY = 1024;

    public HWQueue() {
        items =(AtomicReference<T>[])Array.newInstance(AtomicReference.class, CAPACITY);
        for (int i = 0; i < items.length; i++) {
            items[i] = new AtomicReference<T>(null);
            // Each value in 'items' set to 'null' 
            // to indicate empty position for enqueue
        }
        tail = new AtomicInteger(0);
    }

    public void enq(T x) {
        int i = tail.getAndIncrement();
        items[i].set(x);
    }

    public T deq() {
        while (true) {
            int range = tail.get();
            for (int i = 0; i < range; i++) {
                T value = items[i].getAndSet(null);
                if (value != null) {
                    return value;
                }
            }
        }
    }
}

我正在使用数组的类型atomic<int *>数据类型。items但是在入队方法中,我需要做类似的事情items[i].store(&x),这显然是错误的,因为它是一个悬空的参考。如何正确执行此操作?如果我使用堆,我也不知道何时释放该内存。我怎样才能做到这一点?

4

0 回答 0