-
公开(公告)号：EP2941704B1
公开(公告)日：2019-05-15
申请号：EP14701842.8
申请日：2014-01-03
发明人： YU, Jinsong , GOODSELL, Andrew, E. , TEREK, F., Soner , BRUMME, Christopher, Wellington , MOHAMED, Ahmed, Hassan
IPC分类号： G06F9/54
-
公开(公告)号：EP2941694B1
公开(公告)日：2018-11-28
申请号：EP14702316.2
申请日：2014-01-03
发明人： WEINSBERG, Yaron , YU, Jinsong , RICHARDSON, John , BRUMME, Christopher Wellington , TAILLEFER, Martin
IPC分类号： G06F9/4401 , G06F9/44 , G06F9/54
CPC分类号： G06F9/4411 , G06F9/4403 , G06F9/545
摘要： Enforcing limitations on hardware drivers. The method includes from a system kernel, assigning I/O resources to the system's root bus. From the root bus, the method further includes assigning a subset of the I/O resources to a device bus. Assigning a subset of the I/O resources to a device bus includes limiting the device bus to only be able to assign I/O resources that are assigned to it by the root bus. From the device bus, the method includes assigning I/O resources to a device through a device interface.
-
公开(公告)号：EP2941711A1
公开(公告)日：2015-11-11
申请号：EP14701840.2
申请日：2014-01-03
发明人： COX, Shaun David , TEREK, Fehim Soner , YU, Jinsong , BRUMME, Christopher Wellington , NEVEROV, Gregory Michael
IPC分类号： G06F13/28
CPC分类号： G06F12/00 , G06F13/102 , G06F13/28
摘要： Communicating between an application and a hardware device. A method includes an application writing data to host physical memory using an application view of the memory. The method further includes mapping the data in the physical memory to a hardware driver view, usable by a hardware driver, without needing to copy the data to a different physical storage location. The method further includes mapping the data to a hardware accessible view accessible by a hardware device without needing to copy the data to a different physical storage location.
-
4.发明授权INPUT FILTERS AND FILTER-DRIVEN INPUT PROCESSING APPLIED TO INPUT PRIOR TO PROVIDING INPUT TO A TARGET COMPONENT 有权输入滤波器和滤波器驱动的输入处理应用于输入以提供输入到目标组件
公开(公告)号：EP3047382B1
公开(公告)日：2018-04-18
申请号：EP14781753.0
申请日：2014-09-18
发明人： CHEN, Wen-Ke , YU, Jinsong , RIEMANN, Alexander P.
IPC分类号： G06F13/14
摘要： Input filters correlate to target components. For a given target component, the input filter defines input validation information. The input filter might also define conversions or transformations to be applied to valid input prior to being provided to the target component. At build time, code is accessed that contains the input validation, conversion and transformation and that identifies the associated target component. The information is then used to construct an input filter. At run time, when an input processing component receives an input, the input processing component identifies the target component, accesses the associated input filter, and uses the information contained in the input filter to determine whether the input is valid, and whether and how to convert and transform the value.
-
公开(公告)号：EP3053032A1
公开(公告)日：2016-08-10
申请号：EP14790857.8
申请日：2014-10-01
发明人： CHEN, Wen-Ke , YU, Jinsong , RIEMANN, Alexander P.
摘要： Build-time resolution and type-enforcing of corresponding references in different code that references the same value. In response to detecting a directive within the code itself that a first reference in first code is to be correlated with a second reference in second code, and in response to detection that the types of the references are the same, a code generation tool generates correlation code that is interpretable to a compiler as allowing a value of a type of the first reference of a compiled-form of the first code to be passed as the same value of the same type of the second reference of a compiled-form of the second code. The first code, the second code, and the generated correlation code may then be compiled. If compilation is successful, this means that the first and second references are already properly resolved as referring to the same value and type-enforced.
摘要翻译： 在不同代码中引用相同值的相应引用的构建时解析和类型实施。 响应于在代码本身内检测到第一代码中的第一参考与第二代码中的第二参考相关联的指示，并且响应于检测到参考的类型相同，代码生成工具生成相关 代码可以被编译器解释为允许第一个代码的编译形式的第一个引用类型的值作为第二个编译形式的第二个引用的相同类型的相同值传递 码。 然后可以编译第一个代码，第二个代码和生成的相关代码。 如果编译成功，这意味着第一个和第二个引用已被正确解析为引用相同的值并强制执行类型。
-
6.发明公开INPUT FILTERS AND FILTER-DRIVEN INPUT PROCESSING APPLIED TO INPUT PRIOR TO PROVIDING INPUT TO A TARGET COMPONENT 有权输入过滤器和过滤控制的输入处理之前，入世后的目标设备拨款
公开(公告)号：EP3047382A1
公开(公告)日：2016-07-27
申请号：EP14781753.0
申请日：2014-09-18
发明人： CHEN, Wen-Ke , YU, Jinsong , RIEMANN, Alexander P.
IPC分类号： G06F13/14
摘要： Input filters correlate to target components. For a given target component, the input filter defines input validation information. The input filter might also define conversions or transformations to be applied to valid input prior to being provided to the target component. At build time, code is accessed that contains the input validation, conversion and transformation and that identifies the associated target component. The information is then used to construct an input filter. At run time, when an input processing component receives an input, the input processing component identifies the target component, accesses the associated input filter, and uses the information contained in the input filter to determine whether the input is valid, and whether and how to convert and transform the value.
摘要翻译： 输入滤波器相关目标的组件。 对于给定的目标成分，输入滤波器定义输入验证信息。 输入滤波器因此可能定义的转换或变换被施加到有效的输入被提供给目标组件之前。 在构建时，代码被访问确实包含输入验证，转换和变换，做标识相关目标组件。 然后该信息被用于构造输入滤波器的。 在运行时，当输入处理部件上输入端接收，输入处理部件标识目标组件，访问相关联的输入滤波器，和使用包含在输入滤波器确定性矿无论输入是有效的，并确定是否以及如何将信息 转换和转换价值。
-
公开(公告)号：EP2316091B1
公开(公告)日：2017-12-27
申请号：EP09770754.1
申请日：2009-06-12
CPC分类号： G06F9/485 , G06F9/4881 , G06F9/545
摘要： The present invention extends to methods, systems, and computer program products for protected mode scheduling of operations. Protected mode (e.g., user mode) scheduling can facilitate the development of programming frameworks that better reflect the requirements of the workloads through the use of workload-specific execution abstractions. In addition, the ability to define scheduling policies tuned to the characteristics of the hardware resources available and the workload requirements has the potential of better system scaling characteristics. Further, protected mode scheduling decentralizes the scheduling responsibility by moving significant portions of scheduling functionality from supervisor mode (e.g., kernel mode) to an application.
-
公开(公告)号：EP2941703A1
公开(公告)日：2015-11-11
申请号：EP14701841.0
申请日：2014-01-03
发明人： HUNTER, Jason, Todd , YU, Jinsong , TAILLEFER, Martin , NEVEROV, Gregory, Michael , KAKURIN, Dmitry , MOHAMED, Ahmed, Hassan , DUFFY, John, J. , BRUMME, Christopher, Wellington , TEREK, F., Soner
IPC分类号： G06F9/54
CPC分类号： G06F15/167 , G06F9/544 , G06F12/0253
摘要： The environment and use of an immutable buffer. A computing entity acquires data or generates data and populates the data into the buffer, after which the buffer is classified as immutable. The classification protects the data populated within the immutable buffer from changing during the lifetime of the immutable buffer, and also protects the immutable buffer from having its physical address changed during the lifetime of the immutable buffer. As different computing entities consume data from the immutable buffer, they do so through views provided by a view providing entity. The immutable buffer architecture may also be used for streaming data in which each component of the streaming data uses an immutable buffer. Accordingly, different computing entities may view the immutable data differently without having to actually copy the data.
-
公开(公告)号：EP2941696A1
公开(公告)日：2015-11-11
申请号：EP14704185.9
申请日：2014-01-03
IPC分类号： G06F9/44
CPC分类号： G06F8/30 , G06F9/4411
摘要： Automatically generating code used with device drivers for interfacing with hardware. The method includes receiving a machine readable description of a hardware device, including at least one of hardware registers or shared memory structures of the hardware device. The method further includes determining an operating system with which the hardware device is to be used. The method further includes processing the machine readable description on a code generation tool to automatically generate code for a hardware driver for the hardware device specific to the determined operating system.
摘要翻译： 自动生成与设备驱动程序一起使用的代码，用于与硬件进行连接。 该方法包括接收包括硬件设备的硬件寄存器或共享存储器结构中的至少一个的硬件设备的机器可读描述。 该方法还包括确定要使用硬件设备的操作系统。 该方法还包括处理代码生成工具上的机器可读描述以自动生成针对所确定的操作系统特定的硬件设备的硬件驱动程序的代码。
-
10.发明公开HIGH THROUGHPUT LOW LATENCY USER MODE DRIVERS IMPLEMENTED IN MANAGED CODE 审中-公开与高通量和低延迟托管代码实现的用户模式驱动程序
公开(公告)号：EP2941695A1
公开(公告)日：2015-11-11
申请号：EP14702317.0
申请日：2014-01-03
发明人： WEINSBERG, Yaron , YU, Jinsong , COX, Shaun David , OKS, Stanislav , HUNT, Galen C. , BRUMME, Christopher Wellington , RICHARDSON, John
CPC分类号： G06F9/4411 , G06F9/544
摘要： Implementing a safe driver that can support high throughput and low latency devices. The method includes receiving a hardware message from a hardware device. The method further includes delivering the hardware message to one or more driver processes executing in user mode using a zero-copy to allow the one or more driver processes to support high throughput and low latency hardware devices.
摘要翻译： 实现一个安全的司机并能支持高吞吐量和低时延的设备。 该方法包括从一个硬件设备硬件接收消息。 该方法包括递送硬件此外消息以使用零拷贝，以允许所述一个或多个驱动程序的进程，以支持高吞吐量和低延迟的硬件设备在用户模式下执行一个或多个驱动程序的进程。
-
-
-
-
-
-
-
-
-
搜索结果
14 条记录 (耗时 0.015 秒)
