摘要:
Balanced prefetching automatically balances the benefits of prefetching data that has not been accessed recently against the benefits of caching recently accessed data, and can be applied to most types of structured data without needing application-specific details or hints. Balanced prefetching is performed in applications in a computer system, such as storage-centric applications, including file systems and databases. Balanced prefetching exploits the structure of the data being prefetched, providing superior application throughput. For a fixed amount of memory, it is automatically and dynamically determined how much memory should be devoted to prefetching.
摘要:
A distributed data store employs replica placement techniques in which a number k hash functions are used to compute k potential locations for a data item. A number r of the k locations are chosen for storing replicas. These replica placement techniques provide a system designer with the freedom to choose r from k, are structured in that they are determined by a straightforward functional form, and are diffuse such that the replicas of the items on one server are scattered over many other servers. The resulting storage system exhibits excellent storage balance and request load balance in the presence of incremental system expansions, server failures, and load changes. Data items may be created, read, and updated or otherwise modified.
摘要:
Described herein are one or more implementations of an operating system that provides for statically verifiable inter-process communication between isolated processes. Also, described herein are one or more implementations of programming tools that facilitate the development of statically verifiable isolated processes having inter-process communication.
摘要:
This discloses a water ski rope safety device. Water ski ropes can become disconnected from the tow boat. They can also become loose or gain excessive slack. In such cases, the rope can whip around or entangle the skier. Any of these might injure the skier. The safety device prevents such a disconnected or loose rope from entangling or striking the skier. The device consists of a flexible sleeve into which the rope is contained along with other components which accomplish the purpose.
摘要:
The write-access control line for an RTC is combined with a clear line for an RTC signature register, so that changes to the RTC will cause subsequent reads to return an invalidity flag.
摘要:
A graphics subsystem in which a very fast clear operation is performed without the need to address each pixel, and without using memories which include a hardware fast-clear capability. This is implemented by using a reference frame counter: the window is divided up into n regions, where n is the range of the frame counter (i.e. n=2.sup.p, where p is the number of bits in the frame counter). Every time the application issues a clear command, the reference frame counter is incremented (and allowed to roll over if it exceeds its maximum value), and only the n.sup.th region is cleared. The clear updates the depth and/or stencil buffers to the new values and the frame count buffer with the reference value. This region is much smaller than the full region the application thinks it is clearing, so takes less time and hence gives the speed increase. When the local buffer is subsequently read and the frame count is found to be the same as the reference frame count, the local buffer data is used directly. The result of this arrangement is that the cost of clearing the depth and stencil buffers can be amortized over a number of clear operations (as issued by the application).
摘要:
The write-access control line for an RTC is combined with a clear line for an RTC signature register, so that changes to the RTC will cause subsequent reads to return an invalidity flag.
摘要:
A method and apparatus for processing defects in a digital image include defining a defect map, having defect and non-defect entries, as a defect bounded by an expanded defect region and an outer analysis region of a different defect map values. By choosing suitable values and performing a bitwise logical OR operation on the entries the processing of the defect map is made more efficient.