linux с минимальной тратой тактов ЦП на операционную систему

0

2

Для выполнения программы ,какой использовать linux c минимальной тратой тактов центрального процессора на операционную систему ? Программа : GitHub - vprover/vampire: The Vampire Theorem Prover https://github.com/vprover/vampire

← Как установить dante-server на kali (unable locate dante-server)

openwrt на sagecom 2804 v7 (2 usb порта) →

← 1 2 →

Ответ на: комментарий от anonymous 28.12.24 10:04:31 MSK

Математика — это язык описания вселенной.

А литература на великом могучем?

anonymous
(28.12.24 11:07:15 MSK)

Ответ на: комментарий от Aceler 28.12.24 01:44:03 MSK

Он же наверное свои обработчики прерываний ставит, на таймер например.

~~MOPKOBKA~~ ★★★★★
(28.12.24 11:29:14 MSK)
Последнее исправление: MOPKOBKA 28.12.24 11:30:02 MSK (всего исправлений: 1)

Ответ на: комментарий от anonymous 28.12.24 10:04:31 MSK

Математика — это язык описания чего угодно.

ugoday ★★★★★
(28.12.24 14:15:13 MSK)

Бери buildroot с busybox-init, отключай все ненужное в ядре, ставь только нужные либы

Kolins ★★★★★
(28.12.24 14:22:01 MSK)

Ответ на: комментарий от Aceler 28.12.24 01:44:03 MSK

Но в DOS'ах, ведь, всё время тикает аппартный таймер (IRQ0, int 8, int 1C), пусть его обрабатывает BIOS, но такты то расходуются :)

mky ★★★★★
(28.12.24 15:35:23 MSK)

Ответ на: комментарий от ugoday 27.12.24 23:50:27 MSK

а мы тогда ещё новых придумаем, и скажем, что на данном этапе развития техники их невозможно опровергнуть

anonymous
(28.12.24 15:45:58 MSK)

Ерунду ты написал.

Модели вытеснения Частота системного таймера

anonymous
(28.12.24 16:07:59 MSK)

Ответ на: комментарий от mky 28.12.24 15:35:23 MSK

Так тебе никакие оболочки дешевые не запрещают затушить таймер или влепить заглушку с iret.

anonymous
(28.12.24 16:13:09 MSK)

Ответ на: комментарий от Kolins 28.12.24 14:22:01 MSK

Спасибо ! Это то, что нужно - Buildroot — часть 1. Общие сведения, сборка минимальной системы, настройка через меню / Хабр https://habr.com/ru/articles/448638/

q137
(30.12.24 16:43:35 MSK) автор топика

Ответ на: комментарий от q137 30.12.24 16:43:35 MSK

Раcскажите потом сколько удалось выгадать. Интересно же.

ugoday ★★★★★
(30.12.24 17:05:37 MSK)
Последнее исправление: ugoday 30.12.24 17:05:45 MSK (всего исправлений: 1)

← 1 2 →

← Как установить dante-server на kali (unable locate dante-server)

General

openwrt на sagecom 2804 v7 (2 usb порта) →

Похожие темы