Машинное представление данных

И+ПРГ

Типовые размеры памяти для простых типов данных

* - дополнительные логические типы данных в Borland Pascal 7

И+ПРГ

Сегмент
+
Смещение
=
Адрес

16+4 бит
16 бит
20 бит

Адрес сегмента

Смещение

Физический адрес

Указатель занимает в памяти 4 байта (32 бита) и адресует первый байт данных, например, первый байт первого элемента массива.

Указатель занимает в памяти 4 байта (32 бита) хотя собственная длина указателя – 20 бит и он помещается в 3 байта, НО обычно память выделяется словами по 2 байта (16 бит) и выравнивается на границу слова – т.е под указатель выделяется 2 слова (а не 1,5).

И+ПРГ

Пример: для числа -33 в формате integer:
1000000000100001 - прямой код
0111111111011110 - обратный код
+______________1
1111111111011111 - дополнительный код

Операции с таким представлением наглядны, но не экономичны. Для оперирования со знаком числа требуется выполнять специальные алгоритмы операции, а это затраты машинного времени.

Более экономным является представление отрицательных чисел в дополнительном коде, который формируется следующим образом:
⬥ модуль отрицательного числа записать в прямом коде, в неиспользуемые старшие биты записать нули;
⬥ сформировать обратный код числа, для этого нуль заменить единицей, а единицу заменить нулем;
⬥ к обратному коду числа прибавить единицу;
⬥ знаковый (старший) разряд числа сделать равным 1.

Для положительных чисел прямой, обратный и дополнительный коды одинаковы, при этом знаковый (старший) разряд равен 0. Аналогично представляются целые числа других типов.

Машинное представление данных

И+ПРГ

Дополнительный код позволяет свести операцию вычитания к сложению положительного числа в прямом коде и отрицательного в обратном.
Пример: Сложим +1 и -1:
00000001 - в прямом двоичном коде
11111111 - в дополнительном коде
00000000 - перенос разряда дает в результате +1-1=0
(левый разряд переполнения – отбрасывается)

Для отображения шестнадцатеричных чисел (в частности, в редакторе Total Commander и в других редакторах, например, FAR) используются восемь двоичных разрядов байта разбитые на две группы по четыре бита. Четырьмя разрядами двоичной системы счисления представляется одна цифра шестнадцатеричной системы счисления.
В шестнадцатеричной системе счисления число представляется в виде суммы степеней числа 16. Для изображения числа используется шестнадцать цифр: десять обычных десятичных цифр {0,1,2,3,4,5,6,7,8,9} и шесть латинских заглавных букв {A,B,C,D,E,F}.
Таким образом содержимое байта отображают двузначным числом в шестнадцатеричной системе счисления (младший разряд – справа).
Например, 0110 11012 = 6D16
1010 00102 = A216

Машинное представление данных

И+ПРГ

В 16-разрядных процессорах слово состоит из 2-х байт. В 32- разрядных процессорах слово состоит из 4-х байт. Двойное слово, как и следует из названия, содержит ровно в два раза больше байт, чем просто слово. Как же называют набор из двух байт для 32-разрядного процессора? На больших ЭВМ - это полуслово. А на процессоре Intel 80х86 (младшие модели этих процессоров были 16-разрядными, а начиная с 80386 стали 32-разрядными) фирма Intel сохранила термино-логию 16-разрядных моделей. В официальной документации на процессоры Intel словом, или коротким словом, называется набор из 2 байт, то есть 16 разрядов. Это верно даже для Pentium. Набор из 4 байт, или 32 разряда, называется двойным словом, или длинным словом. Это сделано для единства терминологии, независимо от конкретной модели ПЭВМ.

Младший байт Старший байт

Короткое слово

Длинное (двойное) слово

И+ПРГ

integer – переменная хранится как слово (2 байта) со знаком

longint – переменная хранится как двойное слово (4 байта) со знаком

. . .

comp – Сложный тип (содержит только целочисленные значения в диапазоне от -263+1 до +263-1), хранится как два двойных слова (8 байт) со знаком

. . .

byte – переменная хранится как байт без знака

word – переменная хранится как слово (2 байта) без знака

int, signed [int], short [int] – переменная хранится как слово (2 байта) со знаком

unsigned [int], unsigned short [int] – переменная хранится как слово (2 байта) без знака

long [int], signed long [int] – переменная хранится как двойное слово (4 байта) со знаком

. . .

unsigned long [int] – переменная хранится как двойное слово (4 байта) без знака

. . .

И+ПРГ

byte – переменная хранится как байт без знака

word – переменная хранится как слово (2 байта) без знака

bool – переменная хранится как байт без знака

char, signed char – переменная хранится как байт со знаком

