virtualization.lists.linux-foundation.org archive mirror
 help / color / mirror / Atom feed
From: Marcelo Tosatti <mtosatti@redhat.com>
To: Andy Lutomirski <luto@kernel.org>
Cc: Wanpeng Li <kernellwp@gmail.com>,
	Florian Weimer <fweimer@redhat.com>,
	Juergen Gross <jgross@suse.com>, Arnd Bergmann <arnd@arndb.de>,
	Radim Krcmar <rkrcmar@redhat.com>,
	Peter Zijlstra <peterz@infradead.org>, X86 ML <x86@kernel.org>,
	LKML <linux-kernel@vger.kernel.org>,
	Linux Virtualization <virtualization@lists.linux-foundation.org>,
	Stephen Boyd <sboyd@kernel.org>,
	John Stultz <john.stultz@linaro.org>,
	devel@linuxdriverproject.org, Paolo Bonzini <pbonzini@redhat.com>,
	Thomas Gleixner <tglx@linutronix.de>,
	Matt Rickard <matt@softrans.com.au>
Subject: Re: [patch 00/11] x86/vdso: Cleanups, simmplifications and CLOCK_TAI support\
Date: Wed, 3 Oct 2018 16:05:04 -0300	[thread overview]
Message-ID: <20181003190500.GA23638@amt.cnet> (raw)
In-Reply-To: <20181003190026.GB21381@amt.cnet>

On Wed, Oct 03, 2018 at 04:00:29PM -0300, Marcelo Tosatti wrote:
> On Tue, Oct 02, 2018 at 10:15:49PM -0700, Andy Lutomirski wrote:
> > Hi Vitaly, Paolo, Radim, etc.,
> > 
> > On Fri, Sep 14, 2018 at 5:52 AM Thomas Gleixner <tglx@linutronix.de> wrote:
> > >
> > > Matt attempted to add CLOCK_TAI support to the VDSO clock_gettime()
> > > implementation, which extended the clockid switch case and added yet
> > > another slightly different copy of the same code.
> > >
> > > Especially the extended switch case is problematic as the compiler tends to
> > > generate a jump table which then requires to use retpolines. If jump tables
> > > are disabled it adds yet another conditional to the existing maze.
> > >
> > > This series takes a different approach by consolidating the almost
> > > identical functions into one implementation for high resolution clocks and
> > > one for the coarse grained clock ids by storing the base data for each
> > > clock id in an array which is indexed by the clock id.
> > >
> > 
> > I was trying to understand more of the implications of this patch
> > series, and I was again reminded that there is an entire extra copy of
> > the vclock reading code in arch/x86/kvm/x86.c.  And the purpose of
> > that code is very, very opaque.
> > 
> > Can one of you explain what the code is even doing?  From a couple of
> > attempts to read through it, it's a whole bunch of
> > probably-extremely-buggy code that, 
> 
> Yes, probably.
> 
> > drumroll please, tries to atomically read the TSC value and the time.  And decide whether the
> > result is "based on the TSC".  
> 
> I think "based on the TSC" refers to whether TSC clocksource is being
> used.
> 
> > And then synthesizes a TSC-to-ns
> > multiplier and shift, based on *something other than the actual
> > multiply and shift used*.
> > 
> > IOW, unless I'm totally misunderstanding it, the code digs into the
> > private arch clocksource data intended for the vDSO, uses a poorly
> > maintained copy of the vDSO code to read the time (instead of doing
> > the sane thing and using the kernel interfaces for this), and
> > propagates a totally made up copy to the guest.
> 
> I posted kernel interfaces for this, and it was suggested to 
> instead write a "in-kernel user of pvclock data".
> 
> If you can get kernel interfaces to replace that, go for it. I prefer
> kernel interfaces as well.

And cleanup patches, to make that code look nicer, are also very
welcome!

  parent reply	other threads:[~2018-10-03 19:05 UTC|newest]

