A Scalable Memory Management Service Based on Microkernel OS in Multicore Environment. Issue 2 (1st April 2015)