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.

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

Testing Scripts and Leader Detection #18

Merged
merged 18 commits into from
Apr 9, 2023
Merged

Testing Scripts and Leader Detection #18

merged 18 commits into from
Apr 9, 2023

Conversation

hcoffey1
Copy link
Collaborator

@hcoffey1 hcoffey1 commented Apr 8, 2023

Mostly testing scripts, with an adjustment to the client RPC to search for the leader instead of relying on server direction.

@ajx42
Copy link
Owner

ajx42 commented Apr 8, 2023

Can you try renaming the .log files to have .log.dat suffix, that should prevent GITHUB from counting those lines in the diff? Otherwise this change might pollute the diff especially when using commandline git.

Copy link
Owner

@ajx42 ajx42 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I have only looked at the C++ stuff. The scripts should we fine, we trust ye!

Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we found that issue with 5 replicas and 1 failure with this thread join logic. Do you think we should still commit this (thread join) change?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The performance benefit is nice, but since it does cause some issues, I've put it back to the 50 ms delay

@hcoffey1
Copy link
Collaborator Author

hcoffey1 commented Apr 8, 2023

Can you try renaming the .log files to have .log.dat suffix, that should prevent GITHUB from counting those lines in the diff? Otherwise this change might pollute the diff especially when using commandline git.

Sure, I'll go ahead and adjust them

@hcoffey1
Copy link
Collaborator Author

hcoffey1 commented Apr 8, 2023

Can you try renaming the .log files to have .log.dat suffix, that should prevent GITHUB from counting those lines in the diff? Otherwise this change might pollute the diff especially when using commandline git.

If its still an issue, I can also remove these files since they from when we were using the join approach for the leader iterations.

Copy link
Owner

@ajx42 ajx42 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks okay to me

@hcoffey1 hcoffey1 merged commit bf6498e into main Apr 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants