BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Modelling orchestration - Andrew Jeffery\, Systems Research Group\
 , Computer Laboratory
DTSTART:20241024T140000Z
DTEND:20241024T150000Z
UID:TALK223459@talks.cam.ac.uk
CONTACT:Richard Mortier
DESCRIPTION:Modern cloud services operate at significant and increasing sc
 ale. The growth of these services has led to the need for automated manage
 ment in the form of orchestrators.\n\nThe significant uptake of orchestrat
 ors has led to their expansion out of private datacenters\, into the publi
 c cloud\, and now even towards the edge of the network. These are environm
 ents for which they are not designed.\n\nIn this talk\, I'll examine orche
 strator design\, focusing on the global state they maintain in their centr
 al datastores. I'll give an overview of the orchestration problem and desc
 ribe a lightweight formalisation using model checking\, applied to a popul
 ar orchestration platform. With this model we can explain observed failure
 s arising from changes in the consistency model.\n\nUsing insights from th
 is model I then describe two new datastores to support the control-plane o
 f orchestration platforms\, for the public cloud and the near-edge. \n\nBi
 o:  Andrew is a final year PhD student\, having just completed his viva. H
 e has worked in the SRG throughout his time and at Microsoft Research. He 
 focuses on the implementation of systems and ways to improve their reliabi
 lity.
LOCATION:FW11
END:VEVENT
END:VCALENDAR