* [dpdk-dev] [PATCH] examples/timer: fix incorrect time interval
@ 2021-04-15 7:12 Min Hu (Connor)
2021-04-21 18:34 ` Thomas Monjalon
` (3 more replies)
0 siblings, 4 replies; 10+ messages in thread
From: Min Hu (Connor) @ 2021-04-15 7:12 UTC (permalink / raw)
To: dev; +Cc: ferruh.yigit, rsanford, erik.g.carrillo
From: Chengchang Tang <tangchengchang@huawei.com>
Timer sample example assumes that the frequency of the timer is about
2Ghz to control the period of calling rte_timer_manage(). But this
assumption is easy to fail. For example. the frequency of tsc on ARM64
is much less than 2Ghz.
This patch uses the frequency of the current timer to calculate the
correct time interval to ensure consistent result on all platforms.
In addition, the rte_rdtsc() is replaced with the more recommended
rte_get_timer_cycles function in this patch.
Fixes: af75078fece3 ("first public release")
Cc: stable@dpdk.org
Signed-off-by: Chengchang Tang <tangchengchang@huawei.com>
Signed-off-by: Min Hu (Connor) <humin29@huawei.com>
---
examples/timer/main.c | 22 ++++++++++++----------
1 file changed, 12 insertions(+), 10 deletions(-)
diff --git a/examples/timer/main.c b/examples/timer/main.c
index 5a57e48..05f4a9f 100644
--- a/examples/timer/main.c
+++ b/examples/timer/main.c
@@ -18,8 +18,7 @@
#include <rte_timer.h>
#include <rte_debug.h>
-#define TIMER_RESOLUTION_CYCLES 20000000ULL /* around 10ms at 2 Ghz */
-
+static uint64_t timer_resolution_cycles;
static struct rte_timer timer0;
static struct rte_timer timer1;
@@ -66,15 +65,16 @@ lcore_mainloop(__rte_unused void *arg)
while (1) {
/*
- * Call the timer handler on each core: as we don't
- * need a very precise timer, so only call
- * rte_timer_manage() every ~10ms (at 2Ghz). In a real
- * application, this will enhance performances as
- * reading the HPET timer is not efficient.
+ * Call the timer handler on each core: as we don't need a
+ * very precise timer, so only call rte_timer_manage()
+ * every ~10ms. since rte_eal_hpet_init() has not been
+ * called, the rte_rdtsc() will be used at runtime.
+ * In a real application, this will enhance performances
+ * as reading the HPET timer is not efficient.
*/
- cur_tsc = rte_rdtsc();
+ cur_tsc = rte_get_timer_cycles();
diff_tsc = cur_tsc - prev_tsc;
- if (diff_tsc > TIMER_RESOLUTION_CYCLES) {
+ if (diff_tsc > timer_resolution_cycles) {
rte_timer_manage();
prev_tsc = cur_tsc;
}
@@ -100,8 +100,10 @@ main(int argc, char **argv)
rte_timer_init(&timer0);
rte_timer_init(&timer1);
- /* load timer0, every second, on main lcore, reloaded automatically */
hz = rte_get_timer_hz();
+ timer_resolution_cycles = hz * 10 / 1000; /* around 10ms */
+
+ /* load timer0, every second, on main lcore, reloaded automatically */
lcore_id = rte_lcore_id();
rte_timer_reset(&timer0, hz, PERIODICAL, lcore_id, timer0_cb, NULL);
--
2.7.4
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [dpdk-dev] [PATCH] examples/timer: fix incorrect time interval
2021-04-15 7:12 [dpdk-dev] [PATCH] examples/timer: fix incorrect time interval Min Hu (Connor)
@ 2021-04-21 18:34 ` Thomas Monjalon
2021-04-22 1:38 ` Chengchang Tang
2021-04-21 19:12 ` Carrillo, Erik G
` (2 subsequent siblings)
3 siblings, 1 reply; 10+ messages in thread
From: Thomas Monjalon @ 2021-04-21 18:34 UTC (permalink / raw)
To: Min Hu (Connor)
Cc: dev, ferruh.yigit, rsanford, erik.g.carrillo, bruce.richardson
15/04/2021 09:12, Min Hu (Connor):
> From: Chengchang Tang <tangchengchang@huawei.com>
>
> Timer sample example assumes that the frequency of the timer is about
> 2Ghz to control the period of calling rte_timer_manage(). But this
> assumption is easy to fail. For example. the frequency of tsc on ARM64
> is much less than 2Ghz.
So rte_timer_manage() will be called less often, yes.
> This patch uses the frequency of the current timer to calculate the
> correct time interval to ensure consistent result on all platforms.
I am not sure about making the example more complex.
What is the issue with the previous value?
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [dpdk-dev] [PATCH] examples/timer: fix incorrect time interval
2021-04-15 7:12 [dpdk-dev] [PATCH] examples/timer: fix incorrect time interval Min Hu (Connor)
2021-04-21 18:34 ` Thomas Monjalon
@ 2021-04-21 19:12 ` Carrillo, Erik G
2021-05-05 21:37 ` Thomas Monjalon
2021-05-06 9:29 ` [dpdk-dev] [PATCH v2] " Min Hu (Connor)
3 siblings, 0 replies; 10+ messages in thread
From: Carrillo, Erik G @ 2021-04-21 19:12 UTC (permalink / raw)
To: Min Hu (Connor), dev; +Cc: Yigit, Ferruh, rsanford
> -----Original Message-----
> From: Min Hu (Connor) <humin29@huawei.com>
> Sent: Thursday, April 15, 2021 2:12 AM
> To: dev@dpdk.org
> Cc: Yigit, Ferruh <ferruh.yigit@intel.com>; rsanford@akamai.com; Carrillo,
> Erik G <erik.g.carrillo@intel.com>
> Subject: [PATCH] examples/timer: fix incorrect time interval
>
> From: Chengchang Tang <tangchengchang@huawei.com>
>
> Timer sample example assumes that the frequency of the timer is about
> 2Ghz to control the period of calling rte_timer_manage(). But this
> assumption is easy to fail. For example. the frequency of tsc on ARM64 is
> much less than 2Ghz.
>
> This patch uses the frequency of the current timer to calculate the correct
> time interval to ensure consistent result on all platforms.
>
> In addition, the rte_rdtsc() is replaced with the more recommended
> rte_get_timer_cycles function in this patch.
>
> Fixes: af75078fece3 ("first public release")
> Cc: stable@dpdk.org
>
> Signed-off-by: Chengchang Tang <tangchengchang@huawei.com>
> Signed-off-by: Min Hu (Connor) <humin29@huawei.com>
This LGTM - thanks.
Acked-by: Erik Gabriel Carrillo <erik.g.carrillo@intel.com>
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [dpdk-dev] [PATCH] examples/timer: fix incorrect time interval
2021-04-21 18:34 ` Thomas Monjalon
@ 2021-04-22 1:38 ` Chengchang Tang
0 siblings, 0 replies; 10+ messages in thread
From: Chengchang Tang @ 2021-04-22 1:38 UTC (permalink / raw)
To: Thomas Monjalon, Min Hu (Connor)
Cc: dev, ferruh.yigit, rsanford, erik.g.carrillo, bruce.richardson
Hi
On 2021/4/22 2:34, Thomas Monjalon wrote:
> 15/04/2021 09:12, Min Hu (Connor):
>> From: Chengchang Tang <tangchengchang@huawei.com>
>>
>> Timer sample example assumes that the frequency of the timer is about
>> 2Ghz to control the period of calling rte_timer_manage(). But this
>> assumption is easy to fail. For example. the frequency of tsc on ARM64
>> is much less than 2Ghz.
>
> So rte_timer_manage() will be called less often, yes.
>
>> This patch uses the frequency of the current timer to calculate the
>> correct time interval to ensure consistent result on all platforms.
>
> I am not sure about making the example more complex.
> What is the issue with the previous value?
>
In my understanding, the example should illustrate the standard usage of
related functions. Some of our customers did not know the difference in
tsc frequency between arm and x86 when using our SoC. As a result, some
misunderstanding are caused. So I think I could explain a more general
approach in the example, which will help these new users. When using a
timer, we must first know its frequency. So I've added a frequency
acquisition process to the example, so that new users can realize that
there are differences between different platforms, so that they can design
more general programs.
>
>
>
> .
>
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [dpdk-dev] [PATCH] examples/timer: fix incorrect time interval
2021-04-15 7:12 [dpdk-dev] [PATCH] examples/timer: fix incorrect time interval Min Hu (Connor)
2021-04-21 18:34 ` Thomas Monjalon
2021-04-21 19:12 ` Carrillo, Erik G
@ 2021-05-05 21:37 ` Thomas Monjalon
2021-05-06 2:06 ` Chengchang Tang
2021-05-06 9:29 ` [dpdk-dev] [PATCH v2] " Min Hu (Connor)
3 siblings, 1 reply; 10+ messages in thread
From: Thomas Monjalon @ 2021-05-05 21:37 UTC (permalink / raw)
To: Min Hu (Connor); +Cc: dev, ferruh.yigit, rsanford, erik.g.carrillo
15/04/2021 09:12, Min Hu (Connor):
> From: Chengchang Tang <tangchengchang@huawei.com>
>
> Timer sample example assumes that the frequency of the timer is about
> 2Ghz to control the period of calling rte_timer_manage(). But this
> assumption is easy to fail. For example. the frequency of tsc on ARM64
> is much less than 2Ghz.
>
> This patch uses the frequency of the current timer to calculate the
> correct time interval to ensure consistent result on all platforms.
>
> In addition, the rte_rdtsc() is replaced with the more recommended
> rte_get_timer_cycles function in this patch.
>
> Fixes: af75078fece3 ("first public release")
> Cc: stable@dpdk.org
>
> Signed-off-by: Chengchang Tang <tangchengchang@huawei.com>
> Signed-off-by: Min Hu (Connor) <humin29@huawei.com>
[...]
> /*
> - * Call the timer handler on each core: as we don't
> - * need a very precise timer, so only call
> - * rte_timer_manage() every ~10ms (at 2Ghz). In a real
> - * application, this will enhance performances as
> - * reading the HPET timer is not efficient.
> + * Call the timer handler on each core: as we don't need a
> + * very precise timer, so only call rte_timer_manage()
> + * every ~10ms. since rte_eal_hpet_init() has not been
> + * called, the rte_rdtsc() will be used at runtime.
I don't understand this last sentence.
> + * In a real application, this will enhance performances
> + * as reading the HPET timer is not efficient.
> */
> - cur_tsc = rte_rdtsc();
> + cur_tsc = rte_get_timer_cycles();
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [dpdk-dev] [PATCH] examples/timer: fix incorrect time interval
2021-05-05 21:37 ` Thomas Monjalon
@ 2021-05-06 2:06 ` Chengchang Tang
2021-05-06 8:08 ` Thomas Monjalon
0 siblings, 1 reply; 10+ messages in thread
From: Chengchang Tang @ 2021-05-06 2:06 UTC (permalink / raw)
To: Thomas Monjalon, Min Hu (Connor)
Cc: dev, ferruh.yigit, rsanford, erik.g.carrillo
On 2021/5/6 5:37, Thomas Monjalon wrote:
> 15/04/2021 09:12, Min Hu (Connor):
>> From: Chengchang Tang <tangchengchang@huawei.com>
>>
>> Timer sample example assumes that the frequency of the timer is about
>> 2Ghz to control the period of calling rte_timer_manage(). But this
>> assumption is easy to fail. For example. the frequency of tsc on ARM64
>> is much less than 2Ghz.
>>
>> This patch uses the frequency of the current timer to calculate the
>> correct time interval to ensure consistent result on all platforms.
>>
>> In addition, the rte_rdtsc() is replaced with the more recommended
>> rte_get_timer_cycles function in this patch.
>>
>> Fixes: af75078fece3 ("first public release")
>> Cc: stable@dpdk.org
>>
>> Signed-off-by: Chengchang Tang <tangchengchang@huawei.com>
>> Signed-off-by: Min Hu (Connor) <humin29@huawei.com>
> [...]
>> /*
>> - * Call the timer handler on each core: as we don't
>> - * need a very precise timer, so only call
>> - * rte_timer_manage() every ~10ms (at 2Ghz). In a real
>> - * application, this will enhance performances as
>> - * reading the HPET timer is not efficient.
>> + * Call the timer handler on each core: as we don't need a
>> + * very precise timer, so only call rte_timer_manage()
>> + * every ~10ms. since rte_eal_hpet_init() has not been
>> + * called, the rte_rdtsc() will be used at runtime.
>
> I don't understand this last sentence.
>
This is explaining why we can use rte_get_timer_cycles() instead of rte_rdtsc().
In this example, we call tsc to improve its performance. So, we invoked rte_rdtsc()
here. Now the function rte_get_timer_cycles() encapsulates these counters. It will
invoke the corresponding counter according to the user's initialization of the counter.
>> + * In a real application, this will enhance performances
>> + * as reading the HPET timer is not efficient.
>> */
>> - cur_tsc = rte_rdtsc();
>> + cur_tsc = rte_get_timer_cycles();
>
>
>
>
> .
>
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [dpdk-dev] [PATCH] examples/timer: fix incorrect time interval
2021-05-06 2:06 ` Chengchang Tang
@ 2021-05-06 8:08 ` Thomas Monjalon
2021-05-06 8:23 ` Chengchang Tang
0 siblings, 1 reply; 10+ messages in thread
From: Thomas Monjalon @ 2021-05-06 8:08 UTC (permalink / raw)
To: Min Hu (Connor), Chengchang Tang
Cc: dev, ferruh.yigit, rsanford, erik.g.carrillo
06/05/2021 04:06, Chengchang Tang:
>
> On 2021/5/6 5:37, Thomas Monjalon wrote:
> > 15/04/2021 09:12, Min Hu (Connor):
> >> From: Chengchang Tang <tangchengchang@huawei.com>
> >>
> >> Timer sample example assumes that the frequency of the timer is about
> >> 2Ghz to control the period of calling rte_timer_manage(). But this
> >> assumption is easy to fail. For example. the frequency of tsc on ARM64
> >> is much less than 2Ghz.
> >>
> >> This patch uses the frequency of the current timer to calculate the
> >> correct time interval to ensure consistent result on all platforms.
> >>
> >> In addition, the rte_rdtsc() is replaced with the more recommended
> >> rte_get_timer_cycles function in this patch.
> >>
> >> Fixes: af75078fece3 ("first public release")
> >> Cc: stable@dpdk.org
> >>
> >> Signed-off-by: Chengchang Tang <tangchengchang@huawei.com>
> >> Signed-off-by: Min Hu (Connor) <humin29@huawei.com>
> > [...]
> >> /*
> >> - * Call the timer handler on each core: as we don't
> >> - * need a very precise timer, so only call
> >> - * rte_timer_manage() every ~10ms (at 2Ghz). In a real
> >> - * application, this will enhance performances as
> >> - * reading the HPET timer is not efficient.
> >> + * Call the timer handler on each core: as we don't need a
> >> + * very precise timer, so only call rte_timer_manage()
> >> + * every ~10ms. since rte_eal_hpet_init() has not been
> >> + * called, the rte_rdtsc() will be used at runtime.
> >
> > I don't understand this last sentence.
> >
>
> This is explaining why we can use rte_get_timer_cycles() instead of rte_rdtsc().
> In this example, we call tsc to improve its performance. So, we invoked rte_rdtsc()
> here. Now the function rte_get_timer_cycles() encapsulates these counters. It will
> invoke the corresponding counter according to the user's initialization of the counter.
That's very confusing. Better to drop.
>
> >> + * In a real application, this will enhance performances
> >> + * as reading the HPET timer is not efficient.
> >> */
> >> - cur_tsc = rte_rdtsc();
> >> + cur_tsc = rte_get_timer_cycles();
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [dpdk-dev] [PATCH] examples/timer: fix incorrect time interval
2021-05-06 8:08 ` Thomas Monjalon
@ 2021-05-06 8:23 ` Chengchang Tang
0 siblings, 0 replies; 10+ messages in thread
From: Chengchang Tang @ 2021-05-06 8:23 UTC (permalink / raw)
To: Thomas Monjalon, Min Hu (Connor)
Cc: dev, ferruh.yigit, rsanford, erik.g.carrillo
On 2021/5/6 16:08, Thomas Monjalon wrote:
> 06/05/2021 04:06, Chengchang Tang:
>>
>> On 2021/5/6 5:37, Thomas Monjalon wrote:
>>> 15/04/2021 09:12, Min Hu (Connor):
>>>> From: Chengchang Tang <tangchengchang@huawei.com>
>>>>
>>>> Timer sample example assumes that the frequency of the timer is about
>>>> 2Ghz to control the period of calling rte_timer_manage(). But this
>>>> assumption is easy to fail. For example. the frequency of tsc on ARM64
>>>> is much less than 2Ghz.
>>>>
>>>> This patch uses the frequency of the current timer to calculate the
>>>> correct time interval to ensure consistent result on all platforms.
>>>>
>>>> In addition, the rte_rdtsc() is replaced with the more recommended
>>>> rte_get_timer_cycles function in this patch.
>>>>
>>>> Fixes: af75078fece3 ("first public release")
>>>> Cc: stable@dpdk.org
>>>>
>>>> Signed-off-by: Chengchang Tang <tangchengchang@huawei.com>
>>>> Signed-off-by: Min Hu (Connor) <humin29@huawei.com>
>>> [...]
>>>> /*
>>>> - * Call the timer handler on each core: as we don't
>>>> - * need a very precise timer, so only call
>>>> - * rte_timer_manage() every ~10ms (at 2Ghz). In a real
>>>> - * application, this will enhance performances as
>>>> - * reading the HPET timer is not efficient.
>>>> + * Call the timer handler on each core: as we don't need a
>>>> + * very precise timer, so only call rte_timer_manage()
>>>> + * every ~10ms. since rte_eal_hpet_init() has not been
>>>> + * called, the rte_rdtsc() will be used at runtime.
>>>
>>> I don't understand this last sentence.
>>>
>>
>> This is explaining why we can use rte_get_timer_cycles() instead of rte_rdtsc().
>> In this example, we call tsc to improve its performance. So, we invoked rte_rdtsc()
>> here. Now the function rte_get_timer_cycles() encapsulates these counters. It will
>> invoke the corresponding counter according to the user's initialization of the counter.
>
> That's very confusing. Better to drop.
>
OK, I will remove this sentence in the next version.
>>
>>>> + * In a real application, this will enhance performances
>>>> + * as reading the HPET timer is not efficient.
>>>> */
>>>> - cur_tsc = rte_rdtsc();
>>>> + cur_tsc = rte_get_timer_cycles();
>
>
>
>
> .
>
^ permalink raw reply [flat|nested] 10+ messages in thread
* [dpdk-dev] [PATCH v2] examples/timer: fix incorrect time interval
2021-04-15 7:12 [dpdk-dev] [PATCH] examples/timer: fix incorrect time interval Min Hu (Connor)
` (2 preceding siblings ...)
2021-05-05 21:37 ` Thomas Monjalon
@ 2021-05-06 9:29 ` Min Hu (Connor)
2021-05-12 14:40 ` Thomas Monjalon
3 siblings, 1 reply; 10+ messages in thread
From: Min Hu (Connor) @ 2021-05-06 9:29 UTC (permalink / raw)
To: dev; +Cc: ferruh.yigit, thomas, david.marchand, rsanford, erik.g.carrillo
From: Chengchang Tang <tangchengchang@huawei.com>
Timer sample example assumes that the frequency of the timer is about
2Ghz to control the period of calling rte_timer_manage(). But this
assumption is easy to fail. For example. the frequency of tsc on ARM64
is much less than 2Ghz.
This patch uses the frequency of the current timer to calculate the
correct time interval to ensure consistent result on all platforms.
In addition, the rte_rdtsc() is replaced with the more recommended
rte_get_timer_cycles function in this patch.
Fixes: af75078fece3 ("first public release")
Cc: stable@dpdk.org
Signed-off-by: Chengchang Tang <tangchengchang@huawei.com>
Signed-off-by: Min Hu (Connor) <humin29@huawei.com>
---
v2:
* delete confusing comments.
---
examples/timer/main.c | 20 ++++++++++----------
1 file changed, 10 insertions(+), 10 deletions(-)
diff --git a/examples/timer/main.c b/examples/timer/main.c
index d67301e..d270ce4 100644
--- a/examples/timer/main.c
+++ b/examples/timer/main.c
@@ -18,8 +18,7 @@
#include <rte_timer.h>
#include <rte_debug.h>
-#define TIMER_RESOLUTION_CYCLES 20000000ULL /* around 10ms at 2 Ghz */
-
+static uint64_t timer_resolution_cycles;
static struct rte_timer timer0;
static struct rte_timer timer1;
@@ -66,15 +65,14 @@ lcore_mainloop(__rte_unused void *arg)
while (1) {
/*
- * Call the timer handler on each core: as we don't
- * need a very precise timer, so only call
- * rte_timer_manage() every ~10ms (at 2Ghz). In a real
- * application, this will enhance performances as
- * reading the HPET timer is not efficient.
+ * Call the timer handler on each core: as we don't need a
+ * very precise timer, so only call rte_timer_manage()
+ * every ~10ms. In a real application, this will enhance
+ * performances as reading the HPET timer is not efficient.
*/
- cur_tsc = rte_rdtsc();
+ cur_tsc = rte_get_timer_cycles();
diff_tsc = cur_tsc - prev_tsc;
- if (diff_tsc > TIMER_RESOLUTION_CYCLES) {
+ if (diff_tsc > timer_resolution_cycles) {
rte_timer_manage();
prev_tsc = cur_tsc;
}
@@ -100,8 +98,10 @@ main(int argc, char **argv)
rte_timer_init(&timer0);
rte_timer_init(&timer1);
- /* load timer0, every second, on main lcore, reloaded automatically */
hz = rte_get_timer_hz();
+ timer_resolution_cycles = hz * 10 / 1000; /* around 10ms */
+
+ /* load timer0, every second, on main lcore, reloaded automatically */
lcore_id = rte_lcore_id();
rte_timer_reset(&timer0, hz, PERIODICAL, lcore_id, timer0_cb, NULL);
--
2.7.4
^ permalink raw reply [flat|nested] 10+ messages in thread
* Re: [dpdk-dev] [PATCH v2] examples/timer: fix incorrect time interval
2021-05-06 9:29 ` [dpdk-dev] [PATCH v2] " Min Hu (Connor)
@ 2021-05-12 14:40 ` Thomas Monjalon
0 siblings, 0 replies; 10+ messages in thread
From: Thomas Monjalon @ 2021-05-12 14:40 UTC (permalink / raw)
To: Min Hu (Connor)
Cc: dev, ferruh.yigit, david.marchand, rsanford, erik.g.carrillo
06/05/2021 11:29, Min Hu (Connor):
> From: Chengchang Tang <tangchengchang@huawei.com>
>
> Timer sample example assumes that the frequency of the timer is about
> 2Ghz to control the period of calling rte_timer_manage(). But this
> assumption is easy to fail. For example. the frequency of tsc on ARM64
> is much less than 2Ghz.
>
> This patch uses the frequency of the current timer to calculate the
> correct time interval to ensure consistent result on all platforms.
>
> In addition, the rte_rdtsc() is replaced with the more recommended
> rte_get_timer_cycles function in this patch.
>
> Fixes: af75078fece3 ("first public release")
> Cc: stable@dpdk.org
>
> Signed-off-by: Chengchang Tang <tangchengchang@huawei.com>
> Signed-off-by: Min Hu (Connor) <humin29@huawei.com>
Applied, thanks
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2021-05-12 14:40 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-04-15 7:12 [dpdk-dev] [PATCH] examples/timer: fix incorrect time interval Min Hu (Connor)
2021-04-21 18:34 ` Thomas Monjalon
2021-04-22 1:38 ` Chengchang Tang
2021-04-21 19:12 ` Carrillo, Erik G
2021-05-05 21:37 ` Thomas Monjalon
2021-05-06 2:06 ` Chengchang Tang
2021-05-06 8:08 ` Thomas Monjalon
2021-05-06 8:23 ` Chengchang Tang
2021-05-06 9:29 ` [dpdk-dev] [PATCH v2] " Min Hu (Connor)
2021-05-12 14:40 ` Thomas Monjalon
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).