1. 29 3月, 2023 1 次提交
    • 羽飞'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