TI蓝牙BLE 协议栈代码学习——OSAL（下）

接下来我们再看main()函数中另一个跟OSAL相关的函数——osal_start_system()，也位于OSAL.c中。

void osal_start_system( void )
{
#if !defined ( ZBIT ) && !defined ( UBIT )
for(;;)  // Forever Loop
#endif
{
osal_run_system();
}
}

一看这是个死循环，相当于单片机程序最后一行while(1);。这个函数最主要的部分还是osal_run_system()，找到它，也在OSAL.c中。

void osal_run_system( void )
{
uint8 idx = 0;

#ifndef HAL_BOARD_CC2538
osalTimeUpdate();
#endif

Hal_ProcessPoll();

do {
if (tasksEvents[idx])  // Task is highest priority that is ready.
{
break;
}
} while (++idx < tasksCnt);

if (idx < tasksCnt)
{
uint16 events;
halIntState_t intState;

HAL_ENTER_CRITICAL_SECTION(intState);
events = tasksEvents[idx];
tasksEvents[idx] = 0;  // Clear the Events for this task.
HAL_EXIT_CRITICAL_SECTION(intState);

activeTaskID = idx;
events = (tasksArr[idx])( idx, events );
activeTaskID = TASK_NO_TASK;

HAL_ENTER_CRITICAL_SECTION(intState);
tasksEvents[idx] |= events;  // Add back unprocessed events to the current task.
HAL_EXIT_CRITICAL_SECTION(intState);
}
#if defined( POWER_SAVING )
else  // Complete pass through all task events with no activity?
{
osal_pwrmgr_powerconserve();  // Put the processor/system into sleep
}
#endif

/* Yield in case cooperative scheduling is being used. */
#if defined (configUSE_PREEMPTION) && (configUSE_PREEMPTION == 0)
{
osal_task_yield();
}
#endif
}

去掉条件编译部分，最核心的是一个do-while循环，一个if判断。

do-while循环：

do {
if (tasksEvents[idx])  // Task is highest priority that is ready.
{
break;
}
} while (++idx < tasksCnt);

这个循环就是完成判断当前的事件表中有没有事件发生，如果有就跳出来，执行下面的代码。

if (idx < tasksCnt)
{
uint16 events;
halIntState_t intState;

HAL_ENTER_CRITICAL_SECTION(intState);
events = tasksEvents[idx];
tasksEvents[idx] = 0;  // Clear the Events for this task.
HAL_EXIT_CRITICAL_SECTION(intState);

activeTaskID = idx;
events = (tasksArr[idx])( idx, events );
activeTaskID = TASK_NO_TASK;

HAL_ENTER_CRITICAL_SECTION(intState);
tasksEvents[idx] |= events;  // Add back unprocessed events to the current task.
HAL_EXIT_CRITICAL_SECTION(intState);
}

这部分代码应该是OSAL最核心最精髓的部分了。前面的循环中已经确定有事件发生了。HAL_ENTER_CRITICAL_SECTION(intState);和HAL_EXIT_CRITICAL_SECTION(intState);分别是关中断和使能中断，以防止在执行代码时被中断打断。将事件表tasksEvents[]中的事件赋给events，然后该事件清零。接下来events
= (tasksArr[idx])( idx, events );就是去处理事件了，这里的tasksArr[]数组非常重要。下面的tasksEvents[idx] |= events;就是把没有响应的事件再放回到tasksEvents[]中。

我们来看看这个非常重要的数组taskArr[]，它被定义在OSAL_KeyFobDemo.c中。

// The order in this table must be identical to the task initialization calls below in osalInitTask.
const pTaskEventHandlerFn tasksArr[] =
{
LL_ProcessEvent,                                          // task 0
Hal_ProcessEvent,                                       // task 1
HCI_ProcessEvent,                                        // task 2
#if defined ( OSAL_CBTIMER_NUM_TASKS )
OSAL_CBTIMER_PROCESS_EVENT( osal_CbTimerProcessEvent ),     // task 3
#endif
L2CAP_ProcessEvent,                                         // task 4
GAP_ProcessEvent,                                           // task 5
GATT_ProcessEvent,                                          // task 6
SM_ProcessEvent,                                            // task 7
GAPRole_ProcessEvent,                                       // task 8
GAPBondMgr_ProcessEvent,                                    // task 9
GATTServApp_ProcessEvent,                                   // task 10
KeyFobApp_ProcessEvent                                      // task 11
};

数组内的成员看起来很面熟。最上面一行的注释也写得很清楚，表中的顺序要和osalInitTask()中定义的一致。再来看这个数组的类型，是pTaskEventHandlerFn，这是个什么东西？pTaskEventHandlerFn不是东西，是

typedef unsigned short (*pTaskEventHandlerFn)( unsigned char task_id, unsigned short event );

这个定义是一个函数指针，看起着很头疼，很蛋疼。如果换一下：

typedef pTaskEventHandlerFn unsigned short (*)( unsigned char task_id, unsigned short event );

这样或许理解起来要好一些。拿KeyFobApp_ProcessEvent的声明来看，uint16 KeyFobApp_ProcessEvent( uint8 task_id, uint16 events )，这是符合pTaskEventHandlerFn的格式的，函数名就是指针，函数的地址。

tasksArr[]是一个函数指针数组，里面保存了所有事件处理函数的地址。当有事件发生时，就执行events = (tasksArr[idx])( idx, events );一句，就是对应的tasksArr[]里相应的那个事件的处理函数。

再看另一个数组，tasksEvents[]。tasksEvents[]声明为全局变量，是在osalInitTasks()中定义和初始化的：

tasksEvents = (uint16 *)osal_mem_alloc( sizeof( uint16 ) * tasksCnt);

osal_memset( tasksEvents, 0, (sizeof( uint16 ) * tasksCnt));

这个数组的大小跟事件的数量是一致的，而且被osal_memset()初始化为0.

这样OSAL的运行机理基本清晰了，就是在do-while()循环中判断tasksEvents[]中哪个事件非0，即事件被触发了；然后在if中把该事件清0，执行tasksArr[]中定义好的事件处理函数，然后把没有执行的事件再放回到tasksEvents[]中。这也是为什么在osalInitTask()中进行初始化的时候，初始化的顺序要和tasksArr[]一致。
以上是我对OSAL的理解，因为C语言的基本不够瓷实，说得也很大白话。之所以敢这么大胆贴出来，也是请大家多批评指正，让我能得到提高。