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

21. 发明公开

US20240012728A1 SYSTEMS, METHODS, AND MEDIA FOR VERIFYING SOFTWARE 审中-公开
公开(公告)号：US20240012728A1
公开(公告)日：2024-01-11
申请号：US18220229
申请日：2023-07-10
申请人： Jason Nieh , Ronghui Gu , Xuheng Li , Xupeng Li
发明人： Jason Nieh , Ronghui Gu , Xuheng Li , Xupeng Li
IPC分类号： G06F11/28 , G06F11/36
CPC分类号： G06F11/28 , G06F11/3612 , G06F11/3636
摘要： Mechanisms for verifying software on a multi-CPU machine are provided, the mechanisms including: using a hardware processor: reordering, in a shared log, a first local CPU event from a local CPU operating on a shared object to be before at least one first prior oracle query corresponding to a prior event from another CPU based on whether the first local CPU event can be reordered with respect to the prior event without changing the multi-CPU machine's behavior with respect to the shared object; merging first consecutive oracle queries including the at least one first prior oracle query in the shared log; and verifying the software based on the merged first consecutive oracle queries.

22. 发明申请

US20230098991A1 SYSTEMS, METHODS, AND MEDIA FOR PROTECTING APPLICATIONS FROM UNTRUSTED OPERATING SYSTEMS 有权
公开(公告)号：US20230098991A1
公开(公告)日：2023-03-30
申请号：US17749115
申请日：2022-05-19
申请人： Jason Nieh , Alexander Edward Van't Hof, III
发明人： Jason Nieh , Alexander Edward Van't Hof, III
IPC分类号： G06F21/62
摘要： Mechanisms for protecting an application from an untrusted operating system (OS) are provided, the methods including: determining that a virtual address for a page of memory allocated by the untrusted OS for the application belongs to a valid mapping; determining that the page of memory is not already in use; and in response to determining that the virtual address for the page of memory belongs to a valid mapping and determining that the page of memory is not already in use, mapping the page of memory to an enclaved container for the application. Some mechanisms further include unmapping the page of memory from the untrusted OS. In some mechanism, determining that the virtual address for the page of memory belongs to a valid mapping is based on a list of valid mappings for the application.

23. 发明申请

US20150339137A1 METHODS, SYSTEMS, AND MEDIA FOR BINARY COMPATIBLE GRAPHICS SUPPORT IN MOBILE OPERATING SYSTEMS 有权
标题翻译：移动操作系统中二进制兼容图形支持的方法，系统和媒体
公开(公告)号：US20150339137A1
公开(公告)日：2015-11-26
申请号：US14719119
申请日：2015-05-21
申请人： Jeremy Andrus , Naser AlDuaij , Jason Nieh
发明人： Jeremy Andrus , Naser AlDuaij , Jason Nieh
IPC分类号： G06F9/455
CPC分类号： G06F9/4552 , G06F9/45516
摘要： Methods, systems, and media for binary compatible graphics support in mobile operating systems are provided. In some embodiments, binary compatible graphics support can be provided by extending diplomatic functions to perform library-wide prelude and postlude operations in the context of the foreign operating system before and after domestic library usage. In some embodiments, binary compatible graphics support can be provided by using thread impersonation approaches that allow one thread to temporarily take on the persona of another thread to perform some action that may be tread-dependent. In some embodiments, binary compatible graphics support can be provided by using dynamic library replication approaches that load multiple, independent instances of a single library within the same process.
摘要翻译：提供了移动操作系统中二进制兼容图形支持的方法，系统和媒体。在一些实施例中，可以通过在国内图书馆使用之前和之后的外部操作系统的上下文中扩展外交功能来执行图书馆范围的前奏和后续操作来提供二进制兼容的图形支持。在一些实施例中，可以通过使用线程模拟方法来提供二进制兼容图形支持，所述线程模拟方法允许一个线程暂时占据另一线程的角色来执行可能是依赖于踏板的一些动作。在一些实施例中，可以通过使用在同一进程内加载单个库的多个独立实例的动态库复制方法来提供二进制兼容图形支持。

24. 发明授权

US09037657B2 Systems and methods for peer-to-peer bandwidth allocation 有权
标题翻译：用于对等带宽分配的系统和方法
公开(公告)号：US09037657B2
公开(公告)日：2015-05-19
申请号：US12994030
申请日：2009-05-22
申请人： Jason Nieh , Alexander Sherman , Clifford Stein
发明人： Jason Nieh , Alexander Sherman , Clifford Stein
IPC分类号： G06F15/16 , H04L29/08
CPC分类号： H04L67/104 , H04L67/108 , H04L67/1082
摘要： Apparatus, systems, and methods can operate to provide efficient data transfer in a peer-to-peer network. A list of peer computers can be accessed and sorted by a data exchange metric. A requester peer is selected by traversing the list from a peer computer with a smallest data exchange metric to a peer computer with a largest data exchange metric to identify a peer computer with a pending data block request, the peer computer with the pending data block request being the requester peer and having an associated data exchange metric. A data block is then transmitted to the requester peer and the data exchange metric associated with the requester peer is updated to provide an updated data exchange metric for the requester peer. The list of peer computers can then be resorted. Additional apparatus, systems, and methods are disclosed.
摘要翻译：设备，系统和方法可以操作以在对等网络中提供有效的数据传输。可以通过数据交换指标来访问和排序对等计算机的列表。通过从具有最小数据交换度量的对等计算机通过列表到具有最大数据交换度量的对等计算机来选择请求者对等体以识别具有未决数据块请求的对等计算机，具有未决数据块请求的对等计算机作为请求者对等体并具有相关联的数据交换度量。然后将数据块发送到请求者对等体，并且更新与请求者对等体相关联的数据交换度量，以为请求者对等体提供更新的数据交换度量。然后可以使用对等计算机的列表。公开了附加装置，系统和方法。

