Microsoft MVP성태의 닷넷 이야기
닷넷: 2258. C# - double (배정도 실수) 저장소의 비트 구조 [링크 복사], [링크+제목 복사],
조회: 8639
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일

(시리즈 글이 8개 있습니다.)
.NET Framework: 539. C# - 부동 소수 계산 왜 이렇게 나오죠? (1)
; https://www.sysnet.pe.kr/2/0/10872

.NET Framework: 540. C# - 부동 소수 계산 왜 이렇게 나오죠? (2)
; https://www.sysnet.pe.kr/2/0/10873

.NET Framework: 608. double 값을 구할 때는 반드시 피연산자를 double로 형변환!
; https://www.sysnet.pe.kr/2/0/11055

개발 환경 구성: 440. C#, C++ - double의 Infinity, NaN 표현 방식
; https://www.sysnet.pe.kr/2/0/11896

기타: 85. 단정도/배정도 부동 소수점의 정밀도(Precision)에 따른 형변환 손실
; https://www.sysnet.pe.kr/2/0/13212

닷넷: 2257. C# - float (단정도 실수) 저장소의 비트 구조
; https://www.sysnet.pe.kr/2/0/13617

닷넷: 2258. C# - double (배정도 실수) 저장소의 비트 구조
; https://www.sysnet.pe.kr/2/0/13618

닷넷: 2259. C# - decimal 저장소의 비트 구조
; https://www.sysnet.pe.kr/2/0/13619




C# - double (배정도 실수) 저장소의 비트 구조

double의 경우 지난 글에서 다룬 float 방식과 거의 같습니다.

C# - float (단정도 실수) 저장소의 비트 구조
; https://www.sysnet.pe.kr/2/0/13617

단지, 지수부와 가수부를 위한 비트 수만 좀 더 확장한 유형인데요, 다음의 그림에 따라,

[배정도 실수 - 그림 출처: https://en.wikipedia.org/wiki/Double-precision_floating-point_format]
single_float_2.png

비트 구조만 맞춰서 masking만 잘하면 됩니다.

static unsafe void Main(string[] args)
{
    double d = -118.625;
    Console.WriteLine($"{d} (decimal: {(decimal)d}): sizeof(double): {sizeof(double)}");
    Console.WriteLine();

    byte* pDouble = (byte*)&d;
    PrintDoubleFormat(pDouble);
}

private static unsafe void PrintDoubleFormat(byte* pDouble)
{
    ulong data = *(ulong*)pDouble;

    ulong signBitMask = 0b_1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000;
    ulong exponentMask = 0b_0111_1111_1111_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000;
    ulong fractionMask = 0b_0000_0000_0000_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111_1111;

    ulong signBit = (data & signBitMask);
    ulong exponentBits = (data & exponentMask);
    ulong fractionBits = (data & fractionMask);

    Console.WriteLine("signBit: \t" + Convert.ToString((long)signBit, 2).PadLeft(64, '0').Separator(4, '_'));
    Console.WriteLine("exponentBits: \t" + Convert.ToString((long)exponentBits, 2).PadLeft(64, '0').Separator(4, '_'));
    Console.WriteLine("fractionBits: \t" + Convert.ToString((long)fractionBits, 2).PadLeft(64, '0').Separator(4, '_'));
}

실행하면 다음과 같은 결과가 나오는데요,

-118.625 (decimal: -118.625): sizeof(double): 8

signBit:        1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
exponentBits:   0100_0000_0101_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
fractionBits:   0000_0000_0000_1101_1010_1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000

IEEE 754 표준에 따른 정규화 과정을 거쳐,

2진수 변환)
-118.625 ==> 1110110.101

지수 표현)
1110110.101 ==> 1.110110101 * 26
    지수부: 6
    가수부: 1.110110101

double의 경우 float와는 달리 exponentBits가 11비트로 늘었는데요, 따라서 0 ~ 2,047의 수를 표현할 수 있으니 bias 값이 1,023이 됩니다. 결국 지수부 6에 (float는 127을 더했지만) 1023을 더한 1029 값이 exponentBits(100 0000 0101)로 설정됩니다.

가수부의 처리도 비트만 52비트로 늘었을 뿐 float에서의 처리와 다르지 않습니다.




분해된 정보로부터 원래의 double 값을 복원하는 것도 float에서의 규칙과 같습니다. 가수부의 110110101에서 생략된 가장 상위의 1을 복원시키고,

1_1011_0101 ==> 11_1011_0101

그다음, 지수부의 1029를 원래의 지수로 만들어줍니다. (반대로 1023을 빼면 됩니다.)

6 = 1029 - 1023

이렇게 구한 값들을 통해 처음의 double 값으로 복원할 수 있습니다.

1.110110101 * 2E6

==> 1110110.101

10진수로 ==> 118.625

==> sign 비트 적용
-118.625

이 과정 역시 float의 코드를 조금만 바꾸면 double로 이렇게 만들 수 있고,

{
    bool minus = signBit != 0;
    ulong exponents = exponentBits >> 52;

    // 삭제된 1을 복원하고,
    ulong fractions = fractionBits | 0b_0000_0000_0001_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000;

    int shift = (int)exponents - 1023;

    // (삭제된 1로 인해 12비트가 아닌) 11비트만 shift 시키면 원래의 가수로 변환
    fractions = fractions << 11;
    string mantissa = Convert.ToString((long)fractions, 2).TrimEnd('0');
    Console.WriteLine($"{(minus ? "-" : "")}{mantissa} * 2E{shift}");

    mantissa = Convert.ToString((long)fractions, 2).TrimEnd('0');
    mantissa = MarkDecimalPoint(mantissa, shift);
    Console.WriteLine($"{(minus ? "-" : "")}{mantissa}");

    decimal value = Recomposite(mantissa) * (minus ? -1 : 1);
    Console.WriteLine($"{value}, (double: {(double)value})");
}