unsigned char – переменная хранится как байт без знака

wchar_t – переменная хранится как слово (2 байта) без знака

Символьные типы данных

Битовые типы данных

enum – переменная хранится как тип int (2 байта) без знака

Перечисляемый тип данных

(,,,) – переменная хранится как байт без знака (в нём содержится порядковый номер присваиваемого значения)

Интервальный тип данных

[..] – переменная хранится как 1, 2 или 4 байта без знака, в зависимости от того каким целочисленным типом данных описаны границы интервала

Указатели

Тип указателя – это адрес ячейки памяти. В среде MS DOS адрес имеет размер 20 двоичных разрядов (бит).

И+ПРГ

Для вещественных чисел по стандарту ANSI/IEEE 754-1985 (IEEE Standard for Binary Floating-Point Arithmetic’s) используется нормализованное представление со смещенным порядком. То есть число приводится к виду:
A = ±M · 2±P, ½ <= M < 1,
где M – мантисса, P – порядок. (Нормализованная запись отличного от нуля действительного числа – это запись вида a = m*Qp, где p – целое число (положительное, отрицательное или ноль), а m – правильная Q-ричная дробь, у которой первая цифра после запятой не равна нулю, то есть 1/Q <= m <1). Так как в результате старший разряд целой части двоичного числа всегда равен единице, его обычно в памяти не хранят («скрытый бит» или «скрытая единица»). Порядок хранится в смещенном коде («модифицированный порядок» или «характеристика»): P' = P+2n-1, где n – число разрядов машинного представления порядка. Это делается для того, чтобы характеристика всегда была положительной. Для представления нуля обнуляются все биты мантиссы и порядка.
Объясним ИНАЧЕ: Старший разряд двоичного представления вещественного числа всегда кодирует знак числа. Остальная часть разбивается на две части: мантиссу и экспоненту. Вещественное число имеет вид:
A = ±S · M · 2E,
где S - знаковый бит числа, E - экспонента, M - мантисса. Если 1/2≤M<1, то такое число называется нормализованным. При хранении нормализованных чисел сопроцессор отбрасывает целую часть мантиссы (она всегда 1), сохраняя лишь дробную часть. Экспонента кодируется со сдвигом на половину разрядной сетки, таким образом, удается избежать вопроса о кодировании знака экспоненты. Т.е. при 8-битной разрядности экспоненты код 0 соответствует числу -127, 1 - числу -126, ..., 255 числу +126 (экспонента вычисляется как код 127).

И+ПРГ

Стандарт IEEE-754 определяет три основных способа кодирования (типа) вещественных чисел:

И+ПРГ

1 –целочисленный бит мантиссы
(явный в long и неявный во float и double)

Алгоритм формирования машинного представления вещественного числа в памяти ЭВМ
1) Число представляется в двоичном коде.
2) Двоичное число нормализуется. При этом для чисел, больших единицы, плавающая точка переносится влево, определяя положительный порядок. Для чисел, меньших единицы, точка переносится вправо, определяя отрицательный порядок.
3) Затем с учетом типа вещественного числа определяется характеристика.
4) В отведенное поле памяти (в соответствии с типом числа) записываются мантисса, характеристика и знак числа. При этом необходимо отметить следующее:
(а) для чисел типа real характеристика хранится в младшем байте памяти, для чисел типа single, float, double, extended, long double - в старших байтах; (б) знак числа находится всегда в старшем бите старшего байта;
(в) мантисса всегда хранится в прямом коде; (г) целая часть мантиссы (для нормализованного числа всегда равна 1) для чисел типа single, real, float, double не хранится (является скрытой). В числах типа extended, long double все разряды мантиссы хранятся в памяти ЭВМ.

И+ПРГ

Program DataType;
type
StructInt = record
ii : integer; si : shortint; li : longint;
ch : char;
by : byte;
end;
var
f : file of StructInt ; (* типизированный файл *)
St : StructInt;
begin
assign (f, 'z:\datatype.dtp'); (* Создание файла *)
rewrite (f); (*Открыть файл в режиме перезаписи*)
write ('Введите целое число со знаком и
нажмите Enter ->'); readln (St.ii);
write ('Введите короткое целое со знаком и
нажмите Enter ->'); readln (st.si);
write (' ведите длинное целое со знаком и
нажмите Enter ->'); readln (st.li);
write ('Введите символ (букву) и
нажмите Enter ->');
readln (st.ch);
write (' Введите целое число без знака и
нажмите Enter ->'); readln (st.by);
write (f, st); (*запись считанной структуры в файл*)
close (f); (* закрыть файл *)
writeln ('Введенные числа и символ записаны в
файл ', 'z:\datatype.dtp');
readln;
end.

И+ПРГ