Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

NVM testing #49

Open
wants to merge 190 commits into
base: develop
Choose a base branch
from
Open
Changes from 1 commit
Commits
Show all changes
190 commits
Select commit Hold shift + click to select a range
be2d094
NRL stress testing
zuevmaxim Nov 25, 2020
a5700d8
Some optimization
zuevmaxim Dec 14, 2020
2cda77f
Implement primitives
zuevmaxim Dec 14, 2020
98bf051
Fix
zuevmaxim Dec 14, 2020
d14e554
Use one crash exception
zuevmaxim Jan 10, 2021
af678e2
Execution result equals hashCode
zuevmaxim Jan 10, 2021
56376fb
Update primitives
zuevmaxim Jan 12, 2021
2f838bf
Implement system crash
zuevmaxim Jan 14, 2021
959c58e
Implement small set for cache
zuevmaxim Jan 16, 2021
e54fab1
Test with 3 threads
zuevmaxim Jan 16, 2021
0a22fea
Extract recoverable runner
zuevmaxim Jan 17, 2021
d5c39ba
Implement durable model run
zuevmaxim Jan 20, 2021
21508fb
Durable verification, WIP
zuevmaxim Jan 22, 2021
2d087fc
Do not save crashes
zuevmaxim Jan 23, 2021
7290fce
Context container
zuevmaxim Jan 23, 2021
5c27d3d
Reset cache
zuevmaxim Jan 24, 2021
ccdfcdb
No crashes recover model
zuevmaxim Jan 24, 2021
495c344
Busy waiting barrier
zuevmaxim Jan 24, 2021
6c8b37f
Fix increment clock on crash
zuevmaxim Jan 25, 2021
1a4efb4
Implement system crash
zuevmaxim Feb 1, 2021
c277bca
Durable recover
zuevmaxim Feb 1, 2021
f00f8c1
Await recover
zuevmaxim Feb 1, 2021
e1dcb0c
Use clocks only on crash
zuevmaxim Feb 1, 2021
34870a7
Update queue test
zuevmaxim Feb 1, 2021
0cb603a
Fix barrier
zuevmaxim Feb 1, 2021
596c060
Fix system crash for NRL
zuevmaxim Feb 2, 2021
f502f2e
Add tests
zuevmaxim Feb 2, 2021
22cb87f
Merge remote-tracking branch 'origin/develop' into test-nlr
zuevmaxim Feb 3, 2021
d0e6d26
Probability model: take actual number of 'possiblyCrash' calls into a…
zuevmaxim Feb 3, 2021
447887c
Remove durable automatic recover
zuevmaxim Feb 7, 2021
32bbf8e
Rename node
zuevmaxim Feb 9, 2021
ea6d813
Update test
zuevmaxim Feb 13, 2021
7dd37d1
Add link free test
zuevmaxim Feb 16, 2021
eceb400
Revert durable recover for all threads
zuevmaxim Feb 23, 2021
b1dbab8
Merge remote-tracking branch 'origin/develop' into test-nlr
zuevmaxim Feb 23, 2021
e49ffb0
Revert durable recover for single thread
zuevmaxim Feb 23, 2021
e93a115
Move test
zuevmaxim Feb 23, 2021
f2b78d0
Crash only before api calls
zuevmaxim Feb 23, 2021
bf92ec1
Crash on writes
zuevmaxim Feb 23, 2021
5086aa5
Introduce proxy crash error
zuevmaxim Feb 23, 2021
5b24ada
Pass CrashError through catch Throwable
zuevmaxim Feb 23, 2021
05c370a
Remove log
zuevmaxim Feb 23, 2021
79d90ca
Add uniform distribution test
zuevmaxim Mar 14, 2021
fe90e1e
Fix test
zuevmaxim Mar 21, 2021
a698a85
Fix test with recovery
zuevmaxim Mar 24, 2021
014218c
Add failing counter tests
zuevmaxim Mar 24, 2021
9df0ee6
Update persistent test
zuevmaxim Mar 24, 2021
274cb6c
Add RWO failing tests
zuevmaxim Mar 24, 2021
f1f64be
Update tests
zuevmaxim Mar 24, 2021
69d6916
Add TAS failing tests
zuevmaxim Mar 24, 2021
3529e99
Some small refactorings
zuevmaxim Mar 25, 2021
4c85ef8
Add durable queue failing tests
zuevmaxim Mar 25, 2021
4284345
Disable failing tests
zuevmaxim Mar 25, 2021
cffd14d
Add a workaround for TAS tests
zuevmaxim Mar 25, 2021
bff8892
Turn on counter test
zuevmaxim Mar 25, 2021
25a79dd
Fix failing tests
zuevmaxim Mar 25, 2021
0172605
Fix set tests
zuevmaxim Mar 25, 2021
64307da
Add uniform distribution test
zuevmaxim Mar 26, 2021
82dc16d
Use binary search
zuevmaxim Mar 26, 2021
60869ff
Reload static context per scenario
zuevmaxim Mar 28, 2021
8e48c95
Add durable set failing tests
zuevmaxim Mar 28, 2021
bb25dea
Update durable set test
zuevmaxim Mar 28, 2021
1cfa600
Add MCAS tests
zuevmaxim Mar 28, 2021
fd35947
Fix: add a crash in before return
zuevmaxim Mar 28, 2021
5b37663
Implement detectable execution model
zuevmaxim Mar 28, 2021
f9f44f6
Fix counter test
zuevmaxim Mar 28, 2021
4a8e5cc
Fix recover for detectable execution
zuevmaxim Mar 30, 2021
d5cbfb7
Fix recover for durable model
zuevmaxim Apr 4, 2021
a3aeb49
Add one actor probability model
zuevmaxim Apr 18, 2021
ef9bfe9
Enable model checking NVM options
zuevmaxim Apr 18, 2021
54b8938
Refactor tests run
zuevmaxim Apr 18, 2021
a97cc8b
Add log queue test
zuevmaxim Apr 18, 2021
ce28a0c
Prepare for model checking implementation
zuevmaxim Apr 18, 2021
e954567
Disable log queue test
zuevmaxim Apr 27, 2021
8231053
Model checking implementation for NVM (#79)
zuevmaxim May 12, 2021
7d952f5
Nvm probability (#85)
zuevmaxim May 14, 2021
387cfe3
Fix set test
zuevmaxim May 14, 2021
55b03f5
Fix test
zuevmaxim May 14, 2021
bc0b81c
Add log queue test
zuevmaxim May 14, 2021
5107665
Fix test
zuevmaxim May 14, 2021
965f69f
Fix log test
zuevmaxim May 15, 2021
e8b7ab3
Single thread crash in MC (#88)
zuevmaxim May 19, 2021
0b6c447
Update ReadWriteObjectTest.kt
ndkoval May 25, 2021
d615b8d
Limit crashes number in MC
zuevmaxim May 24, 2021
199ac54
Rewrite MCAS test
zuevmaxim May 24, 2021
a590665
Merge remote-tracking branch 'origin/develop' into test-nlr
zuevmaxim Jun 1, 2021
68e45b1
Fix merge
zuevmaxim Jun 1, 2021
4199c7f
Merge remote-tracking branch 'origin/develop' into test-nlr
zuevmaxim Jun 29, 2021
26867b0
Fix merge
zuevmaxim Jun 29, 2021
1d54853
Refactor durable verifier
zuevmaxim Jun 29, 2021
793e098
Decrease test iterations
zuevmaxim Jun 29, 2021
39f2a49
Fix
zuevmaxim Jun 29, 2021
96c08f2
Fix random flush: it can happen after any write operation
zuevmaxim Jul 5, 2021
abc4ab6
Add repository
zuevmaxim Jul 5, 2021
6f60e22
Add repository
zuevmaxim Jul 5, 2021
136e51c
Merge remote-tracking branch 'origin/develop' into test-nlr
zuevmaxim Jul 25, 2021
936a4c6
Add links
zuevmaxim Jul 25, 2021
42c17c8
Extract model checking for crashes (#103)
zuevmaxim Jul 26, 2021
65284f9
Add random choosing node
zuevmaxim Jul 5, 2021
8f4e923
Fasten simple tests
zuevmaxim Jul 26, 2021
bfce59c
Fix CrashFree mc
zuevmaxim Jul 27, 2021
36c4cea
Fix force switch on crash
zuevmaxim Jul 27, 2021
194d035
Choose random seed only in root
zuevmaxim Jul 27, 2021
567a953
Set iteration seed for custom scenarios
zuevmaxim Aug 1, 2021
591aa0b
Add relaxed queue test
zuevmaxim Aug 1, 2021
3c43d1c
Set random seeds to 16
zuevmaxim Aug 1, 2021
7c656e3
Fix test
zuevmaxim Aug 2, 2021
00a40b3
Smaller MSQueue test
zuevmaxim Aug 2, 2021
bed2644
Larger smart set
zuevmaxim Aug 2, 2021
1c79c0f
Fix relaxed queue test
zuevmaxim Aug 2, 2021
ec07109
Revert "Choose random seed only in root"
zuevmaxim Aug 2, 2021
3797e6d
Add stack test
zuevmaxim Aug 2, 2021
26822eb
Durable Stack fixed + flushInternal-s should be synchronized
ndkoval Aug 2, 2021
f678455
Fix stack test
zuevmaxim Aug 2, 2021
4fd4339
MCAS test
zuevmaxim Aug 2, 2021
90a3e2c
Fix set to NVM method
zuevmaxim Aug 2, 2021
d768daf
Fix setToNVM mc tests
zuevmaxim Aug 3, 2021
c8a4438
Add durable stack failing tests
zuevmaxim Aug 3, 2021
99d825a
Fix ms queue iterations
zuevmaxim Aug 3, 2021
40142f2
Add relaxed queue custom scenarios
zuevmaxim Aug 3, 2021
49d68b8
Revert atomic nvm api
zuevmaxim Aug 3, 2021
8ae6cc1
Fix mc crash count
zuevmaxim Aug 4, 2021
f144671
Remove bintray
zuevmaxim Aug 4, 2021
73a09b2
MC immediate system crash
zuevmaxim Aug 4, 2021
3ef583f
Refactor recover_all transformer
zuevmaxim Aug 4, 2021
7da2c12
Revert crashes in ignored section
zuevmaxim Aug 4, 2021
88f5d25
Fix immediate switch in system crash
zuevmaxim Aug 4, 2021
c994c2b
Add assertions
zuevmaxim Aug 4, 2021
ed30f0a
Fix mc random flush non-determinism
zuevmaxim Aug 4, 2021
2df37b7
Small random
zuevmaxim Aug 5, 2021
ee8bb9b
Add single word cas test
zuevmaxim Aug 5, 2021
929a923
Fix single cas test
zuevmaxim Aug 5, 2021
380d516
Add queue lock test
zuevmaxim Aug 5, 2021
6a53cb0
Replace lok free test with mc
zuevmaxim Aug 5, 2021
3d12ec4
Fix one thread crash
zuevmaxim Aug 6, 2021
27c6dac
Add RME test
zuevmaxim Aug 6, 2021
7e088fc
Rename package
zuevmaxim Aug 9, 2021
4a0fa4d
Save crashed actors into CrashResult
zuevmaxim Aug 9, 2021
8db5bd8
Prepare for buffered durable linearizability
zuevmaxim Aug 10, 2021
ce87b81
Fix HB in system crash
zuevmaxim Aug 10, 2021
e65c90a
Fix crash print
zuevmaxim Aug 10, 2021
6ac8d53
Implement buffered durable linearizability
zuevmaxim Aug 10, 2021
23384c7
Fix tests
zuevmaxim Aug 11, 2021
b48ba31
Fix verification, add tests
zuevmaxim Aug 11, 2021
91b7b71
Fix set test
zuevmaxim Aug 12, 2021
35ee8cf
Revert mc immediate crash: can crash only inside actor
zuevmaxim Aug 13, 2021
364a71a
Simplify buffered durable lin verifier
zuevmaxim Aug 13, 2021
4d52285
Fix choose random seed check
zuevmaxim Aug 13, 2021
93d403d
Fix CAS test
zuevmaxim Aug 13, 2021
ac82b7b
Fix verifier
zuevmaxim Aug 14, 2021
d756024
Fix mc: do not create crash points during system crash
zuevmaxim Aug 22, 2021
bf605f8
Fix mc: random must be changed only after a system crash
zuevmaxim Sep 1, 2021
13ca195
Revert immutable list
zuevmaxim Sep 9, 2021
94d456c
Set iterations for crash minimization
zuevmaxim Sep 10, 2021
8a08dd7
Clean up
zuevmaxim Sep 10, 2021
4e449f9
Clean up
zuevmaxim Sep 10, 2021
c676f65
Rename
zuevmaxim Sep 17, 2021
6887af2
Clean up
zuevmaxim Sep 17, 2021
dbb2706
Rename
zuevmaxim Sep 17, 2021
b82f268
Clean up
zuevmaxim Sep 17, 2021
b43c24b
Clean up
zuevmaxim Sep 17, 2021
78e5ed7
Add comments
zuevmaxim Sep 17, 2021
f171b70
Add comments
zuevmaxim Sep 19, 2021
232edd9
Add comments and clean up
zuevmaxim Sep 19, 2021
1a485d5
NRL Operation must be Recoverable
zuevmaxim Sep 22, 2021
8c5a49c
Make ExecutionScenario immutable
zuevmaxim Sep 19, 2021
35bfc4f
Get rid of global objects!!
zuevmaxim Oct 10, 2021
c10957e
Fix test
zuevmaxim Oct 10, 2021
da3cd7c
Clean up
zuevmaxim Oct 10, 2021
84b813d
Add comments
zuevmaxim Oct 10, 2021
e12ec79
Clean up
zuevmaxim Oct 10, 2021
98c2b56
Add comments
zuevmaxim Oct 11, 2021
cefdae2
Add comments
zuevmaxim Oct 11, 2021
cf12fd1
Clean up
zuevmaxim Oct 12, 2021
2d72d92
Add comments
zuevmaxim Oct 12, 2021
4aa915a
Add comments
zuevmaxim Oct 12, 2021
8fb4320
Add comments
zuevmaxim Oct 12, 2021
3ced377
Use inline class instead of ContextContainer
zuevmaxim Oct 12, 2021
f8a01cf
Move NVM tests to one package
zuevmaxim Oct 12, 2021
f93a119
Clean up
zuevmaxim Oct 12, 2021
6db33d9
Add test
zuevmaxim Oct 12, 2021
4273c0c
Clean up
zuevmaxim Oct 12, 2021
46eb485
Clean up
zuevmaxim Oct 12, 2021
61f7f2c
Make parallel tests available
zuevmaxim Oct 12, 2021
7c32f72
Primitives: remove default state
zuevmaxim Oct 13, 2021
39f7769
Reload nonVolatile methods
zuevmaxim Oct 13, 2021
1f42292
Clean up
zuevmaxim Oct 13, 2021
ac5f8ca
Clean up
zuevmaxim Oct 13, 2021
028179a
Merge remote-tracking branch 'origin/develop' into test-nlr
zuevmaxim Feb 21, 2022
ead2f97
Small ParallelTestsTest
zuevmaxim Feb 22, 2022
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Larger smart set
  • Loading branch information
zuevmaxim committed Aug 2, 2021
commit bed2644330c4125cfc7f3a094f43a68640b132f8
Original file line number Diff line number Diff line change
@@ -22,7 +22,7 @@

package org.jetbrains.kotlinx.lincheck.nvm

const val SIZE = 4
const val SIZE = 8

/**
* Set optimised for small number of elements.