Re: [Xen-devel] [PATCH 5/5] formats: print time values as decimals

2018-09-12 Thread Dario Faggioli
On Wed, 2018-09-12 at 20:28 +0300, Andrii Anisov wrote: > On 12.09.18 10:54, Dario Faggioli wrote: > > > > Or, in general, what I think would be useful, is to have the > > timestamps > > and the scheduling parameters in the same domain (when possible). > > As I understand, now we do have among

Re: [Xen-devel] [PATCH 5/5] formats: print time values as decimals

2018-09-12 Thread Andrii Anisov
On 12.09.18 10:54, Dario Faggioli wrote: Reviewed-by: Dario Faggioli Thank you. Andrii, if you decide to make the patch that turns timestamps into secs.nsecs, can we also convert these to such format (again, in case we have MHz)? I plan to do the patch. I'll keep this mind. Or, in

Re: [Xen-devel] [PATCH 5/5] formats: print time values as decimals

2018-09-12 Thread Dario Faggioli
On Tue, 2018-09-11 at 11:33 +0100, George Dunlap wrote: > On 09/10/2018 05:41 PM, Andrii Anisov wrote: > > From: Andrii Anisov > > > > For convinience, print RTDS budget and deadline values as decimals. > > I agree, this is a lot better. > > Signed-off-by: Andrii Anisov > > Acked-by: George

Re: [Xen-devel] [PATCH 5/5] formats: print time values as decimals

2018-09-11 Thread George Dunlap
On 09/10/2018 05:41 PM, Andrii Anisov wrote: > From: Andrii Anisov > > For convinience, print RTDS budget and deadline values as decimals. > > Signed-off-by: Andrii Anisov Acked-by: George Dunlap > --- > tools/xentrace/formats | 6 +++--- > 1 file changed, 3 insertions(+), 3 deletions(-) >

[Xen-devel] [PATCH 5/5] formats: print time values as decimals

2018-09-10 Thread Andrii Anisov
From: Andrii Anisov For convinience, print RTDS budget and deadline values as decimals. Signed-off-by: Andrii Anisov --- tools/xentrace/formats | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/tools/xentrace/formats b/tools/xentrace/formats index 7db6d49..cf25ab0