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