CN103620554B - 别名化缓冲区 - Google Patents

别名化缓冲区 Download PDF

Info

Publication number
CN103620554B
CN103620554B CN201280029279.5A CN201280029279A CN103620554B CN 103620554 B CN103620554 B CN 103620554B CN 201280029279 A CN201280029279 A CN 201280029279A CN 103620554 B CN103620554 B CN 103620554B
Authority
CN
China
Prior art keywords
code
action
access
source code
physical buffer
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN201280029279.5A
Other languages
English (en)
Other versions
CN103620554A (zh
Inventor
A·K·阿加瓦尔
W·朱
Y·莱瓦诺尼
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Microsoft Technology Licensing LLC
Original Assignee
Microsoft Technology Licensing LLC
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Microsoft Technology Licensing LLC filed Critical Microsoft Technology Licensing LLC
Publication of CN103620554A publication Critical patent/CN103620554A/zh
Application granted granted Critical
Publication of CN103620554B publication Critical patent/CN103620554B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/40Transformation of program code
    • G06F8/51Source to source
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/445Program loading or initiating
    • G06F9/44536Selecting among different versions

Abstract

本发明涉及用于将缓冲区别名化的方法、系统和计算机程序产品。本发明的实施例通过如下方式来支持缓冲区别名化:引入源程序的缓冲区访问与目标可执行物理缓冲区之间的间接等级;以及在运行时将逻辑缓冲区访问绑定到实际物理缓冲区访问。可以将多种支持缓冲区的运行时别名化的技术用在原本不允许目标可执行代码的单独定义的缓冲区之间的这样的运行时别名化的系统中。源程序中的逻辑缓冲区访问到目标可执行代码中定义的实际物理缓冲区之间的绑定被延迟直到运行时。

Description

别名化缓冲区
背景
1.背景和相关技术
计算机系统及相关技术影响社会的许多方面。的确,计算机系统处理信息的能力已转变了人们生活和工作的方式。现在,计算机系统通常执行在计算机系统出现以前手动执行的许多任务(例如,文字处理、日程安排、帐目管理等)。最近,计算机系统彼此耦合并耦合到其他电子设备以形成计算机系统及其他电子设备可在其上传输电子数据的有线和无线计算机网络。因此,许多计算任务的执行分布在多个不同的计算机系统和/或多个不同的计算环境中。
一些运行时环境使用缓冲区别名化(aliasing)来提供编程抽象。缓冲区别名化将一个或多个物理缓冲区抽象成逻辑缓冲区,所述逻辑缓冲区每个都表示底层物理缓冲区的子集。缓冲区别名化使得程序员能够开发出算法,而不必关心作为(例如输入或输出)参数传递给算法的缓冲区是属于不同物理缓冲区还是相同物理缓冲区。
然而,其他运行时环境不允许单独定义的缓冲区之间的运行时缓冲区别名化。在这些环境中,缓冲区访问是通过引用底层物理缓冲区来进行的。
另外,情况可能是,为一个运行时环境开发的软件的部分最终是在不同的软件环境中执行的,比如例如在具有不同类型的处理器的多处理器环境中执行。因此,包括缓冲区别名化指令的代码的一部分可以被开发以供在支持缓冲区别名化的第一运行时环境(例如通用中央处理单元“CPU”)中执行。然而在运行时,代码的该部分可能例如被分配给不允许缓冲区别名化的不同的第二运行时环境(例如图形处理单元(“GPU”))。第二运行时环境不知道如何执行缓冲区别名化指令。因此,在遇到缓冲区别名化指令时,第二运行时环境可能导致代码的该部分停止按预期工作并且可能导致异常,或者可能导致某种其他类型的错误。
概述
本发明涉及用于将缓冲区别名化的方法、系统和计算机程序产品。计算机系统包括多个处理器,其包括第一处理器类型和不同的第二处理器类型。用于第二处理器类型的运行时环境不允许物理缓冲区的别名化。
计算机系统访问程序。该程序包括某编程语言的源代码。该源代码被配置为用于在第一处理器类型和第二处理器类型上执行,其中该源代码的至少一部分是以第二处理器类型为目标的。该源代码定义一个或多个物理缓冲区并且包括用于通过多个逻辑视图在逻辑上访问一个或多个物理缓冲区的指令。每个逻辑视图都对应于物理缓冲区中的数据的子集。
至少一部分源代码被转换成用于不同的第二处理器类型的第二代码。第二代码定义逻辑缓冲区访问与底层物理缓冲区访问之间的间接(indirection)等级。第二代码的执行被配置在不同的第二处理器类型的运行时环境中以使用所定义的间接等级将逻辑缓冲区访问绑定到物理缓冲区。所定义的间接等级被用于在第二代码的执行期间将逻辑缓冲区访问绑定到物理缓冲区。
提供本概述是为了以简化的形式介绍将在以下详细描述中进一步描述的一些概念。本概述不旨在标识出所要求保护的主题的关键特征或必要特征,也不旨在用于帮助确定所要求保护的主题的范围。
本发明的附加特征和优点将在以下描述中叙述,并且其一部分根据本描述将是显而易见的,或者可通过对本发明的实践来获知。本发明的特征和优点可通过在所附权利要求书中特别指出的工具和组合来实现和获得。本发明的这些以及其他特征、优点和特征将根据以下描述和所附权利要求而变得更显而易见,或者可通过如此后阐述的对本发明的实践而获知。
附图简述
为了描述可以获得本发明的上文所列举的及其他优点和特征的方式,将通过参考附图中所示的本发明的各具体实施例来呈现上文简要描述的本发明的更具体的描述。可以理解,这些附图仅描述本发明的典型实施例,从而不被认为是对其范围的限制,本发明将通过使用附图用附加特征和细节来描述和说明,在附图中:
图1示出了促进缓冲区别名化的示例计算机架构。
图2示出了用于将缓冲区别名化的示例方法的流程图。
图3A示出了使用动态标签来提供关于间接的等级。
图3B示出了使用抽象接口和动态链接来提供间接等级。
详细描述
本发明涉及用于将缓冲区别名化的方法、系统和计算机程序产品。计算机系统包括多个处理器,其包括第一处理器类型和不同的第二处理器类型。用于第二处理器类型的运行时环境不允许物理缓冲区的别名化。计算机系统访问程序。该程序包括某编程语言的源代码。该源代码被配置为用于在第一处理器类型和第二处理器类型上的混合执行,其中该源代码的至少一部分是以第二处理器类型为目标的。该源代码定义一个或多个物理缓冲区并且包括用于通过多个逻辑视图在逻辑上访问一个或多个物理缓冲区的指令。每个逻辑视图都对应于物理缓冲区中的数据的子集。
至少一部分源代码被转换成用于不同的第二处理器类型的第二代码。第二代码定义逻辑缓冲区访问与底层物理缓冲区访问之间的间接(indirection)等级。第二代码的执行被配置在不同的第二处理器类型的运行时环境中以使用所定义的间接等级将逻辑缓冲区访问绑定到物理缓冲区。所定义的间接等级被用于在第二代码的执行期间将逻辑缓冲区访问绑定到物理缓冲区。
本发明的实施例包括用于提供间接等级的各种机制。在一些实施例中,使用动态标签来提供间接等级。动态标签可以包括在所生成的可执行代码(例如第二代码)中以用于将逻辑缓冲区访问复用到合适的物理缓冲区访问。在其他实施例中,使用抽象接口和动态链接来提供间接等级。抽象接口被包括在用于逻辑缓冲区访问的所生成的可执行代码(例如第二代码)中。在运行时,可执行代码被动态地链接到合适的物理缓冲区访问。
本发明的各实施例可包括或利用专用或通用计算机,该专用或通用计算机包括诸如举例而言一个或多个处理器和系统存储器的计算机硬件,如以下更详细讨论的。本发明范围内的各实施例还包括用于承载或存储计算机可执行指令和/或数据结构的物理和其他计算机可读介质。这样的计算机可读介质可以是可由通用或专用计算机系统访问的任何可用介质。存储计算机可执行指令的计算机可读介质是计算机存储介质(设备)。承载计算机可执行指令的计算机可读介质是传输介质。由此,作为示例而非限制,本发明的各实施例可包括至少两种显著不同的计算机可读介质:计算机存储介质(设备)和传输介质。
计算机存储介质(设备)包括RAM、ROM、EEPROM、CD-ROM、固态驱动器(SSD)(如基于RAM)、闪存、相变存储器(PCM)、其他类型的存储器、其他光盘存储、磁盘存储或其他磁存储设备、或可用于存储计算机可执行指令或数据结构形式的所需程序代码装置且可由通用或专用计算机访问的任何其他介质。
“网络”被定义为允许在计算机系统和/或模块和/或其他电子设备之间传输电子数据的一个或多个数据链路。当信息通过网络或另一个通信连接(硬连线、无线、或者硬连线或无线的组合)传输或提供给计算机时,该计算机将该连接适当地视为传输介质。传输介质可包括可用于携带计算机可执行指令或数据结构形式的所需程序代码装置且可由通用或专用计算机访问的网络和/或数据链路。上述的组合也应被包括在计算机可读介质的范围内。
此外,在到达各种计算机系统组件之后,计算机可执行指令或数据结构形式的程序代码装置可从传输介质自动传输到计算机存储介质(设备)(或反之亦然)。例如,通过网络或数据链接接收到的计算机可执行指令或数据结构可被缓存在网络接口模块(例如,“NIC”)内的RAM中,然后最终被传输到计算机系统RAM和/或计算机系统处的较不易失性的计算机存储介质(设备)。因而,应当理解,计算机存储介质(设备)可被包括在还利用(甚至主要利用)传输介质的计算机系统组件中。
计算机可执行指令例如包括,当在处理器上执行时使通用计算机、专用计算机、或专用处理设备执行某一功能或某组功能的指令和数据。计算机可执行指令例如可以是二进制代码、诸如汇编语言之类的中间格式指令或者甚至是源代码。尽管用结构特征和/或方法动作专用的语言描述了本主题内容,但可以理解,所附权利要求书中定义的主题内容不必限于上述特征或动作。更具体而言,上述特征和动作是作为实现权利要求的示例形式而公开的。
本领域的技术人员将理解,本发明可以在具有许多类型的计算机系统配置的网络计算环境中实践,这些计算机系统配置包括具有以下一个或多个的组合:个人计算机、台式计算机、膝上型计算机、消息处理器、手持式设备、多处理器系统(包括有一个或多个中央处理单元(“CPUs”)以及例如图形处理单元(“GPUs”)或加速器的一个或多个协作处理器的系统)、基于微处理器的或可编程消费电子设备、网络PC、小型计算机、大型计算机、移动电话、PDA、寻呼机、路由器、交换机等等。本发明也可在其中通过网络链接(或者通过硬连线数据链路、无线数据链路,或者通过硬连线和无线数据链路的组合)的本地和远程计算机系统两者都执行任务的分布式系统环境中实施。在分布式系统环境中,程序模块可以位于本地和远程存储器存储设备二者中。
图1示出了促进将缓冲区别名化的示例计算机架构100。参考图1,计算机架构100包括代码转换器101、物理缓冲区102、处理器运行时141以及处理器运行时142。所描绘的组件中的每一个通过系统总线(或作为系统总线的一部分)和/或诸如例如局域网(“LAN”)、广域网(“WAN”)以及甚至因特网等网络(或作为网络的一部分)彼此连接。因此,所描绘的计算机系统中的每一个以及任何其他连接的计算机系统及其组件都可以创建消息相关数据并通过系统总线和/或网络交换消息相关数据(例如,网际协议(“IP”)数据报和利用IP数据报的其他更高层协议,诸如传输控制协议(“TCP”)、超文本传输协议(“HTTP”)、简单邮件传输协议(“SMTP”)等)。
一般而言,代码转换器101被配置为将代码转换为包括间接指令,所述间接指令促进处理器运行时中的缓冲区别名化,其中所述处理器运行时原本不允许单独定义的缓冲区之间的缓冲区别名化。在一些实施例中,间接指令包括用于将逻辑缓冲区访问复用到实际物理缓冲区的动态标签。在其他实施例中,间接指令包括用于逻辑缓冲区访问的抽象接口。抽象接口在运行时被动态链接到物理缓冲区访问。
物理缓冲区102可以是计算机架构100内的系统存储器位置(例如RAM的一部分)、虚拟存储器位置(例如盘上)、或者不同的第二存储器类型可访问的专用存储器中的存储器位置。
计算机架构100可以包括多个处理器运行时,其包括处理器运行时141和处理器运行时142。每个处理器运行时都可以对应于不同的处理器,比如例如通用处理器(例如中央处理单元(“CPU”)或专用处理器(例如图形处理单元(“GPU”)))。每个处理器运行时都可以被配置为具有在代码执行时所使用的各种(及不同)的属性。例如,一些处理器运行时本机地支持缓冲区别名化,而其他处理器运行时不允许缓冲区别名化。
例如,为并行环境扩展的C++提供了设备缓冲区的以“array(阵列)”或“array_view(阵列_视图)”类型形式的抽象。“array”或“array_view”类型的实例是要在设备上执行的代码的输入和输出并且可以作为参数在运行时被传递给该设备代码。每个array或array_view实例都可以提供对实际底层物理缓冲区资源(例如在以为目标时为缓冲区资源)的子集的访问。当为针对并行环境内核函数扩展的C++生成可执行代码时,编译器在所生成的可执行代码中为内核的每个array或array_view参数定义缓冲区变量。
情况可以是,为并行环境代码扩展的C++的部分被翻译成高级着色器语言(“HLSL”)以供在GPU上执行。例如,针对并行环境扩展的C++可以以平台为目标。因此,为并行环境array或array_view访问扩展的C++可以被直接翻译成相应的高级着色器语言(“HLSL”)缓冲区访问。然而,不允许缓冲区别名化。因此,将相同的缓冲区资源绑定到多个HLSL缓冲区变量也是不允许的。因此,用户基本上不能在运行时将具有相同底层缓冲区资源的array或array_view实例作为实际参数传递给针对并行环境内核扩展的C++。
图2示出了用于将缓冲区别名化的示例方法200的流程图。方法200将参考计算机架构100的组件和数据来描述。
方法200包括访问程序的动作,该程序包括编程语言的源代码,该源代码被配置为用于在第一处理器类型和不同的第二处理器类型上的混合执行,该源代码定义映射到物理缓冲区的array或array_view(数据的逻辑视图),该源代码还包括用于通过多个逻辑视图在逻辑上访问该物理缓冲区的指令,每个逻辑视图都对应于该物理缓冲区中的数据的子集,该源代码的至少一部分是以该不同的第二处理器类型为目标的(动作201)。例如,代码转换器101可以访问较高级代码111。较高级代码111可以被配置为用于处理器运行时141(例如支持缓冲区别名化的CPU环境)中和处理器运行时142(例如不允许缓冲区别名化的GPU环境)中的混合执行。例如,其他代码114可以被指定用于在处理器运行时141中执行,并且作为目标(targeted)的代码112可以被指定用于在处理器运行时142中执行。较高级代码111可以定义物理缓冲区102。逻辑缓冲区访问指令113通过逻辑视图102A和102B来抽象对物理缓冲区102的访问。
方法200包括将源代码的至少一部分转换成针对不同的第二处理器类型的第二代码,该第二代码定义逻辑缓冲区访问与物理缓冲区之间的间接等级(动作202)。例如,代码转换器102可以转换作为目标的代码112转换以包括间接指令123。间接指令123可以定义逻辑缓冲区视图102A和102B与物理缓冲区102之间的间接等级。
方法200包括如下动作:将第二代码的执行配置在不同的第二处理器类型的运行时环境内以使用所定义的间接等级将逻辑缓冲区访问绑定到物理缓冲区(动作203)。在较低级代码121的执行期间,作为目标的代码112可以被传递给处理器运行时142。处理器运行时142可以配置作为目标的代码的执行以使用间接指令将逻辑缓冲区访问113绑定到物理缓冲区102。处理器运行时142可以分析逻辑缓冲区访问指令113以确定通过逻辑视图(例如102A和103B)访问的物理缓冲区(例如102)。处理器运行时142可以生成间接数据131以在模拟缓冲区别名化方面帮助间接指令。
方法200包括使用所定义的间接等级来在第二代码的执行期间将逻辑缓冲区访问绑定到物理缓冲区的动作(动作204)。例如,处理器运行时142可以在作为目标的代码112的执行期间使用间接指令123将逻辑缓冲区访问113绑定103到物理缓冲区102。间接指令123可以是指用于将逻辑视图102A和102B映射到物理缓冲区102内的相应位置的间接数据131。
各种不同的技术可以被(例如针对并行环境扩展的C++)编译器和运行时用于促进原本不被允许的缓冲区别名化。例如,可以使用技术来使得针对并行环境扩展的C++的程序员能够将具有相同底层物理缓冲区资源的array或array_view实例作为参数传递给针对并行环境内核扩展的C++,即使该内核参数中的一个或多个被声明为可写入的。如所述那样,array或array_view实例的别名化可以通过在所生成的可执行代码中引入源array或源array_view的缓冲区访问与底层HLSL缓冲区访问之间的间接等级来实现。array或array_view访问到合适HLSL缓冲区变量的实际绑定是在运行时发生的。
一种用于实现间接的技术是使用动态标签。图3A示出了将动态标签用于间接等级。编译器生成的代码可以包括分支代码301。当array302被接收时,分支代码可以对动态标签值执行以选择缓冲区303、304和306之一。在运行时期间,输入逻辑视图被检查以寻找别名化,并且每个逻辑视图都被分配动态标签值以将共享中的逻辑视图访问重定向到合适的物理缓冲区(311)。用所生成的动态标签值输入来启动经编译的着色器(312)。
例如,下面的程序(例如较高级代码111)包括缓冲区别名化:
使用动态标签,编译器(例如代码转换器121)定义与源内核的每个array参数相对应的HLSL缓冲区变量。从在运行时传递给经编译的HLSL代码的动态标签表(通过分析在先代码而生成的)中读取array缓冲区与所映射到的实际HLSL缓冲区之间的绑定。动态标签表包含针对并行环境array的缓冲区所扩展的C++与相应HLSL缓冲区变量之间的映射。针对每个array访问,编译器都对该array的动态标签值生成switch语句,其中在所生成的代码中定义每个HLSL缓冲区变量的case语句。
编译器可以从示例程序中生成将动态标签用于间接的代码。例如,编译器可以从示例程序中生成如下代码:
运行时(例如处理器运行时142)通过检查每个实际array/array_view或参数以寻找读-写别名化来填充动态标签表,其中其他array/array_view参数在运行时被传递给内核。如果针对该array/array_view检测到别名化,则从别名中挑选可写入的arrays/array_view之一,并且相应的HLSL缓冲区变量被绑定到别名化的arrays/arracy_view底层的缓冲区。别名化的arrays/arrary_view中的每一个到HLSL缓冲区映射的条目都被设置为绑定到缓冲区资源的HLSL缓冲区变量的索引(整数ID)。与所有其他别名化的arrays/array_view相对应的HLSL缓冲区变量被绑定到NULL(空)。
针对示例程序,所生成表为:
Array“f1”->0(第一HLSL缓冲区变量的索引)
Array“f2”->0(第一HLSL缓冲区变量的索引)
另一用于实现间接的技术是使用抽象接口和动态链接。图3B示出了将抽象接口和动态链接用于间接等级。编译器生成代码可以包括使用针对array/array_view缓冲区访问的抽象接口的着色器(351)。在运行时期间,检查代码以寻找运行时array/array_view参数中的别名化(361)。array访问接口实例被绑定到与合适的HLSL缓冲区相对应的实现(362)。
当使用抽象接口和动态绑定时,编译器定义与资源内核的每个array参数相对应的HLSL缓冲区变量、以及用于访问每个array参数的底层缓冲区的抽象接口。附加地,生成array/array_view缓冲区访问接口的具体实现,其对应于在所生成的代码中所定义的每个HLSL缓冲区变量。所生成的代码中的array/array_view缓冲区访问接口的实例中的每个都在运行时被绑定到与合适HLSL缓冲区变量相对应的实现(取决于对在运行时传递给内核的实际array/array_view参数执行的别名化检查)。
在运行时(例如处理器运行时142),检查每个实际array/array_view参数以寻找读-写别名化,其中其他array/arry_view参数被传递给内核。如果针对该array/array_view检测到别名化,则从别名中挑选可写入的arrays/array_view之一,并且相应的HLSL缓冲区变量被绑定到底层缓冲区。而且,针对别名化arrays/array_view中的每一个的array_buffer(阵列_缓冲区)访问被绑定到与所选HLSL缓冲区变量相对应的接口的具体实现。与其他别名化的arrays/array_view相对应的HLSL缓冲区变量被绑定到NULL(空)。
为并行环境扩展的C++提供了设备缓冲区的以“array”类型形式的抽象。“array”类型的实例是要在设备上执行的代码的输入和输出并且可以作为参数在运行时被传递给该设备代码。每个array实例都提供对实际底层物理DirectX缓冲区资源的子集的访问。当为针对并行环境内核函数扩展的C++生成可执行代码时,编译器在所生成的可执行代码中为内核的每个array参数定义缓冲区变量。然而,由于在HLSL缓冲区变量中的任一个为可写入的情况下DirectX不允许将相同的DirectX缓冲区资源绑定到多个HLSL缓冲区变量,因此用户不能将具有相同底层DirectX缓冲区资源的array实例作为实际参数在运行时传递给内核。
HLSL动态链接可以用于支持缓冲器别名化。例如,如果着色器需要访问三个缓冲区:
RWStructuredBuffer<uint>_GV_buffer_rw_0:register(u0);
StructuredBuffer<uint>_GV_buffer_ro_0:register(t0);
StructuredBuffer<uint>_GV_buffer_ro_1:register(t1);
替代于生成代码以直接读取/写入缓冲区,通过两个接口来提供访问。
一个接口抽象只读缓冲区,另一个接口抽象读-写缓冲区。
对于RWStructuredBuffer,生成两个类,一个实现ROBufferInterface,并且一个实现RWBufferInterface:
对于ROStructuredBuffer,生成实现ROBufferInterface的一个类:
其他代码通过Buffer_0、Buffer_1和Buffer_2、而不是_GV_buffer_rw_0、_GV_buffer_ro_0和_GV_buffer_ro_1来访问缓冲区。
当运行时检测到别名化的输入时,运行时检测相应的着色器。然后,运行时配置Buffer_x到接口的实现的绑定。表1描绘了各个不同元素之间的示例映射:
表1
如表1中所描绘的那样,array0和array1使用相同的底层缓冲区(Buf0)。这是运行时所检测到的别名化。然后,运行时将“array2”绑定到类BufferClass_0_RO。BufferClass_0_RO实现ROBufferInterface并且将_GV_buffer_rw_0用于“array2”。结果,在运行时,_GV_buffer_rw_0被用于array0和array2二者。
编译器可以确定每个隙(slot)并且使所述隙对运行时可用以用于绑定到类的实例。
因此,本发明的实施例通过如下方式来支持缓冲区别名化:引入源程序的缓冲区访问与目标可执行物理缓冲区之间的间接等级;以及在运行时将逻辑缓冲区访问绑定到实际物理缓冲区访问。可以将多种支持缓冲区的运行时别名化的技术用在原本不允许目标可执行代码中的单独定义的缓冲区之间的这样的运行时别名化的系统中。源程序中的逻辑缓冲区访问到目标可执行代码中定义的实际物理缓冲区之间的绑定被延迟直到运行时。
本发明可具体化为其它具体形式而不背离其精神或本质特征。所描述的实施例在所有方面都应被认为仅是说明性而非限制性的。因此,本发明的范围由所附权利要求书而非前述描述指示。落入权利要求书的等效方案的含义和范围内的所有改变应被权利要求书的范围所涵盖。

Claims (15)

1.在包括多个处理器和系统存储器的计算机系统处的一种用于将缓冲区别名化的方法,所述多个处理器包括第一处理器类型和不同的第二处理器类型,针对不同的第二处理器类型的运行时环境不允许物理数据缓冲区的别名化,该方法包括:
访问程序的动作,所述程序包括编程语言的源代码,所述源代码被配置为用于在第一处理器类型和不同的第二处理器类型上的混合执行,所述源代码定义物理缓冲区,所述源代码还包括用于通过多个逻辑视图在逻辑上访问所述物理缓冲区的指令,每个逻辑视图都对应于所述物理缓冲区中的数据的子集,所述源代码的至少一部分是以在不同的第二处理器类型的运行时环境中执行为目标的,所述第二处理器类型的运行时环境不允许物理数据缓冲区的别名化;
将所述源代码的至少一部分转换成针对不同的第二处理器类型的第二代码的动作,第二代码定义逻辑缓冲区访问与所述物理缓冲区之间的间接等级;
将第二代码的执行配置在不同的第二处理器类型的运行时环境内以使用所定义的间接等级将逻辑缓冲区访问绑定到物理缓冲区的动作;以及
使用所定义的间接等级来在第二代码的执行期间将所述逻辑缓冲区访问绑定到所述物理缓冲区的动作。
2.如权利要求1所述的方法,其特征在于,访问程序的动作包括访问C++程序的动作,所述C++是针对并行环境扩展的。
3.如权利要求1所述的方法,其特征在于,访问程序的动作包括访问如下程序的动作:所述程序被配置为用于在中央处理单元(“CPU”)运行时和图形处理单元(“GPU”)运行时中的混合执行。
4.如权利要求1所述的方法,其特征在于,访问程序的动作包括访问包括用于在逻辑上访问下列各项之一的指令的程序的动作:随机存取存储器(“RAM”)和盘上的虚拟存储器。
5.如权利要求1所述的方法,其特征在于,将所述源代码的至少一部分转换成针对不同的第二处理器类型的第二代码的动作包括将所述源代码的至少一部分转换成用于在图形处理单元(“GPU”)上执行的高级着色器语言(“HLSL”)代码的动作。
6.如权利要求1所述的方法,其特征在于,还包括:
分析第二代码以创建针对并行环境阵列缓冲区扩展的C++与相应的高级着色器语言(“HLSL”)缓冲区变量之间的映射的动作;并且其中
使用所定义的间接等级来将所述逻辑缓冲区访问绑定到所述物理缓冲区的动作包括使用所述映射来将所述逻辑缓冲区访问绑定到所述物理缓冲区的动作。
7.如权利要求1所述的方法,其特征在于,将源代码的至少一部分转换成针对不同的第二处理器类型的第二代码的动作,其中第二代码定义所述逻辑缓冲区访问与所述物理缓冲区之间的间接等级,包括转换源代码的所述至少一部分以使用动态标签来实现所述逻辑缓冲区访问与所述物理缓冲区之间的间接等级的动作。
8.如权利要求7所述的方法,其特征在于,在第二代码的执行期间使用所定义的间接等级来将所述逻辑缓冲区访问绑定到所述物理缓冲区的动作包括使用所述动态标签来将逻辑缓冲区访问复用到合适的物理缓冲区访问的动作。
9.如权利要求1所述的方法,其特征在于,将源代码的至少一部分转换成针对不同的第二处理器类型的第二代码的动作,其中第二代码定义所述逻辑缓冲区访问与所述物理缓冲区之间的间接等级,包括转换源代码的所述至少一部分以将抽象接口用于逻辑缓冲区访问的动作。
10.如权利要求9所述的方法,其特征在于,在第二代码的执行期间使用所定义的间接等级来将所述逻辑缓冲区访问绑定到所述物理缓冲区的动作包括在执行期间动态链接到物理缓冲区访问的动作。
11.在包括多个处理器和系统存储器的计算机系统处的一种用于将缓冲区别名化的方法,所述多个处理器包括第一处理器类型和不同的第二处理器类型,针对所述不同的第二处理器类型的运行时环境不允许物理数据缓冲区的别名化,该方法包括:
访问程序的动作,所述程序包括编程语言的源代码,所述源代码被配置为用于在第一处理器类型和不同的第二处理器类型上的混合执行,所述源代码定义物理缓冲区,所述源代码还包括用于通过多个逻辑视图在逻辑上访问所述物理缓冲区的指令,每个逻辑视图都对应于所述物理缓冲区中的数据的子集,所述源代码的至少一部分是以不同的第二处理器类型为目标的;
将所述源代码的至少一部分转换成针对不同的第二处理器类型的第二代码的动作,第二代码定义提供逻辑缓冲区访问与所述物理缓冲区之间的间接等级的动态标签;
分析第二代码以创建所述逻辑缓冲区访问与所述物理缓冲区之间的映射的动作;
将第二代码的执行配置在不同的第二处理器类型的运行时环境内以使用动态标签将逻辑缓冲区访问绑定到物理缓冲区的动作;以及
使用所述动态标签来在第二代码的执行期间将所述逻辑缓冲区访问绑定到所述物理缓冲区的动作。
12.如权利要求11所述的方法,其特征在于,将所述源代码的至少一部分转换成针对不同的第二处理器类型的第二代码的动作包括将所述源代码的至少一部分转换成用于在图形处理单元(“GPU”)上执行的高级着色器语言(“HLSL”)代码的动作。
13.如权利要求11所述的方法,其特征在于,访问程序的动作包括访问如下程序的动作:所述程序被配置为用于在中央处理单元(“CPU”)运行时和图形处理单元(“GPU”)运行时中的混合执行。
14.在包括多个处理器和系统存储器的计算机系统处的一种用于将缓冲区别名化的方法,所述多个处理器包括第一处理器类型和不同的第二处理器类型,针对所述不同的第二处理器类型的运行时环境不允许物理数据缓冲区的别名化,该方法包括:
访问程序的动作,所述程序包括编程语言的源代码,所述源代码被配置为用于在第一处理器类型和不同的第二处理器类型上的混合执行,所述源代码定义物理缓冲区,所述源代码还包括用于通过多个逻辑视图在逻辑上访问所述物理缓冲区的指令,每个逻辑视图都对应于所述物理缓冲区中的数据的子集,所述源代码的至少一部分是以不同的第二处理器类型为目标的;
将所述源代码的至少一部分转换成针对不同的第二处理器类型的第二代码的动作,第二代码定义提供所述逻辑缓冲区访问与所述物理缓冲区之间的间接等级的抽象接口;
将第二代码的执行配置在不同的第二处理器类型的运行时环境内以使用所定义的抽象接口的具体实现将逻辑缓冲区访问绑定到物理缓冲区的动作;以及
在第二代码的执行期间将所述抽象接口动态链接到所述具体实现以促进物理缓冲区访问的动作。
15.如权利要求14所述的方法,其特征在于,访问程序的动作包括访问包括用于在逻辑上访问下列各项之一的指令的程序的动作:随机存取存储器(“RAM”)和盘上的虚拟存储器。
CN201280029279.5A 2011-06-14 2012-06-05 别名化缓冲区 Active CN103620554B (zh)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US13/160,373 2011-06-14
US13/160,373 US8990515B2 (en) 2011-06-14 2011-06-14 Aliasing buffers
PCT/US2012/040946 WO2012173822A2 (en) 2011-06-14 2012-06-05 Aliasing buffers

Publications (2)

Publication Number Publication Date
CN103620554A CN103620554A (zh) 2014-03-05
CN103620554B true CN103620554B (zh) 2016-09-28

Family

ID=47354810

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201280029279.5A Active CN103620554B (zh) 2011-06-14 2012-06-05 别名化缓冲区

Country Status (4)

Country Link
US (1) US8990515B2 (zh)
EP (1) EP2721484A4 (zh)
CN (1) CN103620554B (zh)
WO (1) WO2012173822A2 (zh)

Families Citing this family (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8468507B2 (en) 2011-06-10 2013-06-18 Microsoft Corporation Binding executable code at runtime
US9952843B2 (en) * 2014-05-15 2018-04-24 Nvidia Corporation Partial program specialization at runtime
US10049052B2 (en) * 2014-10-27 2018-08-14 Nxp Usa, Inc. Device having a cache memory
US10210088B2 (en) 2015-12-28 2019-02-19 Nxp Usa, Inc. Computing system with a cache invalidation unit, a cache invalidation unit and a method of operating a cache invalidation unit in a computing system

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101657795A (zh) * 2007-04-11 2010-02-24 苹果公司 多处理器上的数据并行计算

Family Cites Families (25)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5339419A (en) 1990-06-25 1994-08-16 Hewlett-Packard Company ANDF compiler using the HPcode-plus compiler intermediate language
US5339430A (en) 1992-07-01 1994-08-16 Telefonaktiebolaget L M Ericsson System for dynamic run-time binding of software modules in a computer system
US6748587B1 (en) 1998-01-02 2004-06-08 Hewlett-Packard Development Company, L.P. Programmatic access to the widest mode floating-point arithmetic supported by a processor
US6665865B1 (en) 2000-04-27 2003-12-16 Microsoft Corporation Equivalence class based synchronization optimization
US6970985B2 (en) 2002-07-09 2005-11-29 Bluerisc Inc. Statically speculative memory accessing
US6961840B2 (en) 2002-09-30 2005-11-01 International Business Machines Corporation Method and apparatus for managing a dynamic alias page table
US7543284B2 (en) 2003-04-22 2009-06-02 Transitive Limited Partial dead code elimination optimizations for program code conversion
US7536682B2 (en) 2003-04-22 2009-05-19 International Business Machines Corporation Method and apparatus for performing interpreter optimizations during program code conversion
GB0316531D0 (en) 2003-07-15 2003-08-20 Transitive Ltd Method and apparatus for performing native binding
US7463259B1 (en) 2003-12-18 2008-12-09 Nvidia Corporation Subshader mechanism for programming language
GB2424092A (en) 2005-03-11 2006-09-13 Transitive Ltd Switching between code translation and execution using a trampoline
US8037281B2 (en) 2005-04-07 2011-10-11 Advanced Micro Devices, Inc. Miss-under-miss processing and cache flushing
US7447869B2 (en) * 2005-04-07 2008-11-04 Ati Technologies, Inc. Method and apparatus for fragment processing in a virtual memory system
GB2426840A (en) 2005-06-04 2006-12-06 Transitive Ltd Method of executing program code where a portion of the target code calls a native code portion which then calls a second target code portion.
GB2427045B (en) 2005-06-06 2007-11-21 Transitive Ltd Method and apparatus for converting program code with access coordination for a shared resource
US8276164B2 (en) 2007-05-03 2012-09-25 Apple Inc. Data parallel computing on multiple processors
US8286196B2 (en) * 2007-05-03 2012-10-09 Apple Inc. Parallel runtime execution on multiple processors
US8352926B2 (en) * 2007-07-09 2013-01-08 Megan Adams Method and apparatus for a cross-platform translator from VB.net to java
US20090024986A1 (en) 2007-07-19 2009-01-22 Microsoft Corporation Runtime code modification
US20090070753A1 (en) 2007-09-07 2009-03-12 International Business Machines Corporation Increase the coverage of profiling feedback with data flow analysis
US9170787B2 (en) 2008-06-27 2015-10-27 Microsoft Technology Licensing, Llc Componentization of compiler functionality
US8736617B2 (en) 2008-08-04 2014-05-27 Nvidia Corporation Hybrid graphic display
US9075667B2 (en) 2009-05-21 2015-07-07 Microsoft Technology Licensing, Llc Dynamic binding directed by static types
US8245210B2 (en) 2009-05-22 2012-08-14 Microsoft Corporation Compile-time context for dynamically bound operations
US8468507B2 (en) 2011-06-10 2013-06-18 Microsoft Corporation Binding executable code at runtime

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101657795A (zh) * 2007-04-11 2010-02-24 苹果公司 多处理器上的数据并行计算

Also Published As

Publication number Publication date
US8990515B2 (en) 2015-03-24
EP2721484A2 (en) 2014-04-23
WO2012173822A2 (en) 2012-12-20
US20120324430A1 (en) 2012-12-20
CN103620554A (zh) 2014-03-05
EP2721484A4 (en) 2015-03-11
WO2012173822A3 (en) 2013-05-10

Similar Documents

Publication Publication Date Title
CN103620553B (zh) 在运行时处绑定可执行代码
US8533698B2 (en) Optimizing execution of kernels
CN102637136B (zh) 用于融合来自不同编译器阶段的调试信息的方法和设备
CN108268282A (zh) 用以检查和存储对存储器地址是否在持久存储器中的指示的处理器、方法、系统和指令
CN103620554B (zh) 别名化缓冲区
Marowka On parallel software engineering education using python
EP2659362A2 (en) Emulating pointers
US20230229444A1 (en) Dynamic allocation of executable code for multi-architecture heterogeneous computing
CN105849698A (zh) 动态编程中的执行防护
US8806270B2 (en) Method, apparatus and product for testing transactions
Rasch et al. dOCAL: high-level distributed programming with OpenCL and CUDA
ES2908651T3 (es) Instrucciones reducidas para generar direcciones de variables globales
CN101727513A (zh) 一种超长指令字处理器的设计和优化方法
US20230116546A1 (en) Method for compilation, electronic device and storage medium
Falch et al. ImageCL: Language and source‐to‐source compiler for performance portability, load balancing, and scalability prediction on heterogeneous systems
Rojek et al. Performance analysis for stencil-based 3D MPDATA algorithm on GPU architecture
Rockai Model checking software
Xie Towards a New Design and Execution Framework for SystemGALS
Ross et al. Scaling OpenSHMEM for Massively Parallel Processor Arrays
Libby et al. An embedded implementation of the Common Language Infrastructure
Liang et al. Automatically Migrating Sequential Applications to Heterogeneous System Architecture
Mielke et al. T42–Transputer in FPGA
Philippsen et al. Project Triton: Towards improved programmability of parallel computers
Gong Improving GPU Performance through Instruction Redistribution and Diversification
Mateescu Walking Back and Forth in Labelled Transition Systems

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
ASS Succession or assignment of patent right

Owner name: MICROSOFT TECHNOLOGY LICENSING LLC

Free format text: FORMER OWNER: MICROSOFT CORP.

Effective date: 20150728

C41 Transfer of patent application or patent right or utility model
TA01 Transfer of patent application right

Effective date of registration: 20150728

Address after: Washington State

Applicant after: Micro soft technique license Co., Ltd

Address before: Washington State

Applicant before: Microsoft Corp.

C14 Grant of patent or utility model
GR01 Patent grant