1. |
C. J. Wang, "Research on the Microkernel Technology," in 2009 Second International Workshop on Computer Science and Engineering, pp. 199-202, 2009
|
2. |
S. Biggs, D. Lee,G. Heiser, "The Jury Is In: Monolithic OS Design Is Flawed: Microkernel-based Designs Improve Security," in Proceedings of the 9th Asia-Pacific Workshop on Systems, pp. 16, 2018
|
3. |
Z. Y. Mi, D. J. Li, Z. H. Yang, X. R. Wang,H. B. Chen, "SkyBridge: Fast and Secure Inter-Process Communication for Microkernels," in Proceedings of the Fourteenth EuroSys Conference 2019, pp. 9, 2019
|
4. |
X. H. Cheng, Y. P. Pan,Q. Gui, "A Design to Adapt Microkernel Inter-process Communication Mechanism," in Proceedings of the 3rd International Conference on Intelligent Information Processing, pp. 190-193, 2018
|
5. |
S. Papadimitriou,L. Moussiades, "Mac OS versus FreeBSD: A Comparative Evaluation," Computer,vol. 51,no. 2, pp. 44-53, 2018
|
6. |
J. N. Herder, "Towards a true microkernel operating system,"Master's thesis, Vrije Universiteit Amsterdam,no., 2005
|
7. |
D. Du, Z. C. Hua, Y. B. Xia, B. Y. Zang,H. B. Chen, "XPC: architectural support for secure and efficient cross process call," in Proceedings of the 46th International Symposium on Computer Architecture, pp. 671-684, 2019
|
8. |
M. Khan,M. A. Shah, "Inter-process communication, MPI and MPICH in microkernel environment: A comparative analysis, "in 2017 23rd International Conference on Automation and Computing (ICAC), pp. 1-7, 2017
|
9. |
W. C. Hsieh, M. F. Kaashoek,W. Weihl, "The persistent relevance of IPC performance: New techniques for reducing the IPC penalty," in Proceedings of IEEE 4th Workshop on Workstation Operating Systems. WWOS-III, pp. 186-190, 1993
|
10. |
R. I. Mutia, "Inter-Process Communication Mechanism in Monolithic Kernel and Microkernel,"Department of Electrical and Information Technology Lund University, Sweden,no., 2014
|
11. |
Z. J. Yu, C. Z. Yuan, X. Wei, Y. H. Gao,L. Wang, "Message-passing interprocess communication design in seL4, "in 2016 5th International Conference on Computer Science and Network Technology (ICCSNT), pp. 418-422, 2016
|
12. |
G. Heiser,K. Elphinstone, "L4 Microkernels: The Lessons from 20 Years of Research and Deployment," Acm Transactions on Computer Systems,vol. 34,no. 1, pp. 1-29, 2016
|
13. |
D. B. Golub, D. P. Julin, R. F. Rashid, R. P. Draves, R. W. Dean, A. Forin, J. Barrera, H. Tokuda, G. Malan,D. Bohman, "Microkernel operating system architecture and Mach," in In Proceedings of the USENIX Workshop on Micro-Kernels and Other Kernel Architectures, pp. 11-30, 1992
|
14. |
K. Elphinstone,G. Heiser, "From L3 to seL4 what have we learnt in 20 years of L4 microkernels?," in Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, pp. 133-150, 2013
|
15. |
A. S. Tanenbaum, "Lessons learned from 30 years of MINIX," Communications of the ACM,vol. 59,no. 3, pp. 70-78, 2016
|
16. |
B. B. Brandenburg, "A synchronous IPC protocol for predictable access to shared resources in mixed-criticality systems, " in 2014 IEEE Real-Time Systems Symposium, pp. 196-206, 2014
|
17. |
B. Gamsa, O. Krieger,M. Stumm, "Optimizing IPC performance for shared-memory multiprocessors," in 1994 International Conference on Parallel Processing Vol. 1, pp. 208-211, 1994
|
18. |
L. Vilanova, M. Jordà, N. Navarro, Y. Etsion,M. Valero, "Direct inter-process communication (dipc): Repurposing the codoms architecture to accelerate ipc," in Proceedings of the Twelfth European Conference on Computer Systems, pp. 16-31, 2017
|
19. |
B. Blackham,G. Heiser, "Correct, fast, maintainable: choose any three!," in APSys, pp. 13, 2012
|
20. |
B. Ford,J. Lepreau, "Evolving Mach 3.0 to A Migrating Thread Model," in USENIX Winter, pp. 97-114, 1994
|
21. |
R. Wang, L. B. Xu, Y. B. Bai, Z. Z. Wang, H. L. Yang,L. J. Zhang, "Efficient Asynchronous Communication between Virtual Machines in Embedded Systems," in 2017 IEEE 19th International Conference on High Performance Computing and Communications; IEEE 15th International Conference on Smart City; IEEE 3rd International Conference on Data Science and Systems (HPCC/SmartCity/DSS), pp. 603-604, 2017
|
22. |
I. P. Setiawan, S. Sukaridhoto,D. Pramadihanto, "Message Passing Support for FLoW Microkernel, "in 2018 International Electronics Symposium on Knowledge Creation and Intelligent Computing (IES-KCIC), pp. 17-22, 2018
|
23. |
T. Smejkal, A. Lackorzynski, B. Engel,M. Völp, "Transactional IPC in Fiasco. OC,"OSPERT 2015,no., pp. 19, 2015
|