Code

Add support for progress models#731

Code

Merged

hernanponcedeleon merged 24 commits intodevelopmenthernanponcedeleon/Dat3M:developmentfrom executionModelhernanponcedeleon/Dat3M:executionModelCopy head branch name to clipboardSep 14, 2024

+3,341-237

Commits

Commits on Sep 1, 2024

• Rebase

  ThomasHaas

  committed
  6dd757e

  Copy full SHA for 6dd757e

• Enable unit tests for progress models

  Show description for 0ea7b37
  

  hernan-poncedeleon

  authored and

  ThomasHaas

  committed
  0ea7b37

  Copy full SHA for 0ea7b37

• Fix progress model option in unit tests

  Show description for 4178127
  

  hernan-poncedeleon

  authored and

  ThomasHaas

  committed
  4178127

  Copy full SHA for 4178127

• Fix expected result file name

  Show description for 929965e
  

  hernan-poncedeleon

  authored and

  ThomasHaas

  committed
  929965e

  Copy full SHA for 929965e

• Fix expected result file name

  Show description for 6e923fe
  

  hernan-poncedeleon

  authored and

  ThomasHaas

  committed
  6e923fe

  Copy full SHA for 6e923fe

• Regenerate expected results

  Show description for 27e78a0
  

  hernan-poncedeleon

  authored and

  ThomasHaas

  committed
  27e78a0

  Copy full SHA for 27e78a0

• Refactored forward progress encoding (and fixed edge-cases for HSA).

  ThomasHaas

  committed
  3cab3d7

  Copy full SHA for 3cab3d7

• Fixed missing forward progress of init threads.

  ThomasHaas

  committed
  7e14126

  Copy full SHA for 7e14126

• Streamlined handling of forward progress of Init threads.

  ThomasHaas

  committed
  87aa1e5

  Copy full SHA for 87aa1e5

• Split Tag.EARLYTERMINATION into EXCEPTITONAL_TERMINATION and NONTERMINATION

  ThomasHaas

  committed
  8e59733

  Copy full SHA for 8e59733

• Fixup

  ThomasHaas

  committed
  19751ad

  Copy full SHA for 19751ad

Commits on Sep 2, 2024

• - Added better handling of ControlBarriers in the ProgressModel (semantics of CBs + progress are still unclear).

  Show description for 77ea67c
  ThomasHaas

  committed
  77ea67c

  Copy full SHA for 77ea67c

Commits on Sep 10, 2024

• Add forward progress selector to UI

  hernan-poncedeleon

  committed
  feb5119

  Copy full SHA for feb5119

• Add progress model to UIOptions

  hernan-poncedeleon

  committed
  ae451a3

  Copy full SHA for ae451a3

Commits on Sep 11, 2024

• Merge branch 'refs/heads/development' into executionModel

  Show description for 116c743
  ThomasHaas

  committed
  116c743

  Copy full SHA for 116c743

• Minor refactor

  ThomasHaas

  committed
  8ef02e1

  Copy full SHA for 8ef02e1

Commits on Sep 12, 2024

• Added proper ProgressModel settings to unit tests.

  ThomasHaas

  committed
  882eaad

  Copy full SHA for 882eaad

• Merge branch 'refs/heads/development' into executionModel

  ThomasHaas

  committed
  9be1cc2

  Copy full SHA for 9be1cc2

Commits on Sep 13, 2024

• Implemented feedback

  ThomasHaas

  committed
  5f2c3f5

  Copy full SHA for 5f2c3f5

• Added C-tests for the various progress models

  ThomasHaas

  committed
  4827db4

  Copy full SHA for 4827db4

• Perform loop normalization also on Threads, making it applicable to litmus code.

  

  ThomasHaas

  authored and

  hernan-poncedeleon

  committed
  e894615

  Copy full SHA for e894615

• Add unsupported liveness tests to the skip file

  hernan-poncedeleon

  committed
  d9643fd

  Copy full SHA for d9643fd

Commits on Sep 14, 2024

• Merge branch 'development' into executionModel

  hernan-poncedeleon

  committed
  6bf8fa7

  Copy full SHA for 6bf8fa7

• Remove Vulkan Liveness tests (covered by Fair Liveness test)

  hernan-poncedeleon

  committed
  d1750a0

  Copy full SHA for d1750a0