Code

NVM testing#49

Code

Open

zuevmaxim wants to merge 190 commits intodevelopJetBrains/lincheck:developfrom test-nlrJetBrains/lincheck:test-nlrCopy head branch name to clipboard

+10,551-591

Commits

Commits on Nov 25, 2020

• NRL stress testing

  zuevmaxim

  committed
  be2d094

  Copy full SHA for be2d094

Commits on Dec 14, 2020

• Some optimization

  zuevmaxim

  committed
  a5700d8

  Copy full SHA for a5700d8

• Implement primitives

  zuevmaxim

  committed
  2cda77f

  Copy full SHA for 2cda77f

• Fix

  zuevmaxim

  committed
  98bf051

  Copy full SHA for 98bf051

Commits on Jan 10, 2021

• Use one crash exception

  zuevmaxim

  committed
  d14e554

  Copy full SHA for d14e554

• Execution result equals hashCode

  zuevmaxim

  committed
  af678e2

  Copy full SHA for af678e2

Commits on Jan 13, 2021

• Update primitives

  zuevmaxim

  committed
  56376fb

  Copy full SHA for 56376fb

Commits on Jan 14, 2021

• Implement system crash

  zuevmaxim

  committed
  2f838bf

  Copy full SHA for 2f838bf

Commits on Jan 16, 2021

• Implement small set for cache

  zuevmaxim

  committed
  959c58e

  Copy full SHA for 959c58e

• Test with 3 threads

  zuevmaxim

  committed
  e54fab1

  Copy full SHA for e54fab1

Commits on Jan 17, 2021

• Extract recoverable runner

  zuevmaxim

  committed
  0a22fea

  Copy full SHA for 0a22fea

Commits on Jan 20, 2021

• Implement durable model run

  zuevmaxim

  committed
  d5c39ba

  Copy full SHA for d5c39ba

Commits on Jan 22, 2021

• Durable verification, WIP

  zuevmaxim

  committed
  21508fb

  Copy full SHA for 21508fb

Commits on Jan 23, 2021

• Do not save crashes

  zuevmaxim

  committed
  2d087fc

  Copy full SHA for 2d087fc

• Context container

  zuevmaxim

  committed
  7290fce

  Copy full SHA for 7290fce

Commits on Jan 24, 2021

• Reset cache

  zuevmaxim

  committed
  5c27d3d

  Copy full SHA for 5c27d3d

• No crashes recover model

  zuevmaxim

  committed
  ccdfcdb

  Copy full SHA for ccdfcdb

• Busy waiting barrier

  zuevmaxim

  committed
  495c344

  Copy full SHA for 495c344

Commits on Jan 25, 2021

• Fix increment clock on crash

  zuevmaxim

  committed
  6c8b37f

  Copy full SHA for 6c8b37f

Commits on Feb 1, 2021

• Implement system crash

  zuevmaxim

  committed
  1a4efb4

  Copy full SHA for 1a4efb4

• Durable recover

  zuevmaxim

  committed
  c277bca

  Copy full SHA for c277bca

• Await recover

  zuevmaxim

  committed
  f00f8c1

  Copy full SHA for f00f8c1

• Use clocks only on crash

  zuevmaxim

  committed
  e1dcb0c

  Copy full SHA for e1dcb0c

• Update queue test

  zuevmaxim

  committed
  34870a7

  Copy full SHA for 34870a7

• Fix barrier

  zuevmaxim

  committed
  0cb603a

  Copy full SHA for 0cb603a

Commits on Feb 2, 2021

• Fix system crash for NRL

  zuevmaxim

  committed
  596c060

  Copy full SHA for 596c060

• Add tests

  zuevmaxim

  committed
  f502f2e

  Copy full SHA for f502f2e

Commits on Feb 3, 2021

• Merge remote-tracking branch 'origin/develop' into test-nlr

  zuevmaxim

  committed
  22cb87f

  Copy full SHA for 22cb87f

• Probability model: take actual number of 'possiblyCrash' calls into account

  zuevmaxim

  committed
  d0e6d26

  Copy full SHA for d0e6d26

Commits on Feb 7, 2021

