Re: copy_from_user / copy_to_user with no swap space

[Helge Hafting <helge.hafting@aitel.hist.no>]

mfbaustx wrote:
> > > > No. Your code may be only partially paged into RAM.
> > > > The same can happen for any mmaped data.
>
> That's what I thought I read.  But then my question is:  with 
> on-demand paging, is it possible to have two processes partially 
> paged?  Surely, it MUST be the case that any processes with 
> overlapping logical address spaces must be paged coherently.  So, 
> while on-demand "paging-in" allows for partial paging of a process, is 
> it the case that, on a context switch, the user-space PTE's are 
> completely erased (so that you get page-faults and can then on-demand 
> page them in...)?
You can surely have two or more processes partially paged.
Or some processes more or less paged out, while some are not.

The kernel never looses track of the address spaces, and knows very well
which block on the swapdevice maps to what address.  And of course
it knows what process the block belongs to too.

Several processes can all have their own address 4096 swapped out
at the same time, for example. Obviously to different blocks on the 
swapdisk.
There is no need for any special care when several processes are
swapped at the same time.

Demand paging happens when a process tries to use memory but the
memory isn't there.  The processor will then get an exception and
schedule read-in of the missing memory.  When the memory eventually gets
there, the process is allowed to continue.

Helge Hafting

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/