25. 发明授权

US08589947B2 Methods, systems, and media for application fault containment 有权
标题翻译：用于应用程序故障控制的方法，系统和介质
公开(公告)号：US08589947B2
公开(公告)日：2013-11-19
申请号：US13104246
申请日：2011-05-10
申请人： Shaya Joseph Potter , Jason Nieh
发明人： Shaya Joseph Potter , Jason Nieh
IPC分类号： G06F9/44 , G06F17/21
CPC分类号： G06F9/4843
摘要： Methods, systems; and media for application fault containment are provided. In accordance with some embodiments, a method for application fault containment is provided, the method comprising: determining a plurality of applications associated with a processing device; isolating each of the plurality of applications into an application container; receiving a user selection of one of the plurality of applications; and creating the application container of a container type for the user selected application in response to receiving the user selection; wherein, upon determining that the container type is a persistent container, configuring the created application container to maintain state information across executions of the user selected application, and wherein, upon determining that the container type is an ephemeral container, configuring the created application container to be removed after a single execution of the user selected application.
摘要翻译：方法，系统; 并提供应用程序故障控制的介质。根据一些实施例，提供了一种用于应用故障容纳的方法，所述方法包括：确定与处理设备相关联的多个应用; 将所述多个应用中的每一个分离成应用容器; 接收所述多个应用之一的用户选择; 以及响应于接收到所述用户选择，为所述用户选择的应用创建容器类型的应用容器; 其中，在确定所述容器类型是持久容器之后，配置所创建的应用容器以跨越所述用户选择的应用的执行来维护状态信息，并且其中，在确定所述容器类型是短暂容器时，将所创建的应用容器配置为在单个执行用户选择的应用程序之后被删除。

26. 发明申请

US20120210333A1 Methods, Systems, and Media for Application Fault Containment 有权
标题翻译：应用程序故障控制的方法，系统和介质
公开(公告)号：US20120210333A1
公开(公告)日：2012-08-16
申请号：US13104246
申请日：2011-05-10
申请人： Shaya Joseph Potter , Jason Nieh
发明人： Shaya Joseph Potter , Jason Nieh
IPC分类号： G06F9/54
CPC分类号： G06F9/4843
摘要： Methods, systems; and media for application fault containment are provided. In accordance with some embodiments, a method for application fault containment is provided, the method comprising: determining a plurality of applications associated with a processing device; isolating each of the plurality of applications into an application container; receiving a user selection of one of the plurality of applications; and creating the application container of a container type for the user selected application in response to receiving the user selection; wherein, upon determining that the container type is a persistent container, configuring the created application container to maintain state information across executions of the user selected application, and wherein, upon determining that the container type is an ephemeral container, configuring the created application container to be removed after a single execution of the user selected application.
摘要翻译：方法，系统; 并提供应用程序故障控制的介质。根据一些实施例，提供了一种用于应用故障容纳的方法，所述方法包括：确定与处理设备相关联的多个应用; 将所述多个应用中的每一个分离成应用容器; 接收所述多个应用之一的用户选择; 以及响应于接收到所述用户选择，为所述用户选择的应用创建容器类型的应用容器; 其中，在确定所述容器类型是持久容器之后，配置所创建的应用容器以跨越所述用户选择的应用的执行来维护状态信息，并且其中，在确定所述容器类型是短暂容器时，将所创建的应用容器配置为在单个执行用户选择的应用程序之后被删除。

27. 发明申请

US20110131278A1 SYSTEMS AND METHODS FOR PEER-TO-PEER BANDWIDTH ALLOCATION 有权
标题翻译：用于对等带宽分配的系统和方法
公开(公告)号：US20110131278A1
公开(公告)日：2011-06-02
申请号：US12994030
申请日：2009-05-22
申请人： Jason Nieh , Alexander Sherman , Clifford Stein
发明人： Jason Nieh , Alexander Sherman , Clifford Stein
IPC分类号： G06F15/16
CPC分类号： H04L67/104 , H04L67/108 , H04L67/1082
摘要： Apparatus, systems, and methods can operate to provide efficient data transfer in a peer-to-peer network. A list of peer computers can be accessed and sorted by a data exchange metric. A requester peer is selected by traversing the list from a peer computer with a smallest data exchange metric to a peer computer with a largest data exchange metric to identify a peer computer with a pending data block request, the peer computer with the pending data block request being the requester peer and having an associated data exchange metric. A data block is then transmitted to the requester peer and the data exchange metric associated with the requester peer is updated to provide an updated data exchange metric for the requester peer. The list of peer computers can then be resorted. Additional apparatus, systems, and methods are disclosed.
摘要翻译：设备，系统和方法可以操作以在对等网络中提供有效的数据传输。可以通过数据交换指标来访问和排序对等计算机的列表。通过从具有最小数据交换度量的对等计算机通过列表到具有最大数据交换度量的对等计算机来选择请求者对等体以识别具有未决数据块请求的对等计算机，具有未决数据块请求的对等计算机作为请求者对等体并具有相关联的数据交换度量。然后将数据块发送到请求者对等体，并且更新与请求者对等体相关联的数据交换度量，以为请求者对等体提供更新的数据交换度量。然后可以使用对等计算机的列表。公开了附加装置，系统和方法。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式