会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明授权
    • Adaptive granularity refinement in detecting potential data races
    • 检测潜在数据竞赛中的自适应粒度优化
    • US07231498B2
    • 2007-06-12
    • US11070766
    • 2005-03-02
    • Thomas L. RodehefferYuan Yu
    • Thomas L. RodehefferYuan Yu
    • G06F12/02
    • G06F9/526G06F2209/523
    • A method and apparatus are provided for detecting data races that overcome the limitations of the prior art. In some embodiments, this is accomplished by detecting a first access to an object, determining whether the first access is associated with a suspicious pattern, automatically refining a pattern detection granularity from the object to a memory location within the object if a determination is made that the first access is associated with the suspicious pattern, and reporting the data race if a second access associated with the suspicious pattern occurs at the memory location after the pattern detection granularity is refined.
    • 提供了一种用于检测克服现有技术限制的数据竞赛的方法和装置。 在一些实施例中,这是通过检测对对象的第一访问,确定第一访问是否与可疑模式相关联来实现的,如果确定所述对象中的模式检测粒度被自动地从对象改进到对象内的存储器位置,则确定 第一访问与可疑模式相关联,并且如果在模式检测粒度被改进之后在存储器位置发生与可疑模式相关联的第二访问,则报告数据竞争。
    • 6. 发明授权
    • Access control policy in a weakly-coherent distributed collection
    • 访问控制策略在弱连贯的分布式集合中
    • US08505065B2
    • 2013-08-06
    • US11765886
    • 2007-06-20
    • Edward P. WobberMartin AbadiThomas L. Rodeheffer
    • Edward P. WobberMartin AbadiThomas L. Rodeheffer
    • G06F17/00H04L29/06
    • G06F17/30578H04L9/12H04L9/321H04L9/3268H04L2209/60H04L2209/80
    • A system is disclosed for creating and implementing an access control policy framework in a weakly coherent distributed collection. A collection manager may sign certificates forming equivalence classes of replicas that share a specific authority. The collection manager and/or certain privileged replicas may issue certificates that delegate authority for control of item policy and replica policy. Further certificates may be signed that create one or more items, set policy for these one or more items, and define a set of operations authorized on the one or more items. The certificates issued according to the present system for creating and implementing a control policy framework cannot be modified or simply overridden. Once a policy certificate is issued, it may only be revoked by the collection manager or by a replica having revocation authority.
    • 公开了一种用于在弱相关分布式集合中创建和实现访问控制策略框架的系统。 收集管理员可以签署形成共享特定权限的副本的等价类的证书。 收集管理员和/或某些特权副本可能会颁发授权来管理项目策略和副本策略的证书。 可以签署创建一个或多个项目的其他证书,为这些一个或多个项目设置策略,并且定义一个或多个项目授权的一组操作。 根据本制度制定的颁发和实施控制政策框架的证书不能修改或简单地覆盖。 颁发政策证书后,只能由收款经理或具有撤销授权的副本撤销。
    • 8. 发明授权
    • Adaptive granularity refinement in detecting potential data races
    • 检测潜在数据竞赛中的自适应粒度优化
    • US07689780B2
    • 2010-03-30
    • US11696809
    • 2007-04-05
    • Thomas L. RodehefferYuan Yu
    • Thomas L. RodehefferYuan Yu
    • G06F13/00
    • G06F9/526G06F2209/523
    • A method and apparatus are provided for detecting data races that overcome the limitations of the prior art. In some embodiments, this is accomplished by detecting a first access to an object, determining whether the first access is associated with a suspicious pattern, automatically refining a pattern detection granularity from the object to a memory location within the object if a determination is made that the first access is associated with the suspicious pattern, and reporting the data race if a second access associated with the suspicious pattern occurs at the memory location after the pattern detection granularity is refined.
    • 提供了一种用于检测克服现有技术限制的数据竞赛的方法和装置。 在一些实施例中,这是通过检测对对象的第一访问,确定第一访问是否与可疑模式相关联来实现的,如果确定所述对象中的模式检测粒度被自动地从对象改进到对象内的存储器位置,则确定 第一访问与可疑模式相关联,并且如果在模式检测粒度被细化之后在存储器位置发生与可疑模式相关联的第二访问,则报告数据竞争。
    • 10. 发明授权
    • Intermittent component failure manager and method for minimizing
disruption of distributed computer system
    • 间歇性组件故障管理器和最小化分布式计算机系统中断的方法
    • US5260945A
    • 1993-11-09
    • US721143
    • 1991-06-26
    • Thomas L. Rodeheffer
    • Thomas L. Rodeheffer
    • H04L12/28H04L12/44H04L12/56G06F11/20
    • H04L45/00H04L12/28H04L43/0817H04L45/02H04L45/16H04L45/28H04L45/48H04L2012/445H04L41/0681H04L49/351H04L49/555
    • In a distributed computer system having components which may fail intermittently, a fault monitor, coupled to one component, detects whether that component is working. Whenever the fault monitor detects that the component has failed, i.e., changed from working to broken status, the status filter transmits without delay a "broken" signal. Whenever the fault monitor detects that the component has changed from broken to working status, however, the status filter transmits a "working" signal only after a recovery time interval corresponding to a computed skepticism level, and only if the component does not fail during that recovery time interval. The status filter increases the computed skepticism level, and redetermines the recovery time interval in accordance therewith, each time that the component fails after the status filter has transmitted a "working" signal. The status filter decreases the computed skepticism level, and redetermines the recovery time interval in accordance therewith, when, after the status filter has transmitted a "working" signal, the component does not fail for at least a defined interval of time.
    • 在具有可能间歇性故障的组件的分布式计算机系统中,耦合到一个组件的故障监视器检测该组件是否正在工作。 每当故障监视器检测到组件发生故障,即从工作状态变为故障状态时,状态过滤器将不间断地发送“断开”信号。 然而,每当故障监视器检测到组件已经从断开状态变为工作状态时,状态过滤器仅在与计算机怀疑级别相对应的恢复时间间隔之后才发送“工作”信号,并且只有在组件在该时间段内不会失败 恢复时间间隔。 状态过滤器增加了计算的怀疑级别,并且每当该状态过滤器发送“工作”信号之后该组件发生故障时,根据其重新确定恢复时间间隔。 状态过滤器减少计算的怀疑级别,并根据其重新确定恢复时间间隔,当状态过滤器发送“工作”信号之后,组件至少在一定时间间隔内不会失败。