Changeset 637 for trunk/hal/generic

Timestamp:

Jul 18, 2019, 2:06:55 PM (6 years ago)

Author:

alain

Message:

Introduce the non-standard pthread_parallel_create() system call
and re-write the <fft> and <sort> applications to improve the
intrinsic paralelism in applications.

File:

• trunk/hal/generic/hal_uspace.h (modified) (5 diffs)

trunk/hal/generic/hal_uspace.h

@@ -31 +31 @@
 //
 // When moving data between user space and kernel space, the user address is always
-// a virtual address, but the kernel address can be a physical address, on 32 bits
-// architectures, and require MMU dynamic activation/deactivation. 
+// a virtual address, but the kernel address is an extended pointer.
 // For sake of portability, user/kernel data transfers must use the following API.
 //////////////////////////////////////////////////////////////////////////////////////////
@@ -41 +40 @@
  * that can be located in any cluster.
  *****************************************************************************************
- * @ k_cxy     : cluster identifier for kernel destination buffer.
- * @ k_dst     : local pointer on kernel destination buffer.
- * @ u_src     : source buffer address in user space.
+ * @ k_dst_xp  : extended pointer on kernel destination buffer.
+ * @ u_src_ptr : source buffer address in user space.
  * @ size      : size (number of bytes).
  ****************************************************************************************/
-extern void hal_copy_from_uspace( cxy_t      k_cxy,
-                                  void     * k_dst,
-                                  void     * u_src,
+extern void hal_copy_from_uspace( xptr_t     k_dst_xp,
+                                  void     * u_src_ptr,
                                   uint32_t   size );
 
@@ -55 +52 @@
  * to a data buffer in the user space.
  *****************************************************************************************
- * @ k_cxy     : cluster identifier for kernel source buffer.
- * @ k_src     : local pointer on kernel source buffer.
- * @ u_dst     : destination buffer address in user space.
+ * @ u_dst_ptr : destination buffer address in user space.
+ * @ k_src_xp  : extended pointer on kernel source buffer.
  * @ size      : size (number of bytes).
  ****************************************************************************************/
-extern void hal_copy_to_uspace( cxy_t      k_cxy,
-                                void     * k_src,
-                                void     * u_dst,
+extern void hal_copy_to_uspace( void     * u_dst_ptr,
+                                xptr_t     k_src_xp, 
                                 uint32_t   size );
 
@@ -69 +64 @@
  * The transfer stops after the first encountered NUL character, and no more than
  * <max_size> characters are actually copied to target buffer.
- * If the kernel uses physical addresses, it activates the MMU to access the user buffer.
  *****************************************************************************************
- * @ u_dst     : destination buffer address in user space.
- * @ k_src     : source address in kernel space.
+ * @ k_dst_xp  : extended pointer on kernel destination buffer.
+ * @ u_src_ptr : source address in user space.
  * @ max_size  : max number of characters to be copied.
  ****************************************************************************************/
-extern void hal_strcpy_from_uspace( char     * k_dst,
-                                    char     * u_src, 
+extern void hal_strcpy_from_uspace( xptr_t     k_dst_xp,
+                                    char     * u_src_ptr,
                                     uint32_t   max_size );
 
@@ -83 +77 @@
  * The transfer stops after the first encountered NUL character, and no more than
  * <max_size> characters are actually copied to target buffer.
- * If the kernel uses physical addresses, it activates the MMU to access the user buffer.
  *****************************************************************************************
- * @ u_dst     : destination buffer address in user space.
- * @ k_src     : source address in kernel space.
+ * @ u_dst_ptr : destination buffer address in user space.
+ * @ k_src_xp  : extended pointer on kernel source buffer.
  * @ max_size  : max number of characters to be copied.
  ****************************************************************************************/
-extern void hal_strcpy_to_uspace( char     * u_dst,
-                                  char     * k_src,
+extern void hal_strcpy_to_uspace( char     * u_dst_ptr,
+                                  xptr_t     k_src_xp,
                                   uint32_t   max_size );
 
 /*****************************************************************************************
  * This function computes the length of a string in user space.
- * If the kernel uses physical addresses, it activates the MMU to access the user buffer.
  *****************************************************************************************
  * @ string     : string in user space.