MARC

 008250123s2024        us                              c    eng  d
■001000017164615
■00520250211153023
■006m          o    d                
■007cr#unu||||||||
■020    ▼a9798346808909
■035    ▼a(MiAaPQ)AAI31632718
■040    ▼aMiAaPQ▼cMiAaPQ
■0820  ▼a004
■1001  ▼aLiu,  Shuyang.
■24510▼aCorrectness  of  Software  Tools  Under  Weak  Memory  Models
■260    ▼a[Sl]▼bUniversity  of  California,  Los  Angeles▼c2024
■260  1▼aAnn  Arbor▼bProQuest  Dissertations  &  Theses▼c2024
■300    ▼a246  p
■500    ▼aSource:  Dissertations  Abstracts  International,  Volume:  86-06,  Section:  B.
■500    ▼aAdvisor:  Palsberg,  Jens.
■5021  ▼aThesis  (Ph.D.)--University  of  California,  Los  Angeles,  2024.
■520    ▼aConcurrent  programming  is  often  error-prone  due  to  the  non-deterministic  nature  of  multithread  executions.  Programmers  typically  reason  about  their  concurrent  programs  in  the  context  of  sequential  consistency.  Under  sequential  consistency,  instructions  in  a  concurrent  program  are  executed  to  generate  memory  events  in  a  linear  global  order  that  is  consistent  with  the  order  specified  by  the  source  program,  i.e.,  the  program  order.  However,  the  assumption  of  sequential  consistency  is  too  strong  in  practice,  given  today's  processor  designs.  To  achieve  better  performance,  processors  today  often  adopt  a  weak  memory  model.  Under  a  weak  memory  model,  instructions  are  not  guaranteed  to  be  executed  consistently  with  the  program  order,  due  to  optimizations  such  as  out-of-order  execution  and  instruction  reordering.  As  a  result,  previous  correctness  results  of  software  tools  need  to  be  re-visited  with  considerations  of  weak  memory  models.  In  this  thesis,  we  demonstrate  the  issues  of  previous  correctness  results  of  software  tools  and  provide  new  methods  for  reasoning  about  their  correctness  under  weak  memory  models.
■590    ▼aSchool  code:  0031.
■650  4▼aComputer  science
■650  4▼aComputer  engineering
■653    ▼aSequential  consistency
■653    ▼aWeak  memory  model
■653    ▼aProgramming
■653    ▼aSoftware  tools
■690    ▼a0984
■690    ▼a0464
■71020▼aUniversity  of  California,  Los  Angeles▼bComputer  Science  0201.
■7730  ▼tDissertations  Abstracts  International▼g86-06B.
■790    ▼a0031
■791    ▼aPh.D.
■792    ▼a2024
■793    ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T17164615▼nKERIS▼z이  자료의  원문은  한국교육학술정보원에서  제공합니다.

Preview

Export

ChatGPT Discussion

AI Recommended Related Books