데이터 경쟁 문제
동시 변경이 안전하지 않은 이유를 이해합니다.
데이터 경쟁 문제은(는) CoddyKit의 무료 Swift Academy 강의입니다. 이것은 4개 중 1번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 Swift Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. Swift Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
데이터 경쟁이란 무엇인가요
데이터 경쟁은 둘 이상의 스레드가 같은 메모리 위치에 동시에 접근하고, 그중 하나 이상이 쓰기 작업이며, 서로 간에 동기화가 없을 때 발생합니다.
그 결과는 정의되지 않은 동작입니다. 값이 손상되거나 앱이 중단되거나, 부하가 걸릴 때만 나타나는 버그가 발생할 수 있습니다.
공유 가변 상태
데이터 경쟁의 근본 원인은 공유 가변 상태입니다. 여러 작업이 같은 변수를 읽고 쓸 수 있다면 실행 순서를 예측하기 어려워집니다.
아래 카운터에서는 count += 1이 원자적 연산이 아니라 읽기-수정-쓰기 연산이므로 증가가 누락될 수 있습니다.
final class Counter {
var count = 0
func increment() {
count += 1 // read, add, write: not atomic
}
}증가가 누락되는 이유
count += 1 문은 값을 불러오고, 1을 더하고, 다시 저장하는 세 단계로 컴파일됩니다.
두 스레드가 동시에 5를 불러오면 둘 다 6을 저장하므로, 증가 한 번이 사라집니다.
// Thread A loads 5
// Thread B loads 5
// Thread A stores 6
// Thread B stores 6 <-- lost update더 큰 값이 찢어지는 현상
업데이트가 누락되는 것 외에도, 여러 단어로 이루어진 값(구조체나 일부 플랫폼의 64비트 값 등)에 동시에 쓰면 값이 찢어질 수 있습니다. 이때 읽는 쪽은 한 번의 쓰기에서 절반을, 다른 쓰기에서 나머지 절반을 보게 됩니다.
struct Point { var x: Double; var y: Double }
var p = Point(x: 0, y: 0)
// Concurrent writes may leave x from one write and y from another오래된 해결책: 잠금
스위프트 동시성이 도입되기 전에는 lock(뮤텍스)이 전통적인 해결책이었습니다. 한 번에 하나의 스레드만 잠금을 보유하므로 접근이 순차적으로 처리됩니다.
잠금은 작동하지만 잘못 사용하기 쉽습니다. 잠금 해제를 잊거나, 교착 상태가 발생하거나, 우선순위 역전이 일어날 수 있습니다.
import Foundation
final class SafeCounter {
private let lock = NSLock()
private var count = 0
func increment() {
lock.lock()
defer { lock.unlock() }
count += 1
}
}직렬 디스패치 대기열
또 다른 전통적인 접근 방식은 직렬 디스패치 대기열입니다. 모든 변경 작업을 하나의 대기열로 보내므로 서로 겹쳐 실행되지 않습니다.
import Foundation
final class QueueCounter {
private let queue = DispatchQueue(label: "counter")
private var count = 0
func increment() {
queue.async { self.count += 1 }
}
}수동 동기화가 취약한 이유
잠금과 대기열은 규율에 의존합니다. 컴파일러는 모든 접근이 보호되는지 확인하지 않습니다.
보호되지 않은 읽기 하나만 있어도 경쟁 상태가 다시 발생합니다. 컴파일 시점에 보장되는 안전성은 없습니다.
// Nothing stops a careless reader from doing this:
// let value = counter.count // unsynchronized read = race스위프트 동시성이 바꾸는 것
스위프트 동시성은 데이터 경쟁 방지를 관례가 아니라 언어 기능으로 만듭니다.
세 가지 도구가 함께 작동합니다. 보호된 가변 상태를 위한 actor, 안전하게 공유할 수 있는 타입을 위한 Sendable, 그리고 두 가지를 강제하는 컴파일러입니다.
actor Counter {
private var count = 0
func increment() { count += 1 }
}액터는 접근을 순차화합니다
액터는 한 번에 하나의 작업만 자신의 변경 코드를 실행하도록 보장합니다. 실행 환경이 자동으로 접근을 순차화합니다.
잠금을 직접 작성할 필요가 없습니다. 액터 모델이 동기화를 제공합니다.
actor BankAccount {
private(set) var balance = 0
func deposit(_ amount: Int) { balance += amount }
}컴파일 시점의 강제 적용
컴파일러는 액터를 거치지 않고 액터로 격리된 상태에 접근하지 못하도록 합니다. 액터 간 호출은 비동기 호출(await)이 됩니다.
이렇게 하면 실행 중에 발생하던 경쟁 상태가 컴파일 시점 오류로 바뀝니다.
let account = BankAccount()
// Must await: balance is actor-isolated
// let b = await account.balanceSendable은 스레드 간에 전달되는 것을 제한합니다
Sendable 프로토콜은 동시성 경계를 넘어 안전하게 전달할 수 있는 타입을 표시합니다.
컴파일러는 Sendable이 아닌 가변 상태를 다른 작업으로 보내지 못하게 하여, 타입 수준에서 경쟁 상태를 차단합니다.
struct Money: Sendable {
let amount: Int
let currency: String
}빠른 확인: 데이터 경쟁
데이터 경쟁을 일으키는 원인에 대한 이해를 확인해 보십시오.
복습: 데이터 경쟁 문제
데이터 경쟁은 공유 가변 상태에 동기화 없이 동시에 접근할 때 발생하며, 업데이트 누락, 값이 찢어지는 현상, 정의되지 않은 동작을 일으킵니다.
기존 해결책(잠금과 직렬 대기열)은 작동하지만 검증되지 않아 취약합니다. 스위프트 동시성은 관례를 강제 적용으로 바꿉니다. actor는 상태를 격리하고, Sendable은 경계를 넘어갈 수 있는 것을 제한하며, 컴파일러는 안전성을 확인합니다. 과정의 나머지 부분에서는 이러한 도구를 자세히 살펴봅니다.
자주 묻는 질문
“데이터 경쟁 문제” 강의는 무료인가요?
네 — “데이터 경쟁 문제” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 Swift Academy 강의 전체를 잠금 해제할 수 있습니다. Swift Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“데이터 경쟁 문제”에서 뭘 배우나요?
동시 변경이 안전하지 않은 이유를 이해합니다. 브라우저에서 직접 실행하는 실습 코드로 Swift Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
Swift Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 Swift Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 1번째 강의입니다.
“데이터 경쟁 문제” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 Swift Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 Swift Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.