Release 6.1.12v6.1.12_rel

1 files changed, 93 insertions, 0 deletions

diff --git a/utility/execution_profile_kit/smp_version/tx_execution_profile.h b/utility/execution_profile_kit/smp_version/tx_execution_profile.h
new file mode 100644
index 00000000..7149a79f
--- /dev/null
+++ b/utility/execution_profile_kit/smp_version/tx_execution_profile.h
@@ -0,0 +1,93 @@
+/**************************************************************************/
+/*                                                                        */
+/*       Copyright (c) Microsoft Corporation. All rights reserved.        */
+/*                                                                        */
+/*       This software is licensed under the Microsoft Software License   */
+/*       Terms for Microsoft Azure RTOS. Full text of the license can be  */
+/*       found in the LICENSE file at https://aka.ms/AzureRTOS_EULA       */
+/*       and in the root directory of this software.                      */
+/*                                                                        */
+/**************************************************************************/
+
+
+/**************************************************************************/
+/**************************************************************************/
+/**                                                                       */
+/** ThreadX Component                                                     */
+/**                                                                       */
+/**   Execution Profile Kit                                               */
+/**                                                                       */
+/**************************************************************************/
+/**************************************************************************/
+
+
+#ifndef TX_EXECUTION_PROFILE_H
+#define TX_EXECUTION_PROFILE_H
+
+
+/*  The thread execution profile kit is designed to track thread execution time 
+    based on the hardware timer defined by TX_EXECUTION_TIME_SOURCE and 
+    TX_EXECUTION_MAX_TIME_SOURCE below. When the thread's total time reaches 
+    the maximum value, it remains there until the time is reset to 0 via a call
+    to tx_thread_execution_time_reset. There are several assumptions to the 
+    operation of this kit, as follows:
+
+    1. In tx_port.h replace:
+        #define TX_THREAD_EXTENSION_3"
+      with:
+        #define TX_THREAD_EXTENSION_3           unsigned long long  tx_thread_execution_time_total; \
+                                                unsigned long       tx_thread_execution_time_last_start; 
+
+    2.  The TX_EXECUTION_TIME_SOURCE and TX_EXECUTION_MAX_TIME_SOURCE macros are 
+        defined to utilize a local hardware time source.
+
+    3.  The following routines are called from assembly code:
+            VOID  _tx_execution_thread_enter(void);
+            VOID  _tx_execution_thread_exit(void);
+            VOID  _tx_execution_isr_enter(void);
+            VOID  _tx_execution_isr_exit(void);
+
+    4.  The ThreadX library must be rebuilt with TX_ENABLE_EXECUTION_CHANGE_NOTIFY so 
+        that these macros are expanded in the TX_THREAD structure and so the assembly code macros 
+        are enabled to call the execution profile routines.  
+
+    5.  Add tx_execution_profile.c to the application build.  */
+
+/* Define the basic time typedefs for 64-bit accumulation and a 32-bit timer source, which is the
+   most common configuration.  */
+
+typedef unsigned long long              EXECUTION_TIME;
+typedef unsigned long                   EXECUTION_TIME_SOURCE_TYPE;
+/* For 64-bit time source, the typedef would be:  */
+/* typedef unsigned long long              EXECUTION_TIME_SOURCE_TYPE;  */
+
+/* Define basic constants for the execution profile kit.  */
+
+ULONG _tx_thread_smp_time_get(void);
+
+#define TX_EXECUTION_TIME_SOURCE        (EXECUTION_TIME_SOURCE_TYPE) _tx_thread_smp_time_get();
+#define TX_EXECUTION_MAX_TIME_SOURCE     0xFFFFFFFF
+/* For 64-bit time source, the constant would be:  */
+/* #define TX_EXECUTION_MAX_TIME_SOURCE     0xFFFFFFFFFFFFFFFF  */
+
+
+/* Define APIs of the execution profile kit.  */
+
+struct TX_THREAD_STRUCT;
+VOID  _tx_execution_thread_enter(void);
+VOID  _tx_execution_thread_exit(void);
+VOID  _tx_execution_isr_enter(void);
+VOID  _tx_execution_isr_exit(void);
+UINT  _tx_execution_thread_time_reset(struct TX_THREAD_STRUCT *thread_ptr);
+UINT  _tx_execution_thread_total_time_reset(void);
+UINT  _tx_execution_isr_time_reset(void);
+UINT  _tx_execution_idle_time_reset(void);
+UINT  _tx_execution_thread_time_get(struct TX_THREAD_STRUCT *thread_ptr, EXECUTION_TIME *total_time);
+UINT  _tx_execution_thread_total_time_get(EXECUTION_TIME *total_time);
+UINT  _tx_execution_isr_time_get(EXECUTION_TIME *total_time);
+UINT  _tx_execution_idle_time_get(EXECUTION_TIME *total_time);
+UINT  _tx_execution_core_thread_total_time_get(UINT core, EXECUTION_TIME *total_time);
+UINT  _tx_execution_core_isr_time_get(UINT core, EXECUTION_TIME *total_time);
+UINT  _tx_execution_core_idle_time_get(UINT core, EXECUTION_TIME *total_time);
+
+#endif