3TS icon indicating copy to clipboard operation
3TS copied to clipboard

feat: support bug detection related to isolation level

Open Tang-Kin-Long opened this issue 1 year ago • 7 comments

feat: support bug detection related to isolation level

resolve the issue: bug detection related to isolation level

Modify parts of code in Coo consistency check to realize the error detection result output of related isolation level.

Reference the test data as well.

Sample Output: --------file:rr_s_s_avoid-------- Transaction 1:-----repeatable-read----- Error Detection: No error in this isolation level. Transaction 2:-----serializable----- Edge(begin_time=4, type=ICR, out=3) Error Detection: Phantom-Read Transaction 3:-----serializable----- Error Detection: No error in this isolation level. ---------------------------------#

Tang-Kin-Long avatar Jul 19 '24 10:07 Tang-Kin-Long

CLA assistant check
Thank you for your submission, we really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
You have signed the CLA already but the status is still pending? Let us recheck it.

tencent-adm avatar Jul 19 '24 10:07 tencent-adm

Hello, I am one of the code reviewers. Can you translate your pr title, description, commit messages to English? And we recommend using this format to title your PR.

hldgs avatar Jul 22 '24 11:07 hldgs

you can use "feat: support bug detection related to isolation level", and please add the issues you resolved in description.

hldgs avatar Jul 23 '24 07:07 hldgs

you can use "feat: support bug detection related to isolation level", and please add the issues you resolved in description.

Okay!

Tang-Kin-Long avatar Jul 23 '24 10:07 Tang-Kin-Long

if any questions, reply me directly

I have made the expected modification, please check, thank you.

Tang-Kin-Long avatar Jul 24 '24 07:07 Tang-Kin-Long

do you test your commit on all dbmss?

hldgs avatar Jul 29 '24 00:07 hldgs

do you test your commit on all dbmss?

No, I haven't installed Docker and configured the test environment. I am trying to do that.

Tang-Kin-Long avatar Jul 29 '24 03:07 Tang-Kin-Long