• Remove durable automatic recover

  zuevmaxim

  committed
  447887c

  Copy full SHA for 447887c

Commits on Feb 9, 2021

• Rename node

  zuevmaxim

  committed
  32bbf8e

  Copy full SHA for 32bbf8e

Commits on Feb 13, 2021

• Update test

  zuevmaxim

  committed
  ea6d813

  Copy full SHA for ea6d813

Commits on Feb 16, 2021

• Add link free test

  zuevmaxim

  committed
  7dd37d1

  Copy full SHA for 7dd37d1

Commits on Feb 23, 2021

• Revert durable recover for all threads

  zuevmaxim

  committed
  eceb400

  Copy full SHA for eceb400

• Merge remote-tracking branch 'origin/develop' into test-nlr

  Show description for b1dbab8
  zuevmaxim

  committed
  b1dbab8

  Copy full SHA for b1dbab8

• Revert durable recover for single thread

  zuevmaxim

  committed
  e49ffb0

  Copy full SHA for e49ffb0

• Move test

  zuevmaxim

  committed
  e93a115

  Copy full SHA for e93a115

• Crash only before api calls

  zuevmaxim

  committed
  f2b78d0

  Copy full SHA for f2b78d0

• Crash on writes

  zuevmaxim

  committed
  bf92ec1

  Copy full SHA for bf92ec1

• Introduce proxy crash error

  zuevmaxim

  committed
  5086aa5

  Copy full SHA for 5086aa5

• Pass CrashError through catch Throwable

  zuevmaxim

  committed
  5b24ada

  Copy full SHA for 5b24ada

• Remove log

  zuevmaxim

  committed
  05c370a

  Copy full SHA for 05c370a

Commits on Mar 14, 2021

• Add uniform distribution test

  zuevmaxim

  committed
  79d90ca

  Copy full SHA for 79d90ca

Commits on Mar 21, 2021

• Fix test

  zuevmaxim

  committed
  fe90e1e

  Copy full SHA for fe90e1e

Commits on Mar 24, 2021

• Fix test with recovery

  zuevmaxim

  committed
  a698a85

  Copy full SHA for a698a85

• Add failing counter tests

  zuevmaxim

  committed
  014218c

  Copy full SHA for 014218c

• Update persistent test

  zuevmaxim

  committed
  9df0ee6

  Copy full SHA for 9df0ee6

• Add RWO failing tests

  zuevmaxim

  committed
  274cb6c

  Copy full SHA for 274cb6c

• Update tests

  zuevmaxim

  committed
  f1f64be

  Copy full SHA for f1f64be

• Add TAS failing tests

  zuevmaxim

  committed
  69d6916

  Copy full SHA for 69d6916

Commits on Mar 25, 2021

• Some small refactorings

  zuevmaxim

  committed
  3529e99

  Copy full SHA for 3529e99

• Add durable queue failing tests

  zuevmaxim

  committed
  4c85ef8

  Copy full SHA for 4c85ef8

• Disable failing tests

  zuevmaxim

  committed
  4284345

  Copy full SHA for 4284345

• Add a workaround for TAS tests

  zuevmaxim

  committed
  cffd14d

  Copy full SHA for cffd14d

• Turn on counter test

  zuevmaxim

  committed
  bff8892

  Copy full SHA for bff8892

• Fix failing tests

  zuevmaxim

  committed
  25a79dd

  Copy full SHA for 25a79dd

• Fix set tests

  zuevmaxim

  committed
  0172605

  Copy full SHA for 0172605

Commits on Mar 26, 2021

• Add uniform distribution test

  zuevmaxim

  committed
  64307da

  Copy full SHA for 64307da

• Use binary search

  zuevmaxim

  committed
  82dc16d

  Copy full SHA for 82dc16d

Commits on Mar 28, 2021

• Reload static context per scenario

  zuevmaxim

  committed
  60869ff

  Copy full SHA for 60869ff

• Add durable set failing tests

  zuevmaxim

  committed
  8e48c95

  Copy full SHA for 8e48c95

• Update durable set test

  zuevmaxim

  committed
  bb25dea

  Copy full SHA for bb25dea

