Publication:
High-performance microkernels and virtualisation on ARM and segmented architectures
High-performance microkernels and virtualisation on ARM and segmented architectures
| dc.contributor.author | van Schaik, Carl | en_US |
| dc.contributor.author | Heiser, Gernot | en_US |
| dc.date.accessioned | 2021-11-25T13:32:08Z | |
| dc.date.available | 2021-11-25T13:32:08Z | |
| dc.date.issued | 2007 | en_US |
| dc.description.abstract | This paper describes the techniques used to achieve high context-switching performance on ARM processors for the L4 microkernel and a para-virtualised Linux running on top. We examine how the previously-published techniques can be used in L4 with minimal changes to the kernel API. We also propose future API changes which make it easier to maximise memory-management performance, not only on ARM but also on architectures supporting a segmented memory model. | en_US |
| dc.identifier.issn | 1833-9646 | en_US |
| dc.identifier.uri | http://hdl.handle.net/1959.4/39903 | |
| dc.language | English | |
| dc.language.iso | EN | en_US |
| dc.publisher | NICTA, Australia | en_US |
| dc.rights | CC BY-NC-ND 3.0 | en_US |
| dc.rights.uri | https://creativecommons.org/licenses/by-nc-nd/3.0/au/ | en_US |
| dc.source | Legacy MARC | en_US |
| dc.title | High-performance microkernels and virtualisation on ARM and segmented architectures | en_US |
| dc.type | Conference Paper | en |
| dcterms.accessRights | open access | |
| dspace.entity.type | Publication | en_US |
| unsw.accessRights.uri | https://purl.org/coar/access_right/c_abf2 | |
| unsw.description.notePublic | Original inactive link: http://ertos.nicta.com.au/publications/papers/vanSchaik_Heiser_07.pdf | en_US |
| unsw.identifier.doi | https://doi.org/10.26190/unsworks/515 | |
| unsw.publisher.place | Sydney, Australia | en_US |
| unsw.relation.faculty | Engineering | |
| unsw.relation.ispartofconferenceLocation | Sydney, Australia | en_US |
| unsw.relation.ispartofconferenceName | 1st international workshop on microkernels for embedded systems: MIKES 2007 | en_US |
| unsw.relation.ispartofconferenceProceedingsTitle | 1st international workshop on microkernels for embedded systems: MIKES 2007, Proceedings | en_US |
| unsw.relation.ispartofconferenceYear | 2007 | en_US |
| unsw.relation.ispartofpagefrompageto | 11-21 | en_US |
| unsw.relation.originalPublicationAffiliation | van Schaik, Carl | en_US |
| unsw.relation.originalPublicationAffiliation | Heiser, Gernot, Computer Science & Engineering, Faculty of Engineering, UNSW | en_US |
| unsw.relation.school | School of Computer Science and Engineering | * |
Files
Original bundle
1 - 1 of 1