VPF::Самый быстрый алгоритм Base64? - Форум программистов

Alix

Дата 29.12.2009, 19:49 (ссылка)

(нет голосов)

Загрузка ...

L45

Профиль
Группа: Участник
Сообщений: 581
Регистрация: 4.5.2005
Где: Pskov/Spb

Репутация: 7
Всего: 23

Цитата(CodeMonkey @ 29.12.2009, 16:01

)

Код по ссылке http://www.delphi3000.com/articles/article_3404.asp?SK= , а также код от Alix содержит баг. Конкретно - memory corruption.
Ещё конкретнее: в Base64Encode, третья строка (mov EAX, EBX) - какой ещё EBX? Он неопределён.

пардон, а как он тогда работает? (я не спорю, просто интересно).
Прув слов Rrader'a и немного полезной инфы:

Цитата

Under the register convention, up to three parameters are passed in CPU registers, and the rest (if any) are passed on the stack. The parameters are passed in order of declaration (as with the pascal convention), and the first three parameters that qualify are passed in the EAX, EDX, and ECX registers, in that order. Real, method-pointer, variant, Int64, and structured types) do not qualify as register parameters, but all other parameters do. If more than three parameters qualify as register parameters, the first three are passed in EAX, EDX, and ECX, and the remaining parameters are pushed onto the stack in order of declaration. For example, given the declaration

procedure Test(A: Integer; var B: Char; C: Double; const D: string; E: Pointer);

a call to Test passes A in EAX as a 32-bit integer, B in EDX as a pointer to a Char, and D in ECX as a pointer to a long-string memory block; C and E are pushed onto the stack as two double-words and a 32-bit pointer, in that order.

Register saving conventions

Procedures and functions must preserve the EBX, ESI, EDI, and EBP registers, but can modify the EAX, EDX, and ECX registers. When implementing a constructor or destructor in assembler, be sure to preserve the DL register. Procedures and functions are invoked with the assumption that the CPU's direction flag is cleared (corresponding to a CLD instruction) and must return with the direction flag cleared.

Это сообщение отредактировал(а) Alix - 29.12.2009, 19:56

--------------------

Знание только тогда знание, когда оно приобретено усилиями своей мысли, а не памятью (с) Л. Толстой
High tech. Low live. (с) Gardner Dozois

Alexeis

Дата 29.12.2009, 19:59 (ссылка)

(нет голосов)

Загрузка ...

Амеба

Профиль
Группа: Админ
Сообщений: 11743
Регистрация: 12.10.2005
Где: Зеленоград

Репутация: 109
Всего: 459

Обратите внимание на
procedure Base64Encode(const InBuffer; InSize: Cardinal; var OutBuffer); overload; register;

Возможно эта директива что-то меняет в передаче параметров (хотя это больше похоже на порт с паскаля)

--------------------

Vit вечная память.

Обсуждение действий администрации форума производятся только в этом форуме

гениальность идеи состоит в том, что ее невозможно придумать

Rrader

Дата 29.12.2009, 20:09 (ссылка)

(нет голосов)

Загрузка ...

Inspired =)

Профиль
Группа: Экс. модератор
Сообщений: 1535
Регистрация: 7.5.2005

Репутация: 70
Всего: 191

Директива register есть соглашение:

Цитата(Rrader @ 29.12.2009, 23:38

)

В таком порядке - eax, edx, ecx, stack

--------------------

Let's do this quickly!
Rest in peace, Vit!

Alexeis

Дата 29.12.2009, 20:51 (ссылка)

(нет голосов)

Загрузка ...

Амеба

Профиль
Группа: Админ
Сообщений: 11743
Регистрация: 12.10.2005
Где: Зеленоград

Репутация: 109
Всего: 459

// load InSize (stored in EBX)

Судя по комменту следует EBX заменить на EDX

--------------------

CodeMonkey

Дата 29.12.2009, 22:05 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1839
Регистрация: 24.6.2008
Где: Россия, Тверь

Репутация: 38
Всего: 89

Цитата(Alix @ 29.12.2009, 19:49

)

пардон, а как он тогда работает? (я не спорю, просто интересно).

А так и работает... затирая вам память...

Цитата(Alexeis @ 29.12.2009, 20:51

)

Судя по комменту следует EBX заменить на EDX

А ещё лучше - на InSize, как это сделано (правильно, кстати) в Base64Decode.

Добавлено @ 22:08
P.S. Столкнулся с этим в поддержке EurekaLog. Мы получили баг-отчёт с memory corruption на ровном месте. К счастью была предоставлена воспроизводимая демка, и я по ней вышел на этот код, который когда-то был взят с Delphi3000 и встроен в EurekaLog. Вместе с багом. Удивительно, что это работало несколько лет. Окей, наверняка кто-то сталкивался с загадочными багами, но причину найти не могли. Вот она, сила copy&paste.

Добавлено @ 22:14
P.P.S. Конкретно в варианте с EurekaLog EBX оказывался равен OutSize из Base64EncodeStr (вместо InSize; InSize <= OutSize). Соответственно, Base64Encode кодировала больше данных, чем было нужно (заодно портя память, т.к. выходной буфер был предназначен только для содержания кодированных InSize байт, а не OutSize байт). Например, вместо взятия, скажем, 11-ти байт с входного буфера и записи их в 16-ти байтный выходной буфер, эта функция брала 16 байт из исходного буфера (ага, шанс на AV не сработал) и записывала 24 байта в выходной буфер (который имел размер 16 байт).

Добавлено через 14 минут и 1 секунду

Цитата(Rrader @ 29.12.2009, 20:09

)

Это __fastcall

Кстати, сишный fastcall не совместим с register: он использует только два регистра (ECX и EDX) вместо трёх и имеет другую семантику.

Это сообщение отредактировал(а) CodeMonkey - 29.12.2009, 22:16

--------------------

Опытный программист на C++ легко решает любые не существующие в Паскале проблемы.

Alexeis

Дата 29.12.2009, 22:32 (ссылка)

(нет голосов)

Загрузка ...

Амеба

Профиль
Группа: Админ
Сообщений: 11743
Регистрация: 12.10.2005
Где: Зеленоград

Репутация: 109
Всего: 459

Цитата(CodeMonkey @ 29.12.2009, 21:05

)

Кстати, сишный fastcall не совместим с register: он использует только два регистра (ECX и EDX) вместо трёх и имеет другую семантику.

Ну тогда бы билдер не смог компилироваться с делфи. Везде где делфийские вызовы у него __fastcall, так что либо билдер обманывает либо MS __fastcall отличается от билдеровского.

--------------------

CodeMonkey

Дата 29.12.2009, 22:35 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 1839
Регистрация: 24.6.2008
Где: Россия, Тверь

Репутация: 38
Всего: 89

Цитата(Alexeis @ 29.12.2009, 19:59

)

хотя это больше похоже на порт с паскаля

Могу ошибаться, но в 16-ти битном Паскале вроде бы не было соглашения register. Возможно, это был порт с Delphi 1. Хз.

Добавлено через 1 минуту и 16 секунд

Цитата(Alexeis @ 29.12.2009, 22:32

)

Ну тогда бы билдер не смог компилироваться с делфи.

Вы меня неверно поняли. Я не говорил про билдеровский __fastcall. Я говорил про MS-ский fastcall. Это разные вещи. Про что я и сказал.

--------------------

Опытный программист на C++ легко решает любые не существующие в Паскале проблемы.

Rrader

Дата 1.1.2010, 17:04 (ссылка)

(нет голосов)

Загрузка ...

Inspired =)

Профиль
Группа: Экс. модератор
Сообщений: 1535
Регистрация: 7.5.2005

Репутация: 70
Всего: 191

Цитата(Rrader @ 30.12.2009, 02:09

)

Здесь имелось в виду, что __fastcall в Delphi - это register (свое зарезервированное слово), по аналогии с другими компиляторами, где __fastcall прописывается как есть. Соглашение о вызове так и называется - fastcall. Причем у __fastcall есть несколько вариантов (мне известно 4). Наверное, мне стоило убрать два нижних подчеркивания, потому что к Delphi они здесь особого отношения не имеют, зато вводят в заблуждение smile

--------------------

Let's do this quickly!
Rest in peace, Vit!

1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| Delphi: Общие вопросы \| Следующая тема »