Changeset 587 for trunk/hal/generic

Timestamp:

Nov 1, 2018, 12:39:27 PM (6 years ago)

Author:

alain

Message:

Modify the GPT (Generic Page Table) API to support remote accesses,
in order to improve page faults and COW handling.

Location:

trunk/hal/generic

Files:

• hal_atomic.h (modified) (1 diff)
• hal_exception.h (modified) (2 diffs)
• hal_gpt.h (modified) (4 diffs)

trunk/hal/generic/hal_atomic.h

@@ -60 +60 @@
  *****************************************************************************************
  * @ ptr     : pointer on the shared variable (signed or unsigned)
- * @ val     : signed value to add
+ * @ val     : value to add
  * @ return shared variable value before add
  ****************************************************************************************/

trunk/hal/generic/hal_exception.h

@@ -35 +35 @@
 //   => The hal_do_exception() function call the generic vmm_handle_page_fault(),
 //      or the fpu_handle_exception() function, and the calling thread resumes execution
-//      when the exception has been handled.
+//      when the exception can be  sucessfully handled.
 //
 // - USER_ERROR : exceptions such a "illegal vaddr" or "illegal write access" are fatal.
@@ -51 +51 @@
 
 /*****************************************************************************************
+ * This enum defines the global exception types after analysis by the exception handler.
+ ****************************************************************************************/
+
+typedef enum
+{
+    EXCP_NON_FATAL,
+    EXCP_USER_ERROR,
+    EXCP_KERNEL_PANIC,
+}
+exception_handling_type_t;
+
+
+/*****************************************************************************************
  * This function is called by the hal_kentry() function when an exception is detected by
  * the hardware for a given thread running on a given core.

trunk/hal/generic/hal_gpt.h

@@ -126 +126 @@
 
 /****************************************************************************************
- * This function map a local GPT entry identified by its VPN, from values defined
- * by the ppn and attr arguments. It allocates physical memory for the local generic
- * page table itself if required.
+ * This function map a - local or remote - GPT entry identified by its VPN, from values
+ * defined by the <ppn> and <attr> arguments. It allocates physical memory in remote
+ * cluster for the GPT PT2, using a RPC_PMEM_GET_PAGES, if required.
  ****************************************************************************************
  * @ gpt       : [in] pointer on the page table
@@ -136 +136 @@
  * @ returns 0 if success / returns ENOMEM if error
  ***************************************************************************************/
-error_t hal_gpt_set_pte( gpt_t    * gpt,
+error_t hal_gpt_set_pte( xptr_t     gpt_xp,
                          vpn_t      vpn,
                          uint32_t   attr,
@@ -143 +143 @@
 /****************************************************************************************
  * This function unmaps a page table entry identified by the <vpn> argument in the 
- * local page table identified by the <gpt> argument.
+ * local GPT identified by the <gpt> argument.
  * It does NOT release the physical memory allocated for the unmapped page.
  ****************************************************************************************
@@ -153 +153 @@
 
 /****************************************************************************************
- * This function returns in the <attr> and <ppn> arguments the current values 
- * stored in a GPT entry, identified by the <gpt> and <vpn> arguments.
- ****************************************************************************************
- * @ gpt_xp    : [in]  pointer on the page table
+ * This function returns in the <attr> and <ppn> arguments the current values stored
+ * in a -local or remote - GPT entry, identified by the <gpt> and <vpn> arguments.
+ ****************************************************************************************
+ * @ gpt_xp    : [in]  extended pointer on the page table
  * @ vpn       : [in]  virtual page number
  * @ attr      : [out] generic attributes
  * @ ppn       : [out] physical page number
  ***************************************************************************************/
-void hal_gpt_get_pte( gpt_t    * gpt,
+void hal_gpt_get_pte( xptr_t     gpt_xp,
                       vpn_t      vpn,
                       uint32_t * attr,