[发明专利]控制在可重新配置逻辑设备中访问先前存储的逻辑

说明书

公开了用于在多租户服务器环境中安全地擦除诸如FPGA的可重新配置逻辑设备的分区的方法和装置。在一个示例中，安全地擦除FPGA的方法包括识别FPGA中先前编程的资源的一个分区，通过将新值存储在所识别的分区的存储器或存储元件中来擦除所识别的分区，并将新值存储在电连接到集成电路并与识别的分区相关联的附加外部资源的存储器或存储元件中。因此，防止其他分区和所识别的分区的后续用户访问安全擦除的数据。可由主计算机通过DMA访问的配置电路可被编程到FPGA可重新配置逻辑中，以执行所公开的擦除操作。

背景技术

云计算是使用在远程位置可用并且可通过诸如因特网的网络访问的计算资源(硬件和软件)。在一些布置中，用户能够根据需求服务购买这些计算资源(包括存储和计算能力)作为实用程序。云计算将用户的数据、软件和计算交托给远程服务。虚拟计算资源的使用可以提供许多优点，包括成本优势和/或快速适应变化的计算资源需求的能力。

可以通过使用协处理器来加速一些计算，包括利用可重新配置逻辑实现的加速器(例如，在现场可编程门阵列(FPGA)中。FPGA开发者通常将具有专用接口的本地主计算机连接到支持JTAG接口的本地FPGA的外部引脚，以加速映射到FPGA的功能。因此，在云计算环境中使用这种加速器，通常缺乏FPGA专用硬件和安全功能，提供了充分的改进机会。

附图说明

图1是示出如可以在所公开技术的某些示例中实现的系统的示例的系统图，该系统包括用于管理配置数据和编程可重新配置逻辑设备的逻辑储存库服务。

图2是示出逻辑储存库服务的示例架构的系统图。

图3是概述如可以在所公开的技术的某些示例中实现的包括可在重新编程之前清除的应用程序逻辑的系统的示例配置的框图。

图4示出了可以由逻辑储存库服务执行的配置数据的摄取和生成的示例。

图5示出了图4的示例系统的进一步细节，该系统包括用于配置和接口到可配置硬件平台的控制平面和数据平面的组件。

图6是概述在虚拟化可重新配置逻辑设备中清理数据的示例方法的流程图。

图7是概述在虚拟化可重新配置逻辑设备中清理数据的示例方法的流程图。

图8是示出在包括逻辑储存库服务的多租户环境中运行的多个虚拟机实例的示例系统图。

图9描绘了其中可以实现某些所描述的创新的合适计算环境的一般化示例。

发明详述

用于在一组可重复使用的通用计算资源内提供专用计算资源的一种解决方案是提供包括可配置逻辑平台的服务器计算机(诸如通过向服务器计算机提供包括可重新配置逻辑设备的附加卡，例如现场可编程门阵列(FPGA))作为通用计算资源的选择。可配置逻辑是可以编程或配置为执行由配置数据的应用指定的逻辑功能的硬件。例如，计算资源的用户可以提供规范(例如，以硬件描述语言(例如，Verilog、SystemVerilog和/或VHDL)或其他语言(例如，C、C++和/或SystemC)编写，在使用原理图捕获应用程序生成的网表中，或在由脚本生成的网表中)，用于配置可配置逻辑。可配置逻辑可以根据规范进行配置，配置的逻辑可以用于为用户执行任务。然而，允许用户访问计算设施的低级硬件可能潜在地在计算设施内引入安全性和隐私问题。例如，由于可重新配置逻辑设备和相关组件(例如，耦合到可重新配置逻辑设备的存储器和其他电路)通常将被云环境中的许多用户使用，因此存储在设备和相关组件中的数据对于计算设施内资源的后续用户不应该是可读的。

在允许用户访问低级硬件(包括虚拟化可重新配置逻辑设备中的可重新配置硬件)中出现的问题包括相同可重新配置逻辑设备资源的后续用户可以通过检查可重新配置逻辑设备内的存储器和存储元件的状态以及诸如可重新配置逻辑器件可访问的存储器的附加资源来获得对敏感用户数据的访问权的可能性。所公开的技术包括用于隔离，清除和/或清理存储在可重新配置逻辑设备中的数据和相关联的附加资源的技术。