Thread overview: 76+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <20180914125006.349747096@linutronix.de>
2018-09-14 12:50 ` [patch 01/11] clocksource: Provide clocksource_arch_init() Thomas Gleixner
2018-09-14 12:50 ` [patch 02/11] x86/time: Implement clocksource_arch_init() Thomas Gleixner
2018-09-14 12:50 ` [patch 03/11] x86/vdso: Enforce 64bit clocksource Thomas Gleixner
2018-09-14 12:50 ` [patch 04/11] x86/vdso: Use unsigned int consistently for vsyscall_gtod_data::seq Thomas Gleixner
2018-09-14 12:50 ` [patch 05/11] x86/vdso: Introduce and use vgtod_ts Thomas Gleixner
2018-09-14 12:50 ` [patch 06/11] x86/vdso: Collapse high resolution functions Thomas Gleixner
2018-09-14 12:50 ` [patch 07/11] x86/vdso: Collapse coarse functions Thomas Gleixner
2018-09-14 12:50 ` [patch 08/11] x86/vdso: Replace the clockid switch case Thomas Gleixner
2018-09-14 12:50 ` [patch 09/11] x86/vdso: Simplify the invalid vclock case Thomas Gleixner
2018-09-14 12:50 ` [patch 10/11] x86/vdso: Move cycle_last handling into the caller Thomas Gleixner
2018-09-14 12:50 ` [patch 11/11] x66/vdso: Add CLOCK_TAI support Thomas Gleixner
     [not found] ` <2f723b28-8f81-4b02-861c-42f756a8825a@redhat.com>
2018-09-14 13:05   ` [patch 00/11] x86/vdso: Cleanups, simmplifications and " Thomas Gleixner
2018-09-14 13:09   ` Peter Zijlstra
     [not found]   ` <alpine.DEB.2.21.1809141459530.10480@nanos.tec.linutronix.de>
     [not found]     ` <63a0f67d-fdb1-e2fc-5d4d-4f3cfbf86fd1@redhat.com>
2018-09-14 13:19       ` Thomas Gleixner
     [not found] ` <20180914125119.081037164@linutronix.de>
2018-09-14 14:04   ` [patch 11/11] x66/vdso: Add " Andy Lutomirski
     [not found]   ` <ABB53D42-2A06-41B9-8A8C-40B39CD0289D@amacapital.net>
2018-09-14 14:27     ` Thomas Gleixner
     [not found]     ` <alpine.DEB.2.21.1809141625040.10480@nanos.tec.linutronix.de>
2018-09-14 14:59       ` Andy Lutomirski
     [not found]       ` <FAE37798-8CCE-44A5-9EF0-F69C2199BE60@amacapital.net>
2018-09-16  9:39         ` Thomas Gleixner
2018-09-14 14:22 ` [patch 00/11] x86/vdso: Cleanups, simmplifications and " Arnd Bergmann
     [not found] ` <20180914125118.998589817@linutronix.de>
2018-09-14 15:26   ` [patch 10/11] x86/vdso: Move cycle_last handling into the caller Vitaly Kuznetsov
     [not found] ` <20180914125118.293161327@linutronix.de>
2018-09-14 15:45   ` [patch 02/11] x86/time: Implement clocksource_arch_init() Vitaly Kuznetsov
     [not found]   ` <87zhwk6q2l.fsf@vitty.brq.redhat.com>
2018-09-15  6:05     ` Thomas Gleixner
     [not found] ` <CAK8P3a1QfynDxkKBLXVa5Qj_z+7ct3QB5sDYuY5QV3ht-a0cTg@mail.gmail.com>
2018-09-17 13:00   ` [patch 00/11] x86/vdso: Cleanups, simmplifications and CLOCK_TAI support Thomas Gleixner
     [not found]   ` <alpine.DEB.2.21.1809171451380.16580@nanos.tec.linutronix.de>
2018-09-24 21:08     ` Arnd Bergmann
     [not found] ` <20180914125118.909646643@linutronix.de>
2018-09-17 19:25   ` [patch 09/11] x86/vdso: Simplify the invalid vclock case Andy Lutomirski
     [not found]     ` <CALAqxLUv9Rd_eA7u9gZNFvTNrT1Z67RpHLozdeNC0W2yZm=Heg@mail.gmail.com>
2018-09-18  7:52       ` Thomas Gleixner
     [not found]       ` <alpine.DEB.2.21.1809180948570.3558@nanos.tec.linutronix.de>
2018-09-18  8:30         ` Peter Zijlstra
2018-09-18  8:52           ` Thomas Gleixner
     [not found]           ` <alpine.DEB.2.21.1809181050020.4167@nanos.tec.linutronix.de>
