Mutex-Meet-TID Privatization for Base

[michael-schwarz]

This adds a Mutex-Meet-TID based privatization for Base.

TODO:

• [x] Tests
• [ ] See if more duplication can be avoided between the relational and non-relational analysis

During the process, it became clear that enhancing protection based with MHP should also be fairly trivial and may also pay off, so we should also take a look at that.

Closes #631

[sim642]

During the process, it became clear that enhancing protection based with MHP should also be fairly trivial and may also pay off, so we should also take a look at that.

Here's an idea that may or may not be possible: instead of hardcoding a TID version of each privatization, could one just implement a TID lifting functor which lifts the inner privatization's globals to be partitioned by TID and takes care of reading the right ones?

[michael-schwarz]

implement a TID lifting functor which lifts the inner privatization's globals to be partitioned by TID and takes care of reading the right ones?

That certainly does sound appealing but I don't think it will not be possible in such a general manner.