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

1. 发明授权

US07529834B1 Method and system for cooperatively backing up data on computers in a network 有权
公开(公告)号：US07529834B1
公开(公告)日：2009-05-05
申请号：US09668643
申请日：2000-09-22
申请人： Andrew David Birrell , Mark David Lillibridge , Michael Burrows , Michael Acheson Isard
发明人： Andrew David Birrell , Mark David Lillibridge , Michael Burrows , Michael Acheson Isard
IPC分类号： G06F15/173 , G06F15/16 , G06F11/00
CPC分类号： G06F11/1464 , Y10S707/99953
摘要： A method for backing up data in a plurality of computers connected via a network. The method includes forming partnerships between the plurality of computers such that each computer in a partnership commits under agreements to help backup the data of its partners. The method further includes periodically verifying that previously backed up data is being retained by the computers committed to act as backup partners in accordance with the agreements. In another embodiment, the method provides a distributed cooperative backing up of data in a system that includes a loose confederation of computers connected via a network. In this embodiment the method includes selecting computers as potential backup partners from among the loose confederation of computers connected via the network based on predetermined criteria, and negotiating a reciprocal backup partnership agreement between the computers based on predetermined requirements, including backup requirements. Once the negotiations are complete and the agreements are made, the method proceeds to form partnerships between the computers. The computers become backup partners by agreeing to cooperatively provide backup services to each other so that a distributed cooperative backing up of data can be administered in the absence of central control. The method further includes periodically backing up data at the backup partners, where the data being backed up is encoded. The method also includes periodically verifying that previously backed up data is retained by the backup partners. Another aspect of the invention is a distributed cooperative backup system that includes a network and a loose confederation of computers connected via the network. A plurality of computers from among the loose confederation of computers is configured for distributed cooperative backing up of data and for functioning as backup partners. Each computer of the plurality of computers has a storage that can be used for providing reciprocal backup services. Each computer of the plurality of computers respectively also has a computer readable medium embodying computer program code configured to cause the computer to perform functions comparable to the method steps as described above.

2. 发明申请

US20080313645A1 Automatic Mutual Exclusion 有权
标题翻译：自动相互排斥
公开(公告)号：US20080313645A1
公开(公告)日：2008-12-18
申请号：US11763964
申请日：2007-06-15
申请人： Andrew David Birrell , Michael Acheson Isard
发明人： Andrew David Birrell , Michael Acheson Isard
IPC分类号： G06F13/00
CPC分类号： G06F3/0622 , G06F3/0619 , G06F3/0659 , G06F3/0673 , G06F9/3004 , G06F9/3834 , G06F9/467 , G06F9/528 , G06F12/14 , G06F12/1425 , G06F13/4239
摘要： An automatic mutual exclusion computer programming system is disclosed which allows a programmer to produce concurrent programming code that is synchronized by default without the need to write any synchronization code. The programmer creates asynchronous methods which are not permitted make changes to shared memory that they cannot reverse, and can execute concurrently with other asynchronous methods. Changes to shared memory are committed if no other thread has accessed shared memory while the asynchronous method executed. Changes are reversed and the asynchronous method is re-executed if another thread has made changes to shared memory. The resulting program executes in a serialized order. A blocking system method is disclosed which causes the asynchronous method to re-execute until the blocking method's predicate results in an appropriate value. A yield system call is disclosed which divides asynchronous methods into atomic fragments. When a yield method call is made, shared memory changes are committed if possible or reversed and the atomic fragment is re-executed.
摘要翻译：公开了一种自动互斥计算机编程系统，其允许程序员产生默认同步的并行编程代码，而不需要编写任何同步代码。程序员创建异步方法，不允许对共享内存进行更改，而不能反转，并且可以与其他异步方法并发执行。如果在执行异步方法时没有其他线程访问共享内存，则会提交对共享内存的更改。更改被反转，如果另一个线程已更改共享内存，则重新执行异步方法。生成的程序以序列化的顺序执行。公开了阻塞系统方法，其导致异步方法重新执行，直到阻塞方法的谓词产生适当的值。公开了一种将异步方法分解为原子碎片的收益系统调用。当进行yield方法调用时，如果可能或反转，则提交共享内存更改，并重新执行原子片段。

3. 发明授权

