Changeset 632 for trunk/hal/generic

Timestamp:

May 28, 2019, 2:56:04 PM (5 years ago)

Author:

alain

Message:

This version replace the RPC by direct remote memory access
for physical pages allacation/release.
It is commited before being tested.

File:

• trunk/hal/generic/hal_gpt.h (modified) (3 diffs)

trunk/hal/generic/hal_gpt.h

@@ -96 +96 @@
  * of a remote GPT identified by the <gpt_xp> and <vpn> arguments, after checking 
  * (in a busy waiting loop) that this attribute has been reset. 
- * Then, it returns in the <attr> and <ppn> buffers the current value of the PTE.
- * It allocates memory required by the GPT implementation to register this lock
- * in the PTE when required.
+ * It returns in the <attr> and <ppn> buffers the value of the PTE before modification.
+ * It atomically allocates memory  to register this attribute in the PTE when 
+ * required by a specific GPT implementation (example : allocate a PT2 in the TSAR GPT).
  * WARNING : Only small pages can be locked.
  ****************************************************************************************
@@ -128 +128 @@
  *
  * WARNING : For a small page, it checks that the GPT_LOCKED attribute has been
- *           previously set, to prevent concurrent accesses.
+ *           previously set, to prevent concurrent mapping accesses.
  ****************************************************************************************
  * @ gpt_xp    : [in] extended pointer on the page table
@@ -212 +212 @@
  * It modifies an existing entry identified by the <vpn> argument in a remote GPT
  * identified by the <gpt_xp> argument, using remote accesses.
- * It does NOT require the GPT_LOCKED attribute to be set in the target PTE.
- * It cannot fail, because only MAPPED & SMALL entries are modified.
+ * - The MAPPED and SMALL attributes must be set, and the LOCKED attibute must be reset
+ *   in the <attr> argument.
+ * - The MAPPED and SMALL attributes must be set in the target PTE.
  ****************************************************************************************
  * @ gpt_xp    : [in] extended pointer on the page table