Очень нужен инлайн ассемблер в шарпе

@galileopro · Регистрация: 28.04.2009

Студворк — интернет-сервис помощи студентам

Дали мне лабу, в которой нужно сделать инлайн вставку в С++. Ну это элементарно, Ватсон.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
const int count = 10;
int[] mass=new int[count];
...
__asm
{
lea eax, mass ;загружаем эффективный адрес
mov ebx, 4 ; размер переменной типа int в байтах
xor ecx, ecx
xor edx, edx
notend: 
mov [eax+ecx], edx
add ecx, 4 ; переходим к следующему элементу массива
cmp ecx, [count]
jl notend
}

Но у меня хватило ума поспорить с преподом, что я смогу заюзать асм в шарпе да еще без длл (ну не знал я, что в шарпе нет инлайн ассемблера. Был под давлением сессии

). Помогите кто может это осуществить.

Задача крайне проста: нужно просто очистить массив из 10 элементов типа int с помощью ассемблерных команд, но использовать из надо без подключаемой длл. Указатель на массив трогать не надо!
Вот нашел я такое: http://www.xakep.ru/magazine/xa/108/118/1.asp

Как известно, ассемблеру предрекали полное и безоговорочное забвение еще в стародавние времена, когда появился С++, поразивший программистов своей ООП-архитектурой. Всего несколько лет назад вышли платформа .Net Framework и язык программирования C#. Казалось бы, низкоуровневому программированию в таких условиях существовать просто не суждено. Однако и сегодня встречаются задачи, для решения которых нужно приносить жертвы древнему богу программирования, имя которому - Assembler. Остатки старой элиты cpp'шников приводят массу аргументов против C#, и первым в списке называемых ими недостатков обычно выступает тот факт, что C# не поддерживает ассемблер. Но есть одно но. Дело в том, что мы с тобой совершенно с этим не согласны! Есть у русских тайные погреба, и вам их не засыпать! Способ юзать ассемблер в сишарповых прогах у нас тоже есть, и рассказывать мы о нем будем, комментируя код во врезке, поэтому срочно посмотри на нее, испей бутылочку темного пива и приготовь свой разум к восприятию нижеследующего текста.

Вначале обрати внимание, что наши классы содержат флаг unsafe. Этот флаг необходим при использовании указателей C#. Для того чтобы они работали, нужно изменить свойства проекта, установив опцию «Properties -> Build -> Allow unsafe code».

Наша программа-консоль начинается со строки 3, где мы вызываем универсальную функцию CallAssembler, в которую передается ссылка на массив байт, содержащий машинные команды процессора. Универсальность этой функции заключается в том, что она одинаково подходит для любого вызываемого кода. В начале этой функции (строка 22) идет, казалось бы, совершенно бесполезная (а на самом деле имеющая ключевое значение) операция - объявление переменной типа int. Когда мы объявляем эту переменную, она ложится в стек на самый низ выделенного для функции фрейма. Исходя из этого, мы можем узнать адрес верхушки стека, подсмотрев в отладчике, по какому смещению находится эта переменная относительно верхушки фрейма.

Для того что бы посмотреть на выполнение программы в ассемблере, нужно зайти в меню «Debug -> Windows -> Disassembly». Здесь мы можем наблюдать инициализацию этой переменной: «dword ptr [ebp-40h],4». Из кода видно, что переменная инициализируется по смещению 0x40, представляя собой важную константу, которую мы используем в строке 24. Получив указатель на переменную t (строка 23), мы меняем его так, чтобы он указывал на обратный адрес (как известно, для команды ret он нужен, поскольку автоматически записывается при вызове функций командой call).

Так вот этот самый адрес находится выше адреса фрейма стека вызванной функции на четыре байта. И вычисляем мы его в строке 24, используя данную константу. В строке 26 мы рассчитываем адрес первого байта массива asm (машинных команд), которые мы должны запустить, а в строке 28 - перезаписываем обратный адрес функции CallAssembler на адрес первого байта массива asm. Таким образом, когда работа функции CallAssembler закончится и будет вызвана команда ret, управление передастся нашему машинному коду. А как же вернуть управление вызывающему коду? Об этом должен позаботиться код, на который мы передали управление. Я сделал просто «mov dword ptr[esp], eax», перезаписав обратный адрес на значение из eax, поскольку CallAssembler возвращает обратный адрес, а перед выходом из CallAssembler он записывается в eax.

