// File: /workspace/github_c_makefile_star2_O1/nilyang[P]redis-tdd-annotation/src/t_set.c
// Function: sunionDiffGenericCommand
void sunionDiffGenericCommand(redisClient *c, robj **setkeys, int setnum, robj *dstkey, int op) {

    // 集合数组
    robj **sets = zmalloc(sizeof(robj*)*setnum);

    setTypeIterator *si;
    robj *ele, *dstset = NULL;
    int j, cardinality = 0;
    int diff_algo = 1;

    // 取出所有集合对象，并添加到集合数组中
    for (j = 0; j < setnum; j++) {
        robj *setobj = dstkey ?
            lookupKeyWrite(c->db,setkeys[j]) :
            lookupKeyRead(c->db,setkeys[j]);

        // 不存在的集合当作 NULL 来处理
        if (!setobj) {
            sets[j] = NULL;
            continue;
        }

        // 有对象不是集合，停止执行，进行清理
        if (checkType(c,setobj,REDIS_SET)) {
            zfree(sets);
            return;
        }

        // 记录对象
        sets[j] = setobj;
    }

    /* Select what DIFF algorithm to use.
     *
     * 选择使用那个算法来执行计算
     *
     * Algorithm 1 is O(N*M) where N is the size of the element first set
     * and M the total number of sets.
     *
     * 算法 1 的复杂度为 O(N*M) ，其中 N 为第一个集合的基数，
     * 而 M 则为其他集合的数量。
     *
     * Algorithm 2 is O(N) where N is the total number of elements in all
     * the sets.
     *
     * 算法 2 的复杂度为 O(N) ，其中 N 为所有集合中的元素数量总数。
     *
     * We compute what is the best bet with the current input here. 
     *
     * 程序通过考察输入来决定使用那个算法
     */
    if (op == REDIS_OP_DIFF && sets[0]) {
        long long algo_one_work = 0, algo_two_work = 0;

        // 遍历所有集合
        for (j = 0; j < setnum; j++) {
            if (sets[j] == NULL) continue;

            // 计算 setnum 乘以 sets[0] 的基数之积
            algo_one_work += setTypeSize(sets[0]);
            // 计算所有集合的基数之和
            algo_two_work += setTypeSize(sets[j]);
        }

        /* Algorithm 1 has better constant times and performs less operations
         * if there are elements in common. Give it some advantage. */
        // 算法 1 的常数比较低，优先考虑算法 1
        algo_one_work /= 2;
        diff_algo = (algo_one_work <= algo_two_work) ? 1 : 2;

        if (diff_algo == 1 && setnum > 1) {
            /* With algorithm 1 it is better to order the sets to subtract
             * by decreasing size, so that we are more likely to find
             * duplicated elements ASAP. */
            // 如果使用的是算法 1 ，那么最好对 sets[0] 以外的其他集合进行排序
            // 这样有助于优化算法的性能
            qsort(sets+1,setnum-1,sizeof(robj*),
                qsortCompareSetsByRevCardinality);
        }
    }

    /* We need a temp set object to store our union. If the dstkey
     * is not NULL (that is, we are inside an SUNIONSTORE operation) then
     * this set object will be the resulting object to set into the target key
     *
     * 使用一个临时集合来保存结果集，如果程序执行的是 SUNIONSTORE 命令，
     * 那么这个结果将会成为将来的集合值对象。
     */
    dstset = createIntsetObject();

    // 执行的是并集计算
    if (op == REDIS_OP_UNION) {
        /* Union is trivial, just add every element of every set to the
         * temporary set. */
        // 遍历所有集合，将元素添加到结果集里就可以了
        for (j = 0; j < setnum; j++) {
            if (!sets[j]) continue; /* non existing keys are like empty sets */

            si = setTypeInitIterator(sets[j]);
            while((ele = setTypeNextObject(si)) != NULL) {
                // setTypeAdd 只在集合不存在时，才会将元素添加到集合，并返回 1 
                if (setTypeAdd(dstset,ele)) cardinality++;
                decrRefCount(ele);
            }
            setTypeReleaseIterator(si);
        }

    // 执行的是差集计算，并且使用算法 1
    } else if (op == REDIS_OP_DIFF && sets[0] && diff_algo == 1) {
        /* DIFF Algorithm 1:
         *
         * 差集算法 1 ：
         *
         * We perform the diff by iterating all the elements of the first set,
         * and only adding it to the target set if the element does not exist
         * into all the other sets.
         *
         * 程序遍历 sets[0] 集合中的所有元素，
         * 并将这个元素和其他集合的所有元素进行对比，
         * 只有这个元素不存在于其他所有集合时，
         * 才将这个元素添加到结果集。
         *
         * This way we perform at max N*M operations, where N is the size of
         * the first set, and M the number of sets. 
         *
         * 这个算法执行最多 N*M 步， N 是第一个集合的基数，
         * 而 M 是其他集合的数量。
         */
        si = setTypeInitIterator(sets[0]);
        while((ele = setTypeNextObject(si)) != NULL) {

            // 检查元素在其他集合是否存在
            for (j = 1; j < setnum; j++) {
                if (!sets[j]) continue; /* no key is an empty set. */
                if (sets[j] == sets[0]) break; /* same set! */
                if (setTypeIsMember(sets[j],ele)) break;
            }

            // 只有元素在所有其他集合中都不存在时，才将它添加到结果集中
            if (j == setnum) {
                /* There is no other set with this element. Add it. */
                setTypeAdd(dstset,ele);
                cardinality++;
            }

            decrRefCount(ele);
        }
        setTypeReleaseIterator(si);

    // 执行的是差集计算，并且使用算法 2
    } else if (op == REDIS_OP_DIFF && sets[0] && diff_algo == 2) {
        /* DIFF Algorithm 2:
         *
         * 差集算法 2 ：
         *
         * Add all the elements of the first set to the auxiliary set.
         * Then remove all the elements of all the next sets from it.
         *
         * 将 sets[0] 的所有元素都添加到结果集中，
         * 然后遍历其他所有集合，将相同的元素从结果集中删除。
         *
         * This is O(N) where N is the sum of all the elements in every set. 
         *
         * 算法复杂度为 O(N) ，N 为所有集合的基数之和。
         */
        for (j = 0; j < setnum; j++) {
            if (!sets[j]) continue; /* non existing keys are like empty sets */

            si = setTypeInitIterator(sets[j]);
            while((ele = setTypeNextObject(si)) != NULL) {
                // sets[0] 时，将所有元素添加到集合
                if (j == 0) {
                    if (setTypeAdd(dstset,ele)) cardinality++;
                // 不是 sets[0] 时，将所有集合从结果集中移除
                } else {
                    if (setTypeRemove(dstset,ele)) cardinality--;
                }
                decrRefCount(ele);
            }
            setTypeReleaseIterator(si);

            /* Exit if result set is empty as any additional removal
             * of elements will have no effect. */
            if (cardinality == 0) break;
        }
    }

    /* Output the content of the resulting set, if not in STORE mode */
    // 执行的是 SDIFF 或者 SUNION
    // 打印结果集中的所有元素
    if (!dstkey) {
        addReplyMultiBulkLen(c,cardinality);

        // 遍历并回复结果集中的元素
        si = setTypeInitIterator(dstset);
        while((ele = setTypeNextObject(si)) != NULL) {
            addReplyBulk(c,ele);
            decrRefCount(ele);
        }
        setTypeReleaseIterator(si);

        decrRefCount(dstset);

    // 执行的是 SDIFFSTORE 或者 SUNIONSTORE
    } else {
        /* If we have a target key where to store the resulting set
         * create this key with the result set inside */
        // 现删除现在可能有的 dstkey
        int deleted = dbDelete(c->db,dstkey);

        // 如果结果集不为空，将它关联到数据库中
        if (setTypeSize(dstset) > 0) {
            dbAdd(c->db,dstkey,dstset);
            // 返回结果集的基数
            addReplyLongLong(c,setTypeSize(dstset));
            notifyKeyspaceEvent(REDIS_NOTIFY_SET,
                op == REDIS_OP_UNION ? "sunionstore" : "sdiffstore",
                dstkey,c->db->id);

        // 结果集为空
        } else {
            decrRefCount(dstset);
            // 返回 0 
            addReply(c,shared.czero);
            if (deleted)
                notifyKeyspaceEvent(REDIS_NOTIFY_GENERIC,"del",
                    dstkey,c->db->id);
        }

        signalModifiedKey(c->db,dstkey);

        server.dirty++;
    }

    zfree(sets);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movl %r8d, 0xc(%rsp)
movq %rcx, %rbp
movq %rsi, %r12
movq %rdi, %r15
movq %rdx, (%rsp)
movslq %edx, %r14
leaq (,%r14,8), %rdi
callq 0x29709
movq %rax, %rbx
movl %r14d, %eax
movq %rax, 0x18(%rsp)
testl %r14d, %r14d
jle 0x3c570
xorl %r14d, %r14d
movq (%r12,%r14,8), %rsi
testq %rbp, %rbp
je 0x3c519
movq 0x8(%r15), %rdi
callq 0x31454
jmp 0x3c522
movq 0x8(%r15), %rdi
callq 0x3136a
movq %rax, %r13
testq %rax, %rax
je 0x3c54d
movq %r15, %rdi
movq %r13, %rsi
movl $0x2, %edx
callq 0x308e7
testl %eax, %eax
je 0x3c55c
movq %rbx, %rdi
callq 0x2984b
movl $0x1, %eax
jmp 0x3c562
movq $0x0, (%rbx,%r14,8)
movl $0x4, %eax
jmp 0x3c562
movq %r13, (%rbx,%r14,8)
xorl %eax, %eax
testb $0x3, %al
jne 0x3c5e3
incq %r14
cmpq %r14, 0x18(%rsp)
jne 0x3c505
movq %rbp, 0x20(%rsp)
movq %r15, 0x10(%rsp)
movl $0x1, %ebp
movl 0xc(%rsp), %r15d
cmpl $0x1, %r15d
jne 0x3c62c
cmpq $0x0, (%rbx)
je 0x3c62c
cmpl $0x0, (%rsp)
jle 0x3c5f2
xorl %r12d, %r12d
xorl %r14d, %r14d
xorl %r15d, %r15d
cmpq $0x0, (%rbx,%r12,8)
je 0x3c5c5
movq (%rbx), %rdi
callq 0x3bb8a
addq %rax, %r15
movq (%rbx,%r12,8), %rdi
callq 0x3bb8a
addq %rax, %r14
incq %r12
cmpq %r12, 0x18(%rsp)
jne 0x3c5a7
movq %r15, %rax
shrq $0x3f, %rax
addq %r15, %rax
sarq %rax
movl 0xc(%rsp), %r15d
jmp 0x3c5f7
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
xorl %eax, %eax
xorl %r14d, %r14d
xorl %ebp, %ebp
cmpq %r14, %rax
setg %bpl
incl %ebp
cmpl $0x2, (%rsp)
jl 0x3c62c
cmpq %r14, %rax
jg 0x3c62c
movq %rbx, %rdi
addq $0x8, %rdi
movq (%rsp), %rax
leal -0x1(%rax), %esi
leaq 0x414(%rip), %rcx       # 0x3ca36
movl $0x8, %edx
callq 0x1f820
callq 0x30604
movq %rax, %r12
testl %r15d, %r15d
je 0x3c6ec
xorl %r14d, %r14d
cmpl $0x1, %r15d
jne 0x3c810
movq (%rbx), %rdi
testq %rdi, %rdi
sete %al
cmpl $0x1, %ebp
setne %cl
orb %al, %cl
jne 0x3c764
callq 0x3b9ce
movq %rax, %rbp
movq %rax, %rdi
callq 0x3bab2
testq %rax, %rax
je 0x3c805
movq %rax, %r13
xorl %r14d, %r14d
movl $0x1, %r15d
cmpl $0x2, (%rsp)
jl 0x3c6bb
movl $0x1, %r15d
movq (%rbx,%r15,8), %rdi
testq %rdi, %rdi
je 0x3c6ac
cmpq (%rbx), %rdi
je 0x3c6bb
movq %r13, %rsi
callq 0x3b94d
testl %eax, %eax
jne 0x3c6bb
incq %r15
cmpq %r15, 0x18(%rsp)
jne 0x3c692
movq 0x18(%rsp), %r15
cmpl (%rsp), %r15d
jne 0x3c6cf
movq %r12, %rdi
movq %r13, %rsi
callq 0x3b674
incl %r14d
movq %r13, %rdi
callq 0x30834
movq %rbp, %rdi
callq 0x3bab2
movq %rax, %r13
testq %rax, %rax
jne 0x3c680
jmp 0x3c808
cmpl $0x0, (%rsp)
movq 0x10(%rsp), %rbp
jle 0x3c800
xorl %r15d, %r15d
xorl %r14d, %r14d
movq (%rbx,%r15,8), %rdi
testq %rdi, %rdi
je 0x3c755
callq 0x3b9ce
movq %rax, %r13
movq %rax, %rdi
callq 0x3bab2
testq %rax, %rax
je 0x3c748
movq %rax, %rbp
movq %r12, %rdi
movq %rbp, %rsi
callq 0x3b674
addl %eax, %r14d
movq %rbp, %rdi
callq 0x30834
movq %r13, %rdi
callq 0x3bab2
movq %rax, %rbp
testq %rax, %rax
jne 0x3c722
movq %r13, %rdi
callq 0x3ba3e
movq 0x10(%rsp), %rbp
incq %r15
cmpq 0x18(%rsp), %r15
jne 0x3c701
jmp 0x3c815
testq %rdi, %rdi
sete %al
cmpl $0x2, %ebp
setne %cl
cmpl $0x0, (%rsp)
setle %dl
orb %cl, %dl
orb %al, %dl
movq 0x10(%rsp), %rbp
jne 0x3c815
xorl %r15d, %r15d
xorl %r14d, %r14d
movq (%rbx,%r15,8), %rdi
testq %rdi, %rdi
je 0x3c7f4
callq 0x3b9ce
movq %rax, %r13
movq %rax, %rdi
callq 0x3bab2
testq %rax, %rax
je 0x3c7e2
movq %rax, %rbp
movq %r12, %rdi
movq %rbp, %rsi
testq %r15, %r15
je 0x3c7c2
callq 0x3b89f
subl %eax, %r14d
jmp 0x3c7ca
callq 0x3b674
addl %eax, %r14d
movq %rbp, %rdi
callq 0x30834
movq %r13, %rdi
callq 0x3bab2
movq %rax, %rbp
testq %rax, %rax
jne 0x3c7ad
movq %r13, %rdi
callq 0x3ba3e
testl %r14d, %r14d
movq 0x10(%rsp), %rbp
je 0x3c800
incq %r15
cmpq 0x18(%rsp), %r15
jne 0x3c78c
jmp 0x3c815
xorl %r14d, %r14d
jmp 0x3c815
xorl %r14d, %r14d
movq %rbp, %rdi
callq 0x3ba3e
movq 0x10(%rsp), %rbp
movq 0x20(%rsp), %r15
testq %r15, %r15
je 0x3c88b
movq 0x8(%rbp), %rdi
movq %r15, %rsi
callq 0x3174b
movq %rbp, %r14
movl %eax, %ebp
movq %r12, %rdi
callq 0x3bb8a
testq %rax, %rax
je 0x3c8e6
movq 0x8(%r14), %rdi
movq %r15, %rsi
movq %r12, %rdx
callq 0x314ef
movq %r12, %rdi
callq 0x3bb8a
movq %r14, %rdi
movq %rax, %rsi
callq 0x2dea3
cmpl $0x0, 0xc(%rsp)
leaq 0x57ae7(%rip), %rax     # 0x94356
leaq 0x57af2(%rip), %rsi     # 0x94368
cmoveq %rax, %rsi
movq 0x8(%r14), %rax
movl 0x30(%rax), %ecx
movl $0x20, %edi
jmp 0x3c918
movslq %r14d, %rsi
movq %rbp, %rdi
callq 0x2ded8
movq %r12, %rdi
callq 0x3b9ce
movq %rax, %r15
movq %rax, %rdi
callq 0x3bab2
testq %rax, %rax
je 0x3c8d4
movq %rax, %r13
movq %rbp, %rdi
movq %r13, %rsi
callq 0x2df74
movq %r13, %rdi
callq 0x30834
movq %r15, %rdi
callq 0x3bab2
movq %rax, %r13
testq %rax, %rax
jne 0x3c8b1
movq %r15, %rdi
callq 0x3ba3e
movq %r12, %rdi
callq 0x30834
jmp 0x3c93a
movq %r12, %rdi
callq 0x30834
leaq 0x8df0b(%rip), %rax     # 0xca800
movq 0x20(%rax), %rsi
movq %r14, %rdi
callq 0x2d6f0
testl %ebp, %ebp
je 0x3c920
movq 0x8(%r14), %rax
movl 0x30(%rax), %ecx
leaq 0x57b7a(%rip), %rsi     # 0x9448d
movl $0x4, %edi
movq %r15, %rdx
callq 0x608b5
movq 0x8(%r14), %rdi
movq %r15, %rsi
callq 0x316b7
leaq 0x8d675(%rip), %rax     # 0xc9fa8
incq 0x560(%rax)
movq %rbx, %rdi
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x2984b