个人中心
文章发布
退出
作者热门文章
- html - 出于某种原因，IE8 对我的 Sass 文件中继承的 html5 CSS 不友好？
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景？
25
4
我正在为每个 cpu 架构 A[i](x86-32、x86-64、ARM、Itanium 等)寻找一个文件 F[i]。每个文件 F[i] 将提供关于体系结构 A[i] 的足够信息(寄存器、指令集、语义等)，因此对于任何语言 L 都可以编写一个程序 P，该程序采用任何 F[ i] 并为语言 L 生成一个编译器优化器 C[i] 到原生 A[i]。当然P关于A[i]的知识完全来自F[i]。
每个 F[i] 都应该包含足够的信息，以便对于任何给定的编译器 C'，从语言 L 到原生 A[i]，我们都可以编写一个 P 来生成性能与 C' 一样好的 C[i]。理想情况下，F[i] 文件将使用能够描述 future cpu 架构的相同语言 DescL 编写。
这样的文件 F[i] 是否存在(至少对于最常见的 cpu 架构而言)？那我在哪里可以下载它们？这样的 DescL 是否已经存在？
最佳答案
Joao Dias 证明至少对于代码生成来说，这个问题是不可判定的。也就是说，对于一般的机器架构，不可能存在这样的程序P。他还开发了对典型机器架构完全有效的启发式算法。我建议你阅读 his dissertation ，其中还回顾了针对此问题所做的大量工作。
您会发现一些与 New Jersey Machine-Code Toolkit 有关的相关工具和说明和 Lambda-RTL规范语言。规范本身可能处于困惑状态，而 Dias 博士更有可能拥有准确且最新的规范。
Zephyr 网页非常陈旧，绝对过时，不应链接到。但是你可以阅读 our papers :-)
关于language-agnostic - 详尽描述 cpu 体系结构以编写可重定向编译器的文件，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/12099268/
25
4
0
今天我在一个 Java 应用程序中看到了几种不同的加载文件的方法。 文件:/ 文件:// 文件:/// 这三个 URL 开头有什么区别？使用它们的首选方式是什么？ 非常感谢 斯特凡 最佳答案 file
就目前而言，这个问题不适合我们的问答形式。我们希望答案得到事实、引用或专业知识的支持，但这个问题可能会引起辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开，visit the he
我有一个 javascript 文件，并且在该方法中有一个“测试”方法，我喜欢调用 C# 函数。 c# 函数与 javascript 文件不在同一文件中。 它位于 .cs 文件中。那么我该如何管理 j
需要检查我使用的文件/目录的权限 //filePath = path of file/directory access denied by user ( in windows ) File fil
我在一个目录中有很多 java 文件，我想在我的 Intellij 项目中使用它。但是我不想每次开始一个新项目时都将 java 文件复制到我的项目中。 我知道我可以在 Visual Studio 和
已关闭。此问题不符合Stack Overflow guidelines 。目前不接受答案。 这个问题似乎不是关于 a specific programming problem, a software
我有 3 个组件的 Twig 文件: 文件 1: {# content-here #} 文件 2: {{ title-here }} {# content-here #}
我得到了 mod_ldap.c 和 mod_authnz_ldap.c 文件。我需要使用 Linux 命令的 mod_ldap.so 和 mod_authnz_ldap.so 文件。 最佳答案 从 c
我想使用PIE在我的项目中使用 IE7。 但是我不明白的是，我只能在网络服务器上使用 .htc 文件吗？ 我可以在没有网络服务器的情况下通过浏览器加载的本地页面中使用它吗？ 我在 PIE 的文档中看到
我在 CI 管道中考虑这一点，我应该首先构建和测试我的应用程序，结果应该是一个 docker 镜像。 我想知道使用构建环境在构建服务器上构建然后运行测试是否更常见。也许为此使用构建脚本。最后只需将 j
using namespace std; struct WebSites { string siteName; int rank; string getSiteName() {
我是 Linux 新手，目前正在尝试使用 ginkgo USB-CAN 接口(interface) 的 API 编程功能。为了使用 C++ 对 API 进行编程，他们提供了库文件，其中包含三个带有 .
我刚学C语言，在实现一个程序时遇到了问题将 test.txt 文件作为程序的输入。 test.txt 文件的内容是: 1 30 30 40 50 60 2 40 30 50 60 60 3 30 20
如何连接两个tcpdump文件，使一个流量在文件中出现一个接一个？具体来说，我想“乘以”一个 tcpdump 文件，这样所有的 session 将一个接一个地按顺序重复几次。 最佳答案 mergeca
我有一个名为 input.MP4 的文件，它已损坏。它来自闭路电视摄像机。我什么都试过了，ffmpeg , VLC 转换，没有运气。但是，我使用了 mediainfo和 exiftool并提取以下信息
我想做什么？ 我想提取 ISO 文件并编辑其中的文件，然后将其重新打包回 ISO 文件。 (正如你已经读过的) 我为什么要这样做？ 我想开始修改 PSP ISO，为此我必须使用游戏资源、 Assets
给定一个 gzip 文件 Z，如果我将其解压缩为 Z'，有什么办法可以重新压缩它以恢复完全相同的 gzip 文件 Z？在粗略阅读了 DEFLATE 格式后，我猜不会，因为任何给定的文件都可能在 DEF
我必须从数据库向我的邮件 ID 发送一封带有附件的邮件。 EXEC msdb.dbo.sp_send_dbmail @profile_name = 'Adventure Works Admin
我有一个大的 M4B 文件和一个 CUE 文件。我想将其拆分为多个 M4B 文件，或将其拆分为多个 MP3 文件(以前首选)。 我想在命令行中执行此操作(OS X，但如果需要可以使用 Linux)，而
快速提问。我有一个没有实现文件的类的项目。 然后在 AppDelegate 我有: #import "AppDelegate.h" #import "SomeClass.h" @interface A
我是一名优秀的程序员,十分优秀！