On 02/05/16 22:54, Sergey Fedorov wrote:
> Hi,
>
> I can't figure out how this field is used. The comment says it's
> "Currently executing TB", but actually it's the first TB in a chain of
> TBs executed. Grep shows the only place it is really checked is
> tb_invalidate_phys_page_range(). That code seems to be introduced long
> ago in:
>
>     commit ea1c18022edd0e2c45552d6fc2da6e15a3486b33
>     Author: bellard <bellard@c046a42c-6fe2-441c-8c8c-71466251a162>
>     Date:   Mon Jun 14 18:56:36 2004 +0000
>
>         fixed self modifying code in case of asynchronous interrupt
>
>
> I suspect it's only related to user emulation. But I would appreciate
> if someone could give me an idea of how this really works :)

UPD: 'CPUState::current_tb' was used in that version of QEMU by this code:

    /* mask must never be zero, except for A20 change call */
    void cpu_interrupt(CPUState *env, int mask)
    {              
        TranslationBlock *tb;
        static int interrupt_lock;
                             
        env->interrupt_request |= mask;
        /* if the cpu is currently executing code, we must unlink it and
           all the potentially executing TB */
        tb = env->current_tb;
        if (tb && !testandset(&interrupt_lock)) {
            env->current_tb = NULL;
            tb_reset_jump_recursive(tb);
            interrupt_lock = 0;
        }
    }


cpu_interrupt() has changed almost completely since that time. I'm
wondering if checking 'cpu->current_tb' by this code in
tb_invalidate_phys_page_range() still makes any sense:

    if (cpu->interrupt_request && cpu->current_tb) {
        cpu_interrupt(cpu, cpu->interrupt_request);
    }


BTW, I'm not sure about the purpose of this piece of code either :)

Kind regards,
Sergey

Reply via email to