// ... 기타 코드는 float 예제와 동일 ...

이전 코드와 합쳐서 실행해 보면 이런 결과를 얻을 수 있습니다.

-118.625 (decimal: -118.625): sizeof(double): 8

signBit:        1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
exponentBits:   0100_0000_0101_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000
fractionBits:   0000_0000_0000_1101_1010_1000_0000_0000_0000_0000_0000_0000_0000_0000_0000_0000

-1110110101 * 2E6
-1110110.101
-118.625, (double: -118.625)

(첨부 파일은 이 글의 예제 코드를 포함합니다.)




참고로, NaN과 infinity 처리도 있는데 이에 대해서는 전에 설명한 적이 있습니다.

C#, C++ - double의 Infinity, NaN 표현 방식
; https://www.sysnet.pe.kr/2/0/11896

그런데 저렇게 장황하게 설명한 것보다 아래의 글에 도표로 잘 정리된 것이 있군요. ^^

Binary floating point and .NET
; https://csharpindepth.com/Articles/FloatingPoint

float_nan_infinity_1.png




[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]







[최초 등록일: ]
[최종 수정일: 5/10/2024]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer at outlook.com

비밀번호

댓글 작성자
 




1  [2]  3  4  5  6  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
13893정성태2/27/20252197Linux: 115. eBPF (bpf2go) - ARRAY / HASH map 기본 사용법
13892정성태2/24/20252946닷넷: 2325. C# - PowerShell과 연동하는 방법파일 다운로드1
13891정성태2/23/20252489닷넷: 2324. C# - 프로세스의 성능 카운터용 인스턴스 이름을 구하는 방법파일 다운로드1
13890정성태2/21/20252304닷넷: 2323. C# - 프로세스 메모리 중 Private Working Set 크기를 구하는 방법(Win32 API)파일 다운로드1
13889정성태2/20/20253023닷넷: 2322. C# - 프로세스 메모리 중 Private Working Set 크기를 구하는 방법(성능 카운터, WMI) [1]파일 다운로드1
13888정성태2/17/20252469닷넷: 2321. Blazor에서 발생할 수 있는 async void 메서드의 부작용
13887정성태2/17/20253056닷넷: 2320. Blazor의 razor 페이지에서 code-behind 파일로 코드를 분리 및 DI 사용법
13886정성태2/15/20252565VS.NET IDE: 196. Visual Studio - Code-behind처럼 cs 파일을 그룹핑하는 방법
13885정성태2/14/20253218닷넷: 2319. ASP.NET Core Web API / Razor 페이지에서 발생할 수 있는 async void 메서드의 부작용
13884정성태2/13/20253489닷넷: 2318. C# - (async Task가 아닌) async void 사용 시의 부작용파일 다운로드1
13883정성태2/12/20253241닷넷: 2317. C# - Memory Mapped I/O를 이용한 PCI Configuration Space 정보 열람파일 다운로드1
13882정성태2/10/20252564스크립트: 70. 파이썬 - oracledb 패키지 연동 시 Thin / Thick 모드
13881정성태2/7/20252815닷넷: 2316. C# - Port I/O를 이용한 PCI Configuration Space 정보 열람파일 다운로드1
13880정성태2/5/20253155오류 유형: 947. sshd - Failed to start OpenSSH server daemon.
13879정성태2/5/20253374오류 유형: 946. Ubuntu - N: Updating from such a repository can't be done securely, and is therefore disabled by default.
13878정성태2/3/20253169오류 유형: 945. Windows - 최대 절전 모드 시 DRIVER_POWER_STATE_FAILURE 발생 (pacer.sys)
13877정성태1/25/20253222닷넷: 2315. C# - PCI 장치 열거 (레지스트리, SetupAPI)파일 다운로드1
13876정성태1/25/20253678닷넷: 2314. C# - ProcessStartInfo 타입의 Arguments와 ArgumentList파일 다운로드1
13875정성태1/24/20253123스크립트: 69. 파이썬 - multiprocessing 패키지의 spawn 모드로 동작하는 uvicorn의 workers
13874정성태1/24/20253528스크립트: 68. 파이썬 - multiprocessing Pool의 기본 프로세스 시작 모드(spawn, fork)
13873정성태1/23/20252954디버깅 기술: 217. WinDbg - PCI 장치 열거파일 다운로드1
13872정성태1/23/20252867오류 유형: 944. WinDbg - 원격 커널 디버깅이 연결은 되지만 Break (Ctrl + Break) 키를 눌러도 멈추지 않는 현상
13871정성태1/22/20253280Windows: 278. Windows - 윈도우를 다른 모니터 화면으로 이동시키는 단축키 (Window + Shift + 화살표)
13870정성태1/18/20253718개발 환경 구성: 741. WinDbg - 네트워크 커널 디버깅이 가능한 NIC 카드 지원 확대
13869정성태1/18/20253444개발 환경 구성: 740. WinDbg - _NT_SYMBOL_PATH 환경 변수에 설정한 경로로 심벌 파일을 다운로드하지 않는 경우
13868정성태1/17/20253096Windows: 277. Hyper-V - Windows 11 VM의 Enhanced Session 모드로 로그인을 할 수 없는 문제
1  [2]  3  4  5  6  7  8  9  10  11  12  13  14  15  ...