【C语言常识】原子性问题一

      这篇博客写的会很散，因为都是一些琐碎的东西，看客们就直接飞过就可以了。

一、对数据的原子性访问

对数据的原子性访问，也即是对数据完整性问题的探究。打个比方ISR对uint16_t型数据写操作，

用户TASK对去读取，并且做判断，根据判断结果进行操作。这是一个很常见的应用，如果实在8

位机上，那么对于变量的读取需要两个周期完成。如果刚读完一个字节，被ISR打断，ISR对数据

进行了写操作后返回，继续读取后一个字节，那个这个数据就是错误的。所以，在用户读取数据的

时候，要进行原子性保护，保证读取的数据完整性。

数据对齐到ALU地址总线，并且地址对齐到本身字长，那么对它的读和写访问都可以保证原子性，

但是对它的读取-修改-会写这个过程是不能保证原子性的。

对于共享资源，全局标志必须考虑其原子性问题。

二、对IO的原子性操作

什么意思呢，假如IO口不能位操作，必须通过对其到位宽的数据操作，那么我们一定要保证其原子性

操作。也就是说不是分配给自己的IO口引脚，必须不能改变它们的值，也可以叫“别人的奶露动不得”。

在读取的时候，问题不大，直接过滤掉其它值就可以，只看自己关心的。但是写的时候，必须十分小心

，必须先读-修改自己关心的，其它不动-在回写。

三、对寄存器的原子性操作

其原理同IO操作一样。我举个具体的例子。

我的任务为了防止多任务干扰，对关键性代码加入了原子性保护，开始我是这么定义的：

#define DIS_INT()       {INTCON &=0b00111111;}

#define EN_INT()        {INTCON |=0b11000000;}

程序没有问题。但是这个宏不能嵌套使用，就是说内部函数在退出关键性代码的时候，直接打开了中断。

因此，我改为了这样：

#define GET_GLOBAL_INTERRUPT_STATE()         (INTCON)

#define SET_GLOBAL_INTERRUPT_STATE(__STATE)  
{INTCON = __STATE;}

#define DISABLE_GLOBAL_INTERRUPT()           DisINT()

#define EXIT_GLOBAL_INTERRUPT()              
SET_GLOBAL_INTERRUPT_STATE(tState)

并用下面宏封装了下：

    #define SAFE_ATOM_CODE(__CODE)     {\

            istate_t tState = GET_GLOBAL_INTERRUPT_STATE();\

            DISABLE_GLOBAL_INTERRUPT();\

            {\

                __CODE;\

            }\

            SET_GLOBAL_INTERRUPT_STATE(tState);\

        }

接着调试就发现定时器时间不准，老是飘动，怎么回事呢？经过查看手册发现，INTCON里面bit2是TIMER0

的中断标志位，因为备份INTCON的时候，标志位为0，所以还原的时候，直接就清零了，导致中断时间老是飘动。

因此改为下面：

#define GET_GLOBAL_INTERRUPT_STATE()         (INTCON & 0xC0)

#define SET_GLOBAL_INTERRUPT_STATE(__STATE)  
{INTCON = INTCON|__STATE;}

#define DISABLE_GLOBAL_INTERRUPT()           DisINT()

#define EXIT_GLOBAL_INTERRUPT()              
SET_GLOBAL_INTERRUPT_STATE(tState)

再查看示波器，没有问题了。

道理很简单，也不复杂，但是用的时候不注意，导致一些奇怪的问题，然后就感觉很稀奇，其实都是一些我们

知道的常识，在编程的时候没有刻意去遵守。

四、谁偷走了我的"apple"

在进行通信时候利用缓存先暂存起来，一边往里面写入数据，一边从里面读出数据。这是个很常见的应用，同时

也是一个原子性保护很典型的例子；

bool  enqueue_byte_queue(...)

{

if(满){

return false;

}

入队操作；

       num++;

。。。

}

bool dequeue_byte_queue(...)

{

if(空){

return false;

}

出队操作；

num--;

}

上面代码，看着没有问题，我们进一步分析。入队操作我们放到uart的接收中断里，出队操作放到用户APP里面。

假设：num = 10；缓存大小为100

用户APP执行到出队操作：

出队操作；

num--;//num->读取到SFR=10被中断

然后去执行中中断函数

入队操作；

       num++;

//执行完毕后 num=11；
返回中断点继续执行：

num--；

//执行完毕后num=9;

那么我入对的数据跑哪里去了？

五、怎么多了一个UART

硬件UART只有一个，用户有两个TASK都需要用，一般用一个互斥信号量来做。假设这两个

任务可以相互被打断。

bool uart_is_busy = false;

void task1_tx(...)

{

...

if(uart_is_busy){

return ;

}

uart_is_busy = true;

...

}

void task2_tx(...)

{

...

if(uart_is_busy){

return ;

}

uart_is_busy = true;

...

}

那么上面的代码看着没有问题，我们分析下：

task1执行到：

if(uart_is_busy){
return；

}

//被打断，去执行task2

uart_is_busy = true;

task2执行：

if(uart_is_busy){

return ;

}

uart_is_busy = true;

。。。
//被打断，返回中断点继续

task1:

uart_is_busy = true;

...

看到没有，明明就一个UART，也做了判断，为什么TASK1和TASK2还可以同时使用UART呢？

这个问题怎么解决呢？其实也简单，那就是用“单一职责”原则去解决。为什么这么说呢？

因为上面的uart_is_busy 有两个只能：

1、判断现在UART是否忙？

2、申请UART资源？

第二个职能其实是隐含的，因此为了解决“线程安全”问题，我们必须把它们分开，才能解决问题。

具体做法，在uart.c中定义：

static struct{
bool bIsBusy;
uint16_t hwTxdLong;
uint16_t hwTxdCnt;
uint8_t *pchTxdBuffer;
void (*pRxCallBack)(uint8_t);
}s_tUART1Parameter;

实现如下接口函数：

/*****************************************************************************
* Function: uart1_apply_semaphore
* PreCondition: None
* Input: void
* Output: void
* Side Effects: None
* Overview: USRT1申请资源
* Note: 保证线程安全，但是如果申请到了，不用，就需要手动释放
*****************************************************************************/
bool uart1_apply_semaphore(void)
{
bool bTemp = false;

#if(UART1_SERVICE_IS_ENABLE_LOCK && UART1_IS_BUSY_IS_ADD_LOCK)
SAFE_ATOM_CODE(
bTemp = s_tUART1Parameter.bIsBusy;
s_tUART1Parameter.bIsBusy = true;
)
#else
bTemp = s_tUART1Parameter.bIsBusy;
s_tUART1Parameter.bIsBusy = true;
#endif

return (!bTemp);
}

/*****************************************************************************
* Function: uart1_is_busy
* PreCondition: None
* Input: void
* Output: void
* Side Effects: None
* Overview: USRT1是否发送忙
* Note:
*****************************************************************************/
bool uart1_is_busy(void)
{
return s_tUART1Parameter.bIsBusy;
}

/*****************************************************************************
* Function: uart1_release_the_semaphore
* PreCondition: None
* Input: void
* Output: void
* Side Effects: None
* Overview: USRT1手动清除标志位
* Note: None
*****************************************************************************/
void uart1_release_the_semaphore(void)
{
s_tUART1Parameter.bIsBusy = false;
}

SAFE_ATOM_CODE宏就是关闭了中断（记得要能够嵌套使用）；

如果操作系统有自己的信号量服务，那么直接用系统的信号。