Gernot Heiser - Academia.edu (original) (raw)

Uploads

Papers by Gernot Heiser

[1992] Proceedings of the Second International Workshop on Object Orientation in Operating Systems, 1992

Proceedings 5th Australasian Computer Architecture Conference. ACAC 2000 (Cat. No.PR00512), 1999

USENIX Technical Conference, 2005

Itanium is a fairly new and rather unusual architecture. Its defining feature is explicitly-paral... more Itanium is a fairly new and rather unusual architecture. Its defining feature is explicitly-parallel instruction-set computing (EPIC), which moves the onus for exploiting instruction-level parallelism (ILP) from the hardware to the code generator. Itanium theoretically supports high degrees of ILP, but in practice these are hard to achieve, as present compilers are often not up to the task. This is

... Gernot Heiser Kevin Elphinstone Jerry Vochteloo Stephen Russell Department of Computer System... more ... Gernot Heiser Kevin Elphinstone Jerry Vochteloo Stephen Russell Department of Computer Systems School of Computer Science and Engineering The University of New South Wales, Sydney 2052, Australia E-mail: fgernot,kevine,jerry,smrg@cse.unsw.edu.au WWW: http ...

... Describes pre-virtualisation (Chapter 4 in this thesis) [para]virtualisation without pain P... more ... Describes pre-virtualisation (Chapter 4 in this thesis) [para]virtualisation without pain Peter Chubb,Matthew Chapman and Myrto Zehnder Proceedings of the 8th Linux.Conf.Au, January 2007 Describes pre-virtualisation (Chapter 4 in this thesis) ii Page 5. Acknowledgements ...

Guaranteeing that the worst-case scenario has been covered for each basic block individually is a... more Guaranteeing that the worst-case scenario has been covered for each basic block individually is a major challenge in measurement-based WCET analysis. On the static analysis side the accuracy of hardware mod- els used are also subject to doubt as they are based on available documentation provided by vendors which may be not detailed enough nor correct or both. Even for

Energy has become a critical component of computer system design, particularly in the embedded sp... more Energy has become a critical component of computer system design, particularly in the embedded space where the source of energy is often finite. While hardware design has the more significant effect on the system's power con- sumption, well designed system and application software make an important contribution to controlling the energy consumed. In order to optimise software systems to reduce

Model of Address Spaces We describe address spaces as mappings. oe 0 : V ! R[fOEg is the initial ... more Model of Address Spaces We describe address spaces as mappings. oe 0 : V ! R[fOEg is the initial address space, where V is the set of virtual pages, R the set of available physical (real) pages and OE the nilpage which cannot be accessed. Further address spaces are defined recursively as mappings oe : V ! (Sigma Theta V ) [fOEg, where Sigma is the set of address spaces. It is convenient to regard each mapping as a one column table whichcontains oe(v) for all v2V and can be indexed by v. We denote the elements of this table by oe v . All modifications of address spaces are based on the replacement operation: we write oe v / x to describe a change of oe at v, precisely: flush (oe#v) # oe v := x : A page potentially mapped at v in oe is flushed, and the new value x is copied into oe v . This operation is internal to the -kernel. We use it only for describing the three exported operations. A subsystem S with address space oe can grant any of its pages v to a subsystem S 0 / oe v # oe v ...