LINUX.ORG.RU
Форум — General  

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

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

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

anonymous
()
Ответ на: комментарий от Aceler

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

MOPKOBKA ★★★★★
()
Последнее исправление: MOPKOBKA (всего исправлений: 1)
Ответ на: комментарий от anonymous

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

ugoday ★★★★★
()

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

Kolins ★★★★★
()
Ответ на: комментарий от Aceler

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

mky ★★★★★
()
Ответ на: комментарий от ugoday

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

anonymous
()
Ответ на: комментарий от mky

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

anonymous
()
Ответ на: комментарий от q137

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

ugoday ★★★★★
()
Последнее исправление: ugoday (всего исправлений: 1)
Для того чтобы оставить комментарий войдите или зарегистрируйтесь.
  1 2 →
← Как установить dante-server на kali (unable locate dante-server)
General
openwrt на sagecom 2804 v7 (2 usb порта) →