Безопасное выполнение чужого исполняемого файла.

Проще всего под chroot отдельным пользователем. Многое зависит от самих программ, есть ли там интерфейс или нет, соответственно если нет то можно выключить иксы и другие сервисы по тому же принципу. Настроить лимиты на диск, память процессорное время, тогда не придется искать зловредный код на ассемблере. Существуют же public shell серверы, там любой может запускать свои программки в рамках ограничений сервиса.

Я не силен в таких вопросах,но мне интересно, нельзя ли все это замутить через паравиртуализацию?

виртуалка со снапшотом и откатом после перезагрузки.

программы носят вычислительный характер

под kvm потери производительности 1-2%

+1

Выше уже сказали - выполнять бинарники в виртуальной машине. ИМХО это лучший вариант.

Есть ли возможность безопасной компиляции Си кода?

Искаропки скорее всего нет. Но можно взять какой-нибудь маленький C-компилятор, например tcc, и модифицировать его. Но опять же, очень сложно предугадать и отрезать все пути к выполнению «запрещённых действий».

kvm + svirt

Вроде получается, что

выполнения сегмента данных и модификации сегмента кода

сначала требует системных вызовов, а без ассемблера системный вызов будет только через libc, которую можно урезать. Правда, готового не знаю.

Если задача чисто счётная, то, SeLinux не должен особо её затормозить. Хотя не совсем понятно, от чего закрываемся, то-ли от того, что программа нагадит обычными средствами, то-ли от ещё не выявленных в ядре/библиотеках уязвимостей.

>Многое зависит от самих программ, есть ли там интерфейс или нет,

Интерфейса нет. Ввод вывод - дан файл/stdin/socket из него читаем, работаем, пишем в файл/stdout/socket.

Существуют же public shell серверы, там любой может запускать свои программки в рамках ограничений сервиса.

Ну да, интересен и их опыт.

Если нет сильных потерь, то вполне пойдет. Наверное, самый простой вариант.

Посмотри на [url=http://www.ejudge.ru/download/?locale_id=1]ejudge[/url], он как раз для подобных целей делался.

>выполнения сегмента данных и модификации сегмента кода

сначала требует системных вызовов

ой ли? разве бех NXbit простой call <data_address> не работает? я сам не знаю точно

>под kvm потери производительности 1-2%

Это достоверные сведения, а то уж больно все красиво звучит?

pathfinder> Это достоверные сведения, а то уж больно все красиво звучит?

Предложи вычислительный тест, я тебе его прогоню в хосте и в госте на выбор

  - squeeze              shut off
  - centos54_1           shut off
  - centos54_2           shut off
  - etch1                shut off
  - lenny32              shut off

Вот, советую почитать по теме http://habrahabr.ru/blogs/sport_programming/63005/. Там правда, виндово, но может быть достаточно интересно.

Здесь подойдет SELinux, но решения «из коробки» нет. Придется пилить самому. Виртуалка намного проще.

> Есть ли возможность безопасной компиляции Си кода?

Есть google native client. Делает песочницу для браузера. Ну и там же можно посмотреть некотрые рассуждения на эту тему. А погуглив можно найти мнение народа об этих рассуждениях.

Если не заморачиваться с патчеными компиляторами то chroot.

OpenVZ. Порезать можно всё что угодно, при этом доступ к фс контейнера и всему что там находится (типа сокетов, пайпов и прочих симлинков) можно осуществлять прямо с хоста и прямо в процессе работы этого самого контейнера (ибо оно и есть часть фс хоста, отдельные образы ему не нужны).

>Есть google native client.

Да, нагуглил, когда искал. Но остановлюсь на виртуалке для первой реализации. Потом можно будет усложнять.

ещё есть LXC

[quote] Искаропки скорее всего нет. Но можно взять какой-нибудь маленький C-компилятор, например tcc, и модифицировать его. Но опять же, очень сложно предугадать и отрезать все пути к выполнению «запрещённых действий». [/quote]

не сложно, а невозможно, иначе это будет уже не C. Даже бональный buffer overflow далеко не всегда можно автоматическим код-анализором выловить, а где buffer overflow - там и любой другой бинарный код произвольный.

Плюсую виртуалку со снапшотом и откатом по окончании выполнения

Внутри виртуалки - исполнять только о имени непривилегированного пользователя. Так будет тяжелее её разэксплоитить.

chroot НЕбезопасен.

не сложно, а невозможно, иначе это будет уже не C.

Да, действительно, если такое всё-таки реализовать, то это уже будет далеко не Си =).

Вы случаем не сервер для олимпиадных задач по информатике делаете?)

Нет, этим я уже не занимаюсь. Хотя почти угадали - делаю контест, но не для олимпиад по информатике.