CPU 결함목록 구경하기.

PHYloteer https://gigglehd.com/gg/4305625

🤔

조회 수 4549 댓글 13

딴 글에 댓글달다 생각나서 글을 써 봅니다.

요즘 CPU는 너무 구조가 복잡해서 개발 단계에 버그를 다 잡지 못합니다. 뭐 멜트다운이나 스펙터같은 유명한 문제들도 있지만, 그거 말고도 요즘은 쓰윽 넘어가는 문제들이 많습니다. 물론 인텔 AMD ARM등 전부 해당힙니다.

그래도 그냥 입을 씻고 넘어갈 수는 없기 때문에, 이런 문제들은 보통 에라타 목록에 기록됩니다. 예를 들어 다음은 인텔 Skylake의 스펙 문서이며, Errata 섹션에서 CPU 버그들을 볼 수 있습니다. 대충 50장 나오네요.

https://www.intel.com/content/dam/www/public/us/en/documents/specification-updates/desktop-6th-gen-core-family-spec-update.pdf

다음은 AMD Ryzen의 예입니다:

https://www.amd.com/system/files/TechDocs/55449_Fam_17h_M_00h-0Fh_Rev_Guide.pdf

페이지 18쪽부터.

이 경우엔 인텔이 AMD보다 더 많은데 발표일자/세대도 다르고 걍 AMD쪽이 사용자/개발팀이 인텔대비 작아서 덜 발견되었다고 보는 게 맞을 겁니다. 그러니 장 수 기준으로 비교하는 건 불공정하고 그냥 이런 게 있다 정도로 생각하시면 될 겁니다.

이러한 오류들은 컴파일러, 마이크로코드 업데이트, BIOS 픽스 등으로 일부 해결되기도 하고 (대부분의 경우 성능 하락과 함께)... 그냥 방치되기도 합니다. 그럼 걍 같이 살아야죠 뭐. 뭐 그래도 정말 자주 겪을 문제라면 대부분 어디선가 패치가 되어 있을 겁니다.

삭제 요청

목록 스크랩

위로 아래로 댓글로 가기

Comments '13'

?
테브리오 2019.02.07 14:53

사람이 만든거다보니 오류는 얼마든지 나올 수 있겠죠.
치명적인 문제일때 "어지간하면" 해결을 어떻게든 할테니.
흥미로운 글 잘 보았습니다.
파팟파파팟 슈슉슈슈슉이 아닙니다. 파팟파파팟 이죠. 2019.02.07 18:40

인터레스팅...
쮸쀼쮸쀼 2019.02.07 19:14

이런 회로상의 논리적 결함을 자동 또는 반자동으로 잡아내는 기법은 없는 걸까요. 왜 그 소프트웨어에서 정적 분석하는 것처럼 말이죠.
?
PHYloteer 🤔 2019.02.07 20:28

있기는 한데, CPU같이 규모가 큰 건 검사가 너무 오래걸려서 완벽한 시뮬레이션은 못 하고 어느정도 구조를 추상화한 상태에서 검사를 합니다 (=현실에서는 발생하는 문제를 놓칠 수 있음). 현실의 CPU는 단순한 논리 회로의 집합이 아니라 물리학적인 물질인데, 그것의 특성을 세세하게 다 시뮬레이트하기는 너무 어렵죠.. 그래서 보통 여러 단계로 추상화 레벨을 나눠두고 (현실에 가까울수록 시뮬레이션이 오래걸리고 힘듬) 이걸 레벨을 바꿔가면서 테스트를 하죠. 대부분의 검증은 추상화가 많이 이루어진 상태에서 이루어집니다.

그리고 프로그램은 맞게 검사를 했는데 사람이 애초에 스펙을 잘못 잡은 경우도 많이 있습니다. 이건 뭐 백날 시뮬레이션해도 못잡죠. (..) 개발자가 생각했던것과는 다르지만 아무튼 설계대로 동작은 하는거니 검사는 전부 통과..

반도체가 단순한 논리회로가 아니라 현실의 물질이라 일어나는 대표적인 문제를 들자면.. 로해머 공격이 있습니다. 메모리에 빠르게 값을 쓰고 지우는 것을 반복해 전하의 누설을 유도해 엉뚱한 메모리 주소의 값이 바뀌도록 유도하는 해킹 기법입니다. 반도체의 물리적 특성을 그대로 이용한 공격이죠..
쮸쀼쮸쀼 2019.02.07 20:50

Row Hammer 공격이라… 흠좀무하군요.
?
TonyJ 2019.02.08 10:10

