Abstract: A memory-referent instruction is executed to calculate a target effective address (EA) of a corresponding memory-referent request. An array entry in an upper level cache is allocated, and the EA is specified in a corresponding EA directory entry. While in-flight, the memory-referent request is buffered in a queue in association with a pointer to the entry in the EA directory. Based on receiving a translation invalidation request requesting invalidation of an address translation in a translation structure, the processor core walks the EA directory, determines the EA in the entry matches an address range specified by the translation invalidation request, and, based on the match, precisely marks the memory-referent request using the pointer to the EA directory entry. Based on the marking, the translation invalidation request is permitted to complete with reference to the processor core only after the memory-referent request has drained from the processing unit.

Abstract: A computer system, processor, and/or load-store unit has a data cache for storing data, the data cache having a plurality of entries to store the data, each data cache entry addressed by a row and a Way, each data cache row having a plurality of the data cache Ways; a first Address Directory organized and arranged the same as the data cache where each first Address Directory entry is addressed by a row and a Way where each row has a plurality of Ways; a store reorder queue for tracking the store instructions; and a load reorder queue for tracking load instruction. Each of the load and store reorder queues having a Way bit field, preferably less than six bits, for identifying the data cache Way and/or a first Address Directory Way where the Way bit field acts as a proxy for a larger address, e.g. a real page number.

Abstract: A computer system, processor, and/or load-store unit has a data cache for storing data, the data cache having a plurality of entries to store the data, each data cache entry addressed by a row and a Way, each data cache row having a plurality of the data cache Ways; a first Address Directory organized and arranged the same as the data cache where each first Address Directory entry is addressed by a row and a Way where each row has a plurality of Ways; a store reorder queue for tracking the store instructions; and a load reorder queue for tracking load instruction. Each of the load and store reorder queues having a Way bit field, preferably less than six bits, for identifying the data cache Way and/or a first Address Directory Way where the Way bit field acts as a proxy for a larger address, e.g. a real page number.

Abstract: Translation lookaside buffer (TLB) invalidation using virtual addresses is provided. A cache is searched for a virtual address matching the input virtual address. Based on a matching virtual address in the cache, the corresponding cache entry is invalidated. The load/store queue is searched for a set and a way corresponding to the set and the way of the invalidated cache entry. Based on an entry in the load/store queue matching the set and the way of the invalidated cache entry, the entry in the load/store queue is marked as pending. Indicating a completion of the TLB invalidate instruction is delayed until all pending entries in the load/store queues are complete.

Abstract: A computer system, processor, and/or load-store unit has a data cache for storing data, the data cache having a plurality of entries to store the data, each data cache entry addressed by a row and a Way, each data cache row having a plurality of the data cache Ways; a first Address Directory organized and arranged the same as the data cache where each first Address Directory entry is addressed by a row and a Way where each row has a plurality of Ways; a store reorder queue for tracking the store instructions; and a load reorder queue for tracking load instruction. Each of the load and store reorder queues having a Way bit field, preferably less than six bits, for identifying the data cache Way and/or a first Address Directory Way where the Way bit field acts as a proxy for a larger address, e.g. a real page number.

Abstract: A computer system, processor, and/or load-store unit has a data cache for storing data, the data cache having a plurality of entries to store the data, each data cache entry addressed by a row and a Way, each data cache row having a plurality of the data cache Ways; a first Address Directory organized and arranged the same as the data cache where each first Address Directory entry is addressed by a row and a Way where each row has a plurality of Ways; a store reorder queue for tracking the store instructions; and a load reorder queue for tracking load instruction. Each of the load and store reorder queues having a Way bit field, preferably less than six bits, for identifying the data cache Way and/or a first Address Directory Way where the Way bit field acts as a proxy for a larger address, e.g. a real page number.

Abstract: Translation lookaside buffer (TLB) invalidation using virtual addresses is provided. A cache is searched for a virtual address matching the input virtual address. Based on a matching virtual address in the cache, the corresponding cache entry is invalidated. The load/store queue is searched for a set and a way corresponding to the set and the way of the invalidated cache entry. Based on an entry in the load/store queue matching the set and the way of the invalidated cache entry, the entry in the load/store queue is marked as pending. Indicating a completion of the TLB invalidate instruction is delayed until all pending entries in the load/store queues are complete.

Abstract: A weight control software system and method may provide an interactive software environment to a user via a network to enhance the ability of users to follow a weight control program. The weight control software system may generate meal plans that are automatically updated based on an updated weight of the user following the weight control program. A variety of tools may be integrated into the weight control software system and be interoperable to utilize information entered by the user or generated by the system in controlling body weight of the user. Such tools may include journal and meal planning functionality.

Abstract: An electrochemical cell includes a flow plate and a seal that is contact with the flow plate. The seal forms an outer boundary of a sealed region to contain a reactant flow. The flow plate includes an opening that is located out of the sealed region to communicate leakage from the sealed region to an exhaust flow of the cell.

Abstract: A system for tracking and facilitating control of body weight of a person including a computing device to execute software elements including a weight tracker to receive undated body weights from the user and to display a graphical representation of the body weight of the person over time, a journal to display food items consumed by the person, and a display to present the graphical representation of the body weight of the person over time to the person, the graphical representation including at least one user selectable indicia consisting of at least one point on the graphical representation of the body weight of the person over time indicative of a past time period, which, when selected displays the food items consumed during the past time period, the graphical representation including a plurality of milestones plotted on the graphical representation indicative of weight targets reached by the individual over time.

Abstract: An electrochemical cell includes a flow plate and a seal that is contact with the flow plate. The seal forms an outer boundary of a sealed region to contain a reactant flow. The flow plate includes an opening that is located out of the sealed region to communicate leakage from the sealed region to an exhaust flow of the cell.

Abstract: A weight control software system and method may provide an interactive software environment to a user via a network to enhance the ability of users to follow a weight control program. The weight control software system may generate meal plans that are automatically updated based on an updated weight of the user following the weight control program. A variety of tools may be integrated into the weight control software system and be interoperable to utilize information entered by the user or generated by the system in controlling body weight of the user. Such tools may include varying meal plan types and varying schemes for generating meal plans.

Abstract: Anode and cathode separator plates are suitable for use in ion pumps for converting an input stream such as reformate into a pressurized and purified hydrogen-rich gas stream. The plates may include a single cathode outlet opening forming a portion of cathode output gas manifold, an anode inlet opening forming a portion of an inlet gas stream manifold and being sized larger than inlet cathode outlet opening, the distance of the anode inlet opening to an edge of the plate being less than the distance of the cathode outlet opening from an edge of the plate, and the size of the fluid flow channel of the anode separator plate being smaller than the size of the fluid flow channel of the cathode separator plate. Methods for forming the plates and infrastructure systems are also disclosed.

Abstract: A weight control software system and method may provide an interactive software environment to a user via a network to enhance the ability of users to follow a weight control program. The weight control software system may generate meal plans that are automatically updated based on an updated weight of the user following the weight control program. A variety of tools may be integrated into the weight control software system and be interoperable to utilize information entered by the user or generated by the system in controlling body weight of the user. Such tools may include varying meal plan types and varying schemes for generating meal plans.

Abstract: A weight control software system and method may provide an interactive software environment to a user via a network to enhance the ability of users to follow a weight control program. The weight control software system may generate meal plans that are automatically updated based on an updated weight of the user following the weight control program. A variety of tools may be integrated into the weight control software system and be interoperable to utilize information entered by the user or generated by the system in controlling body weight of the user. Such tools may include a recipe builder which may allow users to exchange recipes.

Abstract: A weight control software system and method may provide an interactive software environment to a user via a network to enhance the ability of users to follow a weight control program. The weight control software system may generate meal plans that are automatically updated based on an updated weight of the user following the weight control program. A variety of tools may be integrated into the weight control software system and be interoperable to utilize information entered by the user or generated by the system in controlling body weight of the user. The system includes a foods and activities database which may allow the user to create a favorites list.

Abstract: A weight control software system and method may provide an interactive software environment to a user via a network to enhance the ability of users to follow a weight control program. The weight control software system may generate meal plans that are automatically updated based on an updated weight of the user following the weight control program. A variety of tools may be integrated into the weight control software system and be interoperable to utilize information entered by the user or generated by the system in controlling body weight of the user. Such tools may include journal and meal planning functionality.

Abstract: A weight control software system and method may provide an interactive software environment to a user via a network to enhance the ability of users to follow a weight control program. The weight control software system may generate meal plans that are automatically updated based on an updated weight of the user following the weight control program. A variety of tools may be integrated into the weight control software system and be interoperable to utilize information entered by the user or generated by the system in controlling body weight of the user.