// File: /workspace/github_c_makefile_star2_O0/nilyang[P]redis-tdd-annotation/src/sentinel.c
// Function: sentinelCheckObjectivelyDown
void sentinelCheckObjectivelyDown(sentinelRedisInstance *master) {
    dictIterator *di;
    dictEntry *de;
    int quorum = 0, odown = 0;

    // 如果当前 Sentinel 将主服务器判断为主观下线
    // 那么检查是否有其他 Sentinel 同意这一判断
    // 当同意的数量足够时，将主服务器判断为客观下线
    if (master->flags & SRI_S_DOWN) {
        /* Is down for enough sentinels? */

        // 统计同意的 Sentinel 数量（起始的 1 代表本 Sentinel）
        quorum = 1; /* the current sentinel. */

        /* Count all the other sentinels. */
        // 统计其他认为 master 进入下线状态的 Sentinel 的数量
        di = dictGetIterator(master->sentinels);
        while((de = dictNext(di)) != NULL) {
            sentinelRedisInstance *ri = dictGetVal(de);
                
            // 该 SENTINEL 也认为 master 已下线
            if (ri->flags & SRI_MASTER_DOWN) quorum++;
        }
        dictReleaseIterator(di);
        
        // 如果投票得出的支持数目大于等于判断 ODOWN 所需的票数
        // 那么进入 ODOWN 状态
        if (quorum >= master->quorum) odown = 1;
    }

    /* Set the flag accordingly to the outcome. */
    if (odown) {

        // master 已 ODOWN

        if ((master->flags & SRI_O_DOWN) == 0) {
            // 发送事件
            sentinelEvent(REDIS_WARNING,"+odown",master,"%@ #quorum %d/%d",
                quorum, master->quorum);
            // 打开 ODOWN 标志
            master->flags |= SRI_O_DOWN;
            // 记录进入 ODOWN 的时间
            master->o_down_since_time = mstime();
        }
    } else {

        // 未进入 ODOWN

        if (master->flags & SRI_O_DOWN) {

            // 如果 master 曾经进入过 ODOWN 状态，那么移除该状态

            // 发送事件
            sentinelEvent(REDIS_WARNING,"-odown",master,"%@");
            // 移除 ODOWN 标志
            master->flags &= ~SRI_O_DOWN;
        }
    }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x30, %rsp
movq %rdi, -0x8(%rbp)
movl $0x0, -0x1c(%rbp)
movl $0x0, -0x20(%rbp)
movq -0x8(%rbp), %rax
movl (%rax), %eax
andl $0x10, %eax
cmpl $0x0, %eax
je 0x7fa7c
movl $0x1, -0x1c(%rbp)
movq -0x8(%rbp), %rax
movq 0xc0(%rax), %rdi
callq 0x241d0
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rdi
callq 0x24270
movq %rax, -0x18(%rbp)
cmpq $0x0, %rax
je 0x7fa5b
movq -0x18(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movl (%rax), %eax
andl $0x40, %eax
cmpl $0x0, %eax
je 0x7fa59
movl -0x1c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1c(%rbp)
jmp 0x7fa23
movq -0x10(%rbp), %rdi
callq 0x243d0
movl -0x1c(%rbp), %eax
movq -0x8(%rbp), %rcx
cmpl 0xd0(%rcx), %eax
jl 0x7fa7a
movl $0x1, -0x20(%rbp)
jmp 0x7fa7c
cmpl $0x0, -0x20(%rbp)
je 0x7fadd
movq -0x8(%rbp), %rax
movl (%rax), %eax
andl $0x20, %eax
cmpl $0x0, %eax
jne 0x7fadb
movq -0x8(%rbp), %rdx
movl -0x1c(%rbp), %r8d
movq -0x8(%rbp), %rax
movl 0xd0(%rax), %r9d
movl $0x3, %edi
leaq 0x6a1f5(%rip), %rsi     # 0xe9ca4
leaq 0x6a1f5(%rip), %rcx     # 0xe9cab
movb $0x0, %al
callq 0x79b10
movq -0x8(%rbp), %rax
movl (%rax), %ecx
orl $0x20, %ecx
movl %ecx, (%rax)
callq 0x252e0
movq %rax, %rcx
movq -0x8(%rbp), %rax
movq %rcx, 0x90(%rax)
jmp 0x7fb16
movq -0x8(%rbp), %rax
movl (%rax), %eax
andl $0x20, %eax
cmpl $0x0, %eax
je 0x7fb14
movq -0x8(%rbp), %rdx
movl $0x3, %edi
leaq 0x6a1c1(%rip), %rsi     # 0xe9cbc
leaq 0x69530(%rip), %rcx     # 0xe9032
movb $0x0, %al
callq 0x79b10
movq -0x8(%rbp), %rax
movl (%rax), %ecx
andl $-0x21, %ecx
movl %ecx, (%rax)
jmp 0x7fb16
addq $0x30, %rsp
popq %rbp
retq
nopl (%rax)