MySQL ReadView 알아보기

MySQL InnoDB에서 트랜잭션 격리수준이 READ COMMITTED이면 다른 트랜잭션에서 커밋 완료한걸 읽을 수 있고,
REPEATABLE READ이면 다른 트랜잭션에서 커밋을 완료했더라도 해당 데이터를 무조건 읽을 수 있는 것은 아니다.
이게 어떻게 가능한걸까 ?

• 결론부터 말하면, MVCC 매커니즘은 현재 트랜잭션 내에서 어떤 레코드(row)를 볼 수 있는지(가시성)를 판단하기 위해 ReadView 객체를 활용한다.
  • READ COMMITTED : 매 SELECT 질의마다 ReadView 생성
  • REPEATABLE READ : 최초 SELECT 질의에서만 ReadView 생성
• REPEATABLE READ 예시

1
2
3
4
5
6
7

-- 트랜잭션 A
BEGIN;
UPDATE users SET ... WHERE id = 1;  -- 아직 SELECT 없음 → ReadView 생성 안 됨
-- 이 사이에 트랜잭션 B가 COMMIT
SELECT * FROM users WHERE age > 30;  -- 이제 ReadView 생성 → B의 결과 보일 수 있음
SELECT * FROM users WHERE age > 30;  -- 위와 동일한 ReadView 사용
COMMIT;

들어가기전

• InnoDB의 각 레코드는 db_trx_id와 db_roll_pointer라는 두 개의 숨겨진 컬럼을 가지고 있다.
• 그리고 테이블에 프라이머리 키나 NULL을 허용하지 않는 유니크 키가 없다면, 자동 증가하는 숨겨진 컬럼인 db_row_id를 생성한다.

db_trx_id

• 이 레코드를 최종적으로 수정한 트랜잭션의 ID

db_roll_pointer

• 이 레코드의 이전 버전(undo 로그) 위치를 가리키는 포인터

db_row_id

• 기본 키(PK)나 NOT NULL 유니크 키가 없을 경우, 내부적으로 레코드를 유일하게 식별하기 위한 ID

ReadView 살펴보기

• ReadView 클래스 문서
• 참고한 소스코드
  • mysql-server/storage/innobase/include/read0types.h
  • mysql-server/storage/innobase/read/read0read.cc

멤버 변수 및 초기화

1
2
3
4
5
6
7
8
9
10
11
12

// mysql-server/storage/innobase/include/read0types.h

 private:
  trx_id_t m_low_limit_id;

  trx_id_t m_up_limit_id;

  trx_id_t m_creator_trx_id;

  ids_t m_ids;

  trx_id_t m_low_limit_no;

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

// mysql-server/storage/innobase/read/read0read.cc

void ReadView::prepare(trx_id_t id) {
  ut_ad(trx_sys_mutex_own());

  m_creator_trx_id = id;

  m_low_limit_no = trx_get_serialisation_min_trx_no();

  m_low_limit_id = trx_sys_get_next_trx_id_or_no();

  ut_a(m_low_limit_no <= m_low_limit_id);

  if (!trx_sys->rw_trx_ids.empty()) {
    copy_trx_ids(trx_sys->rw_trx_ids);
  } else {
    m_ids.clear();
  }

  /* The first active transaction has the smallest id. */
  m_up_limit_id = !m_ids.empty() ? m_ids.front() : m_low_limit_id;

  ut_a(m_up_limit_id <= m_low_limit_id);

  ut_d(m_view_low_limit_no = m_low_limit_no);
  m_closed = false;
}

가시성 여부 판단

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

// mysql-server/storage/innobase/include/read0types.h

/** Check whether the changes by id are visible.
@param[in]    id      transaction id to check against the view
@param[in]    name    table name
@return whether the view sees the modifications of id. */
[[nodiscard]] bool changes_visible(trx_id_t id,
                                   const table_name_t &name) const {
  ut_ad(id > 0);

  if (id < m_up_limit_id || id == m_creator_trx_id) {
    return (true);
  }

  check_trx_id_sanity(id, name);

  if (id >= m_low_limit_id) {
    return (false);

  } else if (m_ids.empty()) {
    return (true);
  }

  const ids_t::value_type *p = m_ids.data();

  return (!std::binary_search(p, p + m_ids.size(), id));
}

1
2
3
4

/**
@param id             transaction to check
@return true if view sees transaction id */
bool sees(trx_id_t id) const { return (id < m_up_limit_id); }

레코드의 trx_id가 m_ids에 포함된(즉, 아직 활성화된) 트랜잭션이면 가시성은 false여야 할텐데, 이 부분은 어딨을까 ?

• return (!std::binary_search(...)) 이 라인이 m_ids에 포함되면 false, 포함되지 않으면 true를 리턴하는 로직
  • std::binary_search(...)는 true를 리턴 (trx_id가 m_ids에 포함되어 있음)
  • 즉, !std::binary_search(...)이면 포함되어 있지 않다는 뜻 = 가시성 있음

참고 자료

• https://dev.mysql.com/doc/dev/mysql-server/8.4.4/classReadView.html#ac5d400b93acde22a935a34a672641e3c
• https://xialeistudio.medium.com/understanding-mvcc-in-mysql-innodb-116100a27b65