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

Dynamic FDVerifier #418

Merged
merged 1 commit into from
Jun 25, 2024
Merged

Conversation

rpuwa
Copy link
Contributor

@rpuwa rpuwa commented May 26, 2024

No description provided.

@rpuwa rpuwa requested a review from BUYT-1 June 7, 2024 17:49
@rpuwa rpuwa changed the title [DRAFT] [IN PROGRESS] Dynamic FDVerifier Dynamic FDVerifier Jun 7, 2024
@rpuwa rpuwa force-pushed the rpuwa_dynfd_validation branch 3 times, most recently from bfc8879 to 506bcdf Compare June 7, 2024 22:14
Copy link
Collaborator

@BUYT-1 BUYT-1 left a comment

Choose a reason for hiding this comment

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

Use aliases for very long and complicated types. You may want an alias for std::unordered_map<std::vector<int>, Cluster>, for example.

src/core/algorithms/algorithm.h Outdated Show resolved Hide resolved
examples/dynamic_verifying_fd.py Outdated Show resolved Hide resolved
examples/dynamic_verifying_fd.py Outdated Show resolved Hide resolved
examples/dynamic_verifying_fd.py Outdated Show resolved Hide resolved
src/core/model/table/dynamic_position_list_index.cpp Outdated Show resolved Hide resolved
src/core/model/table/dynamic_position_list_index.cpp Outdated Show resolved Hide resolved
src/core/model/table/dynamic_position_list_index.cpp Outdated Show resolved Hide resolved
@rpuwa rpuwa requested a review from BUYT-1 June 11, 2024 20:29
examples/dynamic_verifying_fd.py Outdated Show resolved Hide resolved
examples/dynamic_verifying_fd.py Outdated Show resolved Hide resolved
examples/dynamic_verifying_fd.py Outdated Show resolved Hide resolved
examples/dynamic_verifying_fd.py Outdated Show resolved Hide resolved
examples/dynamic_verifying_fd.py Outdated Show resolved Hide resolved
examples/dynamic_verifying_fd.py Outdated Show resolved Hide resolved
src/core/algorithms/fd/fd_verifier/dynamic_fd_verifier.cpp Outdated Show resolved Hide resolved
Copy link
Collaborator

@BUYT-1 BUYT-1 left a comment

Choose a reason for hiding this comment

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

Just the things I caught for now.

Look for similar things in the rest of the code yourself:

  • Repeated lookups (ex: same things repeating inside [] calls for attention)
  • Fields with generic names (ex: a.first, a.second, a.second) used many times in a row is suspicious
  • Invariants not spelled out explicitly. If you just see the function and want to write an assert, write it or make it such that it holds "automatically". Another class won't hurt.
  • Consider using more type aliases. It's hard to know which std::vector<int> is a collection of value IDs and which is a collection of record IDs.
    The less context you need to understand to figure out what's happening in a function, the better. Be more thorough with names.

src/core/algorithms/fd/fd_verifier/dynamic_fd_verifier.cpp Outdated Show resolved Hide resolved
src/core/algorithms/fd/fd_verifier/dynamic_fd_verifier.cpp Outdated Show resolved Hide resolved
src/core/algorithms/fd/fd_verifier/dynamic_fd_verifier.cpp Outdated Show resolved Hide resolved
src/core/model/table/dynamic_position_list_index.cpp Outdated Show resolved Hide resolved
src/core/model/table/dynamic_position_list_index.cpp Outdated Show resolved Hide resolved
src/core/model/table/dynamic_position_list_index.cpp Outdated Show resolved Hide resolved
src/core/model/table/dynamic_position_list_index.h Outdated Show resolved Hide resolved
src/core/model/table/dynamic_position_list_index.cpp Outdated Show resolved Hide resolved
@rpuwa rpuwa requested a review from BUYT-1 June 15, 2024 10:38
@rpuwa rpuwa requested a review from BUYT-1 June 15, 2024 12:23
src/core/algorithms/fd/fd_verifier/dynamic_fd_verifier.h Outdated Show resolved Hide resolved
src/core/algorithms/fd/fd_verifier/dynamic_fd_verifier.cpp Outdated Show resolved Hide resolved
src/core/algorithms/fd/fd_verifier/dynamic_fd_verifier.cpp Outdated Show resolved Hide resolved
src/core/algorithms/fd/fd_verifier/dynamic_fd_verifier.cpp Outdated Show resolved Hide resolved
src/core/model/table/dynamic_table_data.h Outdated Show resolved Hide resolved
src/core/model/table/dynamic_table_data.h Outdated Show resolved Hide resolved
src/core/model/table/dynamic_table_data.h Outdated Show resolved Hide resolved
src/core/model/table/dynamic_table_data.h Outdated Show resolved Hide resolved
src/core/model/table/dynamic_table_data.h Outdated Show resolved Hide resolved
@rpuwa rpuwa requested a review from BUYT-1 June 19, 2024 13:11
src/tests/test_dynamic_fd_verifier.cpp Outdated Show resolved Hide resolved
src/tests/test_dynamic_fd_verifier.cpp Outdated Show resolved Hide resolved
examples/dynamic_verifying_afd.py Outdated Show resolved Hide resolved
examples/dynamic_verifying_afd.py Outdated Show resolved Hide resolved
examples/dynamic_verifying_afd.py Outdated Show resolved Hide resolved
src/core/model/table/dynamic_table_data.h Outdated Show resolved Hide resolved
src/core/model/table/dynamic_table_data.h Outdated Show resolved Hide resolved
src/core/model/table/dynamic_table_data.h Outdated Show resolved Hide resolved
src/core/model/table/dynamic_table_data.h Outdated Show resolved Hide resolved
src/core/model/table/dynamic_table_data.h Outdated Show resolved Hide resolved
@rpuwa rpuwa requested a review from BUYT-1 June 24, 2024 11:42
@rpuwa rpuwa force-pushed the rpuwa_dynfd_validation branch 2 times, most recently from 9e7ad04 to 8ae9067 Compare June 24, 2024 11:44
src/tests/test_dynamic_fd_verifier.cpp Outdated Show resolved Hide resolved
examples/dynamic_verifying_fd.py Outdated Show resolved Hide resolved
examples/dynamic_verifying_afd.py Outdated Show resolved Hide resolved
@chernishev chernishev merged commit 900dc3b into Desbordante:main Jun 25, 2024
20 checks passed
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.

3 participants