• 羽飞's avatar
    thread-safe buffer pool and btree supported (#145) · 31fa2558
    羽飞 提交于
    Fix problem:
    1. the buffer pool and b tree is not thread safe;
    2. github/workflow/build does not work
    
    ### What is changed and how it works?
    1. thread-safe buffer pool
    - I use a mutex in buffer pool and take a lock in buffer pool operations
    such as allocate frame, dispose frame;
    - The frame is locked while updating/reading the content of frame;
    - Frame manager take a lock when allocate/free pages.
    
    2. thread-safe b+tree
    - Crabing protocol is used to support concurrent
    
    3. github/workflow/build
    - update the submodules;
    - create a build script and run build.sh in build.yaml
    31fa2558
record_manager.cpp 14.5 KB