Bull S.a.

Sun Microsystems, Inc.

Jean-Pascal Mazzilli

Nadia Bouraoui

Jean-Dominique Sorace

Christophe Lizzi

Laurent Faipot

Stephen J Mckinty

A method for obtaining a quorum vote by a first node using a quorum cable, wherein the quorum cable comprises a first end connected to the first node and a second end connected to a second node, including determining whether the quorum cable is reserved by the second node using a remote reservation input (RRI) on the first end, if the quorum cable is not reserved by the second node asserting a local reservation input (LRI) on the first end by the first node, monitoring a local reservation output (LRO) on the first end by the first node to determine whether the LRO on the first end is asserted in response to asserting the LRI on the first end, and obtaining the quorum vote by the first node, if the LRO on the first end is asserted.

Method and apparatus for using a serial cable as a cluster quorum device

A method for obtaining a quorum vote by a first node using a Universal Serial Bus (USB) quorum cable, wherein the USB quorum cable comprises a first end connected to a first node and a second end connected to a second node, including determining whether the USB quorum cable is reserved by the second node by querying a memory located in the USB quorum cable, if the USB quorum cable is not reserved by the second node attempting to reserve the USB quorum cable, determining whether the attempt to reserve the USB quorum cable was successful, and obtaining the quorum vote by the first node, if the attempt to reserve the USB quorum cable is successful.

Method and apparatus for using a USB cable as a cluster quorum device

On a machine with non-uniform memory access distributed over several modules, each module includes one or more processors for executing tasks on a virtual or physical addressing space by effective addresses generating logical page numbers to which it is possible to make physical page numbers correspond in the memory by a correlation tale. The generation of a logical page number causes a first-level page-fault type exception when the logical page number is absent from the correlation table. The method includes a step for activating a function (Trace), following each first-level page-fault type exception, a trace function, which records the value of the effective address that has generated the logical page number that has caused the exception, the date when the exception is caused, an identifier of the task using the effective address, an identifier of the processor executing the task and the physical page number corresponding to the logical page number that has caused the exception.

Method for controlling memory access on a machine with non-uniform memory access and machine for implementing such a method

In executing data processing operations, a data processing system has a physical memory that is divided into a plurality of physical memory zones, each corresponding to a contiguous series of physical page numbers (NPP). A physical memory allocation method, in response to a request from a current process, activates a first function (Resa) which checks the number of available pages in a memory zone that iii distinguished from other memory zones by a name (z) specified by the current process and places the current process in a queue that corresponds to the zone designated (z) if the number of available pages is not sufficient in the zone designated (z), and then activates a second function (Allocate) which extracts a physical page number (NPP) from a list of available pages in the zone identified by the name (z) so that it can be used by the current process.

Method for a memory organization by physical zones in a computerized or data processing machine or arrangement and the computerized or data processing machine or arrangement for using the method

A computer system comprises a nonuniform access memory distributed in several places of residence. The memory accesses a physical resource of the memory at a physical address constituted by a field of i bits and a field of j bits. The memory comprises a table with a number of rows equal to a power (i&minus;j) of two, each row being accessible by a field of (i&minus;k) bits of the physical address containing an identifier of the place of residence of the resource. The process for identifying a place of residence of a physical memory resource thereof consists of simply reading the identifier in the row of the table referenced by the field of (i&minus;k) bits.

Process for locating physical addresses in a nonuniform access memory and computer system for implementing the process

The invention relates to a process for accessing a storage area of a digital data processing machine (,) in a physical addressing mode the storage arena also being accessible in a virtual addressing mode by means of virtual addresses, each constituted by a logical page number (LPN) and a relative address (SPRA). A first logical page number (i) in question corresponds to a first given physical page number (q), and a second logical page number (i&plus;1) contiguous to the first logical page number (i) in question corresponds to a second physical page number (s), not necessarily contiguous to the first given physical page number (q). The process is comprised of writing, at the address constituted by the first logical page number (i) in question and by a relative address having a first predetermined value, the second physical page number (s).

Growing community of inventors

Eybens, France

Jean-Pascal Mazzilli