Re: Swap memory pages to hard diskand other questions

Espen Skoglund <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]>
[Alexei Mandrykine]
> Hello l4ka,
> Does anyone could explain how to choose memory pages for swap out to
> a hard disk?

Some pager decides which pages to swap to disk, unmaps these pages
from the application(s) and hands them to the disk driver.

> Is there any way to detect that page have been accessed by a thread
> since last check?

Use the Unmap() syscall without actually revoking any rights.  You'll
then get the referenced/modified bits of the page(s) you specified.

> Is it possible to use the local IPC between threads that running on
> different CPUs?

No.  Such IPCs will be treated as regular IPCs.

> How to reboot the kernel by an application? Using the key '6' from
> the built-in debugger is not convenient.

Use whatever standard method you like (e.g., send 0xFE on IO port
0x64).

> What is approximately date of the next release of Pistachio (0.5)?

No idea.  The newest changes are in the CVS though.

	eSk
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.