队列

2020-06-21  本文已影响0人  达文西_Huong

数据结构与算法 --- 队列 【转载】

原文:https://www.jianshu.com/p/c8f2524ee234?utm_campaign=haruki&utm_content=note&utm_medium=reader_share&utm_source=weixin


队列结构

可以把队列想象成排队买票,先来的先买,后来的人只能站在莫问,不允许插队。

队列最大的特点就是先进先出。主要的两个操作就是入队出队。根栈一样,它既可用数组来实现,也可以用连表来实现。用数组实现的叫顺序列表,用链表实现的叫链式队列。特别是长得像一个环的循环队列。在数组实现队列的时候,会有数据搬移操作,要想解决数据搬移的问题,就需要循环数组实现的循环队列。

先进者先出,是典型的队列

后进者先出,先进者后厨,是典型的栈结构

栈只支持入栈push()和出栈pop() 两个操作

队列只支持:入队enqueue(),放一个数据到队列的尾部,出队dequeue(),从队列头部去一个元素。

image

队列跟栈一样也是一种操作受限的线性表数据结构

循环队列,阻塞队列,并发队列等具有某些额外的特性,它们在很多偏底层系统,框架,中间件的开发中,起着关键性作用。

比如高性能队列Disruotor,Linux环形缓存,都用到了循环队列并发队列。

队列的实现

用数组实现的队列叫做顺序队列,用链表实现的队列叫做链式队列。

数组实现的顺序队列

java基于数组的实现

    public class Arryqueue {
        // 数组 item, 数组大小 n
        private String[] items;
        private int n = 0;
        // head表示队头下标,tail表示队尾下标
        private int head = 0;
        private int tail = 0;

        // 申请一个大小为capacity的数组
        pubilc ArraryQueue(int capacity){
            items = new String[capacity]
            n = capacity
        }

        // 入队
        public boolean enqueue(String item) {
            // 如果tail == n 表示队列已经满了
            if(tail == n) {
                return false
            }
            items[tail ++] = item
            return true
        }

        // 出队
        public String dequeue() {
            // 如果head == tail表示队列为空
            if(head == tail){
                return null
            }
            return items[head ++]
        }
    }

队列需要两个指针: 一个head指针,指向队头;一个是tail指针,指向队尾。

当a,b,c,d依次入此队之后,队列中的head指针指向下标为0的位置,tail指针指向下标为4的位置。

image

调用两次出队操作之后,队列中head指针指向下标为2的位置,tail指针仍然指向下标为4的位置。

image

随着不停入队,出队操作,head和tail都会持续的往后移动。

当tail移动到最右边,即数组中还有空闲空间,也无法继续往队列中添加数据了。这时只需要触发依此数据的搬移操作即可:

    // 入队操作,将item放入队尾
    public boolean enqueue(String item) {
        // tail == n 表示队列末尾没有空间了
        if(tail == n) { // 队列已满
            // tail == n && head == 0,表示整个队列都占满了
            if(head == 0) { // 没有出过队
                return false
            }

            // 数据搬移
            for(int i = head;i<tail;i++){
                items[i - head] = item[i]
            }
            // 搬移完之后重新更新head和tail
            tail -= head;
            head = 0
        }
        item[tail ++] = item;
        return true
    }

上面的代码中,当队列的tail指针移动到数组的最右边后,如果有新的数据入队,就将head到tail之间的数据,整体搬移到数组中0和tail - head 的位置。

image

这种实现思路中,出对入队操作的时间复杂度是O(1)。

连表实实现的链式队列

基于链表的实现,需要head 和 tail 两个指针。分别指向链表的第一个和最后一个结点。

入队时,tail -> next = new_node, tail = tail -> next; 出队时,head = head -> next。

image
    public class QueueBasedOnLinkedList {
        // 队列的队首和队尾
        private Node head = null;
        private Node tail = null;

        // 入队
        publice void enqueue(String value){
            if(tail == null){
                Node newNode = new Node(value, null);
                head = newNode;
                tail = newNode;
            } else {
                tail.next = new Node(value,null);
                tail = tail.next
            }
        }

        // 出队
        public String dequeque() {
            if(head == null){
                return null;
            }
            String value = head.data;
            head = head.next;
            if(head == null){
                tail = null;
            }
            return value;
        }

        // 打印链表队列的所有对象
        public void printAll() {
            Node p = head;
            while(p != null){
                System.out.print(p.data + " ")
                p = p.next;
            }
            System.out.println()    // 换行
        }

        private static class Node {
            private String data;
            private Node next;

            public Node(String data, Node next){
                this.data = data;
                this.next = next;
            }
            
            public String getData() {
                return data;
            }
        }
    }

循环数组实现的队列

上面用数组实现队列的时候,在 tail == n 时,会有数据搬移操作,如果采用循环数组不需要数据搬移操作

原本数组是有头有尾的一条直线,把她首位相连形成一个环:

image

图中这个队列的大小为8,当前head = 4, tail = 7。

当中有一个新的元素a入队时,放入下标为7的位置,tail并不更新为8,而是到下标为0的位置。

当再有一个元素b入队时,将b放入下标为0的位置,然后tail加1更新为1

在a,b依次入队之后,循环队列中的元素就会变成下面这个样子:

image

确定队空和队满的判定条件

队列为空的判断条件是head == tail。

image

如上图,显然队列满的判断条件是(tail + 1) % n = head,为了避免和对空的判断条件混淆,则必须牺牲一个数组的存储空间。

