嵌入式实时操作系统的设计与开发(九)
创始人
2024-05-11 15:12:29
0

同步机制

aCoral信号量机制不仅可以实现临界资源互斥访问,控制系统中临界资源多个实例的使用,还可以用于维护线程之间、线程和中断之间的同步。

当信号量用来实现同步时,起始值为0,如一个线程正在等待某个I/O操作,当该I/O操作完成后,中断服务程序(或另一个线程)发出信号量,该线程得到信号量后才能继续往下执行。也就是说,某个线程将一直处于等待状态,除非获取了其它线程发给它的信号量。
在实现时,资源的实例数用“1-semNum”来表示,0代表有一个资源,-1代表有两个资源,1代表已经没有资源,且有一个任务在等待该资源。

  • 互斥的信号量初始值在创建时设置为1,1-semNum=0,是小于等于0,表明当前没有线程获取该信号量。
  • 同步的信号量初始值为0,1-semNum>=0,表明所同步的事件尚未发生。

通信机制

线程之间、线程与中断服务子程序之间还需要通信机制,也就是信息交互。
例如,线程A在执行过程中需要使用线程B(或中断服务子程序)产生的数据,那么B如何将数据传送给A呢?

邮箱

邮箱(MailBox)可以用来实现线程之间同步和通信功能。
在这里插入图片描述
假设线程2从邮箱中接收线程1发过来的信息(该信息被称为邮件)。线程2在同步点从邮箱中接收消息,如果线程1此时还没有执行到同步点,则邮箱中是不会有消息的,此时线程2会将自己挂起;当线程1执行到同步点时,会向邮箱中发送一条消息,此时就会激活挂起的线程2,继续执行。
一个线程将需要交互的信息发送到邮箱,另一个线程从邮箱中读出。
邮箱机制依赖于事件控制块acoral_evt_t,acoral_evt_t data成员就是用来挂载线程间传递的信息。

创建一个邮箱

acoral_evt_t *acoral_mbox_create(){acoral_evt_t *event;event = acoral_alloc_evt();if(NULL == event)return NULL;event->type = ACORAL_EVENT_MBOX;event->count = 0x00000000;event->data = NULL;acoral_evt_init(event);return event;
}

发送信息到邮箱

向邮箱中发送信息的接口为acoral_mbox_send(),传入的参数为先前创建的邮箱的地址(类型为邮箱的事件控制块)和指向信息的指针。

acoral_u32 acoral_mbox_send(acoral_evt_t *event,void *msg){acoral_thread_t *thread;if(NULL == event){return MBOX_ERR_NULL;}if(event->type != ACORAL_EVENT_MBOX)return MBOX_ERR_TYPE;HAL_ENTER_CRITICAL();if(event->data != NULL){HAL_EXIT_CRITICAL();return MBOX_ERR_MES_EXIST;}event->data = msg;thread = acoral_evt_high_thread(event);// 没有等待队列if(NULL == thread){HAL_EXIT_CRITICAL();return MBOX_SUCCED;}timeout_queue_del(thread);acoral_evt_queue_del(thread);acoral_rdy_thread(thread);HAL_EXIT_CRITICAL();acoral_sched();return MBOX_SUCCED;
}

从邮箱获取信息

邮箱中没有信息时,将自己挂到邮箱的等待队列;如果邮箱中有消息,则取出消息。

HAL_ENTER_CRITICAL();
if(event->data == NULL){cur = acoral_running_thread;acoral_evt_queue_add(event,cur);acoral_unrdy_thread(cur);HAL_EXIT_CRITICAL();acoral_sched();
}

消息

消息机制和邮箱机制很类似,但邮箱一般只能容纳一条信息,消息则会包含一系列消息。
在这里插入图片描述
系统定义了一个全局变量g_msgctr_header,通过它可以查找到任一已创建的消息容器。每一个消息容器都可以根据其参数性质来实现不同的通信方式。(如1VS1,1VSn,nVSn,nVS1等)。这里的消息容器只是一个线程间的通信结构acoral_msgctr_t,是消息的存储容器,一个消息容器可以通过它的消息链指针成员,挂载多条消息。而消息结构acoral_msg_t是消息的容器,一个消息结构包含一条消息。

/*消息容器*/
typedef struct{acoral_res_t res;acoral_8 *name;acoral_u8 type;acoral_list_t msgctr_list; //全局消息列表acoral_u32 count; //消息容器上已挂消息的数量acoral_u32 wait_thread_num; //消息容器上已挂等待线程的数量acoral_list_t waiting; //等待线程链指针acoral_list_t msglist; //消息链指针
}acoral_msgctr_t;
/*消息*/
typedef struct{acoral_res_t res;acoral_list_t msglist; //消息链指针,用于挂载到消息容器acoral_u32 id; //消息标识acoral_u32 n;//消息被接受次数,每被接受一次减一,直到0为止acoral_u32 tt; //消息最大声明周期,ticks计数void *data; //消息指针
}acoral_msg_t;

创建消息容器

