2013-03-14 55 views
0

当DWARF格式包含我们需要的所有类型信息时,为什么GCC和GNU ld都不支持类型检查链接?我们浪费了大量的时间在我们的公司试图让Ada和C安全通信。问题是我们没有编译器的帮助,也没有链接确保这些绑定保持同步。使用DWARF的类型安全链接

回答

1

当DWARF格式包含我们需要的所有类型信息时,为什么GCC和GNU ld都不支持类型检查链接?

这个问题比你看起来要复杂得多。

我们浪费了很多时间在我们的公司试图让Ada和C安全通信。

然后该代码的支持成GNU ldgold(后者是快得多,而且更容易破解上),以及上游有助于它。问题解决了?

+0

这涉及到哪些复杂问题? – 2013-03-15 11:27:18

+0

根据下面的文章,这个问题似乎与模块系统密切相关:http://www.cs.umd.edu/~mwh/papers/cmod-journal.pdf – 2013-03-15 11:28:08

+0

BTW:我喜欢你的名字,雇用俄语:) – 2013-03-15 13:12:42