2018-09-18 10:06             ` Thomas Gleixner
     [not found]             ` <alpine.DEB.2.21.1809181204460.4167@nanos.tec.linutronix.de>
2018-09-18 10:41               ` Thomas Gleixner
     [not found]               ` <alpine.DEB.2.21.1809181237140.4167@nanos.tec.linutronix.de>
2018-09-18 12:48                 ` Peter Zijlstra
2018-09-18 13:23                   ` Thomas Gleixner
     [not found]                   ` <alpine.DEB.2.21.1809181515170.6950@nanos.tec.linutronix.de>
2018-09-18 13:38                     ` Peter Zijlstra
2018-09-18 15:52                     ` Thomas Gleixner
     [not found]                     ` <alpine.DEB.2.21.1809181731570.7302@nanos.tec.linutronix.de>
2018-09-27 14:41                       ` Thomas Gleixner
2018-09-18 14:01         ` Andy Lutomirski
     [not found]         ` <863331ED-B04A-4B94-91A2-D34002C9CCDC@amacapital.net>
2018-09-18 22:46           ` Thomas Gleixner
     [not found]           ` <alpine.DEB.2.21.1809190037570.1468@nanos.tec.linutronix.de>
2018-09-18 23:03             ` Andy Lutomirski
     [not found]             ` <439A3E73-E4FF-4D66-800E-5BEE58EDE8F6@amacapital.net>
2018-09-18 23:16               ` Thomas Gleixner
     [not found]               ` <alpine.DEB.2.21.1809190112020.1468@nanos.tec.linutronix.de>
2018-09-27 14:36                 ` Thomas Gleixner
     [not found]                 ` <alpine.DEB.2.21.1809271630470.8118@nanos.tec.linutronix.de>
2018-09-27 14:39                   ` Andy Lutomirski
     [not found]             ` <06e91c26-756f-f236-0af2-327e520c3065@rasmusvillemoes.dk>
2018-09-19 13:29               ` Thomas Gleixner
2018-10-03  5:15 ` [patch 00/11] x86/vdso: Cleanups, simmplifications and CLOCK_TAI support Andy Lutomirski
2018-10-03  9:22   ` Vitaly Kuznetsov
2018-10-03 19:00   ` Marcelo Tosatti
     [not found]   ` <87sh1ne64t.fsf@vitty.brq.redhat.com>
2018-10-03 10:20     ` Andy Lutomirski
2018-10-03 12:01       ` Vitaly Kuznetsov
     [not found]       ` <87murvdysd.fsf@vitty.brq.redhat.com>
2018-10-03 14:20         ` Andy Lutomirski
     [not found]         ` <8C316427-8BEC-4979-8AB2-5E385066BB6F@amacapital.net>
2018-10-03 15:10           ` Thomas Gleixner
     [not found]           ` <alpine.DEB.2.21.1810031704480.23677@nanos.tec.linutronix.de>
2018-10-03 16:18             ` Andy Lutomirski
2018-10-03 19:06     ` Marcelo Tosatti
     [not found]     ` <20181003190617.GC21381@amt.cnet>
2018-10-04  7:54       ` Vitaly Kuznetsov
     [not found]       ` <87k1mycfju.fsf@vitty.brq.redhat.com>
2018-10-04  8:11         ` Peter Zijlstra
2018-10-04 12:00         ` Paolo Bonzini
     [not found]         ` <20181004081100.GI19272@hirez.programming.kicks-ass.net>
2018-10-04 14:00           ` Andy Lutomirski
     [not found]           ` <B8C05946-43BB-40A4-A564-53904FAF8CC0@amacapital.net>
2018-10-04 19:31             ` Peter Zijlstra
     [not found]             ` <20181004193150.GQ19272@hirez.programming.kicks-ass.net>
2018-10-04 20:05               ` Andy Lutomirski
     [not found]               ` <499807AB-E779-40C3-AA3F-E8C77A7770EC@amacapital.net>
2018-10-04 22:15                 ` Andy Lutomirski
2018-10-06 20:27                   ` Marcelo Tosatti
2018-10-06 22:28                     ` Andy Lutomirski
     [not found]                     ` <CALCETrWqze2mifOdFc0GJYHtHGKiKX2Zdi5Kz87OyUogbqD15w@mail.gmail.com>
2018-10-08 15:26                       ` Marcelo Tosatti
     [not found]                       ` <20181008152650.GB27822@amt.cnet>
2018-10-08 17:38                         ` Andy Lutomirski
     [not found]                         ` <CALCETrVY6VHPLs0GXZM4+VYraTa1+xs=iRJoRa++OHX9Wq+ieg@mail.gmail.com>
2018-10-08 19:36                           ` Marcelo Tosatti
     [not found]                           ` <20181008193632.GA31729@amt.cnet>
2018-10-09 20:09                             ` Andy Lutomirski
     [not found]                             ` <CALCETrW6b8=dU6vkXNS-rW1GPzJTbVxuVNsU4aoD_NwwobVQcg@mail.gmail.com>
2018-10-11 22:27                               ` Marcelo Tosatti
2018-10-11 23:00                                 ` Andy Lutomirski
2018-10-15 13:39                                   ` Marcelo Tosatti
2018-10-06 20:49                   ` Marcelo Tosatti
     [not found]         ` <1832e2af-3189-cb50-f4b6-45e74cdcf4b4@redhat.com>
2018-10-04 14:04           ` Andy Lutomirski
2018-10-05 21:18         ` Marcelo Tosatti
     [not found]   ` <20181003190026.GB21381@amt.cnet>
2018-10-03 19:05     ` Marcelo Tosatti [this message]
2018-10-03 22:32     ` Andy Lutomirski
2018-10-04 16:37       ` Marcelo Tosatti
     [not found]       ` <20181004163705.GA25129@amt.cnet>
2018-10-04 17:08         ` Andy Lutomirski
     [not found]         ` <CALCETrWbWLM5Jjm7iJCE7S=BJ9OFw2QQGJ2Ao-qsuaN50z=y0A@mail.gmail.com>
2018-10-04 17:28           ` Vitaly Kuznetsov
2018-10-04 20:32 ` Andy Lutomirski

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=20181003190500.GA23638@amt.cnet \
    --to=mtosatti@redhat.com \
    --cc=arnd@arndb.de \
    --cc=devel@linuxdriverproject.org \
    --cc=fweimer@redhat.com \
    --cc=jgross@suse.com \
    --cc=john.stultz@linaro.org \
    --cc=kernellwp@gmail.com \
    --cc=linux-kernel@vger.kernel.org \
    --cc=luto@kernel.org \
    --cc=matt@softrans.com.au \
    --cc=pbonzini@redhat.com \
    --cc=peterz@infradead.org \
    --cc=rkrcmar@redhat.com \
    --cc=sboyd@kernel.org \
    --cc=tglx@linutronix.de \
    --cc=virtualization@lists.linux-foundation.org \
    --cc=x86@kernel.org \
    /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).