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

Fix checker #5

Closed
wants to merge 32 commits into from
Closed

Fix checker #5

wants to merge 32 commits into from

Conversation

lxl66566
Copy link
Collaborator

@lxl66566 lxl66566 commented Sep 25, 2024 •
edited
Loading

Depends-On: #4

The rust-clojure ffi serialization/deserialization has some unexpected behavior:

  • missing : for keytype objects. For example, {:a :b} will be translated to {a b} by org.clojure/data.json. Even if setting :key-fn keyword, the result will still be translated to {:a b}, the keytype is only for keys, not values.
    • cheshire/cheshire has the same performance

What does this PR do:

  • Introduce customized ser/de functions to deal with key types.
  • Introduce a NsRegister to declare namespaces and functions before using raw clojure code
  • other ser/de functions and structures fix
  • add more unittests

lxl66566 added 30 commits August 26, 2024 23:03
@lxl66566
add check serde structs
fb282ec 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
modify ConsistencyModel
f6db996 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
build the controller framework, add split-at
edec6ba 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
add single generator transformation
29a71c4 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
use tokio_stream as AsyncIterator
4879fae 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
implement GeneratorGroup
cd29a2c 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
fix generator dropping
893a5ca 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
use dyn instead of generic types, make it possible to convert generat…
2093dc9 
…or group to generator

Signed-off-by: lxl66566 <[email protected]>
@lxl66566
refactor GeneratorId to automatically alloc and free
39071be 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
add test for generator id consistency
2b0371e 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
impl next_with_id
ef7975a 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
Merge branch 'controller' into checker
1877ae8
@lxl66566
introduce Client trait, replace id_set with a id-handle map
171a142 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
make ERR as a generic type; make intergrate test
8801f62 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
revert GeneratorId: intergrate client into GeneratorId makes it too c…
eca4f49 
…omplex on types.

Signed-off-by: lxl66566 <[email protected]>
@lxl66566
complete client traits; seperate the JepsenClient and ClusterClient
52b0fe8 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
remove C: Client in global and all other struct
a563ed0 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
move global to JepsenClient member
391f42d 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
complete intergration test
95b8e8e 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
add logs
af693f4 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
remove unused async await keywords
fe4e069 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
remove mpsc channel; pass the intergration test
0937b00 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
fix delay_strategy lost in converting GeneratorGroup to Generator
9527e93 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
add more tests
2ff8aec 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
add check option serialization
c8568b2 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
add some docs, fix clippy issue.
94f7ac0 
Signed-off-by: lxl66566 <[email protected]>

more info in Cargo.toml

Signed-off-by: lxl66566 <[email protected]>

fix doctest

Signed-off-by: lxl66566 <[email protected]>
@lxl66566
add github check ci
80f5512 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
intergrate to simulation, fix different behavior on rust 1.74
ce07e57 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
refactor: ffi; include NsRegister to execute raw clojure code
358d735 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566
fix: serialization with key type, but checker still panic
6748ad1 
Signed-off-by: lxl66566 <[email protected]>
@lxl66566 lxl66566 mentioned this pull request Sep 29, 2024
Draft
@lxl66566 lxl66566 marked this pull request as draft October 11, 2024 01:04
@lxl66566 lxl66566 closed this Oct 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@lxl66566