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

Checkpoint Retrieval and Management from User Space #756

Merged
merged 1 commit into from
Oct 18, 2022
Merged

Checkpoint Retrieval and Management from User Space #756

merged 1 commit into from
Oct 18, 2022

Conversation

vazois
Copy link
Contributor

@vazois vazois commented Oct 17, 2022

This PR contains the below changes

  • public access to CheckpointManager to allow users to retrieve Guid tokens and access corresponding files.
  • methods to retrieve latest checkpoint hybrid log and index Guid tokens.
  • methods to retrieve file sizes for corresponding Guid tokens
  • protected access to deviceFactory and checkpointNamingScheme for users to able to extend the -DeviceLogCommitCheckpointManager class

@vazois vazois requested a review from badrishc October 17, 2022 22:52
@badrishc badrishc merged commit 713eed0 into main Oct 18, 2022
badrishc pushed a commit that referenced this pull request Dec 9, 2022
@vazois @badrishc
retrieve latest ckpt tokens and file sizes; access checkpoint manager (…
0395aa2 
…#756)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@badrishc badrishc badrishc approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@vazois @badrishc