Commit 6394b203 by FritzFlorian

Add prototype support for other, strain_local resources.

The strain_local resources can be used to get unique IDs for resources that would, in a serial execution, only be used once in the call chain. This is a first prototype implementation and needs further tesitng. The current implementation adds linear overhead to each steal proportional to the number of used  resources. We might be able to reduce it, but for a first version it is fine.
parent 08283a37
Pipeline #1498 passed with stages
in 3 minutes 56 seconds