Bull S.a.

Nadia Bouraoui

Jean-Pascal Mazzilli

Jean-Dominique Sorace

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

Nadia Bouraoui