Changeset 401 for trunk/kernel/mm

Timestamp:

Aug 17, 2017, 3:02:18 PM (7 years ago)

Author:

alain

Message:

Few bugs in VMM

Location:

trunk/kernel/mm

Files:

• vmm.c (modified) (2 diffs)
• vmm.h (modified) (3 diffs)

trunk/kernel/mm/vmm.c

@@ -1013 +1013 @@
 ///////////////////////////////////////////////////
 error_t vmm_handle_page_fault( process_t * process,
-                               vseg_t    * vseg,
                                vpn_t       vpn )
 {
@@ -1019 +1018 @@
     ppn_t            ppn;           // missing page PPN
     error_t          error;         // return value
-
-    // get local VMM pointer
-        vmm_t * vmm = &process->vmm;
 
     // get reference process cluster and local pointer

trunk/kernel/mm/vmm.h

@@ -283 +283 @@
  * This function is called by the generic exception handler when a page fault 
  * has been detected in a given cluster. 
- * If the local cluster is not the reference cluster, it send a RPC_VMM_GET_PTE
- * to the reference cluster to get the missing PTE attributes and PPN, and update
- * the local page table. If the local cluster is the reference, it call directly
- * the vmm_get_pte() function.
+ * - If the local cluster is not the reference cluster, it send a RPC_VMM_GET_PTE
+ *   to the reference cluster to get the missing PTE attributes and PPN, and update
+ *   the local page table. 
+ * - If the local cluster is the reference, it call directly the vmm_get_pte() function.
  *********************************************************************************************
  * @ process   : pointer on process descriptor.
- * @ vseg      : pointer on involved vseg.
  * @ vpn       : VPN of the missing PTE.
  * @ returns 0 if success / returns ENOMEM if no memory.
  ********************************************************************************************/
 error_t vmm_handle_page_fault( struct process_s * process,
-                               vseg_t           * vseg,
                                vpn_t              vpn );
 
@@ -319 +317 @@
 
 /*********************************************************************************************
- * This function is called by the vmm_get_pte() function.
+ * This function is called by the vmm_get_pte() function when a page is unmapped.
  * Depending on the vseg type, defined by the <vseg> argument, it returns the PPN 
  * (Physical Page Number) associated to a missing page defined by the <vpn> argument.
@@ -331 +329 @@
  * @ vpn    : Virtual Page Number identifying the missing page.
  * @ ppn    : [out] returned Physical Page Number.
+ * return 0 if success / return EINVAL or ENOMEM if error.
  ********************************************************************************************/
 error_t vmm_get_one_ppn( vseg_t * vseg,