통합검색
· 마을서비스란?  · 포럼마을  · 일반마을  · 테마마을  · 마을랭킹  · 활동왕
· 덱스퍼트란?  · TECBOX   · PRSBOX   · 이용안내  
· DEXT제품군  · 솔루션베이  · S/W & ESD 컴포넌트
· 프로그램베이
· LiveSeminar  · LiveConference
Visual C++ 포럼마을 입니다.
  마을등급 Visual C++   이 마을은 포럼마을 입니다이 마을은 자유가입제 마을 입니다 마을소개 페이지로 이동 전입신청
마을촌장촌장 나성훈 주민 34036 since 2006-12-29
우리마을 공지사항
질문&답변
강좌&팁
자유게시판
자료실
앨범
개인게시판
마을 게시판
등록된 마을 게시판이
없습니다.
랑데브 게시판
칼럼 게시판
개발자 고충상담
Dev Talk
자유토론방
벼룩시장
재나미 우스개
구인/프로젝트 정보
사람인 채용 게시판
  고객지원 게시판
마이 데브피아
 나의 e-Money 내역
 활동왕 My Page
 스크랩한 게시글보기
 쪽지관리
 주소록관리

 자유게시판
 인텔 펜티엄 - 나눗셈 오류 2019-02-17 오전 6:32:15
 shintx  shintx님께 메시지 보내기shintx님을 내 주소록에 추가합니다.shintx님의 개인게시판 가기 번호: 52308 추천:0  / 읽음:1,925

1994년 미국 수학자 토마스 나이슬리(Thomas R. Nicely)
인텔 펜티엄 마이크로프로세서 칩 나눗셈 오류 발견
4195835*3145727/ 3145727’을 입력해 ‘4195935’가 아닌 ‘4195579’가 나오면 결함
http://www.skkuw.com/news/articleView.html?idxno=7326



 

 

 

 

 

 

 

//

Pentium FDIV bug
https://en.wikipedia.org/wiki/Pentium_FDIV_bug

 

4195835-4195835/3145727*3145727
Try 4195835 4195835 3145727 3145727 in 94 pentium it
https://www.coursehero.com/file/p1qr2pt/Try-4195835-4195835-3145727-3145727-In-94-Pentium-it-doesnt-return-0-but-256/


Truth in Mathematics
https://books.google.co.kr/books?id=AKKOFOcBb2sC&pg=PA156&lpg=PA156&dq=4195835*3145727/3145727&source=bl&ots=uH5zYbPFo9&sig=ACfU3U3_g51j542xlnO4R7pmwiPRH1TulQ&hl=ko&sa=X&ved=2ahUKEwihtv_pw6HhAhUdK6YKHaH1ABwQ6AEwCXoECBEQAQ#v=onepage&q=4195835*3145727%2F3145727&f=false

r = 4195835 - (4195835/3145727) * (3145727)

Java For Everyone
https://books.google.co.kr/books?id=C5ADQbl1LL8C&pg=PA58&lpg=PA58&dq=4195835*3145727/3145727&source=bl&ots=By01morBp4&sig=ACfU3U01fh-Hk0CMgS6nvQ-sSm2paXpuZw&hl=ko&sa=X&ved=2ahUKEwihtv_pw6HhAhUdK6YKHaH1ABwQ6AEwCnoECBAQAQ#v=onepage&q=4195835*3145727%2F3145727&f=false


The Pentium FDIV bug - a Picture
http://www.ipsr.ku.edu/stafffil/hoyle/pentium_fdiv/

Computerization and Controversy: Value Conflicts and Social Choices
https://books.google.co.kr/books?id=vvSVtTkmfv4C&pg=PA752&lpg=PA752&dq=4195835*3145727/3145727&source=bl&ots=DPvz-QnR1V&sig=ACfU3U2HeIb4yGYcYvfUkzQLzFJCsnSFvQ&hl=ko&sa=X&ved=2ahUKEwihtv_pw6HhAhUdK6YKHaH1ABwQ6AEwDHoECA8QAQ#v=onepage&q=4195835*3145727%2F3145727&f=false