• Add MCAS tests

  zuevmaxim

  committed
  1cfa600

  Copy full SHA for 1cfa600

• Fix: add a crash in before return

  zuevmaxim

  committed
  fd35947

  Copy full SHA for fd35947

• Implement detectable execution model

  zuevmaxim

  committed
  5b37663

  Copy full SHA for 5b37663

• Fix counter test

  zuevmaxim

  committed
  f9f44f6

  Copy full SHA for f9f44f6

Commits on Mar 30, 2021

• Fix recover for detectable execution

  zuevmaxim

  committed
  4a8e5cc

  Copy full SHA for 4a8e5cc

Commits on Apr 4, 2021

• Fix recover for durable model

  zuevmaxim

  committed
  d5cbfb7

  Copy full SHA for d5cbfb7

Commits on Apr 18, 2021

• Add one actor probability model

  zuevmaxim

  committed
  a3aeb49

  Copy full SHA for a3aeb49

• Enable model checking NVM options

  zuevmaxim

  committed
  ef9bfe9

  Copy full SHA for ef9bfe9

• Refactor tests run

  zuevmaxim

  committed
  54b8938

  Copy full SHA for 54b8938

• Add log queue test

  zuevmaxim

  committed
  a97cc8b

  Copy full SHA for a97cc8b

• Prepare for model checking implementation

  zuevmaxim

  committed
  ce28a0c

  Copy full SHA for ce28a0c

Commits on Apr 27, 2021

• Disable log queue test

  zuevmaxim

  committed
  e954567

  Copy full SHA for e954567

Commits on May 12, 2021

