首页
文献服务
文献资源
外文期刊
外文会议
中文期刊
专业机构
智能制造
高级检索
版权声明
使用帮助
Prioritized dynamic communicating and mobile processes
     
  
  
刊名:
IEE Proceedings
作者:
F. R. M. Barnes
P. H. Welch
刊号:
730C0004-L
ISSN:
1462-5970
出版年:
2003
年卷期:
2003, vol.150, no.2
页码:
121-136
总页数:
16
分类号:
TM92
语种:
eng
文摘:
Continuing research on language design, compilation and kernel support for highly dynamic concurrent reactive systems is reported. The work extends the occam multiprocessing language, which is both sufficiently small to allow for easy experimentation and sufficiently powerful to yield results that are directly applicable to a wide range of industrial and commercial practice. Classical occam was designed for embedded systems and enforced a number of constraints, such as statically predetermined memory allocation and concurrency limits, that were relevant to that generation of application and hardware technology. This work removes most of these constraints and introduces a number of new facilities: explicit channel ends, channel bundles, mobile ends of channels and bundles, dynamic process creation, the extended rendezvous and process priorities. These significantly broaden occam's field of application and raise the level of concurrent system design directly supported. Concurrency overheads have been driven ever downwards, for example synchronising channel communication is now around 100 nanoseconds on an 800 MHz P3, and most operations have unit time cost. Finally, a proposal for secure mobile processes is made.
©2016机械工业出版社(机械工业信息研究院) 京ICP备05055788号-35