Affiliation:
1. University of Waterloo, Canada
Abstract
In this work we propose mTags, an efficient mechanism that augments microkernel interprocess messages with lightweight metadata to enable the development of new, system-wide functionality without requiring modification of the application source code. As such it is well suited for systems with a large legacy code base or third-party applications like phone and tablet applications.
We explored mTags in a variety of different contexts in local and distributed system scenarios. For example, we detail use cases in areas including messaging-induced deadlocks and mode propagation. To demonstrate that mTags is technically feasible and practical, we implemented it in a commercial microkernel and executed multiple sets of standard benchmarks on two different computing architectures. The results clearly demonstrate that mTags has only negligible overhead and strong potential for many applications.
Publisher
Association for Computing Machinery (ACM)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Intersert: Assertions on Distributed Process Interaction Sessions;2017 IEEE International Conference on Software Quality, Reliability and Security (QRS);2017-07
2. A Reordering Framework for Testing Message-Passing Systems;2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC);2017-05
3. The use of mTags for mandatory security: a case study;Software: Practice and Experience;2013-09-19