Überblicke Mathematik 1998
https://books.google.co.kr/books?id=scXQBgAAQBAJ&pg=PA64&lpg=PA64&dq=4195835*3145727/3145727&source=bl&ots=g-8BRwettM&sig=ACfU3U2U10v99tClaMK77q6jJmU-B75XAg&hl=ko&sa=X&ved=2ahUKEwihtv_pw6HhAhUdK6YKHaH1ABwQ6AEwDnoECBIQAQ#v=onepage&q=4195835*3145727%2F3145727&f=false

소수는 왜 무한한가???
http://m.cafe.daum.net/mathhell/Hz9a/16?listURI=%2Fmathhell%2FHz9a

4195835*3145727/3145727=4195579 답
4195835*3145727/3145727=4195835 계산기


Non-zero arithmetic check in Python
https://stackoverflow.com/questions/18862852/non-zero-arithmetic-check-in-python/18862867


The Pentium FDIV Bug
http://scihi.org/the-pentium-fdiv-bug/


Ошибка Pentium FDIV
http://www.wikiwand.com/ru/Ошибка_Pentium_FDIV

4195835 * 3145727/3145727 = 4195835 (곱하기와 나눗셈을 통해 원래 번호를 얻습니다)
4195835 * 3145727/3145727 = 4195579 (결함이있는 프로세서에서 오류 값을 반환 함)

Hardware Designers vs. Software Designers
http://www.doublecloud.org/2010/03/hardware-designers-vs-software-designers/

Intel FDIV Bug
http://42gems.com/blog/?tag=fdiv


쌍둥이 소수
https://prezi.com/ewgyqwr1hd0h/presentation/

View Full Version : Pentium FDIV Bug
http://www.vcfed.org/forum/archive/index.php/t-17799.html

I was very fond of it but then the news came out about the “FDIV” bug.
With dread I tried the simple math test: 4195835*3145727/3145727 = 4195835 using the Windows calculator applet.
If the answer came out 4195579, you had the buggy chip.

4195835 * 3145727 / 3145727 = 4195835 Windows 계산기 애플릿 사용.
대답이 나온다면 4195579, 당신은 버그가있는 칩을 가지고있었습니다.

 

 

 

 

//

C code - 14 lines - codepad
http://codepad.org/H5GEqSbq

 

#include <stdio.h>

 

int main()

{

    float a = 4195835.0f;

    float b = 3145727.0f;

    printf("%0.14f\n", a/b);

 

    double a1 = 4195835.0f;

    double b1 = 3145727.0f;

    printf("%0.14f\n", a1/b1);

 

    return 0;

}


Output:


1.333820462226871.33382044913624

 

 

4195835/3145727=

1.33382044914

1.333820449136241002

1.333739068902037589

 

 

 

//

4195835*3145727/3145727 - Google 검색
http://www.google.com/search?q=4195835*3145727/3145727&tbm=isch&source=lnms&sa=X&ved=0ahUKEwi_y_aVjcjlAhWPF4gKHQR5Bv4Q_AUIDCgD&biw=1084&bih=686&dpr=1.25

4195835/3145727 - Google 검색
http://www.google.com/search?hl=ko&source=hp&ei=r7G7XcqIEIfU-Qaa9bL4DQ&q=4195835%2F3145727&oq=4195835%2F3145727&gs_l=psy-ab.3...3014.3014..3961...0.0..0.116.116.0j1......0....2j1..gws-wiz.4VuSErfXsVc&ved=0ahUKEwiKnILgk8jlAhUHat4KHZq6DN8Q4dUDCAU&uact=5

세실리아
http://blog.daum.net/9kyfs/2194

Try 4195835 4195835 3145727 3145727 In 94 Pentium it doesnt return 0 but 256
http://www.coursehero.com/file/p2oh0je/Try-4195835-4195835-3145727-3145727-In-94-Pentium-it-doesnt-return-0-but-256/

Model Checking My 27 year quest to overcome the state explosion problem Edmund Clarke Computer Science Department Computer Science Department Carnegie. - ppt download
http://slideplayer.com/slide/5977692/

Pentium FDIV bug - a pictureInstitute for Policy & Social Research
http://www.ipsr.ku.edu/stafffil/hoyle/pentium_fdiv/

