- 01
- 02
- 03
- 04
- 05
- 06
- 07
- 08
- 09
- 10
- 11
- 12
- 13
- 14
- 15
- 16
- 17
- 18
- 19
- 20
- 21
- 22
- 23
- 24
- 25
- 26
- 27
- 28
- 29
- 30
- 31
- 32
- 33
- 34
- 35
- 36
- 37
- 38
- 39
- 40
- 41
- 42
- 43
- 44
- 45
- 46
- 47
- 48
- 49
- 50
// https://github.com/dotnet/coreclr/blob/a9f3fc16483eecfc47fb79c362811d870be02249/src/vm/i386/cgenx86.cpp#L1613
PCODE DynamicHelpers::CreateHelperWithTwoArgs(LoaderAllocator * pAllocator, TADDR arg, TADDR arg2, PCODE target)
{
#ifdef UNIX_X86_ABI
BEGIN_DYNAMIC_HELPER_EMIT(23);
#else
BEGIN_DYNAMIC_HELPER_EMIT(17);
#endif
#ifdef UNIX_X86_ABI
// sub esp, 4
*p++ = 0x83;
*p++ = 0xec;
*p++ = 0x4;
#else
// pop eax
*p++ = 0x58;
#endif
// push arg
*p++ = 0x68;
*(INT32 *)p = arg;
p += 4;
// push arg2
*p++ = 0x68;
*(INT32 *)p = arg2;
p += 4;
#ifdef UNIX_X86_ABI
// mov eax, target
*p++ = 0xB8;
*(INT32 *)p = target;
p += 4;
#else
// push eax
*p++ = 0x50;
#endif
*p++ = X86_INSTR_JMP_REL32; // jmp rel32
#ifdef UNIX_X86_ABI
*(INT32 *)p = rel32UsingJumpStub((INT32 *)p, (PCODE)DynamicHelperArgsStub);
#else
*(INT32 *)p = rel32UsingJumpStub((INT32 *)p, target);
#endif
p += 4;
END_DYNAMIC_HELPER_EMIT();
}
Функция из дотнеткора, которая нахерачивает опкодов куда-то.
Follow us!
Единственный вариант что тут они не обосрались - это если INT32 тип это хуйня с каким-то специальным атрибутом, что через него можно срать по невыровненным адресам. В ином случае это UB
https://stackoverflow.com/questions/51126257/
3.9 Types
5. The alignment of a complete object type is an implementation-defined integer value representing a number of bytes.
Т.е. стандарт не утверждает, что uint32_t обязан быть выровнен на 4 байта, это реализация решает.
https://pzemtsov.github.io/2016/11/06/bug-story-alignment-on-x86.html
Suddenly, our x86 behaves just like RISC: it crashes when a pointer to uint32_t is not aligned by 4.
Какой багор )))
Вот тут упоминается мотороловский процессор 68000 который был CISC и при этом там была хуйня с сигфолтами от невыровненных доступов к памяти, но в чуть более новых процессорах такой хуйни уже не было:
> The original 68000 was a processor with two-byte granularity and lacked the circuitry to cope with unaligned addresses. When presented with such an address, the processor would throw an exception. The original Mac OS didn’t take very kindly to this exception, and would usually demand the user restart the machine. Ouch.
> Later processors in the 680×0 series, such as the 68020, lifted this restriction and performed the necessary work for you. This explains why some old software that works on the 68020 crashes on the 68000. It also explains why, way back when, some old Mac coders initialized pointers with odd addresses. On the original Mac, if the pointer was accessed without being reassigned to a valid address, the Mac would immediately drop into the debugger. Often they could then examine the calling chain stack and figure out where the mistake was.
В SSE есть две инструкции для одного и того же, но одна из них падает на невыровненных данных, как в RISC, а другая работает с любым указателем?
Такого же рода хуйню я находил, когда ковырялся в исходниках GHC. Правда там были не опкоды x86-64, а байткодная поебень для GHCi
Можно сделать особую функцию с memcpy
хотя такую функцию можно и по другому написать, например
или так
https://github.com/dotnet/runtime/issues/118602
Вот другие примеры:
> schadenfreude
Это, кстати, немецкое слово. Freude — радость, Schade — сожаление. Описывает странную эмоцию, когда человек смеётся над какими баграми.
https://en.m.wikipedia.org/wiki/Schadenfreude
https://arzamas.academy/mag/659-german_words
Да наш сайт целиком посвящён этому термину, оказывается.
g: avenue q shadenfredue
можешь почитать текст, или послушать арию. Офигенное же.
К счастью, сишка и кресты не завязаны на x86, потому мизалйнмент там UB: нужно явно месрать.
А петухи еще и на стрикт алиазинг положили (и кстати кастят в крестах сишным кастом, лошки), но царь в комментах уже объяснил, что если у него на машине всё рабоатет, то можно класть на стандарт
Царь Петух Первый
> This is legacy code on x86 only, where unaligned access is working on implementations.
Царь Петух Великий
> Every C/C++ compiler out there either does not enable strict aliasing optimizations by default, or has a switch to disable them.
Похоже на некоторых моих коллег, которые пишут код с рейсами потому что так быстрее.
Джей, а как тебя в .NET занесло-то, а? CLR на микроконтроллерах запустили?
ЗЫ: в комменты приглашается Гост/ISO, мне кажется он таких петухов оценит
Меня скорее забавляет что MS-петухи на серьезных щщах говорят:
1. Works on my CPU
1. Works on my Compiler
ну то-есть вот такого ждешь от ротоёба, но не от M$ же
Когда я в детстве говорил, что размер массива измеряется в интах, потмоу что это работает на моем борланд си под дос, то был не так уж и не прав
А потом появляются программы, которые не работают, если имя пользователя Windows начинается на букву «u». Это очень смешная ошибка, но у автора же всё работает.
Хотя тут конечно ньюанс есть. Если кто-то будет переносить это на другой контроллер, где какая-то хуйня перестает работать, его ждет багор
В x86 на многих ОС это норм тема.
Например ты не можешь из прерывания вытесниться (вызвав там page fault, например) потому что нужно быстро считать данные из буфера девайса.
Потому данные читают, и потом в фоне спокойно обрабатывают.
В softirq или taskletах в Linux.
В bottom half IRQ в BSD (в прыщах тоже так называлось давно-давно)
В DPC в Windows.
Иногда я залажу в реализации всяких таких хреней (типа HotSpot JVM, .NET runtime, GHC) и пытаюсь там найти такого рода багры
Мои подружки умирают! А вы там воду просто так льете!
https://i.postimg.cc/s1Fs2Rd6/image.png
— Здравствуйте, посмотрите на фото этой девушки, хотите на ней женится?
(выкладывает на стол фото с порнхаба)
— Но это же Адриана Чечик, вы серьёзно?
— Вы на вопрос ответьте. Хотите?
— Ну, хотел бы...
— Отлично! Мы нашли её! С вас 400 т.р.