Changeset 626 for trunk/hal/generic

Timestamp:

Apr 29, 2019, 7:25:09 PM (6 years ago)

Author:

alain

Message:

This version has been tested on the sort multithreaded application
for TSAR_IOB architectures ranging from 1 to 8 clusters.
It fixes three bigs bugs:
1) the dev_ioc device API has been modified: the dev_ioc_sync_read()
and dev_ioc_sync_write() function use now extended pointers on the
kernel buffer to access a mapper stored in any cluster.
2) the hal_uspace API has been modified: the hal_copy_to_uspace()
and hal_copy_from_uspace() functions use now a (cxy,ptr) couple
to identify the target buffer (equivalent to an extended pointer.
3) an implementation bug has been fixed in the assembly code contained
in the hal_copy_to_uspace() and hal_copy_from_uspace() functions.

File:

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

trunk/hal/generic/hal_uspace.h

@@ -2 +2 @@
  * hal_uspace.h - Generic User Space Access API definition
  *
- * Authors    Alain Greiner (2016,2017)
+ * Authors    Alain Greiner (2016,2017,2018,2019)
  *
  * Copyright (c)  UPMC Sorbonne Universites
@@ -38 +38 @@
 
 /*****************************************************************************************
- * This function tranfers a data buffer from the user space to the kernel space.
- * If the kernel uses physical addresses, it activates the MMU to access the user buffer.
+ * This function tranfers a data buffer in user space to a kernel buffer
+ * that can be located in any cluster.
  *****************************************************************************************
- * @ k_dst     : destination address in kernel space.
+ * @ k_cxy     : cluster identifier for kernel destination buffer.
+ * @ k_dst     : local pointer on kernel destination buffer.
  * @ u_src     : source buffer address in user space.
  * @ size      : size (number of bytes).
  ****************************************************************************************/
-extern void hal_copy_from_uspace( void     * k_dst,
+extern void hal_copy_from_uspace( cxy_t      k_cxy,
+                                  void     * k_dst,
                                   void     * u_src,
                                   uint32_t   size );
 
 /*****************************************************************************************
- * This function tranfers a data buffer from the kernel space to the user space.
- * If the kernel uses physical addresses, it activates the MMU to access the user buffer.
+ * This function tranfers a kernel buffer that can be located in any cluster
+ * 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.
- * @ k_src     : source address in kernel space.
  * @ size      : size (number of bytes).
  ****************************************************************************************/
-extern void hal_copy_to_uspace( void     * u_dst,
+extern void hal_copy_to_uspace( cxy_t      k_cxy,
                                 void     * k_src,
+                                void     * u_dst,
                                 uint32_t   size );