세실리아
http://blog.daum.net/9kyfs/3190

소수가 뭐길래?
http://terms.naver.com/entry.nhn?docId=3566952&cid=58944&categoryId=58970

L2__Product_Life_Cycle_and_Product_Design_Process - L2 PRODUCT LIFE CYCLE PRODUCT DESIGN AND VERIFICATION PROCESS Michael Quinn(original slides by Dr | Course Hero
http://www.coursehero.com/file/19472104/L2-Product-Life-Cycle-and-Product-Design-Process/

+ Post-Silicon Fault Localisation using MAX-SAT & Backbones Georg Weissenbacher Charlie Shucheng Zhu, Sharad Malik Princeton University (Photo: Intel Press. - ppt download
http://slideplayer.com/slide/2350493/

Formal Verification An Overview Erik Seligman CS 510
http://present5.com/formal-verification-an-overview-erik-seligman-cs-510/

세실리아
http://blog.daum.net/9kyfs/3184

 

 

[코멘트] 좋음
2019-02-22 11:10
 skawndns  skawndns님께 메시지 보내기skawndns님을 내 주소록에 추가합니다.skawndns님의 개인게시판 가기 
함 읽어보겠습니다 . ㅋ
저장 취소
[코멘트] 좋음
2019-03-23 21:30
 win3200  win3200님께 메시지 보내기win3200님을 내 주소록에 추가합니다.win3200님의 개인게시판 가기 
"1994년 미국 수학자 토마스 나이슬리(Thomas R. Nicely)
인텔 펜티엄 마이크로프로세서 칩 나눗셈 오류 발견
4195835*3145727/ 3145727’을 입력해 ‘4195935’가 아닌 ‘4195579’가 나오면 결함
http://www.skkuw.com/news/articleView.html?idxno=7326
"

음...
난 4195835 나오는디요? 4195935라더니
저장 취소
[코멘트] 좋음
2019-03-27 13:39
 shintx  shintx님께 메시지 보내기shintx님을 내 주소록에 추가합니다.shintx님의 개인게시판 가기 
4195835*3145727/3145727=4195579 결함
4195835*3145727/3145727=4195935 정상
4195835*3145727/3145727=4195835 계산기
4195835*3145727/3145727=4195835 구글

저도
4195835 나오네요. ㅇ_ㅇ;;
4195835.000000

C code - 21 lines - codepad
http://codepad.org/n3tcVV1I
저장 취소
[코멘트] 좋음
2019-09-28 17:37
 shintx  shintx님께 메시지 보내기shintx님을 내 주소록에 추가합니다.shintx님의 개인게시판 가기 
append | Microsoft Docs
http://docs.microsoft.com/ko-kr/windows-server/administration/windows-commands/append

cmd 명령어 트릭, 해킹 모음 :: 복만스 이야기
http://verybock.tistory.com/72

Pentnt 도스 명령어'로도 확인 가능
저장 취소
[코멘트] 좋음
2019-10-19 13:39
 shintx  shintx님께 메시지 보내기shintx님을 내 주소록에 추가합니다.shintx님의 개인게시판 가기 
정확한 소수점 값을 사용하시려면. F를 붙입니다.

float f =123.456; 오류
float f =123.456F; 정상
저장 취소
코멘트쓰기
  좋음   놀람   궁금   화남   슬픔   최고   침묵   시무룩   부끄럼   난감
* 코멘트는 500자 이내(띄어쓰기 포함)로 적어주세요.
목록 보기   지금 보고 계시는 글을 회원님의 my Mblog >> 스크랩에 넣어두고 다음에 바로 보실 수 있습니다.  
회사소개  |   개인정보취급방침  |  제휴문의  |   광고문의  |   E-Mail 무단수집거부  |   고객지원  |   이용안내  |   세금계산서
사업자등록번호 안내: 220-81-90008 / 통신판매업신고번호 제 2017-서울구로-0055호 / 대표: 홍영준, 서민호
08390, 서울시 구로구 디지털로32길 30, 1211호 / TEL. 02_6719_6200 / FAX. 02-6499-1910
Copyright ⓒ (주) 데브피아. All rights reserved.