В принципе мы могли бы на этом остановиться, но лично мне не нравятся все эти вызовы CallAssembler каждый раз, когда необходимо выполнить asm-код. Поэтому далее мы поступим хитро, изменив команду call, которая вызвала CallAssembler, в результате чего вызываться теперь будет только код из массива asm. Для этого мы модифицируем адресный операнд команды call. Вот пример бинарного представления команды call: E8 3F 10 44 79. Она состоит из пяти байтов. Первый байт (E8) указывает процессору тип команды, а другие четыре байта – это и есть адрес, который необходимо поменять. Адрес этого операнда мы узнаем в строке 29 - он равен адресу ret минус четыре байта.

Да, кстати. Перед модификацией мы должны сделать несколько шаманских действий. Дело в том, что мы не можем просто так менять код в памяти, ведь страницы памяти, содержащей код, имеют атрибут PAGE_EXECUTE_READ. Этот атрибут формально запрещает изменения кода, но обычно от этой великой майкрософтовской защиты бывает мало пользы. Кроме того, в .Net-массивы располагаются на страницах памяти, которые содержат атрибут PAGE_READWRITE. Другими словами, выполнение кода в массиве запрещено, поэтому мы, используя API VirtualProtect, выставим необходимые атрибуты PAGE_EXECUTE_READWRITE. Теперь можно спокойно изменять код в памяти (строка 33) и делать выход из CallAssembler.

Вот текст программы

C#
1
2
3
4
5
6
7
8
9
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
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Runtime.InteropServices;
 
namespace ConsoleApplication4
{
    unsafe class test
    {
        [DllImport("kernel32.dll")]
        static extern bool VirtualProtect(int* lpAddress, uint dwSize, uint flNewProtect, uint* lpflOldProtect);
            unsafe public static int CallAssembler(byte[] asm)
            {
                int t = 4;
                int* p = &t;
                p += 0x40 / 4 + 1;
                t = *p;
                fixed (byte* b = &asm[0])
                {
 
                    *p = (int)b;
                   int* p2 = (int*)new IntPtr(*(p - 1)).ToPointer();
                    uint last = 0;
                    bool flug = VirtualProtect(p2 - 1, 32, 0x40, &last);
                    flug = VirtualProtect((int*)new IntPtr(b).ToPointer(), 32, 0x40, &last);
                    *p2 = (int)(b + 3);
                }
                return *p;
            }
 
        static void Main(string[] args)
        {
            byte[] asm = new byte[] 
            { 
             0x89, 0x04, 0x24, // mov dword ptr[esp], eax
             0xB8, 0x00, 0x00, 0, 0, // mov eax, 777h 
             0xC3 // ret 
            };
            int[] mass = new int[10];
            int b = CallAssembler(asm);
            Console.WriteLine(b);
            Console.ReadLine();
        }
    }
 }

Что тут переделать, чтобы выполнить поставленную задачу? Очистить надо mass. Массив можно сделать динамический.

@galileopro · 01.01.2010, 22:13 **[ТС]**

Goodwin98, а через стек они будут передаваться наиболее быстро, да? Просто я умудрился выкрутиться так:

Assembler
1
2
3
4
5
6
7
8
9
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
;Name of procedure Progonka. Input parameters: InpFile- string local variable, 
;OutFile- string local variable.
.486
.model flat, stdcall
option casemap:none
include \MASM32\INCLUDE\windows.inc
include \MASM32\INCLUDE\kernel32.inc
include \MASM32\INCLUDE\user32.inc
includelib \MASM32\LIB\kernel32.lib
includelib \MASM32\LIB\user32.lib
 
;public declaration of metod Progonca
 public  Progonca
 
.data
fName db "t"
hFile DWORD ?
stdout DWORD ?
buf WORD 1024 dup(?)
HeadHeap DWORD ?
pointer DWORD ?
Sleep PROTO :DWORD
FileSize DWORD ?
 
 .code
 DllMain    proc hInst:dword,   event:dword,    no_usw:dword
 @@m:   mov eax, 1
    Ret
