최근에 회사의 새로운 동료들이 잠금에 대해 오해를 하고 있다는 것을 알게 되었습니다. 그래서 오늘은 "잠금"과 동시 보안 컨테이너에 대해 이야기해 보겠습니다. 자바 사용 시 주의사항은 무엇인가요?
하지만 그 전에 왜 이것을 잠궈야 하는지 설명해야 합니다. 이는 동시성 버그의 원인부터 시작됩니다.
동시성 버그의 근원
2019년에 이 문제에 대한 글을 쓴 적이 있습니다. 지금 그 글을 다시 보면 정말 부끄럽습니다.
컴퓨터에는 CPU, 메모리, 하드디스크가 있다는 것을 알고 있는데, 하드디스크의 읽기 속도가 가장 느리고, 그 다음이 메모리의 읽기 속도입니다. .. CPU의 동작보다 메모리를 읽는 속도가 너무 느려서 CPU캐시 L1, L2, L3을 하나 더 만들었습니다.
동시성 BUG를 생성하는 것은 바로 이 CPU 캐시와 현재 멀티 코어 CPU 상황입니다.
이 메서드를 CPU-A와 CPU-B에서 각각 실행하는 스레드 A와 스레드 B가 있는 경우 해당 작업은 먼저 메인 메모리에서 CPU로 각각 액세스하는 것입니다. 캐시에 있는 a 값은 현재 모두 0입니다.
그러면 각각 a++를 실행하는데 이때 각자의 눈에 있는 a의 값은 1입니다. 나중에 a가 메인 메모리에 플래싱되면 여전히 a의 값이 1입니다. 이는 문제가 됩니다. 1의 마지막 추가는 두 번 실행됩니다. 결과는 2가 아니라 1입니다.
이 문제를 가시성 문제라고 합니다.
우리의 a++ 문을 보면, 우리의 현재 언어는 모두 고급 언어입니다. 이는 실제로 사용하기 매우 편리한 것 같습니다. 실제로 실행해야 할 명령.
고급 언어의 문은 두 개 이상의 CPU 명령어로 변환될 수 있습니다. 예를 들어 a++는 최소 세 개의 CPU 명령어로 변환될 수 있습니다.
등록할 메모리에서
+1을
결과를 캐시나 메모리에 기록합니다.
이것은 불가능합니다. 원자적이기 때문에 명령문을 중단합니다. 실제로 CPU는 타임 슬라이스가 실행될 때 명령을 실행할 수 있습니다. 이 때 컨텍스트는 다른 스레드로 전환되어 역시 a++를 실행합니다. 다시 다시 전환하면 a 값이 실제로 잘못되었습니다.
이 문제를 원자성 문제라고 합니다.
그리고 성능을 최적화하기 위해 컴파일러나 해석기가 명령문의 실행 순서를 변경할 수 있습니다. 이를 명령어 재배열이라고 합니다. 가장 전형적인 예는 싱글톤 모드의 이중 확인입니다. 실행 효율성을 높이기 위해 CPU는 순서 없이 실행됩니다. 예를 들어 CPU가 메모리 데이터가 로드되기를 기다리는 동안 다음 추가 명령이 이전 명령의 계산 결과에 의존하지 않는다는 것을 알게 됩니다. 덧셈 명령어를 먼저 실행합니다.
이 문제를 주문 문제라고 합니다.
이제 우리는 동시성 버그의 원인, 즉 세 가지 주요 문제를 분석했습니다. CPU 캐시든, 멀티코어 CPU든, 고급 언어든, 비순차적 재배열이든 실제로는 꼭 필요한 일이므로 이러한 문제를 정면으로 마주할 수 밖에 없다는 것을 알 수 있습니다.
이러한 문제를 해결하려면 캐싱을 비활성화하고 컴파일러 명령 재배열, 상호 배제 등을 금지해야 합니다. 오늘 우리의 주제는 상호 배제와 관련이 있습니다.
상호 배제는 공유 변수에 대한 수정이 상호 배타적임을 보장합니다. 즉, 동시에 하나의 스레드만 실행됩니다. 상호배제하면 다들 자물쇠 생각나실 거라 믿습니다. 네, 오늘 주제는 자물쇠입니다! 잠금은 원자성 문제를 해결하도록 설계되었습니다.
Lock
자물쇠에 대해 이야기하면 Java 학생들의 첫 번째 반응은 결국 동기화 키워드입니다. 먼저 동기화에 대해 살펴보겠습니다. 일부 학생들은 동기화를 잘 이해하지 못하므로 사용에 있어 많은 함정이 있습니다.
synchronized Notes
먼저 코드를 살펴보겠습니다. 이 코드는 결국 임금을 늘리는 방법입니다. 그리고 스레드는 항상 우리의 임금이 동일한지 비교합니다. 간단히 말해 IntStream .rangeClosed(1,1000000).forEach, 일부 사람들은 이에 대해 익숙하지 않을 수 있습니다. 이 코드는 for 루프를 백만 번 실행하는 것과 같습니다. IntStream.rangeClosed(1,1000000).forEach，可能有些人对这个不太熟悉，这个代码的就等于 for 循环了100W次。
먼저 스스로 이해하고 느끼는지 확인해야합니다 문제가 무엇입니까? 첫 번째 반응은 괜찮은 것 같습니다. 급여 인상을 보면 급여 값이 수정되는 것은 아닌 것 같습니다. 동시자원에 대한 경쟁이 없으며, 가시성을 보장하기 위해 휘발성으로 장식됩니다. 🎜🎜결과를 보시죠, 스크린샷을 찍어두었습니다. 🎜🎜로그가 먼저 출력되고 있는 것을 볼 수 있습니다. 이미 틀렸습니다. 그러면 인쇄된 값은 실제로 동일합니다! 뭔가 놀랐나요? 일부 학생들은 무의식적으로 다음을 생각할 수도 있습니다.raiseSalary가 수정 중이므로 raiseSalary 잠금을 추가하세요! 🎜🎜raiseSalary 메소드를 사용하므로 raiseSalary 메소드 잠금은 쓸모가 없습니다. 🎜
이것은 실제로 위에서 언급한 원자성 문제입니다. 급여 인상 스레드가 yesSalary++가 아직 실행되지 않았습니다yourSalary++, 급여 스레드는 yesSalary != yourSalary 정말 사실인가요? 이것이 로그가 인쇄되는 이유입니다. yesSalary++还未执行yourSalary++时，比工资线程刚好执行到yesSalary != yourSalary 是不是肯定是 true ？所以才会打印出 log。
게다가 가시성을 보장하기 위해 휘발성 장식을 사용하므로 로깅 시 yourSalary++가 실행되었으며, 이때 로그 출력은 yesSalary == yourSalary. 🎜🎜그래서 가장 간단한 해결책은 raiseSalary() 및 compareSalary()는 모두 동기화로 수정되어 급여 인상과 급여 비교의 두 스레드가 동시에 실행되지 않으므로 확실히 안전합니다! 🎜🎜잠금이 꽤 간단한 것 같지만 이게 동기화 초보자가 사용하는 데에는 여전히 함정이 있습니다. 즉, 동기화 잠금이 무엇인지 주의를 기울여야 합니다. 🎜🎜예를 들어 급여를 늘리기 위해 멀티스레딩으로 바꿨습니다. 다시 언급하겠습니다병렬 , 이는 실제로 ForkJoinPool 스레드 풀 작업을 사용하며 기본 스레드 수는 CPU 코어 수입니다. 🎜
raiseSalary() 加了锁，所以最终的结果是对的。这是因为 synchronized 修饰的是yesLockDemo 인스턴스로 인해 우리 메인에는 인스턴스가 하나만 있으므로 멀티 스레드가 경쟁하는 것은 잠금이므로 최종 계산된 데이터가 정확합니다.
그런 다음 급여를 높이기 위해 각 스레드가 자체 yesLockDemo 인스턴스를 갖도록 코드를 수정하겠습니다.
이 자물쇠가 왜 쓸모없는지 알게 될까요? 약속된 연봉 100만에서 10만으로 바뀐다? ? 다행히도 아직 70W가 남아 있습니다.
이것은 현재 lock이 비정적 메서드인 인스턴스 수준 잠금을 수정하고 각 스레드에 대해 인스턴스를 생성했기 때문에 이러한 스레드가 경쟁하는 것은 전혀 잠금이 아니기 때문입니다 그리고 위의 다중 스레드 계산에 대한 올바른 코드는 각 스레드가 동일한 인스턴스를 사용하므로 잠금을 위해 경쟁하기 때문입니다. 이때 코드가 정확해지기를 원한다면 인스턴스 수준 잠금을 클래스 수준 잠금으로 변경하기만 하면 됩니다.
매우 간단합니다. 정적 메서드를 동기화하는 것은 클래스 수준 잠금입니다.
또 다른 방법은 정적 변수를 선언하는 것입니다. 이 방법이 더 권장됩니다. 왜냐하면 비정적 메서드를 정적 메서드로 바꾸는 것은 실제로 코드 구조를 변경하는 것과 동일하기 때문입니다.
요약하자면, 동기화를 사용할 때 잠금이 무엇인지 주의해야 합니다. 정적 필드와 정적 메서드를 수정하면 클래스 수준 잠금이 됩니다. -정적 방법, 인스턴스 수준 잠금입니다 .
Lock granularity
Hashtable을 사용하고 싶다면 ConcurrentHashMap을 사용하세요. Hashtable은 스레드에 안전하지만 모든 메소드를 너무 거칠게 다루기 때문입니다. 같은 방법으로 잠금! 소스코드를 살펴보겠습니다.
이 내용이 크기 계산과 관련이 있다고 생각하시나요? 포함을 호출할 때 크기를 조정하는 것이 허용되지 않는 이유는 잠금 세분성이 너무 낮기 때문입니다. 스레드 안전성을 높이기 위해 다양한 방법에서 다른 잠금을 사용해야 합니다.
그러나 메서드마다 잠금을 다르게 설정하는 것만으로는 충분하지 않습니다. 때로는 메서드의 일부 작업이 실제로 스레드로부터 안전하기 때문입니다. 경주 리소스 경쟁과 관련된 코드만 잠그면 됩니다. 특히 잠금을 필요로 하지 않는 코드의 경우 시간이 매우 많이 소요되며, 다음 코드와 같이 잠금을 오랫동안 점유하게 되고 다른 스레드는 줄을 서서만 대기할 수 있습니다.
분명히 두 번째 코드는 자물쇠를 사용하는 일반적인 방법이지만 일반적인 비즈니스 코드에서는 내 코드에 게시된 잠만큼 한눈에 확인하기가 쉽지 않습니다. 때로는 그럴 필요가 있습니다. 코드 실행 순서 등을 수정하여 잠금 세분성이 충분한지 확인하세요.
때로는 잠금이 충분히 두꺼운지 확인해야 하지만 JVM의 이 부분이 감지되어 다음 코드와 같이 최적화하는 데 도움이 됩니다.
메서드에서 호출되는 로직이 加锁-执行A-解锁-加锁-执行B-解锁，很明显的可以看出其实只需要经历加锁-执行A-执行B-解锁을 거친 것을 볼 수 있습니다.
그래서 JVM은 다음 상황과 유사하게 JIT(Just-In-Time) 컴파일 중에 잠금을 대략화하고 잠금 범위를 확장합니다.
그리고 JVM에는 잠금 제거작업도 있습니다. 이스케이프 분석을 통해 인스턴스 개체가 스레드 프라이빗인 것으로 판단되면 스레드로부터 안전해야 하므로 개체의 잠금 작업이 무시됩니다. 그리고 직접 전화했다.
읽기-쓰기 잠금
읽기-쓰기 잠금은 시나리오에 따라 잠금의 세분성을 줄이기 위해 위에서 제출한 것입니다. 잠금을 읽기 잠금과 쓰기 잠금으로 나눕니다. 읽기는 많고 쓰기는 적은 상황에 적합합니다. 예를 들어 캐시를 직접 구현해 보세요.
ReentrantReadWriteLock
읽기-쓰기 잠금
은 여러 스레드가 동시에 공유 변수를 읽을 수 있도록 허용하지만 쓰기 작업은 상호 배타적입니다. 즉, 쓰기-쓰기는 상호 배타적이며 읽기 -쓰기는 상호 배타적입니다. 직설적으로 말하면, 쓰기 작업을 할 때 하나의 스레드만 쓸 수 있고 다른 스레드는 읽거나 쓸 수 없습니다.
작은 세부 사항도 포함된 작은 예를 살펴보겠습니다. 이 코드는 캐시 읽기를 시뮬레이션합니다. 먼저 캐시에 읽기 잠금을 설정하여 데이터를 가져옵니다. 캐시에 데이터가 없으면 읽기 잠금을 해제합니다. 그런 다음 데이터베이스에 쓰기 잠금을 설정합니다. 데이터를 캐시에 저장하고 반환합니다.
여기서 작은 세부 사항은 다시 판단하는 것입니다
그러면 캐시가 비어 있으므로 모두 쓰기 잠금을 놓고 경쟁합니다. 결국 단 하나의 스레드만이 쓰기 잠금을 먼저 얻은 다음 데이터를 채울 것입니다. 캐시에. data = getFromCache() 是否有值，因为同一时刻可能会有多个线程调用getData()
이때 대기 중인 스레드는 결국 하나씩 쓰기 잠금을 얻게 됩니다. 쓰기 잠금을 획득하면 이미 캐시에 값이 있으므로 데이터베이스를 다시 쿼리할 필요가 없습니다.
물론 Lock의 사용 패러다임은 모두가 알고 있습니다. 최종 시도를 통해 잠금이 해제되는지 확인하세요. 읽기-쓰기 잠금에 대해 주의해야 할 또 다른 중요한 사항은 try- finally，来保证一定会解锁。而读写锁还有一个要点需要注意，也就是说锁不能升级。什么意思呢？我改一下上面的代码。
小结一下，读写锁适用于读多写少的情况，无法升级，但是可以降级。Lock 的锁需要配合 try- finally잠금을 업그레이드할 수 없다는 것
입니다. 그게 무슨 뜻이에요? 위의 코드를 변경해 보겠습니다.
하지만 읽기 잠금은 쓰기 잠금 내에서 다시 사용할 수 있습니다. 잠금 다운그레이드를 달성하기 위해 일부 사람들은 쓰기 잠금을 추가한 후 읽기 잠금이 필요한 이유를 물을 수 있습니다.
여전히 다소 유용합니다. 예를 들어 스레드가 쓰기 잠금을 잡고 쓰기 작업이 완료되려고 할 때 읽기 잠금을 추가한 다음 쓰기 잠금을 해제합니다.
지금도 여전히 읽기 잠금을 유지하고 있습니다. 즉시 쓰기를 사용할 수 있도록 데이터를 잠근 후 이 시점에서 쓰기 잠금이 해제되므로 다른 스레드도 데이터를 읽을 수 있습니다.
사실 쓰기 잠금과 같은 더 강력한 잠금은 필요하지 않습니다! 그러니 누구나 읽을 수 있도록 다운그레이드해 보겠습니다.
요약하자면, 읽기-쓰기 잠금은 읽기가 많고 쓰기가 적은 상황에 적합합니다. 업그레이드는 불가능하지만 다운그레이드는 가능합니다. 잠금 장치는 시도 -마지막으로 잠금이 해제되는지 확인하세요. 그나저나 읽기-쓰기 잠금 구현에 대해 간단히 언급하겠습니다. AQS에 익숙한 학생들은 내부 상태를 알 수 있습니다. 읽기-쓰기 잠금은 int 유형 상태를 상위 16비트로 나눕니다. 하위 16비트는 각각 읽기 잠금 및 쓰기 잠금 상태를 기록합니다. 일반 뮤텍스 잠금과의 차이점은 이 두 가지 상태를 유지하고 대기 대기열에서 이 두 잠금을 다르게 처리한다는 점입니다.
그래서
읽기-쓰기 잠금에 적합하지 않은 시나리오에서는 뮤텍스 잠금을 직접 사용하는 것이 좋습니다
. 읽기-쓰기 잠금도 상태 및 기타 작업에 대한 변위 판단을 수행해야 하기 때문입니다.
🎜🎜🎜🎜StampedLock🎜🎜🎜🎜🎜이 점도 조금 언급하고 싶은데 1.8이고 출현율이 ReentrantReadWriteLock만큼 높지는 않은 것 같습니다. 쓰기 잠금, 비관적 읽기 잠금, 낙관적 읽기를 지원합니다. 쓰기 잠금 및 비관적 읽기 잠금은 실제로 추가 낙관적 읽기가 있는 ReentrantReadWriteLock의 읽기-쓰기 잠금과 동일합니다. 🎜🎜위 분석을 통해 우리는 읽기-쓰기 잠금이 실제로 읽을 때 쓸 수 없다는 것을 알고 있으며 🎜StampedLock의 낙관적 읽기는 하나의 스레드에서 쓰기를 허용합니다🎜. 낙관적 읽기는 실제로 우리가 알고 있는 데이터베이스 낙관적 잠금과 동일합니다. 데이터베이스의 낙관적 잠금은 다음 SQL과 같은 버전 필드로 판단됩니다. 🎜
StampedLock 낙관적 독서도 이와 비슷합니다. 간단한 사용법을 살펴보겠습니다.
이것은 ReentrantReadWriteLock과 비교되는 부분입니다. 다른 것들은 좋지 않습니다. 예를 들어 StampedLock은 재진입을 지원하지 않으며 조건 변수를 지원하지 않습니다. 또 다른 점은 StampedLock을 사용할 때 인터럽트 연산을 호출하면 CPU가 100%가 되기 때문입니다 Concurrent 프로그래밍 웹사이트에서 제공하는 예제를 실행하여 재현했습니다.
여기에서는 구체적인 이유를 자세히 설명하지 않습니다. 위의 내용은 매우 자세하게 설명되어 있습니다.
그래서 뭔가 강력해 보이는 것이 나올 때, 그것을 정말로 이해하고 익숙해져야 타겟이 될 수 있습니다.
CopyOnWrite
Copy-on-write는 processfork() 작업. 읽기 작업이 쓰기를 차단하지 않고 쓰기 작업이 읽기를 차단하지 않기 때문에 비즈니스 코드 수준에도 매우 유용합니다. 읽기량이 많고 쓰기량이 적은 시나리오에 적합합니다. fork() 操作。对于我们业务代码层面而言也是很有帮助的，在于它的读操作不会阻塞写，写操作也不会阻塞读。适用于读多写少的场景。
예를 들어 JavaCopyOnWriteArrayList, 일부 사람들은 읽기가 스레드로부터 안전할 때 쓰기를 차단하지 않는다는 말을 들을 수 있으므로 좋은 사람들이 사용합니다! 🎜🎜먼저 🎜기록 중 복사가 데이터 복사본을 복사한다는 점을 이해해야 합니다🎜. 모든 수정 사항은 CopyOnWriteArrayList가 한 번 트리거됩니다Arrays.copyOf를 클릭한 다음 복사본을 수정합니다. 수정 작업이 많고 복사된 데이터도 크다면 재앙이 될 것입니다! 🎜
동시 안전 컨테이너
마지막으로 동시 안전 컨테이너의 사용에 대해 이야기해 보겠습니다. 비교적 친숙한 ConcurrentHashMap을 예로 들어보겠습니다. 새로운 동료들은 동시 안전 컨테이너를 사용하는 한 스레드로부터 안전해야 한다고 생각하는 것 같습니다. 사실 반드시 그런 것은 아니고 어떻게 사용하느냐에 따라 다릅니다.
먼저 다음 코드를 살펴보겠습니다. 간단히 말하면 ConcurrentHashMap을 사용하여 모든 사람의 급여를 최대 100까지 기록합니다.
최종 결과는 기준을 초과하게 됩니다. 즉, 지도에 기록된 사람이 100명만이 아닙니다. 그렇다면 어떻게 결과가 정확할 수 있습니까? 잠금을 추가하는 것만큼 간단합니다.
누군가 이것을 보고 이렇게 말했습니다. 이미 잠긴 경우 왜 ConcurrentHashMap을 사용해야 하나요? HashMap에 잠금만 추가하면 괜찮을 것 같아요! 그래 네가 맞아! 현재 사용 시나리오는 복합 작업이므로 먼저 맵의 크기를 판단한 다음 put 메서드를 실행합니다. ConcurrentHashMap 은 복합 작업이 스레드로부터 안전하다는 것을 보장할 수 없습니다!
그리고 ConcurrentHashMap은 사용에만 적합합니다. 복합 작업 대신 스레드로부터 안전한 메서드를 노출합니다. 예를 들어 다음 코드
물론 제 예제는 적절하지 않습니다. 사실 ConcurrentHashMap이 HashMap + 잠금보다 성능이 높은 이유는 여러 키 작업을 반영해야 하는 분할 잠금 때문입니다. 그러나 제가 강조하고 싶은 핵심은 부주의해서는 안 되며, 단순히 이를 사용하면 스레드로부터 안전할 것이라고 생각할 수도 없다는 것입니다.
요약하자면
오늘 우리는 동시성 버그의 원인, 즉 가시성 문제, 원자성 문제, 순서 문제라는 세 가지 주요 문제에 대해 이야기했습니다. 그런 다음 동기화 키워드에 대해 주의해야 할 중요한 사항에 대해 간략하게 설명했습니다. 즉, 정적 필드나 정적 메서드를 수정하는 것은 클래스 수준 잠금이고, 비정적 필드와 비정적 메서드를 수정하는 것은 인스턴스 수준 클래스입니다. 잠금의 세분성에 대해 이야기해 보겠습니다. 다양한 시나리오에서 서로 다른 잠금을 정의하는 것은 하나의 잠금으로는 수행할 수 없으며 메서드의 내부 잠금 세분성은 양호해야 합니다. 예를 들어 읽기는 많고 쓰기는 적은 시나리오에서는 읽기-쓰기 잠금, 쓰기 시 복사 등을 사용할 수 있습니다. 궁극적으로 동시 안전 컨테이너를 올바르게 사용해야 합니다. 동시 안전 컨테이너를 사용하는 것이 스레드로부터 안전해야 한다고 맹목적으로 생각할 수는 없습니다.
물론 오늘은 간단하게 이야기를 했는데요, 앞서 분석했던 Kafka 이벤트 처리의 전체 과정처럼 스레드로부터 안전한 코드를 작성하는 것은 사실 쉽지 않습니다. 원래 버전은 다양한 잠금으로 제어되는 동시성과 보안이 전부였습니다. 나중에는 버그를 전혀 수정할 수 없었고, 디버깅도 어려웠고, 버그 수정도 어려웠습니다.
그래서 Kafka 이벤트 처리 모듈은 마침내 단일 스레드 이벤트 큐 모드로 변경되었습니다. 이는 공유 데이터 경쟁과 관련된 액세스를 이벤트로 추상화하고 해당 이벤트를 차단 큐에 넣은 다음 단일 스레드에서 처리합니다. .
그러면 자물쇠를 사용하기 전에 먼저 생각해봐야 할 게, 꼭 필요한 걸까요? 단순화할 수 있나요? 그렇지 않으면 나중에 유지하는 것이 얼마나 고통스러운지 알게 될 것입니다.
위 내용은 올바른 자물쇠를 사용하셨나요? Java '잠금' 문제에 대한 간략한 논의의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!
![[웹 프런트엔드] Node.js 빠른 시작](https://img.php.cn/upload/course/000/000/067/662b5d34ba7c0227.png)