java 实现代码

    public class CircularQueue{
        // 数组: items,数组大小:n
        private String[] items;
        private int n = 0;
        // head表示队头下标,tail表示队尾下标
        private int head = 0;
        private int tail = 0;

        // 申请一个大小为capacity的数组
        publice CirculeQueue(int capacity){
            items = new String[capacity]
            n = capacity
        }

        // 入队
        public boolean enqueue(String item) {
            // 队列满了
            if((tail + 1) % n == head){
                return false
            }
            items[tail] = item;
            tail = (tail + 1) % n;
            return true
        }

        // 出队
        public String dequeue() {
            // 如果head == tail 表示队列为空
            if(head == tail){
                return null
            }
            return items[(head + 1) % n]
        }
    }

队列在实际开发中的应用

阻塞队列

阻塞队列 其实就是在队列基础上增加了阻塞操作。简单来说,就是在队列为空的时候,从队头取数据会被阻塞。因此此时还没有数据可取,知道队列中有数据才能返回,如果队列已经满了,那么插入数据的操作就会阻塞,直到队列中有空闲位置后再插入数据,然后再返回。

image

使用阻塞队列,就可以轻松实现一个生产者-消费者模型

这种基于阻塞队列实现的生产者-消费者模型,可以有效地协调生产速度和消费速度。当生产者生产数据的速度过快,消费者来不及消费时,存储数据的队列很快就会满了。这个时候,生产者就阻塞等待,直到消费者消费了数据,生产者才会被唤醒继续生产

还可以通过协调生产者消费者的个数,来提高数据的处理效率。

可以多配置几个消费者,来对应一个生产者

image

基于 js 的生产者消费者模型

    var sigintCount = 0;
    var productArry = [];
    var productArrayLen = 0;
    var productLock = false;            // 锁
    var PRODUCT_ARRY_THRESHOLD = 10;    // 阈值

    // 生产者
    var producerTimer = setInterval(function () {
        if(!productLock) {
            if(!productLock) {
                productLock = true;

                if(productArrayLen < PRODUCT_ARRY_THRESHOLD) {  // 当数组中的数量小于法制
                    productArray.push('product');
                    productArrayLen++;
                    console.log('product:' + productArrayLen + '   producer.push')
                } else {    // 数组中的数量达到阈值(闲置)
                    console.log('product:' + productArrayLen + '   producer.idle')
                }

                productLock = false
            }
        }
    },500);

    // 消费者
    var consumerTimer = setInterval(function(){
        if(!productLock){
            if(!productLock){
                productLock = true

                if(productArrayLen) {   
                    // 生产者的值数量 > 0
                    var product = productArray.shift();
                    productArrayLen--;
                    console.log('product:' + productArrayLen + '   consumer.pop');
                } else {
                    // 生产者的值没有了
                    console.log('product:' + productArrayLen + '   consumer.idle');
                }

                productLock = false
            }
        }
    },1000)

    function readme() { 
        console.log('==================================================');  
        console.log('Auther  : shishuo');   
        console.log('Date    : 2014-07-05');    
        console.log('Blog    : https://blog.ibaoger.com/'); 
        console.log('Email   : shishuo365@126.com');    
        console.log('License : GNU GPL v3');    
        console.log('==================================================');
        }
    readme()

    process.stdin.resume();
    process.on('SIGINT', function(){
        sigintCount++;
        if(sigintCount > 1) {
            process.exit();
        } eles {
            clearInterval(producerTimer);
            clearInterval(consumerTimer);
            console.log('Press two times Control-C to exit.');
        }
    });

    process.on('exit', function () {
        console.log('Thank you for use. Bye bye~');
    })

以上代码:
转载请注明来自Master.R(石硕)的CSDN博客:blog.csdn.net/shishuo365 如有疑问请发邮件shishuo365#126.com(将#更换为@)

并发队列

在多线程情况下,会有多个线程同时操作队列,这个时候就会存在线程安全问题。

线程安全的队列叫做并发队列。最简单直接的实现是在enqueue(),dequeue()方法加上锁,但是锁粒度大并发度会比较低,同一时刻仅允许一个存或取操作。实际上,基于数组的循环队列,利用CAS原子操作,可以实现非常高效的并发队列。这也是循环队列比链式队列应用更加广泛的原因

有限资源池

常见的有限资源池也有线程池和数据库连接池

CPU资源是有限的,任务的处理速度与线程个数并不是线程正相关。相反,过多的线程反而导致CPU频繁切换,处理性能下降。所以线程池的大小一般都是综合考虑要处理任务的特点和硬件环境,来事先设置的。

当我们向固定大小的线程池中请求一个线程时,如果线程池中没有空闲资源了,这个时候线程如果处理这个请求?是拒绝还是排队请求?各种处理策略又是怎么实现的呢?

线程池一般有两种处理策略:

我们希望公平地处理每个排队的请求,先进者先服务,队列这种数据结构很合适来存储排队请求。

基于链表实现的队列,可以实现一个支持无限排队的无界队列(unbounded queue),但是可能会导致过多的请求排队等待,请求处理的响应时间过长。所以,针对响应时间比较敏感的系统,基于链表实现的无限排队的线程池是不合适的。

基于数组实现的有界列表(bounded queue),队列的大小有限,所以线程池中排队的请求超过队列大小时,接下来的请求就会被拒绝,这种方式对响应时间敏感系统来说,就相对更加合理。

队列设置太大导致等待的请求太多,设置太小会导致无法充分利用系统资源,发挥最大性能。

**对于大部分资源有限的场景,当没有空闲资源时,基本上都可以通过 "队列" 这种数据结构来实现请求排队。


以上

上一篇下一篇

猜你喜欢

热点阅读