Changeset 623 for trunk/kernel/mm/ppm.h

Timestamp:

Mar 6, 2019, 4:37:15 PM (5 years ago)

Author:

alain

Message:

Introduce three new types of vsegs (KCODE,KDATA,KDEV)
to map the kernel vsegs in the process VSL and GPT.
This now used by both the TSAR and the I86 architectures.

File:

• trunk/kernel/mm/ppm.h (modified) (5 diffs)

trunk/kernel/mm/ppm.h

@@ -3 +3 @@
  *
  * Authors  Ghassan Almaless (2008,2009,2010,2011,2012)
- *          Alain Greiner    (2016,2017,2018)
+ *          Alain Greiner    (2016,2017,2018,2019)
  *
  * Copyright (c) UPMC Sorbonne Universites
@@ -37 +37 @@
  * This structure defines the Physical Pages Manager in a cluster.
  * In each cluster, the physical memory bank starts at local physical address 0 and
- * contains an integer number of pages, defined by the <pages_nr> field in the
+ * contains an integer number of small pages, defined by the <pages_nr> field in the
  * boot_info structure. It is split in three parts:
  *
  * - the "kernel_code" section contains the kernel code, loaded by the boot-loader.
- *   It starts at PPN = 0 and the size is defined by the <pages_offset> field in the
- *   boot_info structure.
- * - the "pages_tbl" section contains the physical page descriptors array. It starts
- *   at PPN = pages_offset, and it contains one entry per small physical page in cluster.
+ *   It starts at local PPN = 0 and the size is defined by the <pages_offset> field
+ *   in the boot_info structure.
+ * - the local "pages_tbl" section contains the physical page descriptors array.
+ *   It starts at local PPN = pages_offset, and it contains one entry per small page.
  *   It is created and initialized by the hal_ppm_create() function. 
  * - The "kernel_heap" section contains all physical pages that are are not in the
- *   kernel_code and pages_tbl sections, and that have not been reserved by the
- *   architecture specific bootloader. The reserved pages are defined in the boot_info
- *   structure.
+ *   "kernel_code" and "pages_tbl" sections, and that have not been reserved.
+ *   The reserved pages are defined in the boot_info structure.
  *
  * The main service provided by the PMM is the dynamic allocation of physical pages
@@ -60 +59 @@
  *
  * Another service is to register the dirty pages in a specific dirty_list, that is
- * also rooted in the PPM, in order to be able to save all dirty pages on disk.
+ * also rooted in the PPM, in order to be able to synchronize all dirty pages on disk.
  * This dirty list is protected by a specific remote_queuelock, because it can be
  * modified by a remote thread, but it contains only local pages.
@@ -198 +197 @@
  *   . if page already dirty => do nothing
  *   . it page not dirty => set the PG_DIRTY flag and register page in PPM dirty list.
- * - it releases the busylock protcting the page flags.
+ * - it releases the busylock protecting the page flags.
  * - it releases the queuelock protecting the PPM dirty_list.
  *****************************************************************************************
@@ -214 +213 @@
  *   . if page not dirty => do nothing
  *   . it page dirty => reset the PG_DIRTY flag and remove page from PPM dirty list.
- * - it releases the busylock protcting the page flags.
+ * - it releases the busylock protecting the page flags.
  * - it releases the queuelock protecting the PPM dirty_list.
  *****************************************************************************************