摘要:
A method of assigning virtual memory to physical memory in a data processing system allocates a set of contiguous physical memory pages for a new page mapping, instructs the memory controller to move the virtual memory pages according to the new page mapping, and then allows access to the virtual memory pages using the new page mapping while the memory controller is still copying the virtual memory pages to the set of physical memory pages. The memory controller can use a mapping table which temporarily stores entries of the old and new page addresses, and releases the entries as copying for each entry is completed. The translation lookaside buffer (TLB) entries in the processor cores are updated for the new page addresses prior to completion of copying of the memory pages by the memory controller. The invention can be extended to non-uniform memory array (NUMA) systems. For systems with cache memory, any cache entry which is affected by the page move can be updated by modifying its address tag according to the new page mapping. This tag modification may be limited to cache entries in a dirty coherency state. The cache can further relocate a cache entry based on a changed congruence class for any modified address tag.
摘要:
A multiprocessor system includes a plurality of data processing nodes. Each node has a processor coupled to a system memory, a cache memory, and a cache directory. The cache directory contains cache coherency information for a predetermined range of system memory addresses. An interconnection enables the nodes to exchange messages. A node initiating a function shipping request identifies an intermediate destination directory based on a list of the function's operands and sends a message indicating the function and its corresponding operands to the identified destination directory. The destination cache directory determines a target node based, at least in part, on its cache coherency status information to reduce memory access latency by selecting a target node where all or some of the operands are valid in the local cache memory. The destination directory then ships the function to the target node over the interconnection.
摘要:
A method of assigning virtual memory to physical memory in a data processing system allocates a set of contiguous physical memory pages for a new page mapping, instructs the memory controller to move the virtual memory pages according to the new page mapping, and then allows access to the virtual memory pages using the new page mapping while the memory controller is still copying the virtual memory pages to the set of physical memory pages. The memory controller can use a mapping table which temporarily stores entries of the old and new page addresses, and releases the entries as copying for each entry is completed. The translation look aside buffer (TLB) entries in the processor cores are updated for the new page addresses prior to completion of copying of the memory pages by the memory controller. The invention can be extended to non-uniform memory array (NUMA) systems. For systems with cache memory, any cache entry which is affected by the page move can be updated by modifying its address tag according to the new page mapping. This tag modification may be limited to cache entries in a dirty coherency state. The cache can further relocate a cache entry based on a changed congruence class for any modified address tag.
摘要:
A baton with incorporated chemical spray is provided. The baton includes a handle portion and a striking portion connected to the handle portion. The striking portion and the handle portion enable a primary use of the baton as a striking device. The baton further includes a chemical spray canister encased within the handle portion and enabling a secondary use of the baton as a chemical spray device. The baton further includes a nozzle configured to receive a chemical flow from the chemical spray canister and dispense the chemical spray and a spray activation switch configured to selectively release the chemical flow from the chemical spray canister and channel the chemical flow to the nozzle.
摘要:
A clear ice making system and method utilizes an ice tray including a plurality of ice forming cavities extending into a fluid supply cavity. Fluid supplied to the fluid supply cavity flows into each of the plurality of ice forming cavities and out through respective fluid outlets located in a bottom portion of the ice forming cavities to a fluid outlet chamber below. Cooled ice forming members extend into respective ice forming cavities. Fluid is continuously cycled through the ice forming cavities and around the ice forming members during an ice making event such that clear ice pieces gradually form on each of the ice forming members. During an ice harvest event, ice forming members are heated to release formed ice pieces, and the ice pieces are transferred from a fresh food compartment of a refrigerator to an ice storage bucket located in a freezer compartment of the refrigerator.
摘要:
A system for generating customized badges. The system includes a computer, a printer coupled to the computer, a display coupled to the computer, and a computer readable medium. The computer readable medium includes instructions for opening a badge profile, providing a data entry screen based on the profile, receiving data in the data entry screen, and printing customized badges on the printer based on the received data. The badge profile defines a size, type, and location of data to be printed on the customized badges.
摘要:
Methods for indexing data of an append-only, log-based structure include writing a plurality of data packets to a storage medium by sequentially appending the data packets to a log-based structure of the storage medium, the data packets associated with different logical identifiers belonging to a logical address space that is independent of physical storage locations on the storage media. The methods may further include writing an index segment associated with the plurality of data packets to the log-based structure, the index segment comprising index entries for determining the logical identifiers of the data packets and recording, on the storage media, information indicating where the index segment is written on the storage medium.
摘要:
An image stabilization system includes an optical assembly configured to receive electromagnetic radiation emitted by a target and produce focused image of the target; a focal plane array, the focal plane array being configured to receive the image and integrate at least a portion of the electromagnetic radiation making up the image to produce an electrical representation of the image; sensors configured to provide kinematic data; a control system receiving the kinematic data and estimating jitter-induced motion of the image on the focal plane and outputting a control signal; and actuators configured to receive the control signal and to translate the focal plane along two orthogonal axes and rotate the focal plane about a third orthogonal axis such that jitter-induced motion of the image on the focal plane is reduced.
摘要:
A pipelined computer processor is presented that reduces data hazards such that high processor utilization is attained. The processor restructures a set of instructions to operate concurrently on multiple pieces of data in multiple passes. One subset of instructions operates on one piece of data while different subsets of instructions operate concurrently on different pieces of data. A validity pipeline tracks the priming and draining of the pipeline processor to ensure that only valid data is written to registers or memory. Pass-dependent addressing is provided to correctly address registers and memory for different pieces of data.
摘要:
A pipelined computer processor is presented that reduces data hazards such that high processor utilization is attained. The processor restructures a set of instructions to operate concurrently on multiple pieces of data in multiple passes. One subset of instructions operates on one piece of data while different subsets of instructions operate concurrently on different pieces of data. A validity pipeline tracks the priming and draining of the pipeline processor to ensure that only valid data is written to registers or memory. Pass-dependent addressing is provided to correctly address registers and memory for different pieces of data.