Block cache and page out

[Jiri Svoboda]

Design and implement architecture for managing block cache and paging out in microkernel environment.

All pages except those allocated to kernel structures are available either to user pages or block cache. Recently unused user pages can be paged out in favor of recently accessed blocks and vice versa.

Benefits:

• should help improve filesystem performace
• allow more functionality in an environment where primary memory is limited

This would be an ideal topic for a master thesis.

[Jiri Svoboda]

Milestone renamed