DllMain EndP
Progonca    proc    InpFile: DWORD
lea eax, fName
mov edx, InpFile
mov bl, [edx]
m7:
mov [eax], bl
inc eax
add edx, 2
mov bl, [edx]
cmp bl, 0
jne m7
 
invoke MessageBox,NULL,ADDR fName,ADDR fName,MB_OK
invoke GetStdHandle, STD_OUTPUT_HANDLE
mov stdout, eax
invoke CreateFile, offset fName, GENERIC_READ,0,NULL,OPEN_EXISTING,FILE_ATTRIBUTE_NORMAL,0
mov hFile, eax
invoke GetFileSize, hFile, 0
mov FileSize , eax
call GetProcessHeap
mov HeadHeap, eax
invoke HeapAlloc, HeadHeap, 0, FileSize 
mov pointer, eax
invoke ReadFile, hFile, pointer, FileSize ,offset FileSize , NULL
mov eax, pointer
 
add eax, FileSize
mov ecx, FileSize
m1:
sub eax, 2
sub ecx, 2
mov bx, [eax]
mov buf[ecx], bx
cmp ecx, 0
jg m1
 
invoke WriteConsoleA, stdout, ADDR buf,FileSize, offset FileSize, NULL
invoke CloseHandle, hFile
invoke Sleep, 1000d
invoke ExitProcess, 0
Progonca EndP
End DllMain

C#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
using System;
using System.Collections.Generic;
using System.ComponentModel;
using System.Data;
using System.Drawing;
using System.Linq;
using System.Text;
using System.Windows.Forms;
using System.Runtime.InteropServices;
 
namespace WindowsFormsApplication14
{
    unsafe public partial class Form1 : Form
    {
        unsafe public Form1()
        {
            InitializeComponent();
        }
        [DllImport("79.dll")]
        unsafe private static extern void Progonca(char* x);
        unsafe private void button1_Click(object sender, EventArgs e)
        {
            string s = "1.txt";
            fixed (char* p = s.ToCharArray())
            {
                //чтобы сборщик мусора не трогал наш массив символов
                Progonca(p);
            }   
        }
    }
}

Оно более-менее работает, но... Оно правильно передает имя файла, но сволочь не открывает его

Хотя если вручную указать имя файла, то все окрывается за милую душу. Не знаю менять или нет.

Assembler
1
2
cmp bl, 0
jne m7

Тут я пользуюсь, что компилятор шарповский(как и Visual C++) в конце любой строки добавляет '\0' - символ, код которого в ANSI - "0". Насчет Юникода не знаю, но тут похоже все равно. И как только он находит этот символ - я выхожу из парсинга.

@galileopro · 01.01.2010, 22:19 **[ТС]**

Выложу проект. Хоть корявенько, но работает. WindowsFormsApplication14.rar

@galileopro · 01.01.2010, 22:20 **[ТС]**

Рекомендую для этих целей WinAsmStudio, она под библиотеку dll сама заготовку делает.

@Naomis · 27.12.2016, 13:15

Теперь работает всё проще. Есть встроенный ассемблер. MSDN

@OwenGlendower · 27.12.2016, 13:29

Naomis, ссылка которую ты привел на самом деле относится к C, а не C#. Это кривой автоматический перевод так постарался.

@Naomis · 27.12.2016, 13:48

OwenGlendower, тогда это очень грустно, виноват. Тогда у меня вопрос. Работать с c# и ассембрем можно только тем как было показано выше? А если есть ассемблеровская библиотека, то к ней нужно подключаться через DLLImport?

Someone007 · 27.12.2016, 15:24

Сообщение от Naomis

то к ней нужно подключаться через DLLImport

Можно.

Есть еще Fasm.Net (github).

@Naomis · 27.12.2016, 15:47

Someone007, Есть какой подробный гад про DLLImport и ассемблер?

Сообщение от Someone007

Есть еще Fasm.Net (github).

это работает только на 32б, я так понимаю?

Someone007 · 27.12.2016, 17:22

Сообщение от Naomis

Есть какой подробный гад про DLLImport и ассемблер?

