Code

Warn on potential data races#1541

Code

Closed

luca-patrignani wants to merge 21 commits intospcl:masterspcl/dace:masterfrom luca-patrignani:masterCopy head branch name to clipboard

+352

Commits

Commits on Mar 3, 2024

• Write tests with mapped tasklets

  luca-patrignani

  committed
  46b4813

• Add config flag

  luca-patrignani

  committed
  922d5ef

Commits on Mar 4, 2024

• Check if there are intersecting memlet subsets for a given access node

  luca-patrignani

  committed
  bf1b814

• Filter only UserWarning in test_memlet_range_not_overlap_ranges

  luca-patrignani

  committed
  b928aa4

Commits on Mar 11, 2024

• Update dace/config_schema.yml

  Show description for 19b4a03
  

  luca-patrignani

  and

  tbennun

  authored
  19b4a03

Commits on Mar 12, 2024

• Move check_race_conditions flag into experimental category and add test

  Show description for 653b0de
  luca-patrignani

  committed
  653b0de

• Create test with overlapping ranges with two different access nodes

  luca-patrignani

  committed
  8534fb3

• Create test for symbolic overlap

  luca-patrignani

  committed
  3469315

• Create tests for constant memlet overlap and almost overlap

  luca-patrignani

  committed
  87cf81e

• Revert changes to submodule

  luca-patrignani

  committed
  8cbf45f

Commits on Mar 14, 2024

• Fix constant_memlet_almost_overlap_test

  luca-patrignani

  committed
  8120d39

• Fix constant_memlet_almost_overlap_test for real

  luca-patrignani

  committed
  7f7f863

• Check write-write data races and read-write data races

  luca-patrignani

  committed
  ff497ea

Commits on Mar 15, 2024

• Remove are_intesecting function

  luca-patrignani

  committed
  4b5ac97

Commits on Mar 16, 2024

• Validate sdfgs instead of running the programs

  luca-patrignani

  committed
  1c8d803

• Use is True instead of first checking if it's null and then check if True

  luca-patrignani

  committed
  655fb90

• Add test_elementwise_map

  luca-patrignani

  committed
  a849a84

Commits on Mar 17, 2024

• Add test for wcr

  luca-patrignani

  committed
  2f8f60c

Commits on Mar 18, 2024

• Check if there are paths between the two nodes when looking for

  Show description for 7293fa9
  luca-patrignani

  committed
  7293fa9

• Remove unused numpy import

  luca-patrignani

  committed
  322b256

Commits on May 16, 2024

• Merge branch 'master' into master

  phschaad

  authored
  bacca88