qemu-devel.nongnu.org archive mirror
 help / color / mirror / Atom feed
From: "Philippe Mathieu-Daudé" <philmd@linaro.org>
To: Gustavo Romero <gustavo.romero@linaro.org>,
	Thomas Huth <thuth@redhat.com>,
	qemu-devel@nongnu.org
Cc: lvivier@redhat.com, pbonzini@redhat.com
Subject: Re: [PATCH] test/qtest: Add an API function to capture IRQ toggling
Date: Wed, 13 Dec 2023 10:15:05 +0100	[thread overview]
Message-ID: <2ebd589c-f25c-4751-823c-10d7ddcb2a02@linaro.org> (raw)
In-Reply-To: <048454b2-86c3-4bda-5197-bfe44e864586@linaro.org>

On 13/11/23 18:33, Gustavo Romero wrote:
>>>> Currently the QTest API does not provide a function to allow capturing
>>>> when an IRQ line is toggled (raised then lowered). Functions like
>>>> qtest_get_irq() read the current state of the intercepted IRQ lines,
>>>> which is already low when the function is called, since the line is
>>>> toggled.
>>>>
>>>> This commit introduces a new function, qtest_get_irq_trigger_counter(),
>>>> which returns the number of times a given intercepted IRQ line was
>>>> triggered (raised), hence allowing to capture when an IRQ line was
>>>> toggled.
>>>>
>>>> Signed-off-by: Gustavo Romero <gustavo.romero@linaro.org>
>>>> ---
>>>>   tests/qtest/libqtest.c | 12 ++++++++++++
>>>>   tests/qtest/libqtest.h |  9 +++++++++
>>>>   2 files changed, 21 insertions(+)
>>>>
>>>> diff --git a/tests/qtest/libqtest.c b/tests/qtest/libqtest.c
>>>> index f33a210861..21891b52f1 100644
>>>> --- a/tests/qtest/libqtest.c
>>>> +++ b/tests/qtest/libqtest.c
>>>> @@ -82,6 +82,7 @@ struct QTestState
>>>>       int expected_status;
>>>>       bool big_endian;
>>>>       bool irq_level[MAX_IRQ];
>>>> +    uint64_t irq_trigger_counter[MAX_IRQ];
>>>>       GString *rx;
>>>>       QTestTransportOps ops;
>>>>       GList *pending_events;
>>>> @@ -498,6 +499,7 @@ static QTestState *qtest_init_internal(const 
>>>> char *qemu_bin,
>>>>       s->rx = g_string_new("");
>>>>       for (i = 0; i < MAX_IRQ; i++) {
>>>>           s->irq_level[i] = false;
>>>> +        s->irq_trigger_counter[i] = 0;
>>>>       }
>>>>       /*
>>>> @@ -690,6 +692,7 @@ redo:
>>>>           if (strcmp(words[1], "raise") == 0) {
>>>>               s->irq_level[irq] = true;
>>>> +            s->irq_trigger_counter[irq]++;
>>
>> This is 'irq_raised_counter',
>>
>>> Not sure whether you can get some "raise" events in a row without 
>>> some "lower" events in between ... but just in case, I wonder whether 
>>> it would make sense to check whether it is really a rising edge, i.e.:
>>>
>>>             if (strcmp(words[1], "raise") == 0) {
>>>                 if (!s->irq_level[irq]) {
>>>                     s->irq_trigger_counter[irq]++;
>>>                 }
>>>                 s->irq_level[irq] = true;
>>>
>>> What do you think?
>>
>> This is 'irq_pulsed_counter'. 'irq_lowered_counter' could also be
>> useful (at least for completeness).
> 
> I understand that the code provided by Thomas actually has the exactly same
> effect as my code. This happens because a "raise" (or "low) message is
> not sent by the "server" side unless a transition state low -> high 
> happens,
> so the check 'if (!s->irq_level[irq]) { ... }' is always true. So it's 
> still
> capturing the raising state transition (as a side note, when one intercepts
> an IRQ the current state of the IRQ line is saved -- so the old IRQ 
> state is
> always valid). Therefore, also as a consequence, like Thomas said, it's not
> possible to get a 'raise' event in a row without a 'lower' event in 
> between.
> 
> Based on your comments, I gave a second thought on 'trigger' meaning. I 
> think
> 'trigger' refers to an event or action that automatically initiates a
> procedure. Since raising an IRQ line does not always mean to generate an 
> IRQ,
> since the like can be active low in a device, maybe I should avoid using
> trigger and synonymous for raising.
> 
> I think since 'toggle' means to switch back and forth between two modes or
> states, yep, it seems ok to me to use it as a synonymous for 'pulse'.

One definition of "to toggle" is:
'''
switch from one effect, feature, or state to another by using a toggle.
'''

"pulsate":
'''
expand and contract with strong regular movements.
'''

Maybe 'pulse' is simpler to understand?

> Hence, I removed the word 'trigger' from the API function name and 
> elsewhere.
> 
> Right, I think having a qtest_get_irq_lowered_counter() is better and also,
> when used together with qtest_get_irq_raised_counter(), it's possible for a
> test to check pulses on the IRQ lines.
> 
> 
>> Per Gustavo's description, he indeed wants irq_pulsed_counter (or
>> irq_toggled_counter'.
>>
> 
> That's a good point. So far I was testing just the high -> low transition,
> but in fact the most correct way to test the device is also check for
> a high -> low transition (so, yeah, indeed test a pulse).
> 
> In the device I have:
> 
> [...]
>      /*
>       * Toggle device's output line, which is connected to interrupt 
> controller,
>       * generating an interrupt request to the CPU.
>       */
>      qemu_set_irq(s->irq, true);
>      qemu_set_irq(s->irq, false);

This is qemu_irq_pulse() from include/hw/irq.h.

> }
> 
> Thus having both qtest_get_irq_{lowered,raised}_counter() allows capturing
> an IRQ toggle, for instance, as the following, where exactly 1 pulse is 
> tested:
> 
>      uint64_t num_raises;
>      uint64_t num_lows;
> 
>      while (1) {
>          if ((num_raises = qtest_get_irq_raised_counter(qts, 0))) {
>              num_lows = qtest_get_irq_lowered_counter(qts, 0);
>              if (num_raises == num_lows && num_lows == 1) {
>                  printf("Detected correct number of pulses.\n");
>                  return 0;
>              } else {
>                  printf("Detected incorrect number of pulses.\n");
>                  return 1;
>              }
>          }
>      }
> 
>>>
>>>>           } else {
>>>>               s->irq_level[irq] = false;
>>>>           }
>>>
>>> Anyway:
>>> Acked-by: Thomas Huth <thuth@redhat.com>
> I'm sending a v2 with qtest_get_irq_lowered_counter().
> 
> Thanks!
> 
> 
> Cheers,
> Gustavo



  reply	other threads:[~2023-12-13  9:15 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2023-11-12  1:38 [PATCH] test/qtest: Add an API function to capture IRQ toggling Gustavo Romero
2023-11-13  6:59 ` Thomas Huth
2023-11-13 10:14   ` Philippe Mathieu-Daudé
2023-11-13 17:33     ` Gustavo Romero
2023-12-13  9:15       ` Philippe Mathieu-Daudé [this message]
2024-02-21 15:47         ` Gustavo Romero

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=2ebd589c-f25c-4751-823c-10d7ddcb2a02@linaro.org \
    --to=philmd@linaro.org \
    --cc=gustavo.romero@linaro.org \
    --cc=lvivier@redhat.com \
    --cc=pbonzini@redhat.com \
    --cc=qemu-devel@nongnu.org \
    --cc=thuth@redhat.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).