acoral_msgctr_t* acoral_msgctr_create(acoral_u32 *err){acoral_msg_ctr_t *msgctr;msgctr = acoral_malloc_msgctr();if(msgctr == NULL){return NULL;}msgctr->name = NULL;msgctr->type = ACORAL_MSGCTR;msg->count = 0;msgctr->wait_thread_num = 0;acoral_init_list(&msgctr->msgctr_list);acoral_init_list(&msgctr->msglist);acoral_init_list(&msgctr->waiting);acoral_list_add2_tail(&msgctr->msgctr_list,&(g_msgctr_header.head)); // 将初始化后的消息容器挂到全局消息容器队列g_msgctr_header上。
}

msgctr = acoral_alloc_msgctr(); 申请一片内存空间,从内存资源池中获取一个资源对象供消息容器结构acoral_msgctr_t使用。

acoral_msgctr_t *acoral_alloc_msgctr()
{return (acoral_msgctr_t *)acoral_get_res(&acoral_msgctr_pool_ctr);
}
extern acoral_queue_t g_msgctr_header;

在g_msgctr_header在message.h中定义,extern acoral_queue_t g_msgctr_header;这样就可以在任何需要的地方找到这个消息容器。

创建消息

消息容器并不直接包含消息,在消息容器之下,还有一层是消息结构,因而消息的创建,先是创建消息结构,再将消息挂到消息结构。

acoral_msg_t* acoral_msg_create(acoral_u32 n,acoral_u32 *err,acoral_u32 id,acoral_u32 nTtl, codi *data){acoral_msg_t *msg;msg = acoral_alloc_msg();if(msg == NULL)return NULL;msg->id = id;msg->n = n;msg->ttl = nTtl;msg->data = data;acoral_init_list(&msg-msglist);// 将初始化后的消息挂到消息队列上return msg;
}

发送消息

消息发送时,首先将包含消息的消息结构挂到消息容器的消息链上,然后判断是否有等待的线程,如果有的话,则唤醒最高优先级的线程。

acoral_u32 acoral_msg_send(acoral_msgctrl_t* msgctr,acoral_msg_t *msg){acoral_enter_critical();if(NULL == msgctr){acoral_exit_critical();return MSG_ERR_NULL;}if(NULL == msg){acoral_exit_critical();return MSG_ERR_NULL;}/*消息数限制*/if(ACORAL_MESSAGE_MAX_COUNT <= msgctr->count){acoral_exit_critical();return MSG_ERR_COUNT;}/*增加消息,将包含消息的消息结构挂到消息容器的消息链上*/msgctr->count++;msg->ttl += acoral_get_ticks(&msg->msglist,&msgctr->msglist);/*唤醒等待*/if(msgctr->wait_thread_num > 0){/*唤醒最高优先级线程*/wake_up_thread(&msgctr->waiting);msgctr->wait_thread_num--;}acoral_exit_critical();acoral_sched();return MSGCTR_SUCCED;
}

消息接收

消息接收函数的接口为void *acoral_msg_recv(acoral_msgctr_t *msgctr, acoral_u32 id,acoral_time timeout,acoral_u32 *err),需要的参数是消息容器指针msgctr,指出要从哪个消息容器接收消息,指定接收消息的ID,超时时间和错误返回码。

