[논문 리뷰] Hardware extensions to make lazy subscription safe

Dave Dice, Timothy L. Harris외 3명|arXiv (Cornell University)|2014. 07. 23.

Distributed systems and fault tolerance참고 문헌 18인용 수 9

한 줄 요약

이 논문은 TLE와 SGL 타입의 트랜잭셔널 시스템에서 잠금 구독을 커밋 시점까지 연기하는 '게으른 구독'을 안전하게 가능하게 하기 위한 하드웨어 확장을 제안한다. 저자들은 난이도 있는 게으른 구독이 자료 일관성 문제와 중단 위험으로 인해 안전하지 않으며, 기존 컴파일러나 하드웨어 솔루션으로는 이를 충분히 보완할 수 없음을 보여준다. 제안된 하드웨어 확장은 컴파일러 지원이나 수동 분석 없이도 이러한 문제를 제거하여 성능 향상을 위해 안전하고 효과적으로 게으른 구독을 사용할 수 있도록 한다.

ABSTRACT

Transactional Lock Elision (TLE) uses Hardware Transactional Memory (HTM) to execute unmodified critical sections concurrently, even if they are protected by the same lock. To ensure correctness, the transactions used to execute these critical sections "subscribe" to the lock by reading it and checking that it is available. A recent paper proposed using the tempting "lazy subscription" optimization for a similar technique in a different context, namely transactional systems that use a single global lock (SGL) to protect all transactional data. We identify several pitfalls that show that lazy subscription \emph{is not safe} for TLE because unmodified critical sections executing before subscribing to the lock may behave incorrectly in a number of subtle ways. We also show that recently proposed compiler support for modifying transaction code to ensure subscription occurs before any incorrect behavior could manifest is not sufficient to avoid all of the pitfalls we identify. We further argue that extending such compiler support to avoid all pitfalls would add substantial complexity and would usually limit the extent to which subscription can be deferred, undermining the effectiveness of the optimization. Hardware extensions suggested in the recent proposal also do not address all of the pitfalls we identify. In this extended version of our WTTM 2014 paper, we describe hardware extensions that make lazy subscription safe, both for SGL-based transactional systems and for TLE, without the need for special compiler support. We also explain how nontransactional loads can be exploited, if available, to further enhance the effectiveness of lazy subscription.

연구 동기 및 목표

• 잠금 구독을 연기함으로써 잘못된 동작을 유도하는 TLE 및 SGL 기반 트랜잭셔널 시스템에서 게으른 구독의 안전성 문제를 해결한다.
• 컴파일러 기반 정적 분석 및 제안된 하드웨어 확장 기법을 포함한 기존 접근법의 미묘한 정확성 문제를 식별하고 분석한다.
• 현재의 컴파일러 및 하드웨어 솔루션이 게으른 구독 하에서 정확성 위반을 완전히 방지하지 못함을 입증한다.
• 컴파일러 지원이 필요 없이 TLE 및 SGL 시스템 양쪽 모두에서 게으른 구독을 안전하게 만들 수 있는 실용적인 하드웨어 확장을 제안한다.
• 하드웨어가 비트랜잭셔널 로드를 지원할 경우, 게으른 구독의 효과성을 더욱 높일 수 있는 방법을 탐색한다.

제안 방법

• 잠금 구독을 커밋 시점까지 연기하는 하드웨어 트랜잭션 중 잘못된 동작을 탐지하고 방지할 수 있는 하드웨어 확장을 설계한다.
• 모든 메모리 접근이 구독 이전에 일관되게 유지되어 부분적인 영향이 관찰되지 않도록 보장하는 메커니즘을 도입한다.
• HTM을 비트랜잭셔널 로드를 지원하도록 확장하여, 중요한 섹션에서 이러한 지시어를 안전하게 사용할 수 있도록 한다. 이는 정확성에 영향을 주지 않는다.
• 모든 중요한 섹션 작업이 완료되고 원자성이 확보된 후에야 잠금 가용성을 검증하는 하드웨어 체크를 통합한다.
• 비트랜잭셔널 스토어의 모든 부작용이 트랜잭션 중단 시에나마 가시성이 없도록 보장한다.
• 모든 트랜잭셔널 읽기 및 쓰기 작업이 완료된 후에만 구독이 이루어지도록 하드웨어를 설계하여, 일관성 없는 관찰을 방지한다.

실험 결과

연구 질문

• RQ1 TLE 및 SGL 기반 트랜잭셔널 시스템에서 잠금 구독을 연기할 경우 발생하는 근본적인 정확성 문제의 원인은 무엇인가?
• RQ2 기존의 컴파일러 기반 정적 분석 기법이 게으른 구독을 안전하게 보장하는 데에 왜 부족한가?
• RQ3 컴파일러 지원이 필요 없이도 게으른 구독 하에서 정확성을 보장할 수 있도록 하드웨어 확장을 설계할 수 있는가?
• RQ4 비트랜잭셔널 로드는 게으른 구독의 안전성과 효과성에 어떤 영향을 미치며, 이를 위해 필요한 하드웨어 지원은 무엇인가?
• RQ5 다양한 워크로드에서 게으른 구독을 안전하게 만들기 위한 하드웨어 확장의 실용적 비용과 복잡도는 얼마인가?

주요 결과

• TLE에서 게으른 구독은 비틀린 중요한 섹션에서 일관되지 않은 데이터나 부분적인 영향을 관찰할 수 있어 안전하지 않다.
• 조기 구독을 보장하기 위한 기존의 컴파일러 지원은 복잡한 코드 경로에서 모든 정확성 위반을 방지하는 데에 부족하다.
• 이전에 제안된 하드웨어 확장은 식별된 정확성 문제를 완전히 해결하지 못해 미묘한 경쟁 조건이 여전히 남아 있다.
• 제안된 하드웨어 확장은 모든 메모리 연산이 구독 이전에 일관되게 유지되고, 중단 시 부작용이 가시성이 없도록 함으로써 정확성 문제를 제거한다.
• HTM에서 비트랜잭셔널 로드를 지원하면, 트랜잭셔널 코드에서 이러한 지시어를 안전하게 사용할 수 있어 게으른 구독의 효과성이 더욱 향상된다.
• 초기 결과에 따르면, 게으른 구독은 정확히 구현된 경우에 상당한 성능 향상을 제공하므로, 실용적으로 하드웨어 확장의 비용을 감당할 수 있다.