On run-time exploitation of concurrency by