Consistent naming scheme for conditional interference and IBFs
Let's come up with a good naming scheme for all the different kinds of instantiations of conditional interference and IBFs.
Long time ago (e.g., ECRTS'20), we had only two types of IBFs: (1) IBF that bounds all interference, and (2) IBF that bounds interference from other tasks (so, it made sense to call them IBF
and IBF_other
).
Now we have a bunch of different IBFs: (1) the "vanilla" IBF ([1]), (2) IBF that bounds interference from other tasks ([2], (3) IBF that bounds intra-supply interference ([3]), and (4) IBF that bounds intra-supply interference that comes from other tasks (to be merged soon). So, we need more meaningful names.
(Also, see the original discussion)