linux-kernel - Re: [patch 6/6] Guest page hinting: s390 support.

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <47D802A2.1030406@goop.org>
Date:	Wed, 12 Mar 2008 09:19:46 -0700
From:	Jeremy Fitzhardinge <jeremy@...p.org>
To:	Martin Schwidefsky <schwidefsky@...ibm.com>
CC:	linux-kernel@...r.kernel.org, linux-s390@...r.kernel.org,
	virtualization@...ts.osdl.org, akpm@...l.org,
	nickpiggin@...oo.com.au, frankeh@...son.ibm.com, hugh@...itas.com
Subject: Re: [patch 6/6] Guest page hinting: s390 support.

Martin Schwidefsky wrote:
> The state transitions (a diagram would be nicer but that is too hard
> to do in ascii art...):
> {Ur,Sr,Vr,Pr}: a resident page will change its block usage state if the
>      guest requests it with page_set_{unused,stable,volatile}.
> {Uz,Sz,Vz}: a logically zero page will change its block usage state if the
>      guest requests it with page_set_{unused,stable,volatile}. The
>      guest can't create the Pz state, the state will be Vz instead.
> Ur -> Uz: the host system can remove an unused, resident page from memory
> Sz -> Sr: on first access a stable, logically zero page will become resident
> Sr -> Sp: the host system can swap a stable page to disk
> Sp -> Sr: a guest access to a Sp page forces the host to retrieve it
> Vr -> Vz: the host can discard a volatile page
> Sp -> Uz: a page preserved by the host will be removed if the guest sets 
>      the block usage state to unused.
> Sp -> Vz: a page preserved by the host will be discarded if the guest sets
>      the block usage state to volatile.
> Pr -> Sp: the host can move a page from Pr to Sp if it discovers that the
>      page is dirty while trying to discard the page. The page content is
>      written to the paging device.
> Pr -> Vz: the host can discard a Pr page. The Pz state is replaced by the
>      Vz state.

I created the attached .dot graph based purely on this description.  It 
looks reasonable, but I didn't see how a page enters a Pr state.

    J

View attachment "gph.dot" of type "text/plain" (1039 bytes)

Download attachment "gph.pdf" of type "application/pdf" (14976 bytes)