US08458724B2 Automatic mutual exclusion 有权
公开(公告)号：US08458724B2
公开(公告)日：2013-06-04
申请号：US11763964
申请日：2007-06-15
申请人： Andrew David Birrell , Michael Acheson Isard
发明人： Andrew David Birrell , Michael Acheson Isard
IPC分类号： G06F3/00 , G06F9/46
CPC分类号： G06F3/0622 , G06F3/0619 , G06F3/0659 , G06F3/0673 , G06F9/3004 , G06F9/3834 , G06F9/467 , G06F9/528 , G06F12/14 , G06F12/1425 , G06F13/4239
摘要： An automatic mutual exclusion computer programming system is disclosed which allows a programmer to produce concurrent programming code that is synchronized by default without the need to write any synchronization code. The programmer creates asynchronous methods which are not permitted make changes to shared memory that they cannot reverse, and can execute concurrently with other asynchronous methods. Changes to shared memory are committed if no other thread has accessed shared memory while the asynchronous method executed. Changes are reversed and the asynchronous method is re-executed if another thread has made changes to shared memory. The resulting program executes in a serialized order. A blocking system method is disclosed which causes the asynchronous method to re-execute until the blocking method's predicate results in an appropriate value. A yield system call is disclosed which divides asynchronous methods into atomic fragments. When a yield method call is made, shared memory changes are committed if possible or reversed and the atomic fragment is re-executed.

4. 发明授权

US07987365B2 Subscription-based computing implemented in hardware of computing device 有权
标题翻译：基于订阅的计算在计算设备的硬件中实现
公开(公告)号：US07987365B2
公开(公告)日：2011-07-26
申请号：US11388291
申请日：2006-03-24
申请人： Andrew David Birrell , Charles P. Thacker , Michael Isard
发明人： Andrew David Birrell , Charles P. Thacker , Michael Isard
IPC分类号： H04L29/00
CPC分类号： H04L9/3234 , G06F21/121 , H04L9/3247
摘要： A subscription-based computing device has hardware and a subscription enforcer implemented in the hardware. The enforcer has an accumulator that accumulates a usage value as the computing device is being used and an expiration value register that stores an expiration value. The enforcer allows the computing device to operate in a subscription mode without hindrance and with full use when the usage value is less than the stored expiration value, and allows the computing device to operate in an expiration mode with hindrance and without full use when the usage value reaches the stored expiration value to signal that the subscription for the computing device has expired.
摘要翻译：基于订阅的计算设备具有在硬件中实现的硬件和订阅执行器。执行者具有累加器，其在使用计算设备时累积使用值，以及存储过期值的到期值寄存器。执行者允许计算设备在使用值小于存储的到期值的情况下以预定的方式无限制地操作并且充分使用，并且允许计算设备在使用中受到阻碍并且不充分使用的期满模式下操作值达到存储的到期值，以表示计算设备的订阅已经过期。

5. 发明授权

US07716734B2 Systems and methods for pattern matching on principal names to control access to computing resources 有权
标题翻译：用于主体名称上的模式匹配的系统和方法，以控制对计算资源的访问
公开(公告)号：US07716734B2
公开(公告)日：2010-05-11
申请号：US11133806
申请日：2005-05-19
申请人： Andrew David Birrell , Edward P. Wobber , Martin Abadi
发明人： Andrew David Birrell , Edward P. Wobber , Martin Abadi
IPC分类号： G06F7/04 , G06F21/00
CPC分类号： G06F21/6218
摘要： Systems and methods are provided for resource access control in computer systems. Our approach includes new techniques for composing and authenticating principals in an access control system. Our principals may comprise information that identifies the role of the user of a computer system, the mechanism by which the user was authenticated, and program execution history. Thus, when a principal makes a request, access control determinations can be made based on the principal's identity. Access control lists may provide patterns that are used to recognize principals, thereby ensuring a level of security without enumerating precise identifiers for all of the possible principles that may request a particular resource.
摘要翻译：为计算机系统中的资源访问控制提供了系统和方法。我们的方法包括在访问控制系统中组合和验证主体的新技术。我们的主体可以包括识别计算机系统的用户的角色，用户被认证的机制以及程序执行历史的信息。因此，当委托人发出请求时，可以基于主体的身份进行访问控制确定。访问控制列表可以提供用于识别主体的模式，从而确保安全级别，而不需要列举可能请求特定资源的所有可能原则的精确标识符。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式