Composable many-core systems enable the independent development and analysis of applications which will be executed on a shared platform where the mix of concurrently executed applications may change dynamically at run time. For each individual application, an off-line Design Space Exploration (DSE) is performed to compute several mapping alternatives on the platform, offering Pareto-optimal trade-offs in terms of real-time guarantees, resource usage, etc. At run time, one mapping is then chosen to launch the application on demand. In this context, to enable an independent analysis of each individual application at design time, so-called inter-application isolation schemes are applied which specify temporal or spatial isolation policies between applications. S.o.t.a. composable many-core systems are developed based on a fixed isolation scheme that is exclusively applied to every resource in every mapping of every application and use a timing analysis tailored to that isolation scheme to derive timing guarantees for each mapping. A fixed isolation scheme, however, heavily restricts the explored space of solutions and can, therefore, lead to suboptimality. Lifting this restriction necessitates a timing analysis that is applicable to mappings with an arbitrary mix of isolation schemes on different resources. To address this issue, we present an isolation-aware timing analysis that unlike existing analyses can handle multiple isolation schemes in combination within one mapping and delivers safe yet tight timing bounds by identifying and excluding interference scenarios that can never happen under the given combination of isolation schemes. Based on the timing analysis, we present a DSE which explores the choices of isolation scheme per resource within each mapping. Experimental results demonstrate the advantage of the proposed approach over approaches based on a fixed isolation scheme.

中文翻译：

---

可预测和可组合多核系统的隔离感知时序分析和设计空间探索

可组合的众核系统支持独立开发和分析应用程序，这些应用程序将在共享平台上执行，其中并发执行的应用程序组合可能在运行时动态变化。对于每个单独的应用程序，执行离线设计空间探索 (DSE) 以计算平台上的多个映射替代方案，在实时保证、资源使用等方面提供帕累托最优权衡。在运行时，然后选择一个映射来按需启动应用程序。在这种情况下，为了在设计时对每个单独的应用程序进行独立分析，应用了所谓的应用程序间隔离方案，该方案指定了应用程序之间的时间或空间隔离策略。索塔 可组合的众核系统是基于固定隔离方案开发的，该方案专门应用于每个应用程序的每个映射中的每个资源，并使用针对该隔离方案定制的时序分析来为每个映射导出时序保证。然而，固定的隔离方案严重限制了解决方案的探索空间，因此可能导致次优。解除此限制需要进行时序分析，该分析适用于在不同资源上具有任意混合隔离方案的映射。为了解决这个问题，我们提出了一种隔离感知时序分析，与现有分析不同，它可以在一个映射中组合处理多个隔离方案，并通过识别和排除在给定的隔离方案组合下永远不会发生的干扰场景来提供安全而严格的时序界限。基于时序分析，我们提出了一个 DSE，它探索了每个映射中每个资源的隔离方案的选择。实验结果证明了所提出的方法优于基于固定隔离方案的方法。