Changes between Initial Version and Version 3 of Ticket #552


Ignore:
Timestamp:
2015-04-17T21:02:10Z (9 years ago)
Author:
Martin Decky
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #552

    • Property Owner changed from Jakub Jermář to Martin Decky
    • Property Status new → assigned
    • Property Milestone 0.5.1 → 0.5.2

  • Ticket #552 – Description

    initial v3  
    66 * Optimizing the page mapping manipulation by caching the intermediate levels of the page table.
    77 * Implementing a fibril pool that would avoid the need to create and discard all the precious resources for each single notification.
     8 * Allocate the fibril stacks from a different sequence of pages than the heap to avoid unnecessary heap fragmentation.