CN113986466A - 一种面向云计算的gpu虚拟化系统和方法 - Google Patents

一种面向云计算的gpu虚拟化系统和方法 Download PDF

Info

Publication number
CN113986466A
CN113986466A CN202111282139.6A CN202111282139A CN113986466A CN 113986466 A CN113986466 A CN 113986466A CN 202111282139 A CN202111282139 A CN 202111282139A CN 113986466 A CN113986466 A CN 113986466A
Authority
CN
China
Prior art keywords
vcuda
client
gpu
virtual machine
cuda
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.)
Pending
Application number
CN202111282139.6A
Other languages
English (en)
Inventor
许健
邹琴
钟生海
杨飞
侯明月
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.)
Beijing Institute of Computer Technology and Applications
Original Assignee
Beijing Institute of Computer Technology and Applications
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 Beijing Institute of Computer Technology and Applications filed Critical Beijing Institute of Computer Technology and Applications
Priority to CN202111282139.6A priority Critical patent/CN113986466A/zh
Publication of CN113986466A publication Critical patent/CN113986466A/zh
Pending legal-status Critical Current

Links

Images

Classifications

    • 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/455Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45533Hypervisors; Virtual machine monitors
    • G06F9/45558Hypervisor-specific management and integration aspects
    • 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/46Multiprogramming arrangements
    • G06F9/50Allocation of resources, e.g. of the central processing unit [CPU]
    • G06F9/5061Partitioning or combining of resources
    • G06F9/5077Logical partitioning of resources; Management or configuration of virtualized resources
    • 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/455Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45533Hypervisors; Virtual machine monitors
    • G06F9/45558Hypervisor-specific management and integration aspects
    • G06F2009/45595Network integration; Enabling network access in virtual machine instances

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Computer And Data Communications (AREA)

Abstract

本发明涉及一种面向云计算的GPU虚拟化系统和方法,属于计算机领域。本发明将CUDA改造成为适用于多虚拟机系统的vCUDA。通过vCUDA多模块设计解决多虚拟机间资源通信和调度、在用户层拦截和重定向CUDA API、使用远程过程调用作为特殊的域间通信机制等方式,实现本专利GPU虚拟化技术。本发明设计vCUDA在云计算平台虚拟机上的实现方式,满足不同用户对GPU资源的复用,在虚拟机上实现通用并行计算。本发明通过用户层拦截和重定向CUDA API,不改变虚拟机和GPU自身内核,对原装软件和硬件无侵入。对于客户虚拟机上部署的CUDA应用程序而言,所有的操作都像发生在本地。可使云计算平台成为一个虚拟化GPU资源可用复用、可进行并行计算任务分发、调度可行有效率的计算平台。

Description

一种面向云计算的GPU虚拟化系统和方法
技术领域
本发明属于计算机领域,具体涉及一种面向云计算的GPU虚拟化系统和方法。
背景技术
GPU即图形处理器,是相对于CPU提出的处理器概念。随着桌面虚拟技术和云计算技术的发展,GPU虚拟化技术成为了研究的重点。在虚拟机系统中使用GPU的方式主要包括GPU直通和GPU虚拟化。
GPU直通模式是最成熟的方案,可以直接将物理GPU分配个某一虚拟机,只有该虚拟机拥有对物理GPU访问的权限,该方式称为独占设备。这种方式保存了虚拟机访问GPU的功能完整性和独立性,因为绕过了虚拟机监视器,所以执行效率很高;缺点就是独占设备使其他虚拟机无法共享使用GPU,失去了复用的功能。
GPU虚拟化能够将GPU进行切片,包括在资源维度上切片和在时间维度上切片,并分配给多台虚拟机使用。当前GPU虚拟化技术还存在许多难点,技术实现上也存在多种技术路线。
GPU设备构造复杂,GPU硬件研发是各厂家的核心技术,GPU驱动开发也基本上属于闭源状态。因此,针对GPU虚拟化的二次开发一直是技术难点和痛点,在具体实现上也有多种技术路线。
发明内容
(一)要解决的技术问题
本发明要解决的技术问题是如何提供一种面向云计算的GPU虚拟化系统和方法,以解决针对GPU虚拟化的二次开发的问题。
(二)技术方案
为了解决上述技术问题,本发明提出一种面向云计算的GPU虚拟化系统,该系统采用Xen虚拟化架构,包括三个模块:vCUDA客户端、vCUDA服务端和vGPU,Xen虚拟化架构中包括一个主虚拟机和若干个客户虚拟机;
主虚拟机运行在Xen中的特权域,安装vCUDA服务端以及GPU原生驱动;vCUDA服务端包括原生CUDA库和远程调用模块,其中原生CUDA库能够通过原生驱动使用物理GPU,远程调用模块是主虚拟机与客户虚拟机进行通信的特殊通道;主虚拟机是唯一可以直接访问到物理GPU的虚拟机;
客户虚拟机运行在Xen中的非特权域,客户虚拟机是供用户使用的虚拟机,安装CUDA应用程序、vCUDA客户端和vGPU;vCUDA客户端包括vCUDA库和远程调用模块;远程调用模块用于与主虚拟机通信,vCUDA库是面向GPU虚拟化定制的伪库,通过重定向库函数,将CUDA应用的请求转发到vCUDA服务端执行;客户虚拟机无法直接访问物理GPU,必须通过主虚拟机来使用GPU;vGPU用来维护与GPU相关的软硬件状态。
进一步地,所述特权域为Domain 0,所述非特权域为Domain U。
进一步地,vGPU是客户虚拟机中维护的一个字典数据结构,其中存储了当前使用物理GPU的地址空间、内存对象和纹理结构,同时记录了CUDA库的调用次序。
进一步地,当主虚拟机的计算结果返回时,vCUDA客户端会根据结果及时更新vGPU。
进一步地,vCUDA客户端中的vCUDA库改写了原生CUDA库的接口代码,使得来自CUDA应用程序的调用请求会被vCUDA库捕获。
进一步地,vCUDA客户端还对CUDA调用的接口和参数重新进行封装、编码,编写成可在远程调用模块中传递的数据格式,传递到vCUDA服务端。
进一步地,所述vCUDA服务端通过远程调用接口接收来自vCUDA客户端的数据,并解析出调用和参数;分配给服务端的来自不同客户端的不同应用的作业将经统一格式编码后按照用户请求的先后的顺序分发给GPU,并等待资源分配和执行。
进一步地,vCUDA服务端将作业结果编码,通过远程调用接口返回给vCUDA客户端,vCUDA客户端还对vCUDA服务端返回的数据进行解码,将作业结果返回给CUDA应用程序。
进一步地,所述vCUDA服务端得到了计算结果之后,将状态同步请求和GPU状态信息发送给vCUDA客户端,vCUDA客户端完成vGPU状态同步后返回成功确认信号;然后vCUDA服务端才能将计算结果发送给vCUDA客户端。
本发明还提供一种面向云计算的GPU虚拟化方法,该方法包括如下步骤:
S1、vCUDA客户端拦截客户虚拟机中CUDA应用程序发送的CUDA调用请求;
S2、vCUDA客户端对CUDA调用请求进行编码,将编码后的请求通过远程调用模块发送到安装在主虚拟机中的vCUDA服务端的远程调用模块;vCUDA服务端的远程调用模块接收来自vCUDA客户端的信息,进行解码后获取CUDA调用请求;
S3、vCUDA服务端利用原生CUDA库生成计算作业,通过原生驱动将计算作业发送到物理GPU完成计算作业;
S4、物理GPU将计算结果返回给vCUDA服务端;
S5、vCUDA服务端通过远程调用模块将GPU状态更新和运行结果返回给vCUDA客户端,vCUDA服务端先将编码后的状态同步请求和GPU状态信息发送给vCUDA客户端,vCUDA客户端解码并完成vGPU状态同步后返回成功确认信号,然后vCUDA服务端才能将编码后的计算结果发送给vCUDA客户端;
S6、vCUDA客户端将解码后的计算结果返还给CUDA应用程序。
(三)有益效果
本发明提出一种面向云计算的GPU虚拟化系统和方法,本发明设计vCUDA在云计算平台虚拟机上的实现方式,满足不同用户对GPU资源的复用,在虚拟机上实现通用并行计算。本发明通过用户层拦截和重定向CUDA API,不改变虚拟机和GPU自身内核,对原装软件和硬件无侵入。对于客户虚拟机上部署的CUDA应用程序而言,所有的操作都像发生在本地。可使云计算平台成为一个虚拟化GPU资源可用复用、可进行并行计算任务分发、调度可行有效率的计算平台。
附图说明
图1为本发明GPU虚拟化原理图;
图2为本发明vCUDA客户端工作流程图;
图3为本发明vCUDA服务端工作流程图。
具体实施方式
为使本发明的目的、内容和优点更加清楚,下面结合附图和实施例,对本发明的具体实施方式作进一步详细描述。
本发明在单机环境下英伟达GPU的CUDA解决方案基础上,提出适用于多虚拟机使用的GPU虚拟化解决方案。为了使GPU虚拟化具备通用并行计算的应用功能,将CUDA改造成为适用于多虚拟机系统的vCUDA(virtual CUDA)。通过vCUDA多模块设计解决多虚拟机间资源通信和调度、在用户层拦截和重定向CUDA API、使用远程过程调用作为特殊的域间通信机制等方式,实现本发明GPU虚拟化技术。
本发明GPU虚拟化系统采用Xen虚拟化架构,包括三个模块:vCUDA客户端、vCUDA服务端和vGPU,如图1所示。Xen虚拟化架构中包括一个主虚拟机和若干个客户虚拟机。
主虚拟机运行在Xen中的特权域(Domain 0),安装vCUDA服务端以及GPU原生驱动。vCUDA服务端包括原生CUDA库和远程调用模块,其中原生CUDA库能够通过原生驱动使用物理GPU,远程调用模块是主虚拟机与客户虚拟机进行通信的特殊通道。主虚拟机是唯一可以直接访问到物理GPU的虚拟机。
其它的虚拟机为客户虚拟机,运行在Xen中的非特权域(Domain U)。客户虚拟机是供用户使用的虚拟机,安装CUDA应用程序、vCUDA客户端和vGPU。vCUDA客户端包括vCUDA库和远程调用模块。远程调用模块用于与主虚拟机通信,vCUDA库是面向GPU虚拟化定制的伪库,它通过重定向库函数,将CUDA应用的请求转发到vCUDA服务端执行。因此客户虚拟机无法直接访问物理GPU,必须通过主虚拟机来使用GPU。
客户虚拟机无法直接访问物理GPU,因此客户虚拟机设置了vGPU用来维护与GPU相关的软硬件状态。vGPU实质上是客户虚拟机中维护的一个字典数据结构,在其中存储了当前使用物理GPU的地址空间、内存对象、纹理结构等,同时记录了CUDA库的调用次序。当主虚拟机的计算结果返回时,vCUDA客户端会根据结果及时更新vGPU。
本发明GPU虚拟化核心是通过vCUDA客户端和vCUDA服务端交互实现的,整体工作流程主要分为以下几步:
S1、vCUDA客户端拦截客户虚拟机中CUDA应用程序发送的CUDA调用请求;
S2、vCUDA客户端对CUDA调用请求进行编码,将编码后的请求通过远程调用模块发送到安装在主虚拟机中的vCUDA服务端的远程调用模块;vCUDA服务端的远程调用模块接收来自vCUDA客户端的信息,进行解码后获取CUDA调用请求。
S3、vCUDA服务端利用原生CUDA库生成计算作业,通过原生驱动将计算作业发送到物理GPU完成计算作业;
S4、物理GPU将计算结果返回给vCUDA服务端;
S5、vCUDA服务端通过远程调用模块将GPU状态更新和运行结果返回给vCUDA客户端。vCUDA服务端先将编码后的状态同步请求和GPU状态信息发送给vCUDA客户端,vCUDA客户端解码并完成vGPU状态同步后返回成功确认信号,然后vCUDA服务端才能将编码后的计算结果发送给vCUDA客户端;
S6、vCUDA客户端将解码后的计算结果返还给CUDA应用程序。
对于vCUDA客户端和vCUDA服务端,它们工作的具体流程如下:
vCUDA客户端位于客户虚拟机应用层,主要功能是将来自客户虚拟机内的CUDA计算请求截获并转化为对vCUDA服务端(位于主虚拟机)中对应功能的远程调用。vCUDA客户端的工作流程如图2所示,包括以下四步:
(1)CUDA应用程序调用捕获:vCUDA客户端中的vCUDA库是原生CUDA库的伪库,其改写了原生CUDA库的接口代码,使得来自CUDA应用程序的调用请求会被vCUDA库捕获。
(2)状态封装:对CUDA调用的接口和参数重新进行封装、编码,将它们编写成可在远程调用模块中传递的数据格式,传递到vCUDA服务端,保证CUDA内部运行环境的完整性和一致性。
(3)远程调用:是vCUDA客户端与vCUDA服务端通信的接口。封装后的信息通过远程调用模块发送到vCUDA服务端;来自vCUDA服务端的计算结果同样通过远程调用模块返回到vCUDA客户端。
(4)本地返回:远程过程调用完成后,vCUDA客户端对vCUDA服务端返回的数据进行解码,将作业结果返回给CUDA应用程序。
vCUDA服务端位于主虚拟机中的应用层。主虚拟机可以直接与硬件交互,因此服务端可以直接操纵物理GPU来完成通用计算作业。vCUDA服务端的工作流程如图3所示,包括以下四步:
(1)参数本地化:通过远程调用接口接收来自vCUDA客户端的数据,并解析出调用和参数。分配给服务端的作业可能来自不同客户端的不同应用,这些作业将经统一格式编码后按照用户请求的先后的顺序分发给GPU,并等待资源分配和执行。
(2)代理执行:vCUDA服务端使用物理GPU完成计算作业,该过程中,vCUDA服务端是计算作业的代理角色,物理GPU是直接执行角色。
(3)状态更新:vCUDA服务端得到了计算结果之后,不能马上将计算结果返回给vCUDA客户端。因为计算作业后vCUDA服务端的GPU内存上下文、CUDA核函数、CUDA纹理等状态信息发生变化,可能导致与客户虚拟机的vGPU状态不一致,必须进行状态同步更新处理。vCUDA服务端将状态同步请求和GPU状态信息发送给vCUDA客户端,vCUDA客户端完成vGPU状态同步后返回成功确认信号。该握手信号可通过虚拟串口或其他虚拟端口发送,握手完成后,vCUDA服务端才能将计算结果发送给vCUDA客户端。
(4)远程调用返回:vCUDA服务端将作业结果编码,通过远程调用接口返回给vCUDA客户端。
以上所述仅是本发明的优选实施方式,应当指出,对于本技术领域的普通技术人员来说,在不脱离本发明技术原理的前提下,还可以做出若干改进和变形,这些改进和变形也应视为本发明的保护范围。

Claims (10)

1.一种面向云计算的GPU虚拟化系统,其特征在于,该系统采用Xen虚拟化架构,包括三个模块:vCUDA客户端、vCUDA服务端和vGPU,Xen虚拟化架构中包括一个主虚拟机和若干个客户虚拟机;
主虚拟机运行在Xen中的特权域,安装vCUDA服务端以及GPU原生驱动;vCUDA服务端包括原生CUDA库和远程调用模块,其中原生CUDA库能够通过原生驱动使用物理GPU,远程调用模块是主虚拟机与客户虚拟机进行通信的特殊通道;主虚拟机是唯一可以直接访问到物理GPU的虚拟机;
客户虚拟机运行在Xen中的非特权域,客户虚拟机是供用户使用的虚拟机,安装CUDA应用程序、vCUDA客户端和vGPU;vCUDA客户端包括vCUDA库和远程调用模块;远程调用模块用于与主虚拟机通信,vCUDA库是面向GPU虚拟化定制的伪库,通过重定向库函数,将CUDA应用的请求转发到vCUDA服务端执行;客户虚拟机无法直接访问物理GPU,必须通过主虚拟机来使用GPU;vGPU用来维护与GPU相关的软硬件状态。
2.如权利要求1所述的面向云计算的GPU虚拟化系统,其特征在于,所述特权域为Domain 0,所述非特权域为Domain U。
3.如权利要求1所述的面向云计算的GPU虚拟化系统,其特征在于,vGPU是客户虚拟机中维护的一个字典数据结构,其中存储了当前使用物理GPU的地址空间、内存对象和纹理结构,同时记录了CUDA库的调用次序。
4.如权利要求3所述的面向云计算的GPU虚拟化系统,其特征在于,当主虚拟机的计算结果返回时,vCUDA客户端会根据结果及时更新vGPU。
5.如权利要求1所述的面向云计算的GPU虚拟化系统,其特征在于,vCUDA客户端中的vCUDA库改写了原生CUDA库的接口代码,使得来自CUDA应用程序的调用请求会被vCUDA库捕获。
6.如权利要求5所述的面向云计算的GPU虚拟化系统,其特征在于,vCUDA客户端还对CUDA调用的接口和参数重新进行封装、编码,编写成可在远程调用模块中传递的数据格式,传递到vCUDA服务端。
7.如权利要求6所述的面向云计算的GPU虚拟化系统,其特征在于,所述vCUDA服务端通过远程调用接口接收来自vCUDA客户端的数据,并解析出调用和参数;分配给服务端的来自不同客户端的不同应用的作业将经统一格式编码后按照用户请求的先后的顺序分发给GPU,并等待资源分配和执行。
8.如权利要求1所述的面向云计算的GPU虚拟化系统,其特征在于,vCUDA服务端将作业结果编码,通过远程调用接口返回给vCUDA客户端,vCUDA客户端还对vCUDA服务端返回的数据进行解码,将作业结果返回给CUDA应用程序。
9.如权利要求1-8任一项所述的面向云计算的GPU虚拟化系统,其特征在于,所述vCUDA服务端得到了计算结果之后,将状态同步请求和GPU状态信息发送给vCUDA客户端,vCUDA客户端完成vGPU状态同步后返回成功确认信号;然后vCUDA服务端才能将计算结果发送给vCUDA客户端。
10.一种基于如权利要求1-9任一项所述的系统的面向云计算的GPU虚拟化方法,其特征在于,该方法包括如下步骤:
S1、vCUDA客户端拦截客户虚拟机中CUDA应用程序发送的CUDA调用请求;
S2、vCUDA客户端对CUDA调用请求进行编码,将编码后的请求通过远程调用模块发送到安装在主虚拟机中的vCUDA服务端的远程调用模块;vCUDA服务端的远程调用模块接收来自vCUDA客户端的信息,进行解码后获取CUDA调用请求;
S3、vCUDA服务端利用原生CUDA库生成计算作业,通过原生驱动将计算作业发送到物理GPU完成计算作业;
S4、物理GPU将计算结果返回给vCUDA服务端;
S5、vCUDA服务端通过远程调用模块将GPU状态更新和运行结果返回给vCUDA客户端,vCUDA服务端先将编码后的状态同步请求和GPU状态信息发送给vCUDA客户端,vCUDA客户端解码并完成vGPU状态同步后返回成功确认信号,然后vCUDA服务端才能将编码后的计算结果发送给vCUDA客户端;
S6、vCUDA客户端将解码后的计算结果返还给CUDA应用程序。
CN202111282139.6A 2021-11-01 2021-11-01 一种面向云计算的gpu虚拟化系统和方法 Pending CN113986466A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202111282139.6A CN113986466A (zh) 2021-11-01 2021-11-01 一种面向云计算的gpu虚拟化系统和方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202111282139.6A CN113986466A (zh) 2021-11-01 2021-11-01 一种面向云计算的gpu虚拟化系统和方法

Publications (1)

Publication Number Publication Date
CN113986466A true CN113986466A (zh) 2022-01-28

Family

ID=79745270

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202111282139.6A Pending CN113986466A (zh) 2021-11-01 2021-11-01 一种面向云计算的gpu虚拟化系统和方法

Country Status (1)

Country Link
CN (1) CN113986466A (zh)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115658330A (zh) * 2022-12-23 2023-01-31 南京大学 面向WebAssembly的跨平台GPU虚拟化方法
CN118193224A (zh) * 2024-04-25 2024-06-14 沐曦科技(北京)有限公司 一种基于虚拟gpu的任务调度系统

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115658330A (zh) * 2022-12-23 2023-01-31 南京大学 面向WebAssembly的跨平台GPU虚拟化方法
CN118193224A (zh) * 2024-04-25 2024-06-14 沐曦科技(北京)有限公司 一种基于虚拟gpu的任务调度系统
CN118193224B (zh) * 2024-04-25 2024-09-27 沐曦科技(北京)有限公司 一种基于虚拟gpu的任务调度系统

Similar Documents

Publication Publication Date Title
US11429442B2 (en) Parallel and distributed computing using multiple virtual machines
Figueiredo et al. A case for grid computing on virtual machines
US11301562B2 (en) Function execution based on data locality and securing integration flows
US9081601B2 (en) Virtual mobile infrastructure and its base platform
US8856801B2 (en) Techniques for executing normally interruptible threads in a non-preemptive manner
US11221888B2 (en) Method and system for GPU virtualization based on container
JP3251800B2 (ja) ネットワーク内のコンピュータ間でデータを交換するための通信システム
JP5496683B2 (ja) カスタマイズ方法及びコンピュータシステム
CN107423619B (zh) 一种基于虚拟化技术构建智能终端web运行时的方法
CN113986466A (zh) 一种面向云计算的gpu虚拟化系统和方法
CN113778612A (zh) 基于微内核机制的嵌入式虚拟化系统实现方法
KR20010034542A (ko) 네트워크를 통한 동적 분산 컴퓨팅 방법 및 장치
KR20140027741A (ko) 응용 서비스 제공 시스템 및 방법, 응용 서비스를 위한 서버 장치 및 클라이언트 장치
Miliadis et al. VenOS: A virtualization framework for multiple tenant accommodation on reconfigurable platforms
CN114860401A (zh) 异构云桌面调度系统、方法、服务系统、装置及介质
Richardson et al. Maverick: Providing web applications with safe and flexible access to local devices
Pinto et al. A zero-copy shared memory framework for host-guest data sharing in KVM
Gutiérrez-Aguado et al. Toward a transparent and efficient GPU cloudification architecture
Gerangelos et al. vphi: Enabling xeon phi capabilities in virtual machines
Huang et al. qCUDA-ARM: Virtualization for embedded GPU architectures
Bouraqadi-Saâdani et al. A reflective infrastructure for coarse-grained strong mobility and its tool-based implementation
US7908375B2 (en) Transparently externalizing plug-in computation to cluster
Kocoloski et al. Hobbes: A multi-kernel infrastructure for application composition
González‐Castaño et al. A Java/CORBA virtual machine architecture for remote execution of optimization solvers in heterogeneous networks
Audsley et al. Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination