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.

Sign up for GitHub

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

Jump to bottom

NVM testing #49

Open
wants to merge 190 commits into
base: develop
Choose a base branch
from
Open

NVM testing #49

wants to merge 190 commits into from

Conversation

zuevmaxim
Copy link
Collaborator

No description provided.

ndkoval
ndkoval reviewed Oct 22, 2020
View reviewed changes
src/main/java/org/jetbrains/kotlinx/lincheck/annotations/Recover.kt Outdated Show resolved Hide resolved
src/main/java/org/jetbrains/kotlinx/lincheck/nvm/Persistent.kt Outdated Show resolved Hide resolved
...ains/kotlinx/lincheck/test/verifier/nesting_safe_recoverable_linearizability/set/NRLSet.java Outdated Show resolved Hide resolved
...rains/kotlinx/lincheck/test/verifier/nesting_safe_recoverable_linearizability/set/SetTest.kt Outdated Show resolved Hide resolved
...rains/kotlinx/lincheck/test/verifier/nesting_safe_recoverable_linearizability/set/SetTest.kt Outdated Show resolved Hide resolved
...ns/kotlinx/lincheck/test/verifier/nesting_safe_recoverable_linearizability/TestAndSetTest.kt Outdated Show resolved Hide resolved
src/test/java/org/jetbrains/kotlinx/lincheck/test/verifier/linearizability/MSQueueTest.kt Outdated Show resolved Hide resolved
src/test/java/org/jetbrains/kotlinx/lincheck/test/verifier/linearizability/MSQueueTest.kt Outdated Show resolved Hide resolved
src/main/java/org/jetbrains/kotlinx/lincheck/nvm/crash.kt Outdated Show resolved Hide resolved
src/main/java/org/jetbrains/kotlinx/lincheck/nvm/CrashException.kt Outdated Show resolved Hide resolved
Base automatically changed from model-checking to develop November 3, 2020 10:36
@zuevmaxim
Copy link
Collaborator Author

zuevmaxim commented Nov 16, 2020 •
edited

Частично реализована стресс стратегия:

  1. методы, помеченные Recover трансформируются в recover вызов
  2. трансформацией добавлены потенциальные выбросы CrashError
  3. вероятность случайного выброса регулируется параметрами: настраиваемый ExpectedCrashes, количеством потенциальных выбросов и общим числом акторов
  4. добавлена минимизация crash-ей с помощью регуляции ExpectedCrashes
  5. отчет о crash-ах - для каждого потока сообщается в каком акторе произошёл какой выброс
  6. аннотация CrashFree позволяет убрать добавление потенциальных выбросов из данного класса или метода

TODO:

  • потенциальный выброс должен происходить около записей в память, а не перед каждым методом, как сейчас

  • проброс CrashError через catch (Throwable)

  • одновременное падение всех потоков

  • сброс переменных при падении всех потоков

  • durable linearizability

  • Persisted CAS

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ndkoval ndkoval Awaiting requested review from ndkoval

@alefedor alefedor Awaiting requested review from alefedor

Requested changes must be addressed to merge this pull request.

Assignees
No one assigned
Labels
postponed
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@zuevmaxim @ndkoval @alefedor