|
ru.algorithms
- RU.ALGORITHMS ----------------------------------------------------------------
From : Zapadinsky Anatoly \(ZAB\) 2:5020/400 11 Jun 2001 13:30:06
To : All
Subject : Hеразрешимая задача
--------------------------------------------------------------------------------
Есть ли в природе разработки по кроссплатформенному языку (коду),
позволяющему переносить любой алгоритм на любую машину (даже ту, которой
пока нет, т.е. которая может быть создана в будущем) с созданием
(компиляцией или трансляцией) в машинный код с получением идеального
(использующего все инструкции данной машины, которые можно применить для
данного алгоритма, и максимально оптимизированного, с учётом всех
особенностей данной машины, к примеру 5-ти уровневого кэша и т.д.) кода?
Все мои познания в этой области сводятся к тому, как решили эту задачу
создатели UNIX'а, т.е. использование языка высокого уровня, и к некоему
SLED'у, языку, по словам создателей, ещё более общему (высокоуровневому) чем
тот же C.
Это не является идеальным решением задачи, т.к. нет компилятора языка
высокого уровня, позволяющего обрабатывая все циклы и ветвления достигать
идеального кода, это теоретически невозможно.
Hа мой взгляд есть теоретически возможный вариант решения этой проблемы -
трансляция алгоритма в простейшие булевы функции и сравнение на 0, с
последующим поиском совпадений отдельных кусков с функциями (операциями)
присутствующими в коде данной машины, но это решение невозможно реализовать
практически, т.к. потребует нереально много памяти (попробуйте транслировать
тот же sin в такой вид и обратно) а так же нереальных вычислительных затрат
на последующий поиск совпадений, я не говорю о том, что при такой трансляции
надо будет учитывать особенности машины, например суперскалярность, и т.д.
Собственно вопрос: Всё ли я правильно изложил? Есть ли в природе наработки,
в том числе и алгоритмы по решению этой задачи, более эффективные чем в
UNIX'е?
--- ifmail v.2.15dev5
* Origin: Demos online service (2:5020/400)
Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
|
