Changeset 7be8d4d in mainline for uspace/Makefile

Timestamp:

2018-12-08T23:32:55Z (6 years ago)

Author:

Jiri Svoboda <jiri@…>

Children:

dd74b5b

Parents:

de0af3a

git-author:

Jiri Svoboda <jiri@…> (2018-12-05 18:39:06)

git-committer:

Jiri Svoboda <jiri@…> (2018-12-08 23:32:55)

Message:

Replace B+tree with ordered dict. for used space

Replace the use of B+tree with ordered dictionary for used space,
adding a little bit more abstraction around used space tracking.
This allows performing TLB shootdown while shrinking an area
in a single sequence. A generic used_space_remove() is no longer
needed.

(No files)