嵌入式Forth虚拟机架构的多任务调度算法设计与实现
|
摘要
针对嵌入式应用领域对操作系统在重构、扩展、移植、交互、安全、高效等方面日趋苛刻的现实需求及Forth系统所固有的特性,采用Forth虚拟机技术,对基于Forth虚拟机架构的嵌入式操作系统关键技术进行探索,提出一种具有良好扩展和移植特性、高效精简的基于Forth虚拟机架构的嵌入式多任务操作系统调度算法。该算法采用了以Forth虚拟机指令同步的协同式多任务调度机制,缩短了任务切换时间,将上下文切换操作简化为只需保存数据堆栈指针。实验结果表明,基于Forth虚拟机架构的多任务调度算法发挥了Forth系统所固有的特性,针对特定应用,提高了效率,适合资源有限的嵌入式环境。
In embedded application fields,the operating system presentes the more stern reality demand such as reconstruction,expansion,transplantation,interaction,security,and efficient. In combination with the above features of embedded system and inherent characteristics of Forth systems,using Forth virtual machine technology,this paper explored the key technologies of embedded operating system based on Forth virtual machine architecture,and proposed an embedded multitask operating system scheduling algorithm based on Forth virtual machine architecture,which had better extension and transplantation characteristics. The algorithm adopted a cooperative multi-task scheduling mechanism with Forth virtual machine instruction synchronization,shortened the task switching time,and simplified context switching operations to simply saving the data stack pointer. The experiment results demonstrate that the multitask scheduling algorithm based on Forth virtual machine architecture develops the inherent characteristics of Forth system,presents higher efficiency for specific applications,especially benefits for embedded environments with limited resources.
In embedded application fields,the operating system presentes the more stern reality demand such as reconstruction,expansion,transplantation,interaction,security,and efficient. In combination with the above features of embedded system and inherent characteristics of Forth systems,using Forth virtual machine technology,this paper explored the key technologies of embedded operating system based on Forth virtual machine architecture,and proposed an embedded multitask operating system scheduling algorithm based on Forth virtual machine architecture,which had better extension and transplantation characteristics. The algorithm adopted a cooperative multi-task scheduling mechanism with Forth virtual machine instruction synchronization,shortened the task switching time,and simplified context switching operations to simply saving the data stack pointer. The experiment results demonstrate that the multitask scheduling algorithm based on Forth virtual machine architecture develops the inherent characteristics of Forth system,presents higher efficiency for specific applications,especially benefits for embedded environments with limited resources.
引文
[1] Mc Guire T E. Kitt peak multi-tasking FORTH-11[J]. The Journal of Forth Application and Reseach,1984,2(2):57-67.
[2]代红兵.高效微机实时多任务操作系统设计与实现[J].中国科学院研究生院学报,1993,10(3):283-292.(Dai Hongbing. The design and realization of efficient microcomputer operating system of real-time multitask[J]. Journal of Graduate School,Academia Sinica,1993,10(3):283-292.)
[3] Moore C. color Forth[EB/OL].(2009). https://colorforth. github.io/cf. htm.
[4] Forth Inc. SwiftX cross compilers for embedded systems applications[EB/OL].(2016). https://www. forth. com/embedded/.
[5]杨霞.高可信嵌入式操作系统体系架构研究[D].成都:电子科技大学,2010.(Yang Xia. Research on high-trusted architecture of embedded operating systems[D]. Chengdu:University of Electronic Science and Technology of China,2010.)
[6] Pelc S. Programming Forth[M]. Southampton:Micro Processor Engineering Limited,2011:97.
[7]代红兵,杨为民,王丽清,等.多目标Forth自生成器的研究与实现[J].计算机应用研究,2014,31(4):1109-1114.(Dai Hongbing,Yang Weimin,Wang Liqing,et al. Research and realization of multiobjective Forth self-generating system[J]. Application Research of Computers,2014,31(4):1109-1114.)
[8]杨为民,代红兵,安红萍,等.一种新的嵌入式Forth实时操作系统的研究[J].云南大学学报:自然科学版,2013,35(S2):96-103.(Yang Weimin,Dai Hongbing,An Hongping,et al. A new Forth framework for embedded systems[J]. Journal of Yunnan University,2013,35(S2):96-103.)
[9] Frenger P. Forth and AI revisited:BRAIN. FORTH[J]. ACM SIGPLAN Notices,2004,39(12):11-16.
[10]代红兵.新型、高效微机Forth语言的研制[J].中国科学院研究生院学报,1993,10(1):62-69.(Dai Hongbing. The development of a new and efficient Forth language[J]. Journal of Graduate School,Academia Sinica,1993,10(1):62-69.)
[11]Forth Inc. Featured Forth applications[EB/OL].(2009). http://www. forth. com/resources/app Notes.
[12]Intella Sys,A TPL Group Enterprise. SEAforth 40C18 scalable embedded array processor[EB/OL].(2008). http://www. intellasys.net/templates/trial/content/SEK_40C18_DataSheet_1. 1. pdf.
[13]IEEE standard for boot(initialization configuration)firmware:bus supplement for IEEE 896(futurebus+)[S]. 2002.
[14]The Forth Interest Group. Forth compilers page[EB/OL].(2009).http://www. forth. org/compilers. html.
[15]Miller F P. Colorforth[M]. 2010:28.
[16]Hanna D M,Jones B,Lorenz L,et al. An embedded Forth core with floating point and branch prediction[C]//Proc of International Midwest Symposium on Circuits and Systems. Piscataway,NJ:IEEE Press,2013:1055-1058.
[2]代红兵.高效微机实时多任务操作系统设计与实现[J].中国科学院研究生院学报,1993,10(3):283-292.(Dai Hongbing. The design and realization of efficient microcomputer operating system of real-time multitask[J]. Journal of Graduate School,Academia Sinica,1993,10(3):283-292.)
[3] Moore C. color Forth[EB/OL].(2009). https://colorforth. github.io/cf. htm.
[4] Forth Inc. SwiftX cross compilers for embedded systems applications[EB/OL].(2016). https://www. forth. com/embedded/.
[5]杨霞.高可信嵌入式操作系统体系架构研究[D].成都:电子科技大学,2010.(Yang Xia. Research on high-trusted architecture of embedded operating systems[D]. Chengdu:University of Electronic Science and Technology of China,2010.)
[6] Pelc S. Programming Forth[M]. Southampton:Micro Processor Engineering Limited,2011:97.
[7]代红兵,杨为民,王丽清,等.多目标Forth自生成器的研究与实现[J].计算机应用研究,2014,31(4):1109-1114.(Dai Hongbing,Yang Weimin,Wang Liqing,et al. Research and realization of multiobjective Forth self-generating system[J]. Application Research of Computers,2014,31(4):1109-1114.)
[8]杨为民,代红兵,安红萍,等.一种新的嵌入式Forth实时操作系统的研究[J].云南大学学报:自然科学版,2013,35(S2):96-103.(Yang Weimin,Dai Hongbing,An Hongping,et al. A new Forth framework for embedded systems[J]. Journal of Yunnan University,2013,35(S2):96-103.)
[9] Frenger P. Forth and AI revisited:BRAIN. FORTH[J]. ACM SIGPLAN Notices,2004,39(12):11-16.
[10]代红兵.新型、高效微机Forth语言的研制[J].中国科学院研究生院学报,1993,10(1):62-69.(Dai Hongbing. The development of a new and efficient Forth language[J]. Journal of Graduate School,Academia Sinica,1993,10(1):62-69.)
[11]Forth Inc. Featured Forth applications[EB/OL].(2009). http://www. forth. com/resources/app Notes.
[12]Intella Sys,A TPL Group Enterprise. SEAforth 40C18 scalable embedded array processor[EB/OL].(2008). http://www. intellasys.net/templates/trial/content/SEK_40C18_DataSheet_1. 1. pdf.
[13]IEEE standard for boot(initialization configuration)firmware:bus supplement for IEEE 896(futurebus+)[S]. 2002.
[14]The Forth Interest Group. Forth compilers page[EB/OL].(2009).http://www. forth. org/compilers. html.
[15]Miller F P. Colorforth[M]. 2010:28.
[16]Hanna D M,Jones B,Lorenz L,et al. An embedded Forth core with floating point and branch prediction[C]//Proc of International Midwest Symposium on Circuits and Systems. Piscataway,NJ:IEEE Press,2013:1055-1058.