Commit Graph

Select branches

Hide Pull Requests

master

resolved-ts

#1

#10

#11

#12

#13

#14

#15

#16

#17

#18

#18

#19

#2

#20

#21

#22

#23

#24

#25

#26

#26

#27

#29

#3

#30

#32

#33

#34

#35

#36

#37

#38

#38

#4

#4

#41

#41

#42

#42

#43

#43

#44

#44

#45

#45

#5

#6

#7

#8

#9

Mono Color

• 93d09f482c
  Merge 163ec841fd into 8ae629ddf9 山岚 2024-12-18 14:04:11 +0800
• 163ec841fd address comments Hillium 2024-12-18 14:03:34 +0800
• d32dd40895 fix typo hillium 2024-10-14 23:11:55 +0800
• c634bbc018 fix typo hillium 2024-10-14 16:58:00 +0800
• 8c78df03f7 added crash and RWLock. hillium 2024-10-14 16:48:47 +0800
• 327ed26772
  Merge d31675af2e into 8ae629ddf9 lance6716 2024-10-12 15:05:20 +0800
• d31675af2e Add DM safe mode replication lance6716 2024-10-12 15:04:40 +0800
• 818c6456cf added WriteAndVerify committing hillium 2024-10-12 14:45:18 +0800
• 4ff317a828
  Merge 64ff1ccfae into 8ae629ddf9 Yuyang Wei 2024-06-09 19:07:39 +0800
• 64ff1ccfae Remove unnecessary comments wego1236 2024-06-09 19:07:30 +0800
• eea41a6f6a add version, clean commit problems wego1236 2024-05-07 16:46:46 +0800
• ea60cd9bb8
  Delete perf.data Yuyang Wei 2024-05-07 16:28:10 +0800
• 42f6f2692a Remove .gitignore wego1236 2024-03-27 09:55:52 +0800
• 600f08986a tidy up the comments wego1236 2024-03-27 09:53:54 +0800
• dd6c9b1d5b Specialized tla+ for RaftRs wego1236 2024-03-23 17:06:05 +0800
• a5854352f8
  Merge 9625b0c9d7 into 8ae629ddf9 ekexium 2023-12-20 23:16:07 +0800
• 9625b0c9d7 spec: introduce generation, making it linearizable ekexium 2023-12-20 23:14:44 +0800
• c32d13d305 spec: initial 3-tier memdb spec; non-linerizable ekexium 2023-12-20 22:22:09 +0800
• 576de2bef8
  Merge 90e3d08b83 into 8ae629ddf9 tonyxuqqi 2023-09-05 10:14:49 +0800
• 90e3d08b83 polish the model tonyxuqqi 2023-09-05 10:14:21 +0800
• 865141dad9 add README.md tonyxuqqi 2023-09-04 23:23:18 +0800
• c26f75e621 fix the module tonyxuqqi 2023-09-04 17:55:22 +0800
• 129e95ca1e add RaftEngineHedge tla module tonyxuqqi 2023-08-29 20:22:19 +0800
• e503fd10cc
  Merge bbca417783 into 8ae629ddf9 ShuNing 2022-06-26 11:31:17 +0200
