Abstract: A system and method for determining a carrier layout using cornered chip-to-chip input/output is presented. Each of a plurality of individual integrated circuit carriers communicatively interfaceable through cornered input/output ports is oriented at a uniform rotation relative to an edge of a carrier layout. Each carrier defines a set of rectilinear edges. Each carrier is placed juxtaposed at an open corner to at least one other carrier within a rectilinear lattice topologically arranged in the carrier layout to substantially minimize Hamming distances between each of the carriers.

Abstract: A heat sink uses a pump assembly to generate a radial magnetic field. Pipes arranged to house a portion of a first channel and a portion of a second channel are formed in the heat sink. The direction of fluid flow in the first channel and the direction of fluid flow in the second channel is dependent on the radial magnetic field. The radial magnetic field causes fluid in the first channel to flow toward a heat source and fluid in the second channel to flow away from the heat source, thereby resulting in heat transfer between the first and second channels and between the heat sink and the respective first and second channels. The heat sink may also use a heat exchanger assembly that is connected to the heat source, where the heat exchanger assembly is formed of a plurality of channels that each propagate fluid in one of the directions of the first channel and the second channel.

Abstract: A heat sink uses a pump assembly to generate a magnetic field. Flow directions of electrically and thermally conductive liquid flowing through multiple pipes that go through the pump assembly are dependent on an orientation of the magnetic field and/or the direction of electrical current induced across flowing fluid in the magnetic field. In such a manner, cool liquid may be directed toward a heat source and warmer liquid may be directed to flow away from the heat source, where heat transfer occurs between the liquid and the heat sink. Additional pump assemblies that generate separate magnetic fields may be used to increase fluid flow volume, thereby increasing heat transfer away from the heat source.

Abstract: Transaction code written by the programmer may be translated, replaced or transformed into a code that is configured to implement transactions according to any of various techniques. A compiler may replace programmer written transaction code into code allowing multiple compatible transaction implementation techniques to be used in the same program, and at the same time. A programmer may write transaction code once using familiar coding styles, but the transaction to be effected according to one of a number of compatible alternative implementation techniques. The compiler may enable the implementation of multiple, alternative transactional memory schemes. The particular technique implemented for each transaction may not be decided until runtime. At runtime, any of the various implemented techniques may be used to effect the transaction and if a first technique fails or is inappropriate for a particular transaction, one or more other techniques may be attempted.

Abstract: A heat sink uses a pump assembly to generate a magnetic field. A direction of electrically and thermally conductive liquid flowing through the pump assembly is dependent on an orientation of the magnetic field and/or the direction of electrical current induced across flowing fluid in the magnetic field. In such a manner, cool liquid may be directed toward a heat source and warmer liquid may be directed to flow away from the heat source, where heat transfer occurs between the liquid and the heat sink. Additional pump assemblies that generate separate magnetic fields may be used to increase fluid flow volume, thereby increasing heat transfer away from the heat source.

Abstract: Methods for reconfiguring an application running on a server, without restarting the server, are described. Method steps include reading application configuration information related to a new version of the application, constructing an application configuration based on the application configuration information, and providing the application configuration to the server. Advantageously, an application runtime environment within the server services new application service requests related to the application by referencing the new application configuration, while old application configurations are maintained for servicing, without interruption, existing service requests related to the application.

Abstract: A method and apparatus provides a mechanism to transform or “morph” Formal verification method assertions so that an assertion defined in one Design Under Test (DUT) can be replicated, or derived, to propagate into other related DUTs. Using the method and apparatus of the present invention, individual DUTs can better leverage assertions defined independently in other DUT environments. This, in turn, provides for greater productivity and a faster, smoother verification process-using Formal and Assertion Based Verification methods.

Abstract: An apparatus comprises a check bit encoder circuit and a check/correct circuit. The apparatus operates on encoded data blocks, wherein each encoded data block includes a data block, a first plurality of check bits, and a second plurality of check bits. The encoded data block is logically arranged as an array of R rows and N columns, and each of the N columns comprises data bits from a respective one of the plurality of components. The first check bits form a first column of the array, and each of the first check bits covers a row of the array. The second check bits form a second column of the array and are defined to cover bits in the array according to a plurality of check vectors. Each check vector corresponds to a different bit in the array and is an element of a Galois Field (GF(2R)). The check vectors are derived from a plurality of unique elements of GF(2R), each of which corresponds to a different column of the array.

Abstract: The invention proposes a directory server, capable of interacting with entries organized in a tree structure. Each entry has attributes, these attributes comprising real attributes each having a value stored in the entry. The directory server comprising: a mechanism capable of associating a virtual attribute to an entry, subject to a virtual attribute condition being verified, the virtual attribute condition being derived from data located elsewhere in the tree structure, and a resolving function, capable of receiving a first filter expression, based on a virtual attribute, for converting it into one or more second filter expressions, containing real attributes, and being computed from the first filter expression and from the virtual attribute condition.

Abstract: Improved techniques and systems for accommodating TLB shootdown events in multi-processor computer systems are disclosed. A memory management unit (MMU) having a TLB miss handler and miss exception handler is provided. The MMU receives instructions relative to a virtual address. A TLB is searched for the virtual address, if the virtual address is not found in the TLB, secondary memory assets are searched for a TTE that corresponds to the virtual address and its associated context identifier. The context identifier is tested to determine if the TTE is available. Where the TTE is available, the TLB and secondary memory assets are updated as necessary and the method initiates memory access instructions. Where the TTE is unavailable, the method either resolves the unavailability or waits until the unavailability is resolved and then initiates memory access instructions, thereby enabling the desired virtual address information to be accessed.

