Compare commits
18 Commits
922670be47
...
master
| Author | SHA1 | Date | |
|---|---|---|---|
| ddff443183 | |||
| 99512fa611 | |||
| 89608dcb22 | |||
| 0707a981e1 | |||
| 9a3399a975 | |||
| 7b6b3f73cd | |||
| 6a4a02ffb9 | |||
| 1aade33b48 | |||
| 94160414aa | |||
| 4f1c9286a2 | |||
| afbe0a5dfe | |||
| 8e719f7f6e | |||
| 4236ad59b4 | |||
| 82eb4e96ff | |||
| eae2846925 | |||
| a9bedc18cf | |||
| 90040c9823 | |||
| 69234aac2d |
10
LICENSE
Normal file
10
LICENSE
Normal file
@ -0,0 +1,10 @@
|
|||||||
|
Permission to use, copy, modify, and/or distribute this software for
|
||||||
|
any purpose with or without fee is hereby granted.
|
||||||
|
|
||||||
|
THE SOFTWARE IS PROVIDED “AS IS” AND THE AUTHOR DISCLAIMS ALL
|
||||||
|
WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES
|
||||||
|
OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE
|
||||||
|
FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY
|
||||||
|
DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN
|
||||||
|
AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT
|
||||||
|
OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
||||||
54
README.md
54
README.md
@ -0,0 +1,54 @@
|
|||||||
|
# DP32-proto
|
||||||
|
|
||||||
|
Прототип эмулятора процессора DP32
|
||||||
|
|
||||||
|
## Описание
|
||||||
|
|
||||||
|
Это проект программной эмуляции и отладки процессора DP32 на языке python. В этом проекте можно найти 2 компонента - отладчик dp32dbg и эмулятор dp32emu. Первый полностью опирается на отладочную информацию в следующем формате. Это очень простой отладчик и очень нестабильный, поскольку писался с упором на скорость, а не на качество.
|
||||||
|
|
||||||
|
```json
|
||||||
|
{
|
||||||
|
"src": "absolute/path/to/source"
|
||||||
|
"labels" : {
|
||||||
|
"label1": 1
|
||||||
|
"label2": 2
|
||||||
|
...
|
||||||
|
},
|
||||||
|
"instructions" : {
|
||||||
|
"<offset-in-words>" : {
|
||||||
|
"lenght": 2,
|
||||||
|
"srcline": 3
|
||||||
|
}
|
||||||
|
...
|
||||||
|
}
|
||||||
|
}
|
||||||
|
```
|
||||||
|
|
||||||
|
## Установка
|
||||||
|
|
||||||
|
Стяните данный репозиторий и выполните в корне проекта команду `pip install .`
|
||||||
|
|
||||||
|
## Использование
|
||||||
|
|
||||||
|
После установки у вас появятся 2 программы:
|
||||||
|
|
||||||
|
- dp32emu - программный эмулятор процессора dp32. Принимает на вход бинарный файл с командами dp32, выполняет их и в результате своей работы выдает дамп памяти процессора после завершения работы
|
||||||
|
- dp32dbg - отладчик, опирающийся на вышеуказанный эмулятор. Позволяет выполнять действия пошаговой отладки и предоставляет базовую функциональность точек останова (но с ньюансами)
|
||||||
|
|
||||||
|
Посмотреть инструкцию по запуску проще всего передав флаг `-h` каждой из этих программ
|
||||||
|
|
||||||
|
## Использование отладчика
|
||||||
|
|
||||||
|
help не встроен в отладчик, поскольку до этого его функционал не был документирован. Приведу здесь основной набор команд отладчика
|
||||||
|
|
||||||
|
- `step/s` - выполняет одну инструкцию, на которую сейчас указывает регистр pc виртуальной машины
|
||||||
|
- `breakpoint <lineno>` - устанавливает точку останова на определенной строке исходного кода. С точками останова 2 ньюанса:
|
||||||
|
1. Они они не могут быть установлены на комментарии или пустые строки. Если на строке больше одной операции, точка будет установлена на самую раннюю
|
||||||
|
2. Когда виртуальная машина встретит точку останова, временно она не сможет выполнять команду continue, поскольку не предусмотрено ротации точек останова. Если нужно продолжить выполнение программы дальше - выполните одну команду step
|
||||||
|
- `continue/c` - выполняет программу до ближайшей точки останова
|
||||||
|
- `reset` - сбрасывает состояние виртуальной машины и ее память, но не точки останова
|
||||||
|
- `run` - сбрасывает состояние виртуальной машины и запускает выполнение кода
|
||||||
|
- `cbp` - очищает все точки останова
|
||||||
|
- `print/p <reg>` - печатает содержимое регистров. Регистры записываются в формате `r1-r255`, позволяет также посмотреть адреса меток (указав название меток в качестве параметра) и системные регистры: pc, cc
|
||||||
|
- `inspect/i <size> <amount> <place>` - печатает содержимое памяти по определенному адресу в определенном формате (строчная - знаковые, заглавная - беззнаковые): b/B - байт, h/H - полуслова - 16 бит, w/W - слова - 32 бита. `amount` - количество подряд идущих ячеек, содержимое которых нужно прочитать. `place` - место, с которого следует начать печать. Можеть представлять собой либо имя метки, либо полный адрес в десятичной или 16-ричной системе счисления
|
||||||
|
|
||||||
|
|||||||
@ -5,12 +5,12 @@ description = "Add your description here"
|
|||||||
readme = "README.md"
|
readme = "README.md"
|
||||||
requires-python = ">=3.11"
|
requires-python = ">=3.11"
|
||||||
dependencies = [
|
dependencies = [
|
||||||
"rich>=14.0.0",
|
"py-cui>=0.1.6",
|
||||||
]
|
]
|
||||||
|
|
||||||
[project.scripts]
|
[project.scripts]
|
||||||
dp32emu = "main:main"
|
dp32emu = "dp32proto.main:main"
|
||||||
dp32dbg = "dbg_main:main"
|
dp32dbg = "dp32proto.dbg_main:main"
|
||||||
|
|
||||||
[build-system]
|
[build-system]
|
||||||
requires = ["setuptools"]
|
requires = ["setuptools"]
|
||||||
|
|||||||
@ -1,3 +0,0 @@
|
|||||||
# почему так грязно?
|
|
||||||
|
|
||||||
Потому что я заколебался воевать с модульностью питона, чтобы сделать это красиво
|
|
||||||
4
src/dp32proto/README.md
Normal file
4
src/dp32proto/README.md
Normal file
@ -0,0 +1,4 @@
|
|||||||
|
# Почему такая некрасивая структура
|
||||||
|
|
||||||
|
Этот репозиторий нужен был для того, чтобы отладить программу для процессора DP32. Структура проекта сделана такой для того, чтобы сократить время, необходимое на структуризацию и разрешение зависимостей.
|
||||||
|
|
||||||
98
src/dp32proto/dbg.json
Normal file
98
src/dp32proto/dbg.json
Normal file
@ -0,0 +1,98 @@
|
|||||||
|
{
|
||||||
|
"labels": {
|
||||||
|
"_start": 0,
|
||||||
|
"_start_return": 9,
|
||||||
|
"f_fibo": 11,
|
||||||
|
"f_fibo_loop": 14,
|
||||||
|
"return": 27,
|
||||||
|
"result": 28,
|
||||||
|
"end": 29
|
||||||
|
},
|
||||||
|
"instructions": {
|
||||||
|
"0": {
|
||||||
|
"length": 1,
|
||||||
|
"srcline": 6
|
||||||
|
},
|
||||||
|
"1": {
|
||||||
|
"length": 1,
|
||||||
|
"srcline": 7
|
||||||
|
},
|
||||||
|
"2": {
|
||||||
|
"length": 2,
|
||||||
|
"srcline": 8
|
||||||
|
},
|
||||||
|
"4": {
|
||||||
|
"length": 2,
|
||||||
|
"srcline": 9
|
||||||
|
},
|
||||||
|
"6": {
|
||||||
|
"length": 2,
|
||||||
|
"srcline": 10
|
||||||
|
},
|
||||||
|
"8": {
|
||||||
|
"length": 1,
|
||||||
|
"srcline": 11
|
||||||
|
},
|
||||||
|
"9": {
|
||||||
|
"length": 2,
|
||||||
|
"srcline": 13
|
||||||
|
},
|
||||||
|
"11": {
|
||||||
|
"length": 1,
|
||||||
|
"srcline": 16
|
||||||
|
},
|
||||||
|
"12": {
|
||||||
|
"length": 1,
|
||||||
|
"srcline": 17
|
||||||
|
},
|
||||||
|
"13": {
|
||||||
|
"length": 1,
|
||||||
|
"srcline": 18
|
||||||
|
},
|
||||||
|
"14": {
|
||||||
|
"length": 1,
|
||||||
|
"srcline": 20
|
||||||
|
},
|
||||||
|
"15": {
|
||||||
|
"length": 1,
|
||||||
|
"srcline": 21
|
||||||
|
},
|
||||||
|
"16": {
|
||||||
|
"length": 1,
|
||||||
|
"srcline": 22
|
||||||
|
},
|
||||||
|
"17": {
|
||||||
|
"length": 1,
|
||||||
|
"srcline": 23
|
||||||
|
},
|
||||||
|
"18": {
|
||||||
|
"length": 1,
|
||||||
|
"srcline": 24
|
||||||
|
},
|
||||||
|
"19": {
|
||||||
|
"length": 2,
|
||||||
|
"srcline": 25
|
||||||
|
},
|
||||||
|
"21": {
|
||||||
|
"length": 2,
|
||||||
|
"srcline": 27
|
||||||
|
},
|
||||||
|
"23": {
|
||||||
|
"length": 2,
|
||||||
|
"srcline": 28
|
||||||
|
},
|
||||||
|
"25": {
|
||||||
|
"length": 2,
|
||||||
|
"srcline": 29
|
||||||
|
},
|
||||||
|
"27": {
|
||||||
|
"length": 1,
|
||||||
|
"srcline": 31
|
||||||
|
},
|
||||||
|
"28": {
|
||||||
|
"length": 1,
|
||||||
|
"srcline": 32
|
||||||
|
}
|
||||||
|
},
|
||||||
|
"src": "C:\\Users\\etdia\\code\\dp32-proto\\src\\test.dasm"
|
||||||
|
}
|
||||||
@ -4,10 +4,10 @@
|
|||||||
"""
|
"""
|
||||||
|
|
||||||
from typing import cast
|
from typing import cast
|
||||||
from dpdebugger import Debugger, DbgDict, DbgInstrDesc
|
from .dpdebugger import Debugger, DbgDict, DbgInstrDesc
|
||||||
from argparse import ArgumentParser
|
from argparse import ArgumentParser
|
||||||
import json
|
import json
|
||||||
import dbg_tui
|
from . import dbg_tui
|
||||||
|
|
||||||
def parse_dbg(dbg_json_dict: dict) -> DbgDict:
|
def parse_dbg(dbg_json_dict: dict) -> DbgDict:
|
||||||
"""
|
"""
|
||||||
@ -25,7 +25,7 @@ def parse_dbg(dbg_json_dict: dict) -> DbgDict:
|
|||||||
dbg_copy = cast(DbgDict, dbg_copy)
|
dbg_copy = cast(DbgDict, dbg_copy)
|
||||||
return dbg_copy
|
return dbg_copy
|
||||||
|
|
||||||
if __name__ == "__main__":
|
def main():
|
||||||
parser = ArgumentParser(
|
parser = ArgumentParser(
|
||||||
prog="dp32dbg",
|
prog="dp32dbg",
|
||||||
description="Bad debugger for DP32 processor"
|
description="Bad debugger for DP32 processor"
|
||||||
@ -51,7 +51,10 @@ if __name__ == "__main__":
|
|||||||
dbg_dict: DbgDict = parse_dbg(json.load(f))
|
dbg_dict: DbgDict = parse_dbg(json.load(f))
|
||||||
|
|
||||||
dbg = Debugger(mem, dbg_dict)
|
dbg = Debugger(mem, dbg_dict)
|
||||||
with open (dbg_dict["src"], 'r') as f:
|
with open (dbg_dict["src"], 'r', encoding="utf8") as f:
|
||||||
src = f.read()
|
src = f.read()
|
||||||
|
|
||||||
dbg_tui.main(dbg, src)
|
dbg_tui.run_tui(dbg, src)
|
||||||
|
|
||||||
|
if __name__ == "__main__":
|
||||||
|
main()
|
||||||
@ -1,4 +1,5 @@
|
|||||||
from dpdebugger import Debugger
|
from .dpdebugger import Debugger
|
||||||
|
from .vm import VMException, VMExceptionType, VMStatus
|
||||||
from dataclasses import dataclass
|
from dataclasses import dataclass
|
||||||
from typing import cast
|
from typing import cast
|
||||||
import math
|
import math
|
||||||
@ -86,13 +87,41 @@ class DebuggerUI:
|
|||||||
user_input = self.commands_history[0]
|
user_input = self.commands_history[0]
|
||||||
self.history_index = 0
|
self.history_index = 0
|
||||||
self.commands_history.appendleft("")
|
self.commands_history.appendleft("")
|
||||||
dbg_output = self.dbg.do_command(user_input.split())
|
|
||||||
self.terminal_panel.write(dbg_output)
|
try:
|
||||||
|
dbg_output = self.dbg.do_command(user_input.split())
|
||||||
|
except VMException as vme:
|
||||||
|
self._terminal_append(
|
||||||
|
"VM Exception: " + vme.message
|
||||||
|
)
|
||||||
|
return
|
||||||
|
|
||||||
|
# self._terminal_append(dbg_output)
|
||||||
|
self._terminal_append(dbg_output)
|
||||||
self._display_source_lines()
|
self._display_source_lines()
|
||||||
self.commands_history[0] = user_input
|
self.commands_history[0] = user_input
|
||||||
|
|
||||||
|
def _terminal_append(self, text: str):
|
||||||
|
self.terminal_panel.write(text)
|
||||||
|
viewport_height = self.terminal_panel.get_viewport_height()
|
||||||
|
contents = self.terminal_panel.get().split('\n')[-viewport_height:]
|
||||||
|
self.terminal_panel.set_text("\n".join(contents))
|
||||||
|
|
||||||
def _display_source_lines(self):
|
def _display_source_lines(self):
|
||||||
active_line = self.dbg.get_current_source_line_number()
|
if self.dbg._vm.status == VMStatus.FINISHED:
|
||||||
|
return
|
||||||
|
try:
|
||||||
|
active_line = self.dbg.get_current_source_line_number()
|
||||||
|
except KeyError:
|
||||||
|
self._terminal_append(
|
||||||
|
"Cant find source line your are on. "
|
||||||
|
"May be you reached end of program. "
|
||||||
|
)
|
||||||
|
self._terminal_append(
|
||||||
|
"Please type \"reset\" to reset vm "
|
||||||
|
"it's initial state"
|
||||||
|
)
|
||||||
|
return
|
||||||
lines = _get_source_lines(
|
lines = _get_source_lines(
|
||||||
srcline=active_line,
|
srcline=active_line,
|
||||||
lines=self.srclines,
|
lines=self.srclines,
|
||||||
@ -127,7 +156,7 @@ class DebuggerUI:
|
|||||||
self.history_index %= len(self.commands_history)
|
self.history_index %= len(self.commands_history)
|
||||||
self.prompt_panel.set_text(self.commands_history[self.history_index])
|
self.prompt_panel.set_text(self.commands_history[self.history_index])
|
||||||
|
|
||||||
def main(debugger: Debugger, srcfile: str):
|
def run_tui(debugger: Debugger, srcfile: str):
|
||||||
root = py_cui.PyCUI(3, 1)
|
root = py_cui.PyCUI(3, 1)
|
||||||
root.set_title("Stupid DP32 debugger")
|
root.set_title("Stupid DP32 debugger")
|
||||||
root.set_status_bar_text("")
|
root.set_status_bar_text("")
|
||||||
@ -3,7 +3,7 @@
|
|||||||
хоть как-то помочь
|
хоть как-то помочь
|
||||||
"""
|
"""
|
||||||
|
|
||||||
from vm import VM, VMException, Breakpoint, Condition, WORD_SIZE
|
from .vm import VM, VMException, Breakpoint, Condition, WORD_SIZE
|
||||||
|
|
||||||
from dataclasses import dataclass
|
from dataclasses import dataclass
|
||||||
from typing import TypedDict, Callable, cast
|
from typing import TypedDict, Callable, cast
|
||||||
@ -55,12 +55,13 @@ class Debugger:
|
|||||||
}
|
}
|
||||||
|
|
||||||
def __init__(self, mem: bytearray, dbg_dict: DbgDict):
|
def __init__(self, mem: bytearray, dbg_dict: DbgDict):
|
||||||
with open(dbg_dict["src"], 'r') as f:
|
with open(dbg_dict["src"], 'r', encoding="utf8") as f:
|
||||||
self._source_lines = f.readlines()
|
self._source_lines = f.readlines()
|
||||||
self._vm = VM(mem)
|
self._vm = VM(mem)
|
||||||
self._dbg_dict = dbg_dict
|
self._dbg_dict = dbg_dict
|
||||||
self._breakpoints = set()
|
self._breakpoints = set()
|
||||||
self.__init_callbacks__()
|
self.__init_callbacks__()
|
||||||
|
self.last_breakpoint: Breakpoint | None = None
|
||||||
|
|
||||||
def __init_callbacks__(self):
|
def __init_callbacks__(self):
|
||||||
self._callbacks_table = {
|
self._callbacks_table = {
|
||||||
@ -70,12 +71,15 @@ class Debugger:
|
|||||||
"c": self._continue,
|
"c": self._continue,
|
||||||
"breakpoint": self._breakpoint,
|
"breakpoint": self._breakpoint,
|
||||||
"b": self._breakpoint,
|
"b": self._breakpoint,
|
||||||
|
"clearbreakpoints": self._breakpointsclear,
|
||||||
|
"cbp": self._breakpointsclear,
|
||||||
"print": self._print,
|
"print": self._print,
|
||||||
"p": self._print,
|
"p": self._print,
|
||||||
"run": self._run,
|
"run": self._run,
|
||||||
"r": self._run,
|
"r": self._run,
|
||||||
"inspect": self._inspect,
|
"inspect": self._inspect,
|
||||||
"i": self._inspect
|
"i": self._inspect,
|
||||||
|
"reset": self._reset
|
||||||
}
|
}
|
||||||
|
|
||||||
def do_command(self, command: list[str]) -> str:
|
def do_command(self, command: list[str]) -> str:
|
||||||
@ -84,6 +88,13 @@ class Debugger:
|
|||||||
return "Unknown command"
|
return "Unknown command"
|
||||||
return self._callbacks_table[callback_name](command[1:])
|
return self._callbacks_table[callback_name](command[1:])
|
||||||
|
|
||||||
|
def get_current_source_line_number(self) -> int:
|
||||||
|
return self._dbg_dict["instructions"][self._vm.pc.value]['srcline']
|
||||||
|
|
||||||
|
def _reset(self, args: list[str]) -> str:
|
||||||
|
self._vm.reset()
|
||||||
|
return "VM reseted"
|
||||||
|
|
||||||
def _step(self, args: list[str]) -> str:
|
def _step(self, args: list[str]) -> str:
|
||||||
try:
|
try:
|
||||||
self._vm.step()
|
self._vm.step()
|
||||||
@ -93,9 +104,6 @@ class Debugger:
|
|||||||
return f"Virtual machine exception: {e.message}"
|
return f"Virtual machine exception: {e.message}"
|
||||||
return ""
|
return ""
|
||||||
|
|
||||||
def get_current_source_line_number(self) -> int:
|
|
||||||
return self._dbg_dict["instructions"][self._vm.pc.value]['srcline']
|
|
||||||
|
|
||||||
def _continue(self, args: list[str]) -> str:
|
def _continue(self, args: list[str]) -> str:
|
||||||
try:
|
try:
|
||||||
self._vm.continue_()
|
self._vm.continue_()
|
||||||
@ -113,15 +121,21 @@ class Debugger:
|
|||||||
addr = -1
|
addr = -1
|
||||||
# находим за линейное время. Плохая практика, но так как
|
# находим за линейное время. Плохая практика, но так как
|
||||||
# сходные коды вряд ли будут длиннее 1000 строк - приемлемо
|
# сходные коды вряд ли будут длиннее 1000 строк - приемлемо
|
||||||
for addr, desc in self._dbg_dict.items():
|
for addr, desc in self._dbg_dict["instructions"].items():
|
||||||
desc = cast(DbgInstrDesc, desc)
|
desc = cast(DbgInstrDesc, desc)
|
||||||
if not desc["srcline"] == desired_addr:
|
if not desc["srcline"] == desired_addr:
|
||||||
continue
|
continue
|
||||||
self._breakpoints.add(int(addr))
|
self._breakpoints.add(int(addr))
|
||||||
|
self._vm.breakpoints.add(int(addr))
|
||||||
return f"Breakpoint succesfully set on line {desired_addr}"
|
return f"Breakpoint succesfully set on line {desired_addr}"
|
||||||
|
|
||||||
return f"Couldn't place breakpoint on src line {desired_addr}"
|
return f"Couldn't place breakpoint on src line {desired_addr}"
|
||||||
|
|
||||||
|
def _breakpointsclear(self, args: list[str]):
|
||||||
|
self._breakpoints.clear()
|
||||||
|
self._vm.breakpoints.clear()
|
||||||
|
return "Cleared all breakpoints"
|
||||||
|
|
||||||
def _print(self, args: list[str]) -> str:
|
def _print(self, args: list[str]) -> str:
|
||||||
to_print = args[0]
|
to_print = args[0]
|
||||||
if to_print == "pc":
|
if to_print == "pc":
|
||||||
@ -134,7 +148,10 @@ class Debugger:
|
|||||||
f"z: {flags.z}\n"
|
f"z: {flags.z}\n"
|
||||||
)
|
)
|
||||||
|
|
||||||
elif re.fullmatch(r'r\d+', to_print):
|
elif re.fullmatch(
|
||||||
|
# r0-r255
|
||||||
|
r'r([0-9]|[1-9][0-9]|1[0-9][0-9]|2[1-4][1-9]|25[1-5])',
|
||||||
|
to_print):
|
||||||
index = int(to_print[1:])
|
index = int(to_print[1:])
|
||||||
return f"{to_print}: {self._vm.registers[index].value}"
|
return f"{to_print}: {self._vm.registers[index].value}"
|
||||||
|
|
||||||
@ -146,8 +163,9 @@ class Debugger:
|
|||||||
def _run(self, args: list[str]) -> str:
|
def _run(self, args: list[str]) -> str:
|
||||||
try:
|
try:
|
||||||
self._vm.run()
|
self._vm.run()
|
||||||
except Breakpoint:
|
except Breakpoint as b:
|
||||||
return ""
|
return (f'breakpoint on line '
|
||||||
|
f'{self._dbg_dict["instructions"][b.address]["srcline"]}')
|
||||||
return "Program finished"
|
return "Program finished"
|
||||||
|
|
||||||
def _inspect(self, args: list[str]) -> str:
|
def _inspect(self, args: list[str]) -> str:
|
||||||
@ -165,6 +183,7 @@ class Debugger:
|
|||||||
return ("You passed wrong offset parameter. It should be either "
|
return ("You passed wrong offset parameter. It should be either "
|
||||||
"name of some label or explicit decimal or hexdecimal "
|
"name of some label or explicit decimal or hexdecimal "
|
||||||
"number, in the second case it should start with 0x")
|
"number, in the second case it should start with 0x")
|
||||||
|
offset = self._vm._to_raw_bytes_offset(offset)
|
||||||
|
|
||||||
try:
|
try:
|
||||||
sym = self.UNPACK_SYMBOL_TABLE[size_arg]
|
sym = self.UNPACK_SYMBOL_TABLE[size_arg]
|
||||||
@ -174,8 +193,20 @@ class Debugger:
|
|||||||
"options as size: b/B - byte, h/H - 2 bytes, "
|
"options as size: b/B - byte, h/H - 2 bytes, "
|
||||||
"w/W - 4 bytes. Big - unsigned, small - signed")
|
"w/W - 4 bytes. Big - unsigned, small - signed")
|
||||||
contents = struct.unpack(
|
contents = struct.unpack(
|
||||||
sym*amount,
|
">"+sym*amount,
|
||||||
self._vm.mem[offset:offset+size*amount]
|
self._vm.mem[offset:offset+size*amount]
|
||||||
)
|
)
|
||||||
return f"{mem_location}:" + " ".join(map(str, contents))
|
return f"{mem_location}:" + " ".join(map(str, contents))
|
||||||
|
|
||||||
|
def _recover_from_breakpoint(self, cur_bp: Breakpoint):
|
||||||
|
"""
|
||||||
|
Когда виртуальная машина сталкивается с точкой останова, она на
|
||||||
|
ней зависает навечно. Для продолжения работы надо текущую точку
|
||||||
|
останова убрать, сделать шаг, а потом добавить. Предыдущая точка
|
||||||
|
остановка как раз хранится в дебаггере
|
||||||
|
"""
|
||||||
|
if not self.last_breakpoint:
|
||||||
|
return
|
||||||
|
if cur_bp.address != self.last_breakpoint.address:
|
||||||
|
return
|
||||||
|
self._vm.breakpoints.remove(cur_bp.address)
|
||||||
@ -1,5 +1,5 @@
|
|||||||
from argparse import ArgumentParser
|
from argparse import ArgumentParser
|
||||||
from vm import VM
|
from .vm import VM
|
||||||
|
|
||||||
def main():
|
def main():
|
||||||
parser = ArgumentParser(
|
parser = ArgumentParser(
|
||||||
@ -2,7 +2,7 @@ from dataclasses import dataclass
|
|||||||
from typing import ClassVar, Callable
|
from typing import ClassVar, Callable
|
||||||
from ctypes import c_uint32, c_int32
|
from ctypes import c_uint32, c_int32
|
||||||
import struct
|
import struct
|
||||||
from optable import OPCODES, OpcodeDescription, OpL, OpA, OpF, OpD
|
from .optable import OPCODES, OpcodeDescription, OpL, OpA, OpF, OpD
|
||||||
from enum import IntFlag, Enum, auto
|
from enum import IntFlag, Enum, auto
|
||||||
|
|
||||||
WORD_SIZE: int = 4
|
WORD_SIZE: int = 4
|
||||||
@ -25,6 +25,11 @@ class VMCC(IntFlag):
|
|||||||
NEGATIVE = 1 << 1
|
NEGATIVE = 1 << 1
|
||||||
ZERO = 1 << 0
|
ZERO = 1 << 0
|
||||||
|
|
||||||
|
class VMStatus(Enum):
|
||||||
|
RUNNING = auto()
|
||||||
|
INITED = auto()
|
||||||
|
FINISHED = auto()
|
||||||
|
|
||||||
@dataclass
|
@dataclass
|
||||||
class Breakpoint(Exception):
|
class Breakpoint(Exception):
|
||||||
address: int
|
address: int
|
||||||
@ -48,15 +53,13 @@ class VM:
|
|||||||
registers: list[c_int32]
|
registers: list[c_int32]
|
||||||
breakpoints: set[int]
|
breakpoints: set[int]
|
||||||
_vm_flags: VMFlags
|
_vm_flags: VMFlags
|
||||||
|
status: VMStatus
|
||||||
|
|
||||||
def __init__(self, mem: bytearray):
|
def __init__(self, mem: bytearray):
|
||||||
self.mem: bytearray = mem
|
self._initial_mem = mem.copy()
|
||||||
self.cc: VMCC = VMCC(0)
|
|
||||||
self.pc: c_uint32 = c_uint32(0)
|
|
||||||
self.registers: list[c_int32] = [c_int32(0) for _ in range(256)]
|
|
||||||
self.breakpoints: set[int] = set()
|
|
||||||
self._vm_flags: VMFlags = VMFlags(0)
|
|
||||||
self.__init_callbacks__()
|
self.__init_callbacks__()
|
||||||
|
self.reset()
|
||||||
|
self.breakpoints: set[int] = set()
|
||||||
|
|
||||||
def __init_callbacks__(self):
|
def __init_callbacks__(self):
|
||||||
VM.instr_callbacks = {
|
VM.instr_callbacks = {
|
||||||
@ -119,16 +122,26 @@ class VM:
|
|||||||
self._branch_indexed_callback
|
self._branch_indexed_callback
|
||||||
}
|
}
|
||||||
|
|
||||||
|
def reset(self):
|
||||||
|
self.mem: bytearray = self._initial_mem.copy()
|
||||||
|
self.cc: VMCC = VMCC(0)
|
||||||
|
self.pc: c_uint32 = c_uint32(0)
|
||||||
|
self.registers: list[c_int32] = [c_int32(0) for _ in range(256)]
|
||||||
|
self._vm_flags: VMFlags = VMFlags(0)
|
||||||
|
self.status = VMStatus.INITED
|
||||||
|
|
||||||
def step(self) -> None:
|
def step(self) -> None:
|
||||||
"""
|
"""
|
||||||
Make one step (only step into)
|
Make one step (only step into)
|
||||||
"""
|
"""
|
||||||
if self._to_raw_bytes_offset(self.pc) > len(self.mem) - WORD_SIZE:
|
if self._to_raw_bytes_offset(self.pc) > len(self.mem) - WORD_SIZE:
|
||||||
|
self.status = VMStatus.FINISHED
|
||||||
raise VMException(
|
raise VMException(
|
||||||
VMExceptionType.END_OF_MEM,
|
VMExceptionType.END_OF_MEM,
|
||||||
self.pc.value,
|
self.pc.value,
|
||||||
"couldn't perform step because end of memory occured"
|
"couldn't perform step because end of memory occured"
|
||||||
)
|
)
|
||||||
|
self.status = VMStatus.RUNNING
|
||||||
opcode, *_ = instr = self._fetch_instr()
|
opcode, *_ = instr = self._fetch_instr()
|
||||||
opdesc = self._get_opcode_desc(opcode)
|
opdesc = self._get_opcode_desc(opcode)
|
||||||
args: tuple[int, ...] = self._parse_instr_fields(bytes(instr))
|
args: tuple[int, ...] = self._parse_instr_fields(bytes(instr))
|
||||||
@ -148,14 +161,16 @@ class VM:
|
|||||||
if self.pc.value in self.breakpoints:
|
if self.pc.value in self.breakpoints:
|
||||||
raise Breakpoint(self.pc.value)
|
raise Breakpoint(self.pc.value)
|
||||||
self.step()
|
self.step()
|
||||||
|
self.status = VMStatus.FINISHED
|
||||||
|
|
||||||
def run(self) -> None:
|
def run(self) -> None:
|
||||||
"""
|
"""
|
||||||
Run from very beginning
|
Run from very beginning
|
||||||
"""
|
"""
|
||||||
self.pc = c_uint32(0)
|
self.reset()
|
||||||
while (self._to_raw_bytes_offset(self.pc.value) < len(self.mem)):
|
while (self._to_raw_bytes_offset(self.pc.value) < len(self.mem)):
|
||||||
self.continue_()
|
self.continue_()
|
||||||
|
self.status = VMStatus.FINISHED
|
||||||
|
|
||||||
def _fetch_instr(self) -> bytearray:
|
def _fetch_instr(self) -> bytearray:
|
||||||
"""
|
"""
|
||||||
@ -247,6 +262,25 @@ class VM:
|
|||||||
cond, disp
|
cond, disp
|
||||||
)
|
)
|
||||||
|
|
||||||
|
@staticmethod
|
||||||
|
def _perform_ariphmetic_operation(
|
||||||
|
lhs: int,
|
||||||
|
rhs: int,
|
||||||
|
op: Callable[[int, int], int]
|
||||||
|
) -> tuple[int, VMCC]:
|
||||||
|
cc = VMCC(0)
|
||||||
|
result = op(lhs, rhs)
|
||||||
|
if result < 0:
|
||||||
|
cc |= VMCC.NEGATIVE
|
||||||
|
elif result == 0:
|
||||||
|
cc |= VMCC.ZERO
|
||||||
|
# самая дорогая проверка на переполнение)
|
||||||
|
try:
|
||||||
|
struct.pack('i', result)
|
||||||
|
except struct.error:
|
||||||
|
cc |= VMCC.OVERFLOW
|
||||||
|
return result, cc
|
||||||
|
|
||||||
def _math_callback_gen(
|
def _math_callback_gen(
|
||||||
self,
|
self,
|
||||||
operation: Callable[[int, int], int]
|
operation: Callable[[int, int], int]
|
||||||
@ -259,10 +293,16 @@ class VM:
|
|||||||
def callback(self, r3: int, r1: int, r2: int):
|
def callback(self, r3: int, r1: int, r2: int):
|
||||||
lhs = self.registers[r1].value
|
lhs = self.registers[r1].value
|
||||||
rhs = self.registers[r2].value
|
rhs = self.registers[r2].value
|
||||||
self.registers[r3] = c_int32(operation(lhs, rhs))
|
result, cc = self._perform_ariphmetic_operation(
|
||||||
|
lhs,
|
||||||
|
rhs,
|
||||||
|
operation)
|
||||||
|
self.registers[r3] = c_int32(result)
|
||||||
|
self.cc = cc
|
||||||
|
|
||||||
return callback
|
return callback
|
||||||
|
|
||||||
|
|
||||||
def _math_quick_callback_gen(
|
def _math_quick_callback_gen(
|
||||||
self,
|
self,
|
||||||
operation: Callable[[int, int], int]
|
operation: Callable[[int, int], int]
|
||||||
@ -278,24 +318,21 @@ class VM:
|
|||||||
def callback(self, r3: int, r1: int, i8: int) -> None:
|
def callback(self, r3: int, r1: int, i8: int) -> None:
|
||||||
self.cc = VMCC(0)
|
self.cc = VMCC(0)
|
||||||
lhs = self.registers[r1].value
|
lhs = self.registers[r1].value
|
||||||
result = operation(lhs, i8)
|
result, flags = self._perform_ariphmetic_operation(
|
||||||
if result < 0:
|
lhs,
|
||||||
self.cc |= VMCC.NEGATIVE
|
i8,
|
||||||
elif result == 0:
|
operation)
|
||||||
self.cc |= VMCC.ZERO
|
|
||||||
# самая дорогая проверка на переполнение)
|
|
||||||
try:
|
|
||||||
struct.pack('i', result)
|
|
||||||
except struct.error:
|
|
||||||
self.cc |= VMCC.OVERFLOW
|
|
||||||
self.registers[r3] = c_int32(result)
|
self.registers[r3] = c_int32(result)
|
||||||
|
self.cc = flags
|
||||||
return callback
|
return callback
|
||||||
|
|
||||||
def _load_callback(self, r3: int, r1: int, disp: int) -> None:
|
def _load_callback(self, r3: int, r1: int, disp: int) -> None:
|
||||||
addr = self._to_raw_bytes_offset(self.registers[r1].value + disp)
|
addr = self._to_raw_bytes_offset(self.registers[r1].value + disp)
|
||||||
|
raw_bytes = self.mem[addr:addr+WORD_SIZE]
|
||||||
self.registers[r3] = c_int32(
|
self.registers[r3] = c_int32(
|
||||||
struct.unpack(
|
struct.unpack(
|
||||||
">i", self.mem[addr:addr+WORD_SIZE])[0]
|
">i", raw_bytes
|
||||||
|
)[0]
|
||||||
)
|
)
|
||||||
|
|
||||||
def _store_callback(self, r3: int, r1: int, disp: int) -> None:
|
def _store_callback(self, r3: int, r1: int, disp: int) -> None:
|
||||||
49
uv.lock
generated
49
uv.lock
generated
@ -7,51 +7,30 @@ name = "dp32-proto"
|
|||||||
version = "0.1.1"
|
version = "0.1.1"
|
||||||
source = { editable = "." }
|
source = { editable = "." }
|
||||||
dependencies = [
|
dependencies = [
|
||||||
{ name = "rich" },
|
{ name = "py-cui" },
|
||||||
]
|
]
|
||||||
|
|
||||||
[package.metadata]
|
[package.metadata]
|
||||||
requires-dist = [{ name = "rich", specifier = ">=14.0.0" }]
|
requires-dist = [{ name = "py-cui", specifier = ">=0.1.6" }]
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "markdown-it-py"
|
name = "py-cui"
|
||||||
version = "3.0.0"
|
version = "0.1.6"
|
||||||
source = { registry = "https://pypi.org/simple" }
|
source = { registry = "https://pypi.org/simple" }
|
||||||
dependencies = [
|
dependencies = [
|
||||||
{ name = "mdurl" },
|
{ name = "windows-curses", marker = "sys_platform == 'win32'" },
|
||||||
]
|
|
||||||
sdist = { url = "https://files.pythonhosted.org/packages/38/71/3b932df36c1a044d397a1f92d1cf91ee0a503d91e470cbd670aa66b07ed0/markdown-it-py-3.0.0.tar.gz", hash = "sha256:e3f60a94fa066dc52ec76661e37c851cb232d92f9886b15cb560aaada2df8feb", size = 74596 }
|
|
||||||
wheels = [
|
|
||||||
{ url = "https://files.pythonhosted.org/packages/42/d7/1ec15b46af6af88f19b8e5ffea08fa375d433c998b8a7639e76935c14f1f/markdown_it_py-3.0.0-py3-none-any.whl", hash = "sha256:355216845c60bd96232cd8d8c40e8f9765cc86f46880e43a8fd22dc1a1a8cab1", size = 87528 },
|
|
||||||
]
|
]
|
||||||
|
sdist = { url = "https://files.pythonhosted.org/packages/da/d8/bb92087dc36dc94a60993955133d0f6473237a6ce1a6145ad95dce3b2a21/py_cui-0.1.6.tar.gz", hash = "sha256:91186f33f26216cd82a676e6b02e85110a7b562d8ab9792359cfdde4ee6b9abc", size = 63009 }
|
||||||
|
|
||||||
[[package]]
|
[[package]]
|
||||||
name = "mdurl"
|
name = "windows-curses"
|
||||||
version = "0.1.2"
|
version = "2.4.1"
|
||||||
source = { registry = "https://pypi.org/simple" }
|
source = { registry = "https://pypi.org/simple" }
|
||||||
sdist = { url = "https://files.pythonhosted.org/packages/d6/54/cfe61301667036ec958cb99bd3efefba235e65cdeb9c84d24a8293ba1d90/mdurl-0.1.2.tar.gz", hash = "sha256:bb413d29f5eea38f31dd4754dd7377d4465116fb207585f97bf925588687c1ba", size = 8729 }
|
|
||||||
wheels = [
|
wheels = [
|
||||||
{ url = "https://files.pythonhosted.org/packages/b3/38/89ba8ad64ae25be8de66a6d463314cf1eb366222074cfda9ee839c56a4b4/mdurl-0.1.2-py3-none-any.whl", hash = "sha256:84008a41e51615a49fc9966191ff91509e3c40b939176e643fd50a5c2196b8f8", size = 9979 },
|
{ url = "https://files.pythonhosted.org/packages/74/b3/46a2508fff83b5affb5a311797c584c494b4b0c4c8796a1afa2c1b1e03ac/windows_curses-2.4.1-cp311-cp311-win32.whl", hash = "sha256:4fa1a176bfcf098d0c9bb7bc03dce6e83a4257fc0c66ad721f5745ebf0c00746", size = 71129 },
|
||||||
]
|
{ url = "https://files.pythonhosted.org/packages/50/29/fd7c0c80177d8df55f841504a5f332b95b0002c80f82055913b6caac94e6/windows_curses-2.4.1-cp311-cp311-win_amd64.whl", hash = "sha256:fd7d7a9cf6c1758f46ed76b8c67f608bc5fcd5f0ca91f1580fd2d84cf41c7f4f", size = 81431 },
|
||||||
|
{ url = "https://files.pythonhosted.org/packages/f4/99/60f34e51514c82631aa5c6d21eab88ce1701562de9844608411e39462a46/windows_curses-2.4.1-cp312-cp312-win32.whl", hash = "sha256:bdbe7d58747408aef8a9128b2654acf6fbd11c821b91224b9a046faba8c6b6ca", size = 71489 },
|
||||||
[[package]]
|
{ url = "https://files.pythonhosted.org/packages/62/8f/d908bcab1954375b156a9300fa86ceccb110f39457cd6fd59c72777626ab/windows_curses-2.4.1-cp312-cp312-win_amd64.whl", hash = "sha256:5c9c2635faf171a229caca80e1dd760ab00db078e2a285ba2f667bbfcc31777c", size = 81777 },
|
||||||
name = "pygments"
|
{ url = "https://files.pythonhosted.org/packages/25/a0/e8d074f013117633f6b502ca123ecfc377fe0bd36818fe65e8935c91ca9c/windows_curses-2.4.1-cp313-cp313-win32.whl", hash = "sha256:05d1ca01e5199a435ccb6c8c2978df4a169cdff1ec99ab15f11ded9de8e5be26", size = 71390 },
|
||||||
version = "2.19.1"
|
{ url = "https://files.pythonhosted.org/packages/2b/4b/2838a829b074a68c570d54ae0ae8539979657d3e619a4dc5a4b03eb69745/windows_curses-2.4.1-cp313-cp313-win_amd64.whl", hash = "sha256:8cf653f8928af19c103ae11cfed38124f418dcdd92643c4cd17239c0cec2f9da", size = 81636 },
|
||||||
source = { registry = "https://pypi.org/simple" }
|
|
||||||
sdist = { url = "https://files.pythonhosted.org/packages/7c/2d/c3338d48ea6cc0feb8446d8e6937e1408088a72a39937982cc6111d17f84/pygments-2.19.1.tar.gz", hash = "sha256:61c16d2a8576dc0649d9f39e089b5f02bcd27fba10d8fb4dcc28173f7a45151f", size = 4968581 }
|
|
||||||
wheels = [
|
|
||||||
{ url = "https://files.pythonhosted.org/packages/8a/0b/9fcc47d19c48b59121088dd6da2488a49d5f72dacf8262e2790a1d2c7d15/pygments-2.19.1-py3-none-any.whl", hash = "sha256:9ea1544ad55cecf4b8242fab6dd35a93bbce657034b0611ee383099054ab6d8c", size = 1225293 },
|
|
||||||
]
|
|
||||||
|
|
||||||
[[package]]
|
|
||||||
name = "rich"
|
|
||||||
version = "14.0.0"
|
|
||||||
source = { registry = "https://pypi.org/simple" }
|
|
||||||
dependencies = [
|
|
||||||
{ name = "markdown-it-py" },
|
|
||||||
{ name = "pygments" },
|
|
||||||
]
|
|
||||||
sdist = { url = "https://files.pythonhosted.org/packages/a1/53/830aa4c3066a8ab0ae9a9955976fb770fe9c6102117c8ec4ab3ea62d89e8/rich-14.0.0.tar.gz", hash = "sha256:82f1bc23a6a21ebca4ae0c45af9bdbc492ed20231dcb63f297d6d1021a9d5725", size = 224078 }
|
|
||||||
wheels = [
|
|
||||||
{ url = "https://files.pythonhosted.org/packages/0d/9b/63f4c7ebc259242c89b3acafdb37b41d1185c07ff0011164674e9076b491/rich-14.0.0-py3-none-any.whl", hash = "sha256:1c9491e1951aac09caffd42f448ee3d04e58923ffe14993f6e83068dc395d7e0", size = 243229 },
|
|
||||||
]
|
]
|
||||||
|
|||||||
Reference in New Issue
Block a user