-
Notifications
You must be signed in to change notification settings - Fork 161
[Buffer Manager] Add PageID and 8000 Frame primitives for the buffer manager #2618
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
[Buffer Manager] Add PageID and Frame primitives for the buffer manager #2618
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Just a partial review so far. I must look further into frame.cpp
and the tests. Since this is not a trivial project, more documentation in the header files might help to understand the code.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Haven't looked at the tests yet.
I have several questions on the atomics. In some cases your code might be absolutely correct but the assumptions are hidden, why some things are safe to do.
And for other occasions, I probably just don't understand what you are doing. Good sign that a clarifying comment might help here. :)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
….com:nikriek/hyrise into nikriek/buffer-manager/add-frame-and-page-id
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Mainly minor documantation comments.
Feel free to add yourself to the list of Contributors.
Co-authored-by: Marcel Weisgut <marcel.weisgut@hpi.de>
Co-authored-by: Marcel Weisgut <marcel.weisgut@hpi.de>
Co-authored-by: Marcel Weisgut <marcel.weisgut@hpi.de>
Co-authored-by: Marcel Weisgut <marcel.weisgut@hpi.de>
Co-authored-by: Marcel Weisgut <marcel.weisgut@hpi.de>
Co-authored-by: Marcel Weisgut <marcel.weisgut@hpi.de>
Co-authored-by: Marcel Weisgut <marcel.weisgut@hpi.de>
Co-authored-by: Marcel Weisgut <marcel.weisgut@hpi.de>
….com:nikriek/hyrise into nikriek/buffer-manager/add-frame-and-page-id
Co-authored-by: Marcel Weisgut <marcel.weisgut@hpi.de>
….com:nikriek/hyrise into nikriek/buffer-manager/add-frame-and-page-id
As explained in our discussion #2617, we add the basic primitives for the
PageID
andFrame
.PageID
is used for the addressing of pages in a buffer manager.Frame
stores the state of a page and also helps with synchronization.