• 8ae629ddf9
  Add ResolvedTS spec (#27) master Neil Shen 2022-04-21 18:37:21 +0800
• b80ac83420
  add check txn status, read key, read SI check (#37) zhuo1ang 2021-08-22 22:06:49 +0800
• 91b426fc5c
  Merge aaa06315c0 into fc3c672d38 zhuo1ang 2021-08-22 19:05:36 +0800
• aaa06315c0 Fix many bugs Zhuoran He 2021-08-22 18:53:52 +0800
• 33a1d26bfe Fix many bugs Zhuoran He 2021-08-22 17:14:20 +0800
• bfeb6dc8c9 Fix a previous bug, fix check Zhuoran He 2021-08-22 02:41:48 +0800
• b79a5a5bd5 Update async commit, overlap record, invarint check Zhuoran He 2021-08-22 01:53:33 +0800
• bb0f92bb32 Update async prewrited, async client commit Zhuoran He 2021-08-22 00:15:12 +0800
• 84d57ed801 Update async lock, async prewrite msg Zhuoran He 2021-08-21 03:39:09 +0800
• 44f333da77 Add variables key_max_ts Zhuoran He 2021-08-21 02:43:07 +0800
• 53f3141fea add test5 Andy Lok 2021-08-19 15:35:35 +0800
• f30aac4177 fix dead end in optimistic prewrite Andy Lok 2021-08-19 13:51:42 +0800
• 37d05aa3b2 fix typo Andy Lok 2021-08-19 03:45:19 +0800
• d21e46ed0c add comment Andy Lok 2021-08-19 03:42:05 +0800
• 7fff07d5b2 add comment Andy Lok 2021-08-19 03:36:03 +0800
• c04c627269 add comment Andy Lok 2021-08-19 00:27:10 +0800
• fa38768aa9 fix pessimistic si check Andy Lok 2021-08-19 00:18:39 +0800
• 04e021d34c enable snapshot checks Andy Lok 2021-08-18 12:00:10 +0800
• 7ee3808741 update comment Andy Lok 2021-08-17 23:41:50 +0800
• 0051d7d3e0 update assume Andy Lok 2021-08-17 23:30:47 +0800
• 3e2ebb4606 update comment Andy Lok 2021-08-17 23:21:46 +0800
• 6ed4051f1d fix comment Andy Lok 2021-08-17 19:12:46 +0800
• 959dacc552 restucture distributed transaction spec Andy Lok 2021-08-17 17:54:16 +0800
• 42642e305c apply code review suggestion zhuo1ang 2021-08-13 11:37:06 +0800
• 3a30dad75b upd zhuo1ang 2021-07-29 12:23:57 +0800
• 6f67db9200 upd read SI check zhuo1ang 2021-07-19 19:20:20 +0800
• 33cb86e547 fix wrong pessimistic lock amend zhuo1ang 2021-07-12 20:14:45 +0800
• 07caa8d9a0 DistributedTransaction: Add max client check txn times Zhuoran He 2021-07-11 19:00:35 +0800
• 2b21d14020 DistributedTransactions: upd max read times Zhuoran He 2021-07-11 03:13:09 +0800
• 913a5c39c6 DistributedTransactions: extract unlock_key function Zhuoran He 2021-07-07 21:13:23 +0800
• 0a21889611 Add SI check Zhuoran He 2021-06-22 15:57:45 +0800
• d50703f526 Add CheckTxnStatus, haven't checked by the TLC Zhuoran He 2021-06-04 18:34:09 +0800
• 63070efb4f
  Apply suggestions from code review: upd comments. zhuo1ang 2021-06-08 19:09:54 +0800
• e54825b1cb DistributedTransaction: CheckTxnStatus: update comments Zhuoran He 2021-06-08 07:34:33 +0800
• 8234d649e6
  update CheckTxnStatus comment zhuo1ang 2021-06-07 19:06:02 +0800
• 7411a19478 DistributedTransaction: CheckTxnStatus: format spec Zhuoran He 2021-06-07 18:11:02 +0800
• 8bd0639013 Merge remote-tracking branch 'origin/dev2-resolve-pessmistic' into dev2-resolve-pessmistic Zhuoran He 2021-06-07 16:20:57 +0800
• cda47764f1 DistributedTransaction: CheckTxnStatus: refactor Zhuoran He 2021-06-07 16:20:10 +0800
• dbf612cba7
  change a var name zhuo1ang 2021-06-05 23:40:33 +0800
• d66749287e DistributedTransaction: fix checkTxnStatus bugs Zhuoran He 2021-06-05 09:12:13 +0800
• 4e3ba16b4b revert a change Zhuoran He 2021-06-04 21:22:12 +0800
• 03b2944c0b Add CheckTxnStatus, haven't checked by the TLC Zhuoran He 2021-06-04 18:34:09 +0800
• 36b46f2961 Add CheckTxnStatus Msgs Zhuoran He 2021-06-03 01:11:01 +0800
• c134d75866 resolve conflict Zhuoran He 2021-06-01 03:56:05 +0800
• 594a9822bf DistributedTransaction: Add ResolvePessimisticLock Zhuoran He 2021-06-01 00:13:18 +0800
• fc3c672d38
  fix typo: transaction tla (#34) zhuo1ang 2021-04-11 00:03:39 +0800
• b509e01e72 fix typo: transaction tla Zhuoran He 2021-04-10 20:29:20 +0800
• 6307a61097
  DistributedTransaction: rewrite monotonicity formulas to check SnapshotIsolation (#33) ekexium 2020-10-28 10:20:02 +0800
• ae7b398095 delete proof ekexium 2020-10-28 10:11:57 +0800
• a5cbe3ccbb DistributedTransaction: check SnapshotIsolation ekexium 2020-10-10 15:14:22 +0800
• 1d5e243a20 DistributedTransaction: rewrite monotonicity formulas ekexium 2020-10-10 15:01:04 +0800
• a91ebf4fb8 fix typo andylokandy 2020-07-10 21:17:40 +0800
• 2c7df4dd2a only write rollback record on primary keys andylokandy 2020-07-10 21:10:54 +0800
• b9806173e6
  Merge pull request #30 from andylokandy/dis Andy Lok 2020-07-10 18:55:18 +0800
• 8128e56c84 fix typo andylokandy 2020-07-10 18:53:20 +0800
• 92ff853acf update spec andylokandy 2020-04-08 03:15:41 +0800
• c8aeb14b83
  update readme Andy Lok 2020-04-08 03:03:43 +0800
• 84639c0422 refine distributed transaction andylokandy 2020-04-08 02:36:57 +0800
• c108f8d201 add pessimistic test2 andylokandy 2020-03-31 00:59:51 +0800
• 862ad765b8 fix pessimistic spec andylokandy 2020-03-30 16:54:24 +0800
• 00f95e6457
  protect primary key of pessimistic txn Yilin Chen 2019-10-30 13:40:11 +0800
• a7364dcd83
  fix wrong toolbox preference Yilin Chen 2019-10-30 11:39:32 +0800
• 4a79d0785c
  implement optimistic transaction Yilin Chen 2019-10-28 11:59:49 +0800
• 3c1878e986
  distinguish from optimistic and pessimistic Yilin Chen 2019-10-28 10:58:23 +0800
• c9af93cee7
  implement collapse rollback Yilin Chen 2019-10-25 16:45:24 +0800
• be9ddc9e7a
  add comments to the spec Yilin Chen 2019-10-23 20:52:20 +0800
• 8651a52770
  fix DoLockKey Yilin Chen 2019-10-23 17:30:20 +0800
• 2b6cbec94d
  add cases for response loss Yilin Chen 2019-10-23 14:12:02 +0800
• f932541426
  remove lock_resolver Yilin Chen 2019-10-23 13:28:19 +0800
• 826b8899a7
  Add full process Yilin Chen 2019-10-22 20:39:29 +0800
• 9dcdf941e4
  lock pessimistic keys Yilin Chen 2019-10-22 15:57:36 +0800
• 977207b0fc
  clean trailing spaces Yilin Chen 2019-10-21 17:36:43 +0800
• 5e02db1bfb
  add start action Yilin Chen 2019-10-21 17:36:20 +0800
• 33e2a83627
  pessimistic init Yilin Chen 2019-10-21 16:36:56 +0800
• 5fcc39c030 clean up resolved-ts Neil Shen 2019-10-21 10:24:36 +0800
• 6addaabd2e Add ResolvedTS spec Neil Shen 2019-10-19 18:04:53 +0800