여기서 로해머 공격을 보고 서치해보니 진짜로 바이러스나 해킹 관련해서 그런 말이 있네요...
실은 DRAM 공정 미세화에 따른 불량이었고 발생하지 않도록 DRAM 제조사들이 대책을 세운 걸로 알고 있습니다만...
한 ROW 만 계속 동작시킬 때 주위 값들이 바뀌는 불량인데 0 이 1 이 되거나 1 이 0 이 되는 거라... 현실적으로 랜덤한 숫자가 나올텐데..그러느니.. 한 ROW 만 동작시키게하는 해킹 을 할 수 있다면 이미 원하는 해킹을 할 수 있지 않을까 싶기도한데요 ...
SW 는 잘 모르는 분야라... ㅎㅎ
?
PHYloteer 🤔 2019.02.08 10:19

현실적으로 랜덤한 결과가 나오더라도 충분히 반복하면 원하는 결과가 나올 수도 있습니다. 운빨에 거는 공격법 중 하나로 글리칭 어택이 있는데요, 일부러 정밀한 타이밍에 전원 전압을 흔들어서 연산오류를 내는 공격.. 제 정신이 아닌 말 같지만 닌텐도 스위치 해킹과 와콤 타블렛 펌웨어 덤프에 사용된 기법입니다.

자신이 허가받지 않은 영역에 손을 대거나 연산값을 조작할 수 있다면 그게 좀 노가다성이 깊더라도 시도하는 사람이 나옵지요. 프로그램이 내부적으로 접근할 수 있도록 배당받은 영역이 공격하고자 하는 어드레스와 실제 칩상에서 물리적으로 근접한 곳에 위치해있다면 로해머를 통한 공격이 충분히 의미가 있을 수 있습니다.

로해머는 말씀하신대로 대응책들이 나와있습니다. 물리적인 문제는 어떻게 할 수 없으니 대신 리프레시율을 높이고 ECC를 추가하는 등의 방법으로 문제를 발생시키길 힘들게 만든거죠..
?
TonyJ 2019.02.08 10:29

네.. 수백만번이고 돌리다 원하는 값이 걸리면 빙고! 라 할거 같은 생각은 했습니다.
노가다는 컴퓨터가 해 줄테니까요..
쩝..
?
diediealld 2019.02.08 14:35

현대 CPU는 1억개가 넘는 트랜지스터가 여러 논리 블럭에 나뉘어진 채로 돌아갑니다. 현대 CPU는 클럭당 5개가 넘는 명령을 디코딩한다음 합칠수 있는 명령은 합치고, 레지스터 리네이밍까지 거친 다음 200엔트리가 넘는 OOO엔진에 쑤셔넣어서 종속성이 없는 명령어들은 비순차적으로 수행합니다. 그 명령들이 브랜치면 분기예측기로 또 던지고, 메모리 연산이면 캐시 미스 등도 확인한다음 하이퍼쓰레딩이 돌아가고 있으면 적절한 architectural state를 보여줘야 합니다. 에러나면 과거의 상태로 롤백시키기까지 해야합니다.
쉽게 말씀드리면 너무 복잡해서 그런겁니다...
쮸쀼쮸쀼 2019.02.08 14:38

네. 그러니까 자동화된 검증 절차가 필요하지요.
?
재성이 2019.02.09 17:23

기본적인 검증은 당연히 합니다.
다만 저런 special case들은 경우가 너무 많다보니 못하는거겠죠.
플라위 Howdy! I'm FLOWEY. 2019.02.10 22:30

그쪽 분야도 엄청 활발하게 연구되는 분야입니다 :) 안하고 있지는 않아요. 다만 모든 걸 검증할 수 없을 정도로 회로가 너무 빠르게 복잡해진게 문제라면 문제겠지요.
아 참고로 '전체 회로' 단위에서는 '기본적인 검증'도 할 수 없어요. 시뮬레이션 시간 단위가 '달'인 경우는 심심찮게 볼 수 있어요.
쮸쀼쮸쀼 2019.02.10 23:33

차세대 프로세서 개발에 슈퍼컴퓨터가 동원되어도 이상하지 않은 것이었군요.

작성된지 4주일이 지난 글에는 새 코멘트를 달 수 없습니다.

와사비망고 DP 케이블 분해기

에일리언웨어 모니터 사용기 3편을 쓰던 중, DP 케이블의 고질병인 화면 깜빡임 문제가 발생하여 교체용 케이블을 몇 개 주문했습니다. 이 문제의 주요 원인 중 하나로 지목받는것은 20번 핀이 살아있어서 생기는 역전류 문제인데요. 현...

Date2020.03.20 분석 ByAstro Reply9 Views2070

Read More
샤오미 USB 3.0 허브 XMFXQ01QM 분해

