专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US08352797B2 Software fault isolation using byte-granularity memory protection 有权
标题翻译：软件故障隔离采用字节度记忆保护
公开(公告)号：US08352797B2
公开(公告)日：2013-01-08
申请号：US12633326
申请日：2009-12-08
申请人： Richard John Black , Paul Barham , Manuel Costa , Marcus Peinado , Jean-Philippe Martin , Periklis Akritidis , Austin Donnelly , Miguel Castro
发明人： Richard John Black , Paul Barham , Manuel Costa , Marcus Peinado , Jean-Philippe Martin , Periklis Akritidis , Austin Donnelly , Miguel Castro
IPC分类号： G06F11/30
CPC分类号： G06F21/53 , G06F9/468 , G06F12/1483 , G06F21/54 , G06F21/57 , G06F2221/2141 , G06F2221/2149 , H04L63/101
摘要： Software fault isolation methods using byte-granularity memory protection are described. In an embodiment, untrusted drivers or other extensions to a software system are run in a separate domain from the host portion of the software system, but share the same address space as the host portion. Calls between domains are mediated using an interposition library and access control data is maintained for substantially each byte of relevant virtual address space. Instrumentation added to the untrusted extension at compile-time, before load-time, or at runtime and added by the interposition library enforces the isolation between domains, for example by adding access right checks before any writes or indirect calls and by redirecting function calls to call wrappers in the interposition library. The instrumentation also updates the access control data to grant and revoke access rights on a fine granularity according to the semantics of the operation being invoked.
摘要翻译：描述了使用字节粒度内存保护的软件故障隔离方法。在一个实施例中，软件系统的不受信任的驱动程序或其他扩展在与软件系统的主机部分分开的域中运行，但是与主机部分共享相同的地址空间。域之间的调用使用插入库进行调用，并且访问控制数据基本上维持相关虚拟地址空间的每个字节。在编译期间，在加载时间之前或在运行时添加到不可信扩展的仪器，在插入库中添加的仪器会强制实现域之间的隔离，例如在任何写入或间接调用之前添加访问权限检查，并通过将函数调用重定向到在插页库中调用包装器。仪器还会更新访问控制数据，根据正在调用的操作的语义，以精细粒度授予和撤销访问权限。

2. 发明授权

US08122436B2 Privacy enhanced error reports 有权
标题翻译：隐私增强错误报告
公开(公告)号：US08122436B2
公开(公告)日：2012-02-21
申请号：US11941272
申请日：2007-11-16
申请人： Manuel Costa , Miguel Castro , Jean-Philippe Martin
发明人： Manuel Costa , Miguel Castro , Jean-Philippe Martin
IPC分类号： G06F9/44
CPC分类号： G06F11/366 , G06F11/0748 , G06F11/0778 , G06F11/3636
摘要： Methods and apparatus for generating error reports with enhanced privacy are described. In an embodiment the error is triggered by an input to a software program. An error report is generated by identifying conditions on an input to the program which ensure that, for any input which satisfies the conditions, the software program will follow the same execution path such that the error can be reproduced. The error report may include these conditions or may include a new input generated using the conditions.
摘要翻译：描述用于生成具有增强的隐私的错误报告的方法和装置。在一个实施例中，错误由对软件程序的输入触发。通过识别程序输入上的条件来生成错误报告，该条件确保对于满足条件的任何输入，软件程序将遵循相同的执行路径，从而可以再现错误。错误报告可能包括这些条件，或者可能包括使用条件生成的新输入。

3. 发明申请

