Changeset 630 for trunk/kernel/mm/vmm.c

Timestamp:

May 21, 2019, 6:00:06 PM (5 years ago)

Author:

alain

Message:

1) Fix a bug in the vfs_add_special_dentries() function:
The <.> and <..> dentries must not be created on IOC and on the mapper
for the VFS root directory.
2) Fix a bug in the hal_gpt_allocate_pt2 function, related to the
use of the TSAR_LOCKED attribute to avoid concurrent mapping of the PTD1.

File:

• trunk/kernel/mm/vmm.c (modified) (3 diffs)

trunk/kernel/mm/vmm.c

@@ -1978 +1978 @@
         ref_ptr = GET_PTR( process->ref_xp );
 
-        // private vseg or (local == reference) => access only the local GPT 
+        /////////////// private vseg or (local == reference)
+        /////////////// => access only the local GPT 
         if( (vseg->type == VSEG_TYPE_STACK) ||
             (vseg->type == VSEG_TYPE_CODE)  ||
@@ -2028 +2029 @@
         }   // end local GPT access 
 
-        // public vseg and (local != reference) => access ref GPT to update local GPT
+        /////////////////// public vseg and (local != reference) 
+        /////////////////// => access ref GPT to update local GPT
         else                                
         {
@@ -2035 +2037 @@
 
             // get current PPN and attributes from reference GPT
+            // without locking the PTE (in case of false page fault)
             hal_gpt_get_pte( ref_gpt_xp,
                              vpn,