Question

我要把控制流图(CFG)放到高级别法典。通常,这非常容易;走树,使每一根基都翻一番,与山.一.。

不幸的是,这些日子已经过时,大多数现代语言不支持这些语言。因此,我需要一些办法,只使用现有语文的控制流表:for,while,do.while,if ,break and continue 。 (不愿考虑使用变量建造国家机器。)

看来,虽然有计算法,但每例工作将而不是<>em>。也就是说,可能建立一个仅使用上述有限控制流动结构的、不能归结为结构化代码的CFG。

This seems intuitively obvious to me, but I can t prove it (and the documentation for the algorithms I ve found don t go into more detail). And I haven t been able to find an example of a CFG which can t be flattened like this.

I would like to know, definitively, if this is possible or not.

备选办法(a):任何人都有一个无法如上所述加以统一的儿童援助基金的例子吗? (Which将告诉我,这是不可能的。)

备选办法(b):是否有任何证据表明,如上所述,CFGs can被统一起来? (Which将告诉我,它is可能)。这样做的算法也是非常可取的,因为届时我不得不这样做......

Answer 1

我认为我取得了成果。

The answer seems to be: it is not possible. This is from Communications of the ACM, volume 9, pages 366 to 371 in a paper from 1966 called "Flow Diagrams, Turing Machines and Languages with only Two Formation Rules" by Giuseppe Jacopini. CiteSeer link. (Which, amusingly, I found referenced from Knuth s seminal (and, from my point of view, incredibly annoying) Go To Statement Considered Harmful.)

他们没有证据,说他们找不到证据。

好消息是,该文件确实描述了一种战略,即利用有限的控制流动机制,尽可能少地利用国家,将任意的CFG转化为CFG。该文件相当艰难,但看起来很有希望。

Answer 2

尽管这个问题在很久以前就曾提出过,但实际上似乎有可能发生。商事仲裁委员会(或现在的网络大会)在汇编LLV和JS时也存在类似的问题。共同预算和网络大会只允许有条理的管制流动,而LV允许任意控制流动。

这些文件也用于。 WebAssembly:

这一想法的模型是Relooper a href=”http://dl.acm.org/fer.cfm?id=2048224” rel=“nofollow noretinger”>2011 。有证据表明,任何控制流动都可以有条不紊地进行代表,只利用贾瓦文的现有控制流动结构,使用提尔语中提到的标签等辅助变量,而没有编码上的重复(其他办法将节点分开,并且存在坏的法典规模情况)。衣帽还在文稿中实施,过去四年来,我们积累了大量的实际经验,表明它在实践中取得了良好成果,通常很少使用助手变量。

Answer 3

如果控制流动图没有 reducible,则不能按你所描述的分阶段控制流动。任何无法估测的消费物价指数都含有以下几种变量:

Here both y and z are loops that enter each other, which would be impossible to create with normal structured control flow.

However, most Control Flow Graphs can be converted. You can use the auxiliary data structure the Dominator Tree to do this. See this implementation in Haskell for example.

Answer 4

上述图表虽然是不可估量的,但随着添加“jump”等助变,可以有条理地进行控制。我们添加了比x的一块块块,它 sets起 jump,然后飞到x。然后,我们制造了一个新编块, sets起休战,把右边从X射出,而不是z。然后,我们直接诉X, 和 z ,进入一个新的区块,条件是跳跃, z 否则。之后,z公司的第一份陈述补充了跳跃=虚假。这就增加了最低限度的法典,没有重复,并将这一结构变成一个单一条目。

减少不可减少的控制流动:

友情链接