Незнаю. Может где нибудь и есть.

Сообщение от Naomis

это работает только на 32б, я так понимаю?

Никто вам не запрещает скачать fasm и скомпилить x64 версию fasm.obj, а затем перекомпилить и саму библиотеку fasm_managed под x64 используя полученный fasm.obj.

@Naomis · 27.12.2016, 17:28

Someone007, Спасибо большое за небольшой ликбез.

Новые блоги и статьи Все статьи Все блоги /
Был там один разговор по поводу свободы в материальном мире. kumehtar 19.08.2026 Суть: рассматривается живое существо, оказавшееся внутри довольно странной системы (этого мира) и пытающееся обустроить в ней свой кусок пространства. Жизнь действительно предъявляет каждому. . .	Когда логика программы не спасает от человеческих ошибок Maks 18.08.2026 В последнее время всё чаще и чаще сталкиваюсь с таким явлением, как абсолютная невнимательность (или глупость) пользователей. Проявляется это чаще всего на работе в коллективе. Допустим, человек с. . .	Лето уходит kumehtar 17.08.2026	Мысли в слух kumehtar 17.08.2026 Забавно, насколько сейчас стала доступна информация. Например о магии, духовном развитии, медитациях, и других подобных направлениях, ранее зачастую тайных, передаваемых от учителя к ученику. Хотя. . .
Перемещение строк из ТЧ в другой документ с учетом текущего пробега Maks 17.08.2026 Реализация из решения ниже выполнена на примере нетипового документа "Автозапчасти", с ТЧ "Шины". За основу взят алгоритм отсюда: https:/ / www. cyberforum. ru/ blogs/ 359708/ 10838. html Задача: . . .	Саморегулирующийся социальный контракт для сервера cross-section. Hrethgir 14.08.2026 С кодом конечно таких глубоких размышлений пока не было, впрочем я уже привык к алгоритмизации. Суть предмета записи: снова в диалоге с нейросетью (я взял пока себе ник для учётки админа - Rector). . . .	Часы электронные Uhbif79 12.08.2026 Выкладываю программу часов. Программа позволяет: 1. Использовать системное время и дату, 2. Есть возможность вводить время и дату вручную. 3. Реализованы 2 будильника: начало и конец рабочего дня. . . .	Часы с будильником на основе класса QLCDNumber Uhbif79 12.08.2026 Всем добрый день, выкладываю программу часов с будильником на основе класса QLCDNumber. Здесь я пробовал самостоятельно создавал классы, впервые столкнулся с видимостью переменной одного класса из. . .

@galileopro Пробующий 185 / 98 / 10 Регистрация: 28.04.2009 Сообщений: 1,101
	01.01.2010, 22:19 [ТС]
	Выложу проект. Хоть корявенько, но работает. WindowsFormsApplication14.rar 0

@galileopro Пробующий 185 / 98 / 10 Регистрация: 28.04.2009 Сообщений: 1,101
	01.01.2010, 22:20 [ТС]
	Рекомендую для этих целей WinAsmStudio, она под библиотеку dll сама заготовку делает. 0

@Naomis 8 / 8 / 4 Регистрация: 11.03.2015 Сообщений: 212
	27.12.2016, 13:15
	Теперь работает всё проще. Есть встроенный ассемблер. MSDN 0

@OwenGlendower Администратор 18365 / 14296 / 5370 Регистрация: 17.03.2014 Сообщений: 28,980 Записей в блоге: 1
	27.12.2016, 13:29
	Naomis, ссылка которую ты привел на самом деле относится к C, а не C#. Это кривой автоматический перевод так постарался. 1

@Naomis 8 / 8 / 4 Регистрация: 11.03.2015 Сообщений: 212
	27.12.2016, 13:48
	OwenGlendower, тогда это очень грустно, виноват. Тогда у меня вопрос. Работать с c# и ассембрем можно только тем как было показано выше? А если есть ассемблеровская библиотека, то к ней нужно подключаться через DLLImport? 0

@Naomis 8 / 8 / 4 Регистрация: 11.03.2015 Сообщений: 212
	27.12.2016, 17:28
	Someone007, Спасибо большое за небольшой ликбез. 0