The mechanics of in-kernel synchronization for a scalable microkernel

Operating Systems Review (ACM)

Volumn 41, Issue 4, 2007, Pages 49-58

  Uhlig, Volkmar ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE SYNCHRONIZATIONS; BUILDING BLOCKES; INTERNAL SYNCHRONIZATION; INTERPROCESS COMMUNICATION; MEMORY MANAGEMENT; MEMORY PAGES; MICRO KERNEL; RESEARCH COMMUNITIES; RESOURCE POLICY; SCALABILITY PROBLEMS; SEMANTIC INFORMATION; SYNCHRONIZATION PRIMITIVE; SYSTEM SOFTWARES; SYSTEM STRUCTURES; TRUST DOMAIN; VIRTUAL MACHINES;

OPTIMIZATION;

SYNCHRONIZATION;

EID: 63549120112     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1278901.1278909     Document Type: Conference Paper

References (35)

1. ACCETTA, M., BARON, R., GOLUB, D., RASHID, R., TEVANIAN, A., AND YOUNG, M. Mach: A new kernel foundation for UNIX development. In Proceedings of the Summer 1986 USENIX Technical Conference and Exhibition (June 1986).
2. APPAVOO, J. Clustered Objects. PhD thesis, University of Toronto, 2005.
3. APPAVOO, J., AUSLANDER, M., DASILVA, D., EDELSOHN, D., KRIEGER, O., OSTROWSKI, M., ET AL. Memory management in k42. Whitepaper, Aug. 2002.
4. BARHAM, P., DRAGOVIC, B., FRASER, K., HAND, S., HARRIS, T., HO, A., ET AL. Xen and the art of virtualization. In Proc. of the 19th ACM Symposium on Operating System Principles (Bolton Landing, NY, Oct. 2003).
5. BERSHAD, B. N., ANDERSON, T. E., LAZOWSKA, L., AND LEVY, H. M. Lightweight remote procedure call. In 12th Symposium on Operating System Principles (Oct. 1989).
6. BULL, J. M., AND O'NEILL, D. A microbenchmark suite for openMP 2.0. In 3rd European Workshop on OpenMP (Sept. 2001).
7. CHAVES, JR., E. M., LEBLANC, T. J., MARSH, B. D., AND SCOTT, M. L. Kernel-kernel communication in a shared-memory multiprocessor. In The Symposium on Experiences with Distributed and Multiprocessor Systems (Atlanta, GA, Mar. 1991).
8. CHEN, B. Multiprocessing with the Exokernel operating system. Master's thesis, Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2000.
9. CORP., I. IA-32 Intel Architecture Software Developer's Manual, Volume 1-3, 2004.
10. ENGLER, D. R., KAASHOEK, M. F., AND O'TOOLE, J. W. Exokernel: An operating system architecture for application-level resource management. In Proc. of the 15th ACM Symposium on Operating System Principles (Copper Mountain Resort, CO, Dec. 1995), ACM SIGOPS, pp. 251-266.
11. GABBER, E., SMALL, C., BRUNO, J., BRUSTOLONI, J., AND SILBERSCHATZ, A. The Pebble component-based operating system. In Proceedings of the 1999 USENIX Annual Technical Conference (Monterey, CA, USA, June 1999).
12. GAMSA, B., KRIEGER, O., APPAVOO, J., AND STUMM, M. Tornado: Maximizing locality and concurrency in a shared memory multiprocessor operating system. In Proc. of the 3rd Symposium on Operating Systems Design and Implementation (1999).
13. GOODMAN, J. R., VERNON, M. K., AND WOEST, P. J. Efficient synchronization primitives for large-scale cache-coherent multiprocessors. In 3rd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) (Boston, MA, Apr. 1989).
14. HÄRTIG, H., WOLTER, J., AND LIEDTKE, J. Flexible-sized page-objects. In Proceedings of 5th International Workshop on Object-Orientation in Operating Systems (IWOOOS) (Washington, DC, 1996), IEEE Computer Society, pp. 102-106.
15. HEISER, G., UHLIG, V., AND LEVASSEUR, J. Are virtual-machine monitors microkernels done right? Operating System Review 40, 1 (Jan. 2006), 95-99.
16. HO, C.-T., AND JOHNSSON, L. Distributed routing algorithm for broadcasting and personalized communication in hypercubes. In International Conference on Parallel Processing (ICPP 1986) (1986), pp. 640-648.
17. IEEE. IEEE Std 1596-1992: IEEE Standard for Scalable Coherent Interface. IEEE, Inc., Aug. 1993.
18. LEIERSON, C. E. Fat-trees: Universal networks for hardware-efficient supercomputing. IEEE Transactions on Computers c-34 (Oct. 1985), 892-901. (Pubitemid 16574278)
19. LENOSKI, D., LAUDON, J., GHARACHORLOO, G., WEBER, W.-D., GUPTA, A., HENNESSY, J., HOROWITZ, M., AND LAM, M. S. The Stanford Dash multiprocessor. IEEE Computer 25, 3 (Mar. 1992).
20. LEVASSEUR, J., UHLIG, V., STOESS, J., AND GÖTZ, S. Unmodified device driver reuse and improved system dependability via virtual machines. In Proc. of the 6th Symposium on Operating Systems Design and Implementation (San Francisco, CA, Dec. 2004).
21. LIEDTKE, J. On μ-kernel construction. In Proc. of the 15th ACM Symposium on Operating System Principles (Copper Mountain Resort, CO, Dec. 1995).
22. LIM, B.-H. Reactive synchronization algorithms for multiprocessors. PhD thesis, Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.
23. MCKENNEY, P. E. Selecting locking primitives for parallel programming. Communications of the ACM 39, 10 (1996), 75-82.
24. MCKENNEY, P. E., AND SLINGWINE, J. D. Read-copy update: Using execution history to solve concurrency problems. In Parallel and Distributed Computing and Systems (Las Vegas, NV, Oct. 1998).
25. MELLOR-CRUMMEY, J. M., AND SCOTT, M. L. Algorithms for scalable synchronization on shared-memory multiprocessors. ACM Transactions on Computer Systems 9, 1 (Feb. 1991), 21-65.
26. RAJWAR, R., AND GOODMAN, J. R. Speculative lock elision: Enabling highly concurrent multithreaded execution. In Proceedings of the 34th Annual International Symposium on Microarchitecture (Austin, Texas, Dec. 1-5, 2001).
27. RITCHIE, S. The Raven kernel: a microkernel for shared memory multiprocessors. Tech. Rep. TR-93-136, University of British Columbia, Department of Computer Science, 30 Apr. 1993.
28. SAILER, R., VALDEZ, E., JAEGER, T., PEREZ, R., VAN DOORN, L., GRIFFIN, J. L., AND BERGER, S. sHype: Secure hypervisor approach to trusted virtualized systems. Tech. Rep. RC23511, IBM T.J. Watson Research Center, Yorktown Heights, NY, Feb. 2005.
29. SHAPIRO, J. S., SMITH, J. M., AND FARBER, D. J. EROS: a fast capability system. In Proc. of the 17th ACM Symposium on Operating System Principles (Kiawah Island, SC, 1999).
30. SYSTEM ARCHITECTURE GROUP. L4 X.2 Reference Manual, 6th ed. University of Karlsruhe, Germany, Oct. 2005.
31. UHLIG, V. Scalability of Microkernel-Based Systems. PhD thesis, University of Karlsruhe, Germany, May 2005.
32. UHLIG, V., LEVASSEUR, J., SKOGLUND, E., AND DANNOWSKI, U. Towards scalable multiprocessor virtual machines. In Proceedings of the 3rd Virtual Machine Research and Technology Symposium (San Jose, CA, May 6-7 2004), pp. 43-56.
33. UNRAU, R. Scalable Memory Management through Hierarchical Symmetric Multiprocessing. Ph.D. thesis, University of Toronto, Toronto, Ontario, Jan. 1993.
34. UNRAU, R. C., KRIEGER, O., GAMSA, B., AND STUMM, M. Experiences with locking in a NUMA multiprocessor operating system kernel. In Symposium on Operating Systems Design and Implementation (Nov. 1994).
35. WULF, W., COHEN, E., CORWIN, W., JONES, A., LEVIN, R., PIERSON, C., AND POLLACK, F. HYDRA: The kernel of a multiprocessor operating system. Commun. ACM 17, 6 (June 1974).