论文部分内容阅读
针对嵌入式Internet环境的特定要求,提出了一个嵌入式的实时Java OS——WebitJOS。WebitJOS在资源受限的嵌入式:Internet环境下自身提供了对实时线程的调度、同步和异步处理的内部实现,消除了Garbage collection内存管理不确定性所产生的实时程序设计的障碍,并且提供了从Java代码直接访问物理内存、寄存器及内存映射I/O的能力。根据嵌入式Internet系统对实时性、确定性的要求,用形式化语言描述了WebitJOS中实时线程及相关内存区的状态转换关系,并结合实