샤오미 USB 3.0 허브 XMFXQ01QM의 분해 사진입니다. USB 3.0 포트 4개, USB-C 전원 공급 가능, 케이블 길이 0.24m, 크기 89x23.6x18.5mm, 무게 33g. 4가지 기능을 표시. 개봉 허브와 설명서 USB-A 케이블이 달린 허브입니다. 케이스 재질...

Date2020.03.07 분석 By낄낄 Reply7 Views2520

Read More
AMD 젠 2 CPU 코어의 실제 모습이 공개

AMD는 국제 반도체 학회 ISSCC(IEEE International Solid-State Circuits Conference) 2020에서 젠 2 코어의 구현에 대해 강연했습니다. Zen 2 : The AMD 7nm Energy-Efficient High-Performance x86-64 Microprocessor Core(T. Singh, e...

Date2020.03.03 분석 By낄낄 Reply1 Views3647

Read More
ISSCC 2020: AMD 젠 2 프로세서의 CPU 코어와 칩렛 기술

ISSCC 2020에서 AMD가 시연한 젠 2 프로세서의 액체 질소 쿨링 벤치마크. AMD는 차세대 마이크로 프로세서인 젠2 CPU 코어 기술과 칩렛 기술을 반도체 회로 기술의 국제학회인 ISSCC 2020에서 발표했습니다. 2020년 2월 17일의 발표는 2...

Date2020.02.21 분석 By낄낄 Reply2 Views3179

Read More
현대 PC에서 DOS 부팅 USB를 통해 MS-DOS 사용하기

제가 쓰는 노트북은 Vaio P로, 뛰어난 디자인과 완성도 but 그지같은 성능으로 인해 용도가 지나치게 한정된 제품이죠. 일반적으로 '컴퓨터의 성능' 을 일상생활 속에서 평가한다면, 평가에 대한 기준은 컴퓨터 프로세서의 절대적인 연...

Date2020.02.03 분석 By우즈 Reply21 Views2167

Read More
UGREEN USB-C 멀티포트 어댑터 CM260 분해

UGREEN USB-C 멀티포트 어댑터 CM260의 분해 사진입니다. UGREEN의 멀티포트 어댑터를 한국에서 쓰는 분들이 은근히 많아서 하나 소개해 봅니다. 뒷면의 제품 정보. 포장. 보증서와 설명서. 샌딩 처리된 케이스로 지문이 잘 묻지 않습니...

Date2020.01.31 분석 By낄낄 Reply11 Views2232

Read More
No Image

메모리의 발전과 컴퓨팅의 미래

요 아래 나온 인텔의 MRAM 기술개발 소식( https://gigglehd.com/gg/6517977 )과 같이, 현재 대부분의 반도체 회사들은 계속해서 PRAM, MRAM등의 차세대 매모리를 개발하고 있습니다. 하지만 일반 소비자 입장에서는 지금 당장 사용하질 ...

Date2020.01.27 분석 ByMoria Reply26 Views3333

Read More
No Image

EVGA의 RTX 2060 KO, RTX 2070 SUPER과 비슷한 성능?

유튜버인 Gamers Nexus에 따르면 EVGA RTX 2060에 들어간 칩셋이 TU104라서 RTX 2070 Super과 비슷한 성능을 낸다고 하는군요

Date2020.01.24 분석 By라데온HD6950 Reply4 Views1235

Read More
Ryzen 7 4800U의 내장 그래픽, MX250보다 강력?

(단순 중국어 번역문입니다) 차세대 Ryzen 4000U 시리즈 프로세서가 Zen2 아키텍처의 CPU 코어를 예상대로 사용했지만 GPU는 여전히 Vega 아키텍처에 다소 실망했습니다. 또한 Vega 10에서 Vega 8로 축소되어 2 세트의 컴퓨팅 장치를 거...

Date2020.01.15 분석 By라데온HD6950 Reply19 Views9057

Read More
다들 아시겠지만 축교환 기계식 키보드 주의점

요즘 축교환 키보드가 흔합니다. 3년 전에는 드물었는데 지금은 개나소나 달고 나오죠. 보통은 이렇게 소캣이 ㅇ형태입니다. 이 경우 오테뮤 말고는 호환이 거의 안 됩니다. 오테뮤 축이 유난히 핀이 굵더군요. 반면 -형태의 소캣은 호...

Date2020.01.11 분석 By호무라 Reply17 Views7189

Read More
2019년 SSD 성능 순위

(단순 중국어 번역문입니다) 1 월 9 일 뉴스, Master Lu는 2019 년 하드 드라이브 성능 순위를 발표했으며, 삼성 PM981은 "가장 강력한 하드 드라이브"를, Kingston SA400S37 240GB는 "가장 인기있는 하드 드라이브"를 획득했습니다. 성...

Date2020.01.10 분석 By라데온HD6950 Reply19 Views6046

Read More
2019년 RAM 성능 순위

(단순 중국어 번역문입니다) Master Lu는 연간 PC 프로세서 목록 외에도 2019 년 PC 메모리 순위를 오늘 발표했습니다. 목록에서 8GB는 여전히 PC 플레이어의 첫 번째 선택입니다. 그중 Zhiqi DDR4 4266MHz 8GB는 올해 가장 강력한 메모...

Date2020.01.10 분석 By라데온HD6950 Reply9 Views3156

Read More
2019년 CPU 성능 순위

(단순 중국어 번역문입니다) 1 월 8 일, 마스터 루는 2019 년 PC 프로세서 순위를 발표했습니다. 이 목록은 2018 년 연례 성능 챔피언십에 이어 32 개의 코어와 64 개의 스레드를 갖춘 AMD Ryzen Threadripper 2990WX가 다시 한 번 PC ...

Date2020.01.10 분석 By라데온HD6950 Reply3 Views8223

Read More
2019년 그래픽 카드 성능 순위

(단순 중국어 번역문입니다) 이 목록은 NVIDIA TITAN RTX가 성공적으로 우승했으며 상위 5 개는 모두 N 카드이며 A 카드는 상위 5 개가 아닙니다. 마스터 Lu는 RTX 2080 Ti의 고급 버전으로서 NVIDIA TITAN RTX는 동일한 TU102 코어...

Date2020.01.10 분석 By라데온HD6950 Reply8 Views2734

Read More
스팀에서의 AMD 그래픽 카드 vs 엔비디아 그래픽 카드 점유율 비교 +a

(단순 중국어 번역문입니다) Steam은 사용자의 하드웨어 및 소프트웨어 데이터에 대한 월간 설문 조사를 실시하지만 설문 조사는 사용자의 의지를 기반으로하지만 Steam 플레이어의 전체 하드웨어 및 소프트웨어 상황을 반영 할 수는 없...

Date2020.01.07 분석 By라데온HD6950 Reply22 Views3824

Read More
애플 맥 프로 2019 분해 사진

애플 맥 프로 2019의 분해 사진입니다. 인텔 8코어 제온 프로세서, 부스트 클럭 4GHz, 24.5MB L3 캐시 8GB DDR4-2666MHz ECC 메모리 4개 라데온 프로 580X 8GB GDDR5 256GB PCIe 플래시 스토리지 802.11ac WiFi, 블루투스 5.0 미국 텍사...

Date2019.12.17 분석 By낄낄 Reply27 Views5909

Read More
VLSI: 무어의 법칙 3단계. 멀티 다이로 구성된 모듈화

작은 칩을 모아 큰 칩을 만든다 무어의 법칙은 3단계가 있습니다. 여러 다이로 구성된 칩을 만드는 모듈화, 칩 설계의 완전 자동화까지 앞으로 반도체 칩이 나아갈 방향은 이 3단계에서 이루어진다고 예측합니다. 지금까지는 반도체 칩의 ...

Date2019.10.07 분석 By낄낄 Reply10 Views2558

Read More
No Image

SSD 데이터 복구의 어려움. 스마트폰은 복구가 거의 불가능

일본 데이터 복구 협회가 진행한 데이터 복구 활동 발표회의 내용을 간추렸습니다. 현재 SSD의 출하량은 크게 늘어나고 있습니다. 2015년에는 전세계 8천만대도 팔리지 않았으나 2018년에는 1억 6715만대로 늘어났습니다. 하드디스크는 4...

Date2019.09.22 분석 By낄낄 Reply18 Views5234

Read More
타오바오 NAS는 왜 저렴하게 판매되는가?

아무리 생각해도 이렇게 저렴할 이유가 없는데, 가진 스펙에 비해 타오바오 NAS는 너무 저렴하게 판매되고 있었습니다. 중고라고 쳐도, 이 많은 물량은 어디에서 온 것일까요? 그래서 조금 더 파보니 가상화폐 채굴에 사용되었다가 나온 ...

Date2019.08.31 분석 ByMoria Reply41 Views35559

Read More
부동 소수점 연산. 단정밀도와 배정밀도의 차이

계산식의 자리수를 억제. 부동 소수점 컴퓨터는 숫자를 연산할 때 정수 연산과 소수 연산의 2가지로 나눠 구현합니다. 이건 '처리해야 하는 숫자의 자리수'가 매번 다르기 때문입니다. 정수는 보통 10자리 정도면 충분합니다. 대...

Date2019.08.12 분석 By낄낄 Reply15 Views13323

Read More