arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2103.10808math.CO
收藏

基于去点同步图积的两个图分解定理的修正

A modification of two graph-decomposition theorems based on a vertex-removing synchronised graph product

Antoon H. Boode

摘要:

最近,我们已经介绍了两个图分解定理的基础上一个新的图形产品(顶点删除同步产品(VRSP)),在同步周期性的实时过程的背景下的应用程序的动机。在这些应用中,周期性的实时进程在具有相同标签的动作上同步,因此具有相同的行为。从进程代数的观点来看,这样一个同步动作是原子地执行的,并且同时被所有在它们的字母表中有这个动作的进程执行。但是,当这些进程在某些计算机平台上执行时,同步导致进程的上下文切换,因此增加了开销,这可能导致最后期限错过。但是,通过组合过程,我们减少了上下文切换的数量,从而减少了开销。我们结合这些过程表示的过程由边标记的无环有向多重图,并乘以图形的VRSP。接下来,我们将结果图转置到上下文切换较少的进程中。这些实时应用程序的一个重要方面是它们必须及时执行。然而,应用程序的进程集可能无法及时执行,并且可能错过最后期限。现在,通过分解图并将图乘以另一组合中的VRSP,由这些重新组合的图表示的过程可以及时执行。最近推出的图分解定理的要求过于严格,可以放宽,从而更多的图可以被分解,给出更多可能的组合,为实时应用。因此,我们回顾了VRSP的定义和两个图分解定理,我们通过陈述和证明两个引理来放松要求,并使用这些引理来陈述和证明这两个(放松的)图分解定理。

英文摘要:

Recently, we have introduced two graph-decomposition theorems based on a new graph product (the vertex-removing synchronised product (VRSP)), motivated by applications in the context of synchronising periodic real-time processes. In these applications, periodic real-time processes synchronise over actions that have the same label and therefore the same behaviour. From a process-algebraic point of view, such a synchronising action is executed atomically and at the same time by all processes that have this action in their alphabet. But, when these processes are executed on some computer platform, synchronisation leads to context switches of the processes and therefore an increased overhead, which may lead to deadline misses. But, by combining processes we reduce the number of context switches and therefore reduce the overhead. We combine these processes by representing the processes by edge-labelled acyclic directed multi-graphs, and multiply the graphs by the VRSP. Next, we transpose the resulting graphs into processes for which there are less context switches. An important aspect of these real-time applications is that they must execute in time. Still, it may happen that the set of processes of the application cannot execute timely and may miss a deadline. Now, by decomposing the graphs and multiplying the graphs by the VRSP in another combination, the processes that are represented by these recombined graphs may execute in time. The requirements of the recently introduced graph-decomposition theorems are too strict and can be relaxed, whereby more graphs can be decomposed giving more possible combinations for the real-time application. Therefore, we recall the definition of the VRSP and the two graph-decomposition theorems, we relax the requirements by stating and proving two lemmas and use these lemmas to state and prove these two (relaxed) graph-decomposition theorems.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