Engineering

Publication Search Results

Now showing 1 - 10 of 74

  • (1999) Schumacher, J; Altermatt, Pietro P.; Heiser, Gernot; Aberle, Armin G.
    Conference Paper

  • (1999) Deller, L; Heiser, Gernot
    Conference Paper
    Linking and loading are the final steps in preparing a program for execution. This paper assesses issues concerning dynamic and static linking in traditional as well as single-address-space operating systems (SASOS). Related loading issues are also addressed. We present the dynamic linking model implemented in the Mungi SASOS and discuss its strengths and limitations. Benchmarking shows that dynamic linking in Mungi carries less overhead than dynamic linking in SGI`s Irix operating system


  • (1999) Altermatt, Peter; Sinton, Ron; Heiser, Gernot
    Conference Paper


  • (1998) Corkish, Richard; Sproul, Alistair; Puzzer, Tom; Altermatt, Peter; Heiser, Gernot; Luke, Keung
    Conference Paper

  • (1999) Deller, L; Heiser, Gernot
    Conference Paper
    Linking and loading are the final steps in preparing a program for execution. This paper assesses issues concerning dynamic and static linking in traditional as well as single-address-space operating systems (SASOS). Related loading issues are also addressed. We present the dynamic linking model implemented in the Mungi SASOS and discuss its strengths and limitations. Benchmarking shows that dynamic linking in a SASOS carries significantly less overhead than dynamic linking in SGI`s Irix operating system. The same performance advantages could be achieved in Unix systems, if they reserved a portion of the address space for dynamically linked libraries, and ensured that each library is always mapped at the same address.

  • (1999) Elpinstone, Kevin; Heiser, Gernot; Liedtke, Jochen
    Conference Paper
    Most modern wide-address computer architecture do not prescribe a page table format, but instead feature a software-loaded TLB, which gives the operating system complete flexibility in the implementation of page tables. Such flexibility is necessary, as to date no single page table format has been established to perform best under all loads. With the recent trend to kernelised operating systems, which rely heavily on mapping operations for fast data movement across address-spaces, demands on page tables become more varied, and hence less easy to satisfy with a single structure. This paper examines the issue of page tables suitable for 64-bit systems, particularly systems based on microkernels. We have implemented a number of candidate page table structures in a fast microkernel and have instrumented the kernel`s TLB miss handlers. We have then measured the kernel`s performance under a variety of benchmarks, simulating loads imposed by traditional compact address spaces (typical for UNIX systems) as well as the sparse address spaces (typical for microkernel-based systems). The results show that guarded page tables, together with a software TLB cache, do not perform significantly worse than any of the other structures, and clearly outperform the other structures where the address space is used very sparsely.

  • (1998) Heiser, Gernot; Lam, F; Russell, Stephen
    Conference Paper
    We present the accounting system used for backing store management in the Mungi single-address-space operating system. The model is designed such that all accounting can be done asynchronously to operations on storage objects, and hence without slowing down such operations. It is based on bank accounts from which rent is collected for the storage occupied by objects. Rent automatically increases as available storage runs low, forcing users to release unneeded storage. Bank accounts receive regular income. A taxation system is used to prevent excessive buildup of funds on underutilised accounts. The accounting system is mostly implemented at user level, with minimal support from the kernel. As a consequence, the accounting model can be changed without modifying the Mungi kernel.