Release v0.1.9

Changelog

b19cd86 Also publish instrumentation-base to maven central.
3e72475 Rename subprojects and publish Fray to maven central (#103)
17d47f4 Switch default scheduler to POS (#98)
028e1fa Change versions to 0.1.8-SNAPSHOT. (#96)
4e73e75 Cleanup changes. (#95)
dab5161 Improve PCT algorithm and make replay more deterministic (#94)
2c16633 Fix test hang and improve Fray gradle plugin. (#93)
57586a3 Update LICENSE (#92)
0be2be6 Fix NPE if thread.interrupt is called but not started. (#91)
588f2d0 Fix Flink test hang. (#90)
cbfc8a5 Temporarily disable delay scheduling of Thread.sleep (#89)
7284074 Treat sleep as a timed blocking operation. (#88)
888f370 Update README.md (#87)
1ae29a5 Update readme. (#86)
ed28773 Fix memory leaks caused by circular referencing. (#85)
c3dae54 Run debug in no-fray mode. (#84)
3a72a4a Skip scheduling decisions when there is only one schedulable thread. (#83)
798b215 Highlight executing threads (#82)
cf65a43 Show stack frames for scheduable threads. (#81)
f3fd352 Initial implementation of Intellij Plugins (#80)
6aa1116 Fix release. Only run release on staging mode (#79)
6edd0cc Add github action to release packages (#78)
51f16b8 Allow JUnit plugin to select scheduler. (#77)
d6a3698 Add more tests for ReentrantReadWriteLock (#76)
88c32c9 Refactor concurrency primitives in Fray. (#75)
b1250b1 Refactor the implementation for locks. (#74)
910d201 Save schedule when error found by JUnit plugin. (#73)
c3be45c Create test folder before running the test (#72)
6cca8d2 Implement FrayExtension for Junit Jupiter (#71)
1d17478 Create new test class at each iteration. (#69)
b639ab1 Introduce no-fray mode (#67)
c9e8c18 Fix Fray hang when deadlock is detected. (#66)
78a0798 update. (#65)
310418e Disable object hashcode instrumenter. (#64)
6cb5ab9 Log thread info when bug found (#63)
de82ded Fix race in CountDownLatch timed wait (#62)
66b02e8 Fix condition wait timeout. (#61)
9d1f60b Simplify log file. (#60)
55a2991 Improve error logging (#59)
e9302bf update. (#58)
083bfa5 Fix bug in cdl. (#57)
5cfecb3 Fix cdl deadlock. (#56)
e4af5e5 Fix concurrent modify exception in cdl. (#55)
e4ae7a3 Support timed tryLock. (#54)
98b2e50 Fix timed countdownlatch hang. (#53)
76a3fec update. (#52)
fb21845 Fix deadlock caused by spurious wakeups. (#51)
ff39159 Refactor Fray tests. (#50)
44b1424 Increase nanoTime interval. (#49)
7c0892a Yield when sleep (#48)
568d3fe Support timed operations. (#47)
93796c2 Add timeout option and remove log4j dependency (#46)
7e3c69f Fix instrumentation bug. (#45)
40a1f3c Add integration test framework (#44)
f370c7b Copy dependencies after build. (#43)
c80c6e9 Support spurious wakeup. (#42)
333bf16 Extract real exception thrown by test targets. (#41)
211c158 Fix fray bin (#40)
5455c6e Instrument sleep statements. (#38)
2467497 Redirect logs to stdout in replay mode and introduce deterministic ThreadLocalRandom (#35)
eabbd5b Fix the ./bin/fray after refactor (#34)
e2a0537 Reduce command-line refresh frequency. (#32)
75bc041 Merge pull request #31 from cmu-pasta/deterministic-execution
e4302a3 Fix test.
32f2f28 Format.
e3c1be7 update.
ff99a10 update.
7c22193 checkpoint.
99b8fb9 checkpoint.
5c47600 Merge pull request #30 from cmu-pasta/hashcode-remap
2f54bdf bump version number and fix build.
af3f5b0 Allow Fray to control Object.hashCode.
4e607d2 upgrade fray.
7411e84 update.
4b945ee update.
9c8b40c Fix build.
07c46bd Fix build dependencies.
0b461fe Add tests
6a5e483 update readme.
3a57641 update.
b1c4c55 update.
ff73ed0 update.
997b6fb Release 0.1.1
fa98c38 support maven plugin.
07a9df6 update.
e971c6b Merge branch 'main' of github.com:cmu-pasta/fray
d2b59c4 update.
04d0c76 Update README.md
5cd973d line break.
2cbf413 update readme.
12deb63 Update readme.
600e763 update.
0b79954 Also publish jvmti.
be75da9 allow manual release.
defe195 update.
6852100 update.
4996f4e refactor.
ba143c2 Fix JUnit plugin running multiple tests at the same time.
fe1a506 update.
5e65298 Rename group ID
7da360e Cleanup, and make GlobalContext a class
e784917 update.
0e386dc update.
5ad0653 update.
45daa66 upgrade to kotlin 2.0.0
43a6480 Merge branch 'main' of github.com:cmu-pasta/sfuzz
51af95a update.
f5a72ad Update LICENSE
4b214dd Create LICENSE
bc39f2d update.
3c8fe28 Merge pull request #28 from cmu-pasta/junit
2bbb82d update.
da16e04 update.
7fe7ae3 update.
dc7eed1 Merge branch 'main' into junit
d2fc3fe update.
86733ee update.
d54bde3 update.
e6c569b update.
012f90f update.
f167de6 update.
e3e4e35 update.
d9066ba update.
b90face add script to generate wrapper automatically.
4870923 Simplify build process.
ee066d3 update.
43cc30a update.
a2e9d2e repo cleanup.
5dc971e fmt
d5b864d update.
9ac4ce8 update.
44e632d update.
5531773 update.
b1df445 Revert "move atomic instrumentation to application level."
00d6612 move atomic instrumentation to application level.
d114c0f update.
5ee8b10 update.
d476821 update.
6a4eb24 add fray example.
c8cef43 update.
929dabf fix test.
0158363 update.
4c360fa add explore mode.
37d7111 update.
19e0bf2 print failure report.
ca20db6 fix.g
9433acb update.
7806d49 update.
19294e1 update.
a599915 format.
279174c update.
2bd6a11 use snake case for config file.
6b002e5 fix junit runner.
485d8b7 fix build.
db21f9a update.
78d1105 update.
01121ca update.
dba64b6 update.
10b9b7f update.
95fe5d2 fmt.
2c896f4 fix tryLock with timeout.
a63c31e fmt.
7e57e3a add timed tryCatch.
1f76537 check interruption before lock
ec0a924 intercept isInterrupted method.
c362f50 fmt.
6fbf56d refactor.
d7f2a4c update.
5c8445e print more info.
1130066 update.
bc2c3e6 update.
cf5294d update.
3d1903c More robuts thread interrupt.
2a4a156 fix test.
0dc5b4b fmt.
3b1dd0f Add JUnit analyzer.
da05a64 fix bugs.
e53621c Fix memory leak.
38182e4 disable sleep.
db3e978 fix deadlocks.
70ef709 Merge branch 'main' of github.com:cmu-pasta/sfuzz
a9e6795 add more configuration options.
d444740 Increase max scheduling stepss
2fe0774 update.
17c6c19 disable instrumentation verification while instrumenting old jar files.
0b10c03 Update build.gradle.kts
ca34e85 update
ddc20c7 fix checker.
1694f0e fix instrumentation issues.
e5af346 Script for compiling/running jacontebe targets
6a0461f Add wrappers to run JaConTeBe
047ddc6 do not resovle class during instrumentation.
6e93b4f fix verification error.
0df0a95 fix jdk instrumentation.
0eda011 Fix verification error caused by instrumentation.
9216377 add scheduling point at array instructions.
08f8d7e fix more deadlock.
04aaeeb more error info & fix deadlocks.
85bd4c1 add architecture diagram.
03d42a2 Rename the project to fray🥳
cb0a3d3 fmt.
4a44ece fix a rare race.
8d9d4d6 update.
a0725f5 update.
32cf537 add test.
84c23bd update.
01ada51 fmt
c963bce Merge branch 'leo/memoryop' of github.com:cmu-pasta/sfuzz into leo/memoryop
b331243 measure bug finding time
305fce5 format.
f0c2f6f fix hangs.
c010818 add option to interleave all memory operations.
73a512a Implement PCT.
1d48f13 update.
79337aa fmt.
4ed9636 Add add lincheck tests.
ed85834 fix test.
5bb9952 Add ConcurrentLinkDequeTest.
5658bc7 Disable test for now.
19d8f00 Add test.
a70670c fix count down latch concurrent execution.
0f1515e use test runner.
5f4a6b1 Test count down latch interruption.
a622601 support lock interruption.
9b3c8a6 Fix POS.
1ed747a make scheduler a property.
9dd78d5 fix fmt.
097276d fix deadlock.
39a44f3 add reportError method.
5339a54 update readme.
639822f Handle Deadlocks.
f417063 skip print.
059f6c9 Make sure SFuzz stops gracefully when failure occurs.
c722175 fix ci.
906713c Fix volatile fields.
7d84851 Fix sigfault for Thread.interrupted.
adb6ff9 add logger option
efffedb add kotlin fmt.
b229cc5 Support count down latch.
2e1f9b3 Fix test.
dbbee86 Add semaphore test.
7274e60 Random scheduler (#23)
c809871 Add integration test for Condition.await and Condition.signal based on SCTBench example. (#22)
f6916e6 Add check for index thread priority queue in POS Scheduler
cca1622 reentrantrwlock checkpoint.
0c2bc11 ReetrantReadWriteLock checkpoint.
cad5e45 checkpoint.
8695d2c LockManager refactor.
44fe14f Add tests.
1e48962 Add it.
df1f79d Support interrupts.
4babd27 Fix main thread exits before worker threads.
c637704 Fix wrong unblock calls.
899e6bd Merge pull request #20 from cmu-pasta/leo/refactor
a8a7182 Rename signalObject to waitingObject.
1e3e61e update.
847b8df Merge pull request #1 from cmu-pasta/vasu/condition_inst
a7bd204 Clean
843d481 Reset instrumentation main
6d50ab9 Await and signal passing example
8b4e005 Initial refactored await/condition
8c5f84b Finish merge
188854b Add basic condition example
f82785a update.
516c412 Updating gradle config to make it work on macOS (#19)
18cd4b0 update.
7a1466b update.
a8f2433 update.
43e5795 Fix deadlocks.
0986b81 update.
70ca803 update.
4f7b5d6 checkpoint.
3abedde done park.
9d5331d update.
a9eb8d8 update.
b1b233b checkpoint.
3be2635 update.
1c091da We should not have default arguments for methods.
27cebb8 Fix VerifyError while using ldc_w in class files version < 49
bee1096 Fix scheduling new thread, which is not started; Add POS.
9a33742 log more memory info.
bf192f6 bms.
74c8786 done atomic tests.
7faa209 skip scheduling points in class loader.
d1485ac Add itegration tests.
9298584 remove debugging code.
8f3b2fe fix java 16 daemon thread creation failure.
7ca5707 update.
9201354 update.
3389182 update.
30705e9 Write to CSV files.
64a4f78 update.
88832bd bms ready.
4b90c7e benchmark ready.
4dffde1 benchmark checkpoint.
e8827aa Update.
d43e6bf add logs.
6b74d85 update.
3048666 cleanup.
c9634e4 Fix missing Runtime class in module-info
2315f4a Atomic.
1131698 update.
6e9d66f remove logs.
bd6bfff Implement reentrant lock.
fb46cb0 Temp: replace object.wait operations.
1dd9d84 update.
69880de Monitor thread wait and notify.
68a1796 object.wait/notify.
5412a91 update.