• Model checking implementation for NVM (#79)

  Show description for 8231053
  zuevmaxim

  authored
  8231053

  Copy full SHA for 8231053

Commits on May 14, 2021

• Nvm probability (#85)

  Show description for 7d952f5
  zuevmaxim

  authored
  7d952f5

  Copy full SHA for 7d952f5

• Fix set test

  zuevmaxim

  committed
  387cfe3

  Copy full SHA for 387cfe3

• Fix test

  zuevmaxim

  committed
  55b03f5

  Copy full SHA for 55b03f5

• Add log queue test

  zuevmaxim

  committed
  bc0b81c

  Copy full SHA for bc0b81c

• Fix test

  zuevmaxim

  committed
  5107665

  Copy full SHA for 5107665

Commits on May 15, 2021

• Fix log test

  zuevmaxim

  committed
  965f69f

  Copy full SHA for 965f69f

Commits on May 19, 2021

• Single thread crash in MC (#88)

  Show description for e8b7ab3
  zuevmaxim

  authored
  e8b7ab3

  Copy full SHA for e8b7ab3

Commits on May 25, 2021

• Update ReadWriteObjectTest.kt

  ndkoval

  authored
  0b6c447

  Copy full SHA for 0b6c447

Commits on May 26, 2021

• Limit crashes number in MC

  zuevmaxim

  committed
  d615b8d

  Copy full SHA for d615b8d

• Rewrite MCAS test

  zuevmaxim

  committed
  199ac54

  Copy full SHA for 199ac54

Commits on Jun 1, 2021

• Merge remote-tracking branch 'origin/develop' into test-nlr

  Show description for a590665
  zuevmaxim

  committed
  a590665

  Copy full SHA for a590665

• Fix merge

  zuevmaxim

  committed
  68e45b1

  Copy full SHA for 68e45b1

Commits on Jun 29, 2021

• Merge remote-tracking branch 'origin/develop' into test-nlr

  Show description for 4199c7f
  zuevmaxim

  committed
  4199c7f

  Copy full SHA for 4199c7f

• Fix merge

  zuevmaxim

  committed
  26867b0

  Copy full SHA for 26867b0

• Refactor durable verifier

  zuevmaxim

  committed
  1d54853

  Copy full SHA for 1d54853

• Decrease test iterations

  zuevmaxim

  committed
  793e098

  Copy full SHA for 793e098

• Fix

  zuevmaxim

  committed
  39f2a49

  Copy full SHA for 39f2a49

Commits on Jul 5, 2021

• Fix random flush: it can happen after any write operation

  zuevmaxim

  committed
  96c08f2

  Copy full SHA for 96c08f2

• Add repository

  zuevmaxim

  committed
  abc4ab6

  Copy full SHA for abc4ab6

• Add repository

  zuevmaxim

  committed
  6f60e22

  Copy full SHA for 6f60e22

Commits on Jul 25, 2021

• Merge remote-tracking branch 'origin/develop' into test-nlr

  zuevmaxim

  committed
  136e51c

  Copy full SHA for 136e51c

• Add links

  zuevmaxim

  committed
  936a4c6

  Copy full SHA for 936a4c6

Commits on Jul 26, 2021

• Extract model checking for crashes (#103)

  zuevmaxim

  authored
  42c17c8

  Copy full SHA for 42c17c8

• Add random choosing node

  zuevmaxim

  committed
  65284f9

  Copy full SHA for 65284f9

• Fasten simple tests

  zuevmaxim

  committed
  8f4e923

  Copy full SHA for 8f4e923

Commits on Jul 27, 2021

• Fix CrashFree mc

  zuevmaxim

  committed
  bfce59c

  Copy full SHA for bfce59c

Commits on Jul 31, 2021

• Fix force switch on crash

  zuevmaxim

  committed
  36c4cea

  Copy full SHA for 36c4cea

• Choose random seed only in root

  zuevmaxim

  committed
  194d035

  Copy full SHA for 194d035

Commits on Aug 1, 2021

• Set iteration seed for custom scenarios

  zuevmaxim

  committed
  567a953

  Copy full SHA for 567a953

• Add relaxed queue test

  zuevmaxim

  committed
  591aa0b

  Copy full SHA for 591aa0b

• Set random seeds to 16

  zuevmaxim

  committed
  3c43d1c

  Copy full SHA for 3c43d1c

Commits on Aug 2, 2021

• Fix test

  zuevmaxim

  committed
  7c656e3

  Copy full SHA for 7c656e3

• Smaller MSQueue test

  zuevmaxim

  committed
  00a40b3

  Copy full SHA for 00a40b3

• Larger smart set

  zuevmaxim

  committed
  bed2644

  Copy full SHA for bed2644

• Fix relaxed queue test

  zuevmaxim

  committed
  1c79c0f

  Copy full SHA for 1c79c0f

• Revert "Choose random seed only in root"

  Show description for ec07109
  zuevmaxim

  committed
  ec07109

  Copy full SHA for ec07109

• Add stack test

  zuevmaxim

  committed
  3797e6d

  Copy full SHA for 3797e6d

• Durable Stack fixed + flushInternal-s should be synchronized

  ndkoval

  committed
  26822eb

  Copy full SHA for 26822eb

• Fix stack test

  zuevmaxim

  committed
  f678455

  Copy full SHA for f678455

• MCAS test

  zuevmaxim

  committed
  4fd4339

  Copy full SHA for 4fd4339

• Fix set to NVM method

  zuevmaxim

  committed
  90a3e2c

  Copy full SHA for 90a3e2c

Commits on Aug 3, 2021

• Fix setToNVM mc tests

  zuevmaxim

  committed
  d768daf

  Copy full SHA for d768daf

• Add durable stack failing tests

  zuevmaxim

  committed
  c8a4438

  Copy full SHA for c8a4438

• Fix ms queue iterations

  zuevmaxim

  committed
  99d825a

  Copy full SHA for 99d825a

• Add relaxed queue custom scenarios

  zuevmaxim

  committed
  40142f2

  Copy full SHA for 40142f2

• Revert atomic nvm api

  zuevmaxim

  committed
  49d68b8

  Copy full SHA for 49d68b8

Commits on Aug 4, 2021

• Fix mc crash count

  zuevmaxim

  committed
  8ae6cc1

  Copy full SHA for 8ae6cc1

• Remove bintray

  zuevmaxim

  committed
  f144671

  Copy full SHA for f144671

• MC immediate system crash

  zuevmaxim

  committed
  73a09b2

  Copy full SHA for 73a09b2

• Refactor recover_all transformer

  zuevmaxim

  committed
  3ef583f

  Copy full SHA for 3ef583f

• Revert crashes in ignored section

  zuevmaxim

  committed
  7da2c12

  Copy full SHA for 7da2c12

• Fix immediate switch in system crash

  zuevmaxim

  committed
  88f5d25

  Copy full SHA for 88f5d25

Commits on Aug 5, 2021

• Add assertions

  zuevmaxim

  committed
  c994c2b

  Copy full SHA for c994c2b

• Fix mc random flush non-determinism

  zuevmaxim

  committed
  ed30f0a

  Copy full SHA for ed30f0a

• Small random

  zuevmaxim

  committed
  2df37b7

  Copy full SHA for 2df37b7

• Add single word cas test

  zuevmaxim

  committed
  ee8bb9b

  Copy full SHA for ee8bb9b

• Fix single cas test

  zuevmaxim

  committed
  929a923

  Copy full SHA for 929a923

• Add queue lock test

  zuevmaxim

  committed
  380d516

  Copy full SHA for 380d516

• Replace lok free test with mc

  zuevmaxim

  committed
  6a53cb0

  Copy full SHA for 6a53cb0

Commits on Aug 6, 2021

• Fix one thread crash

  zuevmaxim

  committed
  3d12ec4

  Copy full SHA for 3d12ec4

• Add RME test

  zuevmaxim

  committed
  27c6dac

  Copy full SHA for 27c6dac

Commits on Aug 9, 2021

• Rename package

  zuevmaxim

  committed
  7e088fc

  Copy full SHA for 7e088fc

• Save crashed actors into CrashResult

  zuevmaxim

  committed
  4a0fa4d

  Copy full SHA for 4a0fa4d

Commits on Aug 10, 2021

• Prepare for buffered durable linearizability

  zuevmaxim

  committed
  8db5bd8

  Copy full SHA for 8db5bd8

• Fix HB in system crash

  zuevmaxim

  committed
  ce87b81

  Copy full SHA for ce87b81

• Fix crash print

  zuevmaxim

  committed
  e65c90a

  Copy full SHA for e65c90a

• Implement buffered durable linearizability

  zuevmaxim

  committed
  6ac8d53

  Copy full SHA for 6ac8d53

Commits on Aug 11, 2021

• Fix tests

  zuevmaxim

  committed
  23384c7

  Copy full SHA for 23384c7

• Fix verification, add tests

  zuevmaxim

  committed
  b48ba31

  Copy full SHA for b48ba31

Commits on Aug 12, 2021

• Fix set test

  zuevmaxim

  committed
  91b7b71

  Copy full SHA for 91b7b71

Commits on Aug 13, 2021

• Revert mc immediate crash: can crash only inside actor

  zuevmaxim

  committed
  35ee8cf

  Copy full SHA for 35ee8cf

• Simplify buffered durable lin verifier

  zuevmaxim

  committed
  364a71a

  Copy full SHA for 364a71a

• Fix choose random seed check

  zuevmaxim

  committed
  4d52285

  Copy full SHA for 4d52285

• Fix CAS test

  zuevmaxim

  committed
  93d403d

  Copy full SHA for 93d403d

Commits on Aug 14, 2021

• Fix verifier

  zuevmaxim

  committed
  ac82b7b

  Copy full SHA for ac82b7b

Commits on Sep 1, 2021

• Fix mc: do not create crash points during system crash

  zuevmaxim

  committed
  d756024

  Copy full SHA for d756024

• Fix mc: random must be changed only after a system crash

  zuevmaxim

  committed
  bf605f8

  Copy full SHA for bf605f8

Commits on Sep 9, 2021

• Revert immutable list

  zuevmaxim

  committed
  13ca195

  Copy full SHA for 13ca195

Commits on Sep 10, 2021

• Set iterations for crash minimization

  zuevmaxim

  committed
  94d456c

  Copy full SHA for 94d456c

• Clean up

  zuevmaxim

  committed
  8a08dd7

  Copy full SHA for 8a08dd7

• Clean up

  zuevmaxim

  committed
  4e449f9

  Copy full SHA for 4e449f9

Commits on Sep 17, 2021

• Rename

  zuevmaxim

  committed
  c676f65

  Copy full SHA for c676f65

• Clean up

  zuevmaxim

  committed
  6887af2

  Copy full SHA for 6887af2

• Rename

  zuevmaxim

  committed
  dbb2706

  Copy full SHA for dbb2706

• Clean up

  zuevmaxim

  committed
  b82f268

  Copy full SHA for b82f268

• Clean up

  zuevmaxim

  committed
  b43c24b

  Copy full SHA for b43c24b

Commits on Sep 18, 2021

• Add comments

  zuevmaxim

  committed
  78e5ed7

  Copy full SHA for 78e5ed7

Commits on Oct 5, 2021

• Add comments

  zuevmaxim

  committed
  f171b70

  Copy full SHA for f171b70

• Add comments and clean up

  zuevmaxim

  committed
  232edd9

  Copy full SHA for 232edd9

• NRL Operation must be Recoverable

  zuevmaxim

  committed
  1a485d5

  Copy full SHA for 1a485d5

• Make ExecutionScenario immutable

  zuevmaxim

  committed
  8c5a49c

  Copy full SHA for 8c5a49c

Commits on Oct 10, 2021

• Get rid of global objects!!

  zuevmaxim

  committed
  35bfc4f

  Copy full SHA for 35bfc4f

• Fix test

  zuevmaxim

  committed
  c10957e

  Copy full SHA for c10957e

• Clean up

  zuevmaxim

  committed
  da3cd7c

  Copy full SHA for da3cd7c

• Add comments

  zuevmaxim

  committed
  84b813d

  Copy full SHA for 84b813d

• Clean up

  zuevmaxim

  committed
  e12ec79

  Copy full SHA for e12ec79

Commits on Oct 11, 2021

• Add comments

  zuevmaxim

  committed
  98c2b56

  Copy full SHA for 98c2b56

• Add comments

  zuevmaxim

  committed
  cefdae2

  Copy full SHA for cefdae2

Commits on Oct 12, 2021

• Clean up

  zuevmaxim

  committed
  cf12fd1

  Copy full SHA for cf12fd1

• Add comments

  zuevmaxim

  committed
  2d72d92

  Copy full SHA for 2d72d92

• Add comments

  zuevmaxim

  committed
  4aa915a

  Copy full SHA for 4aa915a

• Add comments

  zuevmaxim

  committed
  8fb4320

  Copy full SHA for 8fb4320

• Use inline class instead of ContextContainer

  zuevmaxim

  committed
  3ced377

  Copy full SHA for 3ced377

• Move NVM tests to one package

  zuevmaxim

  committed
  f8a01cf

  Copy full SHA for f8a01cf

• Clean up

  zuevmaxim

  committed
  f93a119

  Copy full SHA for f93a119

• Add test

  zuevmaxim

  committed
  6db33d9

  Copy full SHA for 6db33d9

• Clean up

  zuevmaxim

  committed
  4273c0c

  Copy full SHA for 4273c0c

• Clean up

  zuevmaxim

  committed
  46eb485

  Copy full SHA for 46eb485

• Make parallel tests available

  zuevmaxim

  committed
  61f7f2c

  Copy full SHA for 61f7f2c

Commits on Oct 13, 2021

• Primitives: remove default state

  zuevmaxim

  committed
  7c32f72

  Copy full SHA for 7c32f72

• Reload nonVolatile methods

  zuevmaxim

  committed
  39f7769

  Copy full SHA for 39f7769

• Clean up

  zuevmaxim

  committed
  1f42292

  Copy full SHA for 1f42292

• Clean up

  zuevmaxim

  committed
  ac5f8ca

  Copy full SHA for ac5f8ca

Commits on Feb 21, 2022

• Merge remote-tracking branch 'origin/develop' into test-nlr

  zuevmaxim

  committed
  028179a

  Copy full SHA for 028179a

Commits on Feb 22, 2022

• Small ParallelTestsTest

  zuevmaxim

  committed
  ead2f97

  Copy full SHA for ead2f97