Re: [Qemu-devel] [RFC] docs: describe QEMU's VMGenID design

2015-09-07 Thread Paolo Bonzini
-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 On 02/09/2015 00:22, Eric Blake wrote: >> Do you think the file should go under docs/, not docs/specs? > > I don't know if there is a strong explanation for why we have the > separation, but given your argument, docs/ (all qemu-related > documen

Re: [Qemu-devel] [RFC] docs: describe QEMU's VMGenID design

2015-09-03 Thread Laszlo Ersek
On 09/03/15 15:49, Michael S. Tsirkin wrote: > On Fri, Aug 28, 2015 at 10:18:28PM +0200, Laszlo Ersek wrote: >> +R1e. The generation ID shall not live in a page frame that could be mapped >> with >> + caching disabled. (In other words, if the generation ID lives in RAM, >> then >> + it sh

Re: [Qemu-devel] [RFC] docs: describe QEMU's VMGenID design

2015-09-03 Thread Michael S. Tsirkin
On Fri, Aug 28, 2015 at 10:18:28PM +0200, Laszlo Ersek wrote: > +R1e. The generation ID shall not live in a page frame that could be mapped > with > + caching disabled. (In other words, if the generation ID lives in RAM, > then > + it shall only be mapped as cacheable.) Same if it's in R

Re: [Qemu-devel] [RFC] docs: describe QEMU's VMGenID design

2015-09-01 Thread Eric Blake
On 09/01/2015 04:05 PM, Laszlo Ersek wrote: > > (3) I couldn't decide if this text file should go under docs/, or > docs/specs. The tricky fact about this specific vmgenid design is that > the guest will "know" about it, but no *specific* guest code needs to be > written for it. > > First, the A

Re: [Qemu-devel] [RFC] docs: describe QEMU's VMGenID design

2015-09-01 Thread Laszlo Ersek
On 09/01/15 21:47, Eric Blake wrote: > On 08/28/2015 02:18 PM, Laszlo Ersek wrote: >> Cc: Paolo Bonzini >> Cc: Gal Hammer >> Cc: Igor Mammedov >> Cc: "Michael S. Tsirkin" >> Signed-off-by: Laszlo Ersek >> --- >> >> Notes: >> This is based on the super long private email discussion we had t

Re: [Qemu-devel] [RFC] docs: describe QEMU's VMGenID design

2015-09-01 Thread Eric Blake
On 08/28/2015 02:18 PM, Laszlo Ersek wrote: > Cc: Paolo Bonzini > Cc: Gal Hammer > Cc: Igor Mammedov > Cc: "Michael S. Tsirkin" > Signed-off-by: Laszlo Ersek > --- > > Notes: > This is based on the super long private email discussion we had two > months ago, plus on the IRL discussion

[Qemu-devel] [RFC] docs: describe QEMU's VMGenID design

2015-08-28 Thread Laszlo Ersek
Cc: Paolo Bonzini Cc: Gal Hammer Cc: Igor Mammedov Cc: "Michael S. Tsirkin" Signed-off-by: Laszlo Ersek --- Notes: This is based on the super long private email discussion we had two months ago, plus on the IRL discussion between Michael and myself @ the KVM Forum 2015. docs/spe