void *acoral_msg_recv(acoral_msgctr_t *msgctr, acoral_u32 id,acoral_time timeout,acoral_u32 *err){void *data;acoral_list_t *p,*q;acoral_msg_t *pmsg;acoral_thread_t *cur;if(acoral_intr_nesting > 0){*err = MSG_ERR_INTR;return NULL;}if(NULL == msgctr){*err = MSG_ERR_NULL;return NULL;}cur = acoral_cur_thread;acoral_enter_critical();if(timeout > 0){ //需要进行超时处理,以ms为单位cur->delay = TIME_TO_TICKS(timeout);timeout_queue_add(cur);}while(1){p = &msgctr->msglist; q = p->next;for(;p!=q;q=q->next){pmsg = list_entry(q,acoral_msg_t,msglist);if((pmsg->id==id)&&(pmsg->n>0)){pmsg->n--;timeout_queue_del(cur);data = pmsg->data;acoral_list_del(q);acoral_release_res((acoral_res_t *)pmsg);msgctr->count--;acoral_exit_critical();return data;}}/*没有接收消息*/msgctr->wait_thread_num++;acoral_msgctr_queue_add(msgctr,cur);acoral_unrdy_thread(cur);acoral_exit_critical();acoral_sched();/*看是否超时*/if(timeout > 0 && (acoral_32)cur->delay <= 0)break;}/*超时退出*/if(msgctr->wait_thread_num > 0)msgctr->wait_thread_num--;acoral_list_del(&cur->waiting);acoral_exit_critical();*err = MSG_ERR_TIMEOUT;return NULL;
}

删除消息容器

/*pmsgctr消息容器指针,flag为参数指针,用于区分是否强制删除消息容器,如果指定强制删除,则会先将消息结构释放,然后将等待线程全部就绪,最后释放该消息容器结构。如果不指定强制删除,只有在容器上没有挂载消息和无等待线程时才会将其释放,否则返回错误。*/
acoral_u32 acoral_msg_del(acoral_msgctr_t *pmsgctr,acoral_u32 flag){acoral_list_t *p,*q;acoral_thread_t *thread;acoral_msg_t *pmsg;if(NULL == pmsgctr)return MST_ERR_NULL;//非强制删除if(flag == MST_DEL_UNFORCE){if((pmsgctr->count>0) || (pmsgctr->wait_thread_num > 0))return MST_ERR_UNDEF;else{acoral_release_res((acoral_res_t *)pmsgctr);}}else{//强制删除if(pmsgctr->wait_thread_num > 0){p = &msgctr->waiting;q = p->next;for(;q!=p;q=q->next){thread=list_entry(q,acoral_thread_t,waiting);acoral_rdy_thread(thread);}}//释放消息结构if(msgctr->count>0){p = &msgctr->msglist;q = p->next;for(;p!=q;q=q->next){pmsg = list_entry(q,acoral_msg_t,msglist);acoral_list_del(q);acoral_release_res((acoral_res_t *)pmsg);			}}acoral_release_res((acoral_res_t *)pmsgctr);}
}
/*删除消息*/
acoral_u32 acoral_msg_del(acoral_msg_t *msg){if(NULL != pmsg){acoral_release_res((acoral_res_t *)pmsg);}
}

相关内容

热门资讯

findx耍原生安卓系统,深度... 亲爱的读者们,你是否厌倦了那些花里胡哨的定制系统,渴望回到那个纯净的安卓世界?今天,我要带你一起探索...
一加系统属于安卓系统吗,引领智... 你有没有想过,手机里的那个神奇的“一加系统”到底是不是安卓系统的一员呢?这可是个让人好奇不已的问题哦...
小米2刷安卓系统吗,探索安卓系... 亲爱的读者,你是否曾经对小米2这款手机刷安卓系统的事情感到好奇呢?今天,就让我带你一探究竟,揭开小米...
安卓7.0系统线刷包,深度解析... 你有没有发现,你的安卓手机最近有点儿“蔫儿”了?别急,别急,今天就来给你揭秘如何让你的安卓手机重焕生...
白菜系统和安卓拍照,开启智能生... 你知道吗?最近我在用手机拍照的时候,发现了一个超级酷的功能,简直让我爱不释手!那就是——白菜系统和安...
安卓系统查杀病毒,全方位守护您... 手机里的安卓系统是不是有时候会突然弹出一个查杀病毒的提示?别慌,这可不是什么大问题,今天就来给你详细...
iso系统与安卓各系统哪个好,... 你有没有想过,手机操作系统就像是我们生活中的不同交通工具,各有各的特色和优势。今天,咱们就来聊聊这个...
中柏怎么换安卓系统,解锁更多可... 你有没有发现,中柏的安卓系统有时候用起来还挺不顺手的?别急,今天就来手把手教你如何给中柏手机升级安卓...
安卓热点绕过系统验证,揭秘操作... 你是不是也遇到过这种情况?手机里的安卓热点突然不灵光了,系统验证总是跳出来,让人头疼不已。别急,今天...
安卓系统怎么关闭小艺,安卓系统... 亲爱的安卓用户们,你是否也和我一样,对手机里的小艺助手有些爱恨交加呢?有时候,它贴心得让人感动,有时...
安卓系统计划软件推荐,精选计划... 你有没有发现,手机里的安卓系统越来越智能了?这不,最近我可是挖到了一些超棒的安卓计划软件,它们不仅能...
收钱吧安卓系统插件,便捷支付新... 你有没有发现,现在的生活越来越离不开手机了?手机里装满了各种应用,而今天我要跟你聊聊一个特别实用的工...
鸿蒙系统是否还属于安卓,独立于... 你有没有想过,那个在我们手机上默默无闻的鸿蒙系统,它到底是不是安卓的“亲戚”呢?这个问题,估计不少手...
安卓系统手机用什么钱包,轻松管... 你有没有想过,你的安卓系统手机里装了那么多应用,但最离不开的,可能就是那个小小的钱包了。没错,就是那...
安卓系统能玩部落冲突吗,部落冲... 你有没有想过,安卓系统上的手机,是不是也能玩那款风靡全球的《部落冲突》呢?这款游戏自从推出以来,就吸...
智能机器人安卓系统,引领未来智... 你知道吗?在科技飞速发展的今天,智能机器人已经不再是科幻电影里的专属了。它们正悄悄地走进我们的生活,...
华为win10系统改装安卓系统... 你有没有想过,你的华为笔记本电脑里的Windows 10系统,能不能来个华丽变身,变成安卓系统呢?这...
旧电脑上安什么安卓系统,适配不... 你那台旧电脑是不是已经闲置好久了?别让它默默无闻地躺在角落里,给它来个华丽变身吧!今天,就让我来告诉...
安卓app语言跟随系统,随系统... 你知道吗?在手机世界里,有一个神奇的小功能,它就像你的贴身翻译官,无论你走到哪里,都能帮你轻松应对各...
惠城安卓系统降级在哪,揭秘降级... 你有没有遇到过手机系统升级后,发现新系统让你头疼不已,想回到那个熟悉的安卓系统呢?别急,今天就来告诉...