008240612s2023      us  |||||||||||||||c||eng  d
■001000016932408
■00520240214100454
■006m          o    d                
■007cr#unu||||||||
■020    ▼a9798379717896
■035    ▼a(MiAaPQ)AAI30492277
■040    ▼aMiAaPQ▼cMiAaPQ
■0820  ▼a004
■1001  ▼aHodsdon,  Christopher  Charles.
■24510▼aStronger  Abstractions  and  Performance  Guarantees  for  Building  Strongly  Consistent  Distributed  Services▼h[electronic  resource]
■260    ▼a[S.l.]:▼bPrinceton  University.  ▼c2023
■260  1▼aAnn  Arbor  :▼bProQuest  Dissertations  &  Theses,  ▼c2023
■300    ▼a1  online  resource(111  p.)
■500    ▼aSource:  Dissertations  Abstracts  International,  Volume:  84-12,  Section:  B.
■500    ▼aAdvisor:  Lloyd,  Wyatt  Andrew;Katz-Bassett,  Ethan  Benjamin.
■5021  ▼aThesis  (Ph.D.)--Princeton  University,  2023.
■506    ▼aThis  item  must  not  be  sold  to  any  third  party  vendors.
■520    ▼aStrongly  consistent  distributed  services  require  complex  coordination  among  the  services'  machines.  Building  these  services  thus  requires  designing  and  reasoning  about  complex  coordination.  To  make  building  strongly  consistent  distributed  services  easier,  designers  build  services  atop  abstractions  that  simplify  reasoning  about  the  service.  Two  abstractions  used  today  are  the  multi-sequence  abstraction  and  replicated  state  machines.The  multi-sequence  abstraction  simplifies  ordering  operations  on  sharded  data;  it  explicitly  orders  the  operations  on  each  shard  it  accesses.  Existing  implementations  have  two  shortcomings:  failures  can  result  in  some  multi-sequence  numbers  never  being  assigned,  exposing  a  noncontiguous  multi-sequence,  which  requires  designing  and  implementing  complex  coordination  in  the  form  of  consensus  to  handle,  and  existing  implementations  do  not  scale.The  replicated  state  machine  (RSM)  abstraction  is  used  by  many  of  today's  services  to  ensure  correctness  and  resilience  despite  failures.  It  provides  the  abstraction  of  "a  single  machine  that  does  not  fail."  However,  with  RSM  protocols  used  today,  an  individual  slow  replica  can  slow  the  entire  RSM.  RSMs  are  commonly  geo-distributed,  but  current  state-  of-the-art  protocols  that  provide  the  stronger  slowdown-tolerant  abstraction  do  not  have  comparable  latency  to  the  state-of-practice  in  a  wide-area  network  or  are  unable  to  handle  certain  types  of  slowdowns.This  dissertation  shows  that  it  is  possible  to  build  systems  that  strengthen  both  abstractions  while  providing  performance  guarantees.First,  we  posit  that  sequencers  should  expose  our  new  contiguous  multi-sequence  abstraction.  Contiguity  guarantees  every  sequence  number  is  assigned  an  operation,  simplifying  and  strengthening  the  abstraction.  Without  scalability  in  the  implementation  of  the  contiguous  multi-sequence,  a  service  would  need  to  be  redesigned  once  it  has  outgrown  the  implementation.  We  design  and  implement  MASON,  the  first  system  to  expose  the  contiguous  multi-sequence  abstraction  and  the  first  to  provide  a  scalable  multi-sequence.  MASON  is  thus  an  ideal  building  block  for  consistent,  scalable  services.  Our  evaluation  shows  MASON  unlocks  scalable  throughput  for  two  strongly  consistent  services  built  on  it.Second,  we  seek  to  provide  the  stronger  RSM  abstraction  of  "a  single  machine  that  does  not  slow  down"  with  Avicenna,  a  slowdown-tolerant  replicated  state  machine  protocol  that  has  comparable  latency  to  the  current  state-of-practice  in  the  wide-area.
■590    ▼aSchool  code:  0181.
■650  4▼aComputer  science.
■653    ▼aDistributed  services
■653    ▼aPerformance  guarantees
■653    ▼aMachines
■690    ▼a0984
■71020▼aPrinceton  University▼bComputer  Science.
■7730  ▼tDissertations  Abstracts  International▼g84-12B.
■773    ▼tDissertation  Abstract  International
■790    ▼a0181
■791    ▼aPh.D.
■792    ▼a2023
■793    ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T16932408▼nKERIS▼z이  자료의  원문은  한국교육학술정보원에서  제공합니다.
■980    ▼a202402▼f2024