Forth и другие саморасширяющиеся системы программирования Locations of visitors to this page
Текущее время: Чт мар 28, 2024 12:26

...
Google Search
Forth-FAQ Spy Grafic

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 70 ]  На страницу Пред.  1, 2, 3, 4, 5  След.
Автор Сообщение
 Заголовок сообщения:
СообщениеДобавлено: Чт июн 08, 2006 06:35 
Mihail писал(а):
взять исходный текст некого языка и пеевести его исходный текст форта.
http://forth.spb.su:8888/CinF11.rar
http://www.plati.ru/asp/pay.asp?id_d=45066


Интересны результаты замера производительности
сгенерированного кода на стандартных Си тестах


Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Чт июн 08, 2006 09:37 
Не в сети

Зарегистрирован: Вт май 09, 2006 12:31
Сообщения: 3438
Благодарил (а): 5 раз.
Поблагодарили: 16 раз.
Цитата:
Интересны результаты замера производительности
сгенерированного кода на стандартных Си тестах

Действительно, Михаил, СИ сильно выигрывает за счёт оптимизирующих компиляторов, сам язык не самый удобный, замерялось что-нибудь?


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Чт июн 08, 2006 12:47 
вопрос писал(а):
Действительно, Михаил, СИ сильно выигрывает за счёт оптимизирующих компиляторов,

Судя по ОТВРАТИТЕЛЬНОЙ работе оптимизатора IAR C AVR иногда из-за оптимизатора он сильно проигрывает :dmad; ...


Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Чт июн 08, 2006 13:36 
Не в сети

Зарегистрирован: Ср май 03, 2006 11:27
Сообщения: 1394
Откуда: St.Petersburg
Благодарил (а): 2 раз.
Поблагодарили: 11 раз.
вопрос писал(а):
Действительно, Михаил, СИ сильно выигрывает за счёт оптимизирующих компиляторов, сам язык не самый удобный, замерялось что-нибудь?


http://talk.mail.ru/article-26762867.html
http://www.forth.org.ru/~af/shootout.htm


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Чт июн 08, 2006 22:46 
Не в сети

Зарегистрирован: Вт май 09, 2006 12:31
Сообщения: 3438
Благодарил (а): 5 раз.
Поблагодарили: 16 раз.
__________ VC(opt) ___ VC ___ GCC ___ SPF3 ___ SPF4 ____spf4/ c lider
Array Access 0.040 ___ 0.200 _ 0.028 __ 4.284 __ 0.201 _______7.1

Жирным - видимо, основное - работа с массивами - это ключ к производительности ... Желательно было бы именно это оптимизировать, если соревноваться с GCC, ну а уж
Nested Loops 19.6 если это ни что то другое как вложенные циклы, то ... пока нельзя говорить про достаточную оптимизацию ...
остаётся что-то делать на Форте, что-то на С или даже на ассемблере, потом линковать, но с другой стороны Hash Access 0,6 и там ещё две позиции - это уже что-то и среднее отставание не такое большое.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Пт июн 09, 2006 11:24 
Не в сети

Зарегистрирован: Ср май 03, 2006 11:27
Сообщения: 1394
Откуда: St.Petersburg
Благодарил (а): 2 раз.
Поблагодарили: 11 раз.
вопрос писал(а):
если это ни что то другое как вложенные циклы, то ... пока нельзя говорить про достаточную оптимизацию ...


Еще надо учесть, оптимизатором для SPF4 занимался только я, между делом.
Если ты займешся тестированием, то я продвину оптимизатор.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Сб июн 10, 2006 13:30 
Не в сети

Зарегистрирован: Вт май 09, 2006 12:31
Сообщения: 3438
Благодарил (а): 5 раз.
Поблагодарили: 16 раз.
Mihail писал(а):
Еще надо учесть, оптимизатором для SPF4 занимался только я, между делом.
Если ты займешся тестированием, то я продвину оптимизатор.
Что включает в себя тестирование?
Я не настолько знаю ФОРТ, чтобы тестировать компиляторы, но мне интересно изучить ФОРТ и его внутреннее устройство, потому я лучше бы принял участие в создании алгоритма оптимизации.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Сб июн 10, 2006 14:09 
Не в сети

Зарегистрирован: Ср май 03, 2006 11:27
Сообщения: 1394
Откуда: St.Petersburg
Благодарил (а): 2 раз.
Поблагодарили: 11 раз.
вопрос писал(а):
Что включает в себя тестирование?
Я не настолько знаю ФОРТ, чтобы тестировать компиляторы, но мне интересно изучить ФОРТ и его внутреннее устройство, потому я лучше бы принял участие в создании алгоритма оптимизации.


Алгоритмы оптимизации, это как-раз высший пилотаж. :pilot;
С тестов нужно начинать, для выявления слабых мест оптимизатора. :oops:
Для тестирования все подготовлено http://www.forth.org.ru/~af/test.exe
Просто нужно запустить тесты на исполнения. Если будут затруднения вместе разбиремся.
Я не хочу ставить у себя Си. Интересует именно сопоставление с Си в равных условиях.
Тесты произведенные самим разработчиком оптимизатора менее объективны.


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Ср июн 14, 2006 21:31 
Не в сети

Зарегистрирован: Вт май 09, 2006 12:31
Сообщения: 3438
Благодарил (а): 5 раз.
Поблагодарили: 16 раз.
Mihail писал(а):
вопрос писал(а):
Что включает в себя тестирование?
Я не настолько знаю ФОРТ, чтобы тестировать компиляторы, но мне интересно изучить ФОРТ и его внутреннее устройство, потому я лучше бы принял участие в создании алгоритма оптимизации.


Алгоритмы оптимизации, это как-раз высший пилотаж. :pilot;
С тестов нужно начинать, для выявления слабых мест оптимизатора. :oops:
Для тестирования все подготовлено http://www.forth.org.ru/~af/test.exe
Просто нужно запустить тесты на исполнения. Если будут затруднения вместе разбиремся.
Я не хочу ставить у себя Си. Интересует именно сопоставление с Си в равных условиях.
Тесты произведенные самим разработчиком оптимизатора менее объективны.


Я посмотрю, что там в тестировании ... когды будет время, могу ли я это "взять на себя"
Насчёт :pilot; :D пока, я думаю, нет смысла говорить о высшем пилотаже, что касаается вложенных циклов: 19,1 разница в оптимальности - это пока недостатки реализации, их было бы не так сложно исправить. Хотя дело было бы долгое и трудное (по времени).


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Пт авг 11, 2006 14:04 
Принципы построения программного обеспечения моделирования молекулярной динамики биоструктур
Голик Дмитрий Никитич Аспирант
Московский государственный университет им. М.В. Ломоносова,
Москва, Россия E–mail: enzyme@nm.ru

В настоящее время быстро развиваются методы численного моделирования свойств биологических молекулярных систем методом молекулярной динамики. Ни одна из существующих программ не может включить всё необходимое при постановке численного эксперимента. В случае необходимости применить новые приемы моделирования надо или дополнять старую программу, или создавать новую. Изменение существующих программ затруднено в силу недокументированности и запутанности исходного кода. В связи с этим разрабатывается идея дополняемого программного обеспечения для расчёта и анализа результатов молекулярной динамики. Такое программное обеспечение должно удовлетворять следующим критериям:

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

2. Если пользователь дополняет исходный текст такой программы, это дополнение также необходимо представлять в виде отдельного модуля, чтобы не усложнять программу для понимания. Программу можно будет дополнять в течение неограниченного времени в отличие от существующих программ.

3. Простота понимания алгоритма работы программы, достигаемая соблюдением пунктов 1 и 2 и детальной документацией исходного кода.

4. Возможность изменения исходного кода программы без перекомпиляции, а также введения команд на языке программирования непосредственно из командной строки.

Вышеописанная идея реализуется на языке программирования Форт (Forth).
Этот язык позволяет исполнять программу непосредственно из исходного текста или командной строки
без потерь в быстродействии.

Программы на Форте всегда состоят из большого числа маленьких функций, что облегчает понимание и
доработку исходного текста.

Разработанная программа позволяет оперировать молекулами в различных форматах файлов, производить расчёт методом молекулярной динамики с применением силового поля AMBER и
реализует концепцию управляемой молекулярной динамики. Имеется возможность вычисления любых
статистических функций во время расчёта. Возможна остановка расчёта по истечении времени или при достижении системой заданного состояния. Программа может быть дополнена методом Монте-Карло
или расчётом межатомных сил по другому алгоритму. Планируется создание многопроцессорного варианта программы и молекулярного редактора на её основе.

Рабата выполнена на кафедре биоинженерии (научный руководитель профессор К.В.Шайтан)
при финансовой поддержке РФФИ (04-04-49645) и Роснауки.


Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Вс авг 13, 2006 23:14 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 22:48
Сообщения: 7960
Благодарил (а): 25 раз.
Поблагодарили: 144 раз.
Гость писал(а):
Принципы построения программного обеспечения моделирования молекулярной динамики биоструктур


И что с этим делать? Это где-то опубликовано? Или на конференцию? Лично я не вижу совершенно ничего удивительного в том, что на Форте можно писать программы. Тем более исследовательского характера. Развивать идею будем? :)


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Пн авг 14, 2006 06:35 
Хищник писал(а):
Гость писал(а):
Принципы построения программного обеспечения моделирования молекулярной динамики биоструктур


И что с этим делать? Это где-то опубликовано? Или на конференцию? Лично я не вижу совершенно ничего удивительного в том, что на Форте можно писать программы. Тем более исследовательского характера. Развивать идею будем? :)


Привел, как пример встретившийся в
ТЕЗИСЫ ДОКЛАДОВ XIII МЕЖДУНАРОДНОЙ КОНФЕРЕНЦИИ
СТУДЕНТОВ, АСПИРАНТОВ И МОЛОДЫХ УЧЕНЫХ «ЛОМОНОСОВ-2006»
12–15 апреля 2006 г.

Думаю, если с автором списаться, может что и выйдет:)


Вернуться к началу
  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Пн авг 14, 2006 12:54 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 22:48
Сообщения: 7960
Благодарил (а): 25 раз.
Поблагодарили: 144 раз.
Гость писал(а):
Думаю, если с автором списаться, может что и выйдет


Ну, автора тогда надо сюда приглашать... на воспитание :)


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Вт янв 23, 2007 22:29 
Не в сети
Аватара пользователя

Зарегистрирован: Пн окт 16, 2006 23:02
Сообщения: 65
Благодарил (а): 0 раз.
Поблагодарили: 0 раз.
Цитата:
Ну, автора тогда надо сюда приглашать... на воспитание

Так автор это ж я! Решил тут поискать на досуге, что про меня пишут, а тут такое вылезло. До сих пор, кстати, эту программу пишу.

Давайте, воспитывайте 8)

_________________
Я знаю только то, что я ничего не знаю. /(с) Сократ/
Мой форт | Мой проект ИИ


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Пт мар 23, 2007 10:11 
Не в сети
Moderator
Moderator

Зарегистрирован: Ср май 10, 2006 15:37
Сообщения: 1132
Откуда: Chelyabinsk ( Ural)
Благодарил (а): 0 раз.
Поблагодарили: 9 раз.
Для рассмотрения разнообразных точек зрения попалась такая выдержка.
по его форт подобной виртуальной машине

Vladimir Kladov

"Это не форт машина.
Кстати, до идеи 2х стеков я дошел сам, в далеком 94 году, и о существовании форта я тогда ничего не знал абсолютно. Когда я обсуждал свою мысль с други человеком (по-моему, все-таки сверстником, а не более старшего поколения), то он мне сказал, что такая идея уже воплощена, и называется система Форт. пришлось идти в библиотеку, читать, удивляться.

Но моя идея противоречит Форту в главном: программисту доступно все - в форте, но не у меня. Программисту должно быть доступно столько, сколько надо.
Стеки должны быть разделены полностью.
Данные нельзя перебрасывать на стек возвратов и обратно.
Данные на стеках нельзя адресовать как память, хотя бы даже они и располагались физически в памяти.

В общем-то все это написано.
И правда, заведите отдельную ветку.
При чем тут х86. Я вижу, что этой архитектуре скоро конец - в любом случае.
Сикстиума не будет.
Интел пошел в сторону многоядерности, а это значит: все, приехали. 4 ГГц - это предел, преодолеть который чисто увеличением тактовой частоты не светит.
Я надеюсь на своей архитектуре при внешней тактовой 3ГГц получать 32ГГц логических - на одном потоке выполнения.
Разумеется, при соответствующем увеличении логики и только на ASIC, не FPGA конечно.
А на FPGA -догнать бы хотя бы пень 1ГГц при внешней тактовой 250МГц например."

P.S. Такое вот имеется мнение:)


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 70 ]  На страницу Пред.  1, 2, 3, 4, 5  След.

Часовой пояс: UTC + 3 часа [ Летнее время ]


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 12


Вы не можете начинать темы
Вы можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

cron
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
phpBB сборка от FladeX // Русская поддержка phpBB