Abstract: Methods, systems, and computer program products are disclosed for sharing data related to a session created by a user within a domain of sites or services. A user logs on to a site, such as a Web site or other entity, and creates a session. The session created has an identifier which can be shared with other sites or entities in the same domain or logical group. In the course of utilizing services on the site, the user attempts access to services on another site. When this attempt is made, the user's session data is passed to the second site. The session data is analyzed on the second site by checking configuration data on the second site. If it is not found to be valid (e.g. it is created by a site outside the domain of the second site), the user is required to explicilty logon. If the configuration data indicates that it is valid, the session data is passed back to the first site using a verification routine (part of the configuration data) on the second site.

Abstract: An apparatus and method for expeditiously steering a received communication (e.g., packet, cell, frame) to one or more communication streams. When a new communication stream is opened on a network interface circuit or other Primary Point of Attachment (PPA), the protocol to which the stream is bound is used as a Service Access Point (SAP). A hierarchy of SAP nodes (e.g., a binary tree) is constructed, with each node corresponding to a unique SAP. Each node includes its corresponding SAP value, a count of the number of communication streams bound to the associated protocol, and a reference to those streams. When a communication is received, its SAP is extracted and the hierarchy is searched for a matching node. The communication is then forwarded to each referenced stream.

Abstract: A Compact Peripheral Component Interconnect (CPCI) system is provided that can map PCI Industrial Computer Manufactures Group (PICMG) states describing the state of a hot-swap CPCI card into Telecommunication Management Network (TMN) plug-in unit states. Specifically, the hardware/Operating System (OS) states for the CPCI card are specified in PICMG states in accordance with the PICMG hot-swap specification. The present system identifies or defines the meaning (e.g., the definition, identification, function, and/or status) of the states on the CPCI card. The system then maps these states into intermediate states. The intermediate states are then mapped into TMN plug-in unit states (e.g., OperationalState and/or AvailiableStatus). The TMN plug-in unit states corresponding to the CPCI card will then comprise the proper identification information for the CPCI card.

Abstract: A system and method for providing message-based leasing of resources in a distributed computing environment. Services may issue leases to clients and provide operations on those leases. The lease functionality of a service may be defined in an XML message schema. Gates may be used to perform lease operations. Leases may be granted for a period that may be negotiated. Leasing messages for performing leasing operations may be defined. The leasing messages may include messages to renew a lease and to cancel a lease. Leasing messages may include embedded credentials for authenticating the sender of the message. A client may embed a credential in messages sent to the service. The service may then authenticate the credential when received in a message from the client.

Abstract: a provider module provides an interface between an object manager or object handler and each of a plurality of management modules. The provider module can include a register manager operable to maintain a register of interfaced management modules and a router operable to use the register to provide routing of a management request to a management module appropriate to process the management request. Sharing the provider module between a plurality of management modules facilitates the creation and integration of the management modules and provides a dynamic management system.

Abstract: A field-replaceable active pumped liquid heat sink module includes a liquid pump, a radiator, an optional receiver, and a gasketed cold heat exchanger box, all of which are connected together in a liquid pump loop through which a coolant such as water is circulated. The liquid pump, radiator, optional receiver and gasketed cold heat exchanger box are in a liquid pump loop and are self-contained in a field-replaceable active pumped liquid heat sink module. The heat sink module provides direct contact between the liquid coolant and the top portion of the targeted electronic component, which can be a CPU.

Abstract: A garbage collector that employs the train algorithm determines whether futile collections have been occurring or the number of trains has reached a maximum. When either situation occurs, it merges a plurality of existing trains into a single new train. If the collector detects futile collection, it merges the oldest train with one of the other trains. If the number of trains reaches a maximum, the collection so merges trains that the next train addition will not cause the number of trains to exceed the maximum.

Abstract: A mechanism is disclosed for virtualizing system statistics in an operating system environment (OSE) that has been partitioned into a global zone and one or more non-global zones. The OSE comprises processes and system resources. Each process is associated with a zone. Each resource may be associated with a statistical data structure. Statistical data about a resource is stored in that resource's statistical data structure. Each statistical data structure is associated with at least one zone and one or more key values. A process may specify key values. The kernel may select a set of statistical data structures that are associated with the process' associated zone. The kernel may return, to the process, a list of statistical data structures in the set, or statistical data contained in one of the set's statistical data structures that matches the process-specified key values.

Abstract: A circuit board assembly may include a heat sink that couples with a surface a circuit module installed on the circuit board. The heat sink may automatically couple to the surface of the circuit module when the circuit module is installed on the circuit board. The heat sink may include a thermal interface element that contacts the surface of the circuit module. A biasing element may be coupled between the body and the base to urge a body of the heat sink into contact with the circuit module when the circuit module is installed on the circuit board. In some embodiments, a heat sink may automatically couple with the circuit module when a locking member for the circuit module is actuated to a closed position. In some embodiments, a heat sink may automatically couple with a circuit module when an ejector for the circuit module is actuated. In some embodiments, a heat sink may include an ejector and a locking member for a circuit module.

Abstract: In one embodiment, a system comprises a source configured to provide data and a source error correction code (ECC) generated according to a source ECC scheme; a circuit comprising an ECC transform unit configured to generate a target ECC from the data, detect an error in the data responsive to the source ECC, and correct the error in the data, wherein the target ECC is generated according to a target ECC scheme different from the source ECC scheme, and wherein the ECC transform unit is configured to continuously protect the data with at least one of the source ECC and the target ECC; and a target coupled to receive the data and the target ECC from the circuit.