US20110138476A1 Software Fault Isolation Using Byte-Granularity Memory Protection 有权
标题翻译：使用字节粒度内存保护的软件故障隔离
公开(公告)号：US20110138476A1
公开(公告)日：2011-06-09
申请号：US12633326
申请日：2009-12-08
申请人： Richard John Black , Paul Barham , Manuel Costa , Marcus Peinado , Jean-Philippe Martin , Periklis Akritidis , Austin Donnelly , Miguel Castro
发明人： Richard John Black , Paul Barham , Manuel Costa , Marcus Peinado , Jean-Philippe Martin , Periklis Akritidis , Austin Donnelly , Miguel Castro
IPC分类号： G06F21/22
CPC分类号： G06F21/53 , G06F9/468 , G06F12/1483 , G06F21/54 , G06F21/57 , G06F2221/2141 , G06F2221/2149 , H04L63/101
摘要： Software fault isolation methods using byte-granularity memory protection are described. In an embodiment, untrusted drivers or other extensions to a software system are run in a separate domain from the host portion of the software system, but share the same address space as the host portion. Calls between domains are mediated using an interposition library and access control data is maintained for substantially each byte of relevant virtual address space. Instrumentation added to the untrusted extension at compile-time, before load-time, or at runtime and added by the interposition library enforces the isolation between domains, for example by adding access right checks before any writes or indirect calls and by redirecting function calls to call wrappers in the interposition library. The instrumentation also updates the access control data to grant and revoke access rights on a fine granularity according to the semantics of the operation being invoked.
摘要翻译：描述了使用字节粒度内存保护的软件故障隔离方法。在一个实施例中，软件系统的不受信任的驱动程序或其他扩展在与软件系统的主机部分分开的域中运行，但是与主机部分共享相同的地址空间。域之间的调用使用插入库进行调用，并且访问控制数据基本上维持相关虚拟地址空间的每个字节。在编译期间，在加载时间之前或在运行时添加到不可信扩展的仪器，在插入库中添加的这些扩展可以强制实现域之间的隔离，例如在任何写入或间接调用之前添加访问权限检查，并通过重定向函数调用在插页库中调用包装器。仪器还会更新访问控制数据，根据正在调用的操作的语义，以精细粒度授予和撤销访问权限。

4. 发明申请

US20090132861A1 Privacy Enhanced Error Reports 有权
标题翻译：隐私增强错误报告
公开(公告)号：US20090132861A1
公开(公告)日：2009-05-21
申请号：US11941272
申请日：2007-11-16
申请人： Manuel Costa , Miguel Castro , Jean-Philippe Martin
发明人： Manuel Costa , Miguel Castro , Jean-Philippe Martin
IPC分类号： G06F11/36
CPC分类号： G06F11/366 , G06F11/0748 , G06F11/0778 , G06F11/3636
摘要： Methods and apparatus for generating error reports with enhanced privacy are described. In an embodiment the error is triggered by an input to a software program. An error report is generated by identifying conditions on an input to the program which ensure that, for any input which satisfies the conditions, the software program will follow the same execution path such that the error can be reproduced. The error report may include these conditions or may include a new input generated using the conditions.
摘要翻译：描述用于生成具有增强的隐私的错误报告的方法和装置。在一个实施例中，错误由对软件程序的输入触发。通过识别程序输入上的条件来生成错误报告，该条件确保对于满足条件的任何输入，软件程序将遵循相同的执行路径，从而可以再现错误。错误报告可能包括这些条件，或者可能包括使用条件生成的新输入。

5. 发明申请

US20120324472A1 TRANSACTIONAL COMPUTATION ON CLUSTERS 有权
标题翻译：集群交易计算
公开(公告)号：US20120324472A1
公开(公告)日：2012-12-20
申请号：US13163024
申请日：2011-06-17
申请人： Christopher J. Rossbach , Jean-Philippe Martin , Michael Isard
发明人： Christopher J. Rossbach , Jean-Philippe Martin , Michael Isard
IPC分类号： G06F9/46 , G06F15/16
CPC分类号： G06F9/467
摘要： Computations are performed on shared datasets in a distributed computing cluster using aggressive speculation and a distributed runtime that executes code transactionally. Speculative transactions are conducted with currently available data on the assumption that no dependencies exist that will render the input data invalid. For those specific instances where this assumption is found to be incorrect—that the input data did indeed have a dependency (thereby impacting the correctness of the speculated transaction)—the speculated transaction is aborted and its results (and all transactions that relied on its results) are rolled-back accordingly for re-computation using updated input data. In operation, shared state data is read and written using only the system's data access API which ensures that computations can be rolled-back when conflicts stemming from later-determined dependencies are detected.
摘要翻译：在分布式计算集群中的共享数据集上使用积极的推测和分布式运行时间执行代码执行计算。推测交易是以当前可用的数据进行的，假设不存在使得输入数据无效的依赖关系。对于那些发现这个假设不正确的具体实例 - 输入数据确实具有依赖性（从而影响推测的交易的正确性） - 推测的交易被中止，并且其结果（以及依赖于其结果的所有交易））相应地被回滚以便使用更新的输入数据进行重新计算。在操作中，仅使用系统的数据访问API读取和写入共享状态数据，确保当检测到源自后来确定的依赖关系的冲突时可以回滚计算。

6. 发明申请

US20100148743A1 ACTIVE FILTERING DEVICE FOR A POWER SUPPLY 有权
标题翻译：用于电源的主动过滤装置
公开(公告)号：US20100148743A1
公开(公告)日：2010-06-17
申请号：US12530698
申请日：2008-03-07
申请人： Jean-Philippe Martin , Serge Lionel Pierfederici , Bernard Davat , Farid Meibody-Tabar
发明人： Jean-Philippe Martin , Serge Lionel Pierfederici , Bernard Davat , Farid Meibody-Tabar
IPC分类号： G05F1/10
CPC分类号： H02M3/1584 , H02M1/12
摘要： The invention relates to an active filter device for a power supply comprising a source having a source of current iS and a voltage VE, a power converter presenting an input inductor L, a power switch T controlled by a chopper signal and delivering an output voltage VS, and a load, the device being characterized in that it includes an active filter converter (10) for generating at its output a compensation current minus harmonics of the source current due to the chopping, in response to an input signal representative of the chopping of the power converter.
摘要翻译：本发明涉及一种用于电源的有源滤波器装置，包括具有电流源iS和电压VE的源极，呈现输入电感器L的功率转换器，由斩波信号控制的功率开关T和输出电压VS 和负载，其特征在于，其包括有源滤波器转换器（10），用于响应于代表斩波的输入信号，在其输出端产生补偿电流减去由于斩波引起的源极电流的谐波电源转换器。

7. 发明授权

US08742734B2 Active filtering device for a power supply 有权
标题翻译：电源的有源滤波装置
公开(公告)号：US08742734B2
公开(公告)日：2014-06-03
申请号：US12530698
申请日：2008-03-07
申请人： Jean-Philippe Martin , Serge Lionel Pierfederici , Bernard Davat , Farid Meibody-Tabar
发明人： Jean-Philippe Martin , Serge Lionel Pierfederici , Bernard Davat , Farid Meibody-Tabar
IPC分类号： G05F1/70 , H02M1/12
CPC分类号： H02M3/1584 , H02M1/12
摘要： The invention relates to an active filter device for a power supply comprising a source having a source of current iS and a voltage VE, a power converter presenting an input inductor L, a power switch T controlled by a chopper signal and delivering an output voltage VS, and a load, the device being characterized in that it includes an active filter converter (10) for generating at its output a compensation current minus harmonics of the source current due to the chopping, in response to an input signal representative of the chopping of the power converter.
摘要翻译：本发明涉及一种用于电源的有源滤波器装置，包括具有电流源iS和电压VE的源极，呈现输入电感器L的功率转换器，由斩波信号控制的功率开关T和输出电压VS 和负载，其特征在于，其包括有源滤波器转换器（10），用于响应于代表斩波的输入信号，在其输出端产生补偿电流减去由于斩波引起的源极电流的谐波电源转换器。

8. 发明申请

US20110216160A1 SYSTEM AND METHOD FOR CREATING PSEUDO HOLOGRAPHIC DISPLAYS ON VIEWER POSITION AWARE DEVICES 审中-公开
标题翻译：用于在观察者位置识别设备上创建PSEUDO全息显示的系统和方法
公开(公告)号：US20110216160A1
公开(公告)日：2011-09-08
申请号：US12877741
申请日：2010-09-08
申请人： Jean-Philippe Martin
发明人： Jean-Philippe Martin
IPC分类号： H04N5/89
CPC分类号： H04N5/89
摘要： A pseudo holographic visual effect is produced by acquiring at least two actual images of a subject wherein each image represents a different viewing angle of the single subject. Intermediary images corresponding to other viewing angles of the subject may be extrapolated from the two actual images or two adjacent images if a sufficient number of actual images are not available to create the desired level of resolution. To create the effect, an initial start image is displayed. Computer based sensors or camera images from a camera are then used to determine any movement of the device or user from the initial position at which the initial image was displayed. Once movement is detected or once the position of the viewer is determined, the initial image is replaced with an image that corresponds to the change in the detected viewing angle or with an image that corresponds to the viewing angle of the viewer. This creates a pseudo holographic effect whereby the orientation of subject of the image appears to remain fixed despite the display or the viewer being moved. Additional layers for the image can be created by acquiring images of a background separately, creating a set of images that correspond to different viewing angles of the background and overlaying the background images with subject images during display.
摘要翻译：通过获取对象的至少两个实际图像来产生伪全息视觉效果，其中每个图像表示单个对象的不同视角。如果足够数量的实际图像不可用于创建期望的分辨率水平，则可以从两个实际图像或两个相邻图像中外推与对象的其他视角相对应的中间图像。要创建效果，将显示初始起始图像。然后使用基于计算机的传感器或来自相机的相机图像来确定设备或用户从显示初始图像的初始位置的任何移动。一旦检测到移动，或者一旦确定了观察者的位置，则初始图像被替换为与检测到的视角相对应的图像或对应于观看者的视角的图像。这产生伪全息效果，由此即使显示器或观看者被移动，图像的被摄体的取向仍然保持固定。可以通过单独获取背景的图像来创建图像的附加层，创建对应于背景的不同视角的图像集合，并且在显示期间将背景图像与对象图像重叠。

9. 发明授权

US08661449B2 Transactional computation on clusters 有权
标题翻译：集群上的事务计算
公开(公告)号：US08661449B2
公开(公告)日：2014-02-25
申请号：US13163024
申请日：2011-06-17
申请人： Christopher J. Rossbach , Jean-Philippe Martin , Michael Isard
发明人： Christopher J. Rossbach , Jean-Philippe Martin , Michael Isard
IPC分类号： G06F9/46
CPC分类号： G06F9/467
摘要： Computations are performed on shared datasets in a distributed computing cluster using aggressive speculation and a distributed runtime that executes code transactionally. Speculative transactions are conducted with currently available data on the assumption that no dependencies exist that will render the input data invalid. For those specific instances where this assumption is found to be incorrect—that the input data did indeed have a dependency (thereby impacting the correctness of the speculated transaction)—the speculated transaction is aborted and its results (and all transactions that relied on its results) are rolled-back accordingly for re-computation using updated input data. In operation, shared state data is read and written using only the system's data access API which ensures that computations can be rolled-back when conflicts stemming from later-determined dependencies are detected.
摘要翻译：在分布式计算集群中的共享数据集上使用积极的推测和分布式运行时间执行代码执行计算。推测交易是以当前可用的数据进行的，假设不存在使得输入数据无效的依赖关系。对于那些发现这个假设不正确的具体实例 - 输入数据确实具有依赖性（从而影响推测的交易的正确性） - 推测的交易被中止，并且其结果（以及依赖于其结果的所有交易））相应地被回滚以便使用更新的输入数据进行重新计算。在操作中，仅使用系统的数据访问API读取和写入共享状态数据，确保当检测到源自后来确定的依赖关系的冲突时可以回滚计算。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式