Changeset 2fc3b2d in mainline for .gitignore

Timestamp:

2018-12-10T11:15:10Z (6 years ago)

Author:

jxsvoboda <5887334+jxsvoboda@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

247fdea

Parents:

de9a18e

git-author:

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

git-committer:

jxsvoboda <5887334+jxsvoboda@…> (2018-12-10 11:15:10)

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)