BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Memento EPFL//
BEGIN:VEVENT
SUMMARY:Flexible memory management
DTSTART:20170629T133000
DTEND:20170629T153000
DTSTAMP:20260409T050954Z
UID:fbdd36cf2b927cc8fb7291447e136752d6214cd8f00f23706049a977
CATEGORIES:Conferences - Seminars
DESCRIPTION:Adrien Ghosn\nEDIC candidacy exam\nExam president: Prof. James
  Larus\nThesis advisor: Prof. Edouard Bugnion\nCo-examiner: Prof. Willy Zw
 aenepoel\n\nAbstract\nModern applications incorporate code from various\, 
 sometimes unverified\, sources. Public APIs\, external libraries\, and sof
 tware\nframeworks are nowadays at the heart of most applications. As a res
 ult\, both trusted and un- trusted code cohabit within an\napplication\, h
 enceforth requiring fine-grained isolation and protection mechanisms at bo
 undaries known only to the application'##s\ndeveloper. At the same time\, 
 modern applications strive for performance\, which often entails to manage
  resources in a way that\nfollows the application'##s logic. Unfortunately
 \, mainstream operating systems expose rigid general pur- pose abstraction
 s that often\nlimit performance\, flexibility\, and functionalities of app
 lications. Moreover\, by failing to separate resource protection from mana
 gement\,\nkernels are responsible for functionalities vital to the applica
 tion\, such as access to the network or virtual memory management\, thus\n
 making them an overpowered single point of failure. At a time when more an
 d more applications are deployed over cloud services\,\nentrusting the ker
 nel\, and more generally any privileged software\, with such critical func
 tionalities is not only inefficient\, but also a risk.\nIn this paper\, we
  study solutions that re-define the respective responsibilities of the ker
 nel and the application\, giving back its freedom\nto the latter. We will 
 focus on memory management and present solutions that rely on hardware\, f
 lexible kernel design\, and modern\nsoftware techniques. Haven leverages t
 he SGX intel extension to shield a guest system from an untrusted host. Th
 e exokernel\noperating system allows application-level management of physi
 cal resources. Unikernels are compile-time specialized standalone\nkernels
  for single purpose appliances deployed over cloud platforms. Finally\, un
 derstanding the arguments and solutions presented in\nthese papers\, I pro
 pose my research topic that relates to resource management and the improve
 ment of kernel'##s role and\nabstractions to better suit modern applicatio
 ns needs.\n\nBackground papers\n\n	Exokernel: An operating system architec
 ture for application-level resource management\, D.R. Engler\, M.f. Kaasho
 ek\, J. O’Toole Jr.\n	Unikernels: library operating systems for the clou
 d\, Anil Madhavapeddy et. al.\n	Shielding Applications from an Untrusted C
 loud with Haven\, Andrew Baumann\, Marcus Peinado\, Galen Hunt\n\n\n 
LOCATION:INN 211 https://plan.epfl.ch/theme/generalite_thm_plan_public?lan
 g=fr&room=inn%20211&dim_floor=2&dim_lang=fr&baselayer_ref=grp_backgrounds&
 tree_groups=centres_nevralgiques%2Cacces%2Cmobilite_reduite%2Censeign
STATUS:CONFIRMED
END:VEVENT
END:VCALENDAR