Subject: Re: Re[2]: Сравнение Рефала с другими языкам
From: Arkady Klimov (arklimov@keldysh.ru)
Date: Tue Mar 30 2004 - 15:21:09 MSD
----- Original Message -----
From: "Дмитрий Подкорытов" <podkorytov@mail.ru>
To: <refal@botik.ru>
Sent: Tuesday, March 30, 2004 2:07 PM
Subject: Re[2]: Сравнение Рефала с другими языками
| >
| > | Шлю портированный на FreeBSD Рефал-2 и Refal-6 для гурманов на дегустацию и отлов багов.
| > | Выложите куда-нибудь , а то у меня стервер пока не доступен.
| >
| > У меня (автора рефала-6), к сожалению нет возможности (технической) проверить порт, но хочу понять, в какой мере удалось его
| > протестировать автору порта. В том числе:
| >
| > 1. Удается ли компилировать программы (из .ref в .rex) в рамках портированной версии.
| > 2. Удается ли прерывать выполнение через Ctrl-C (или что-то подобное) с выходом на диалог и возможностью последующего
продолжения?
|
| Тестирования почти не было. За день два порта :Рефал-2 и Рефал-6, а спать то когдато нужно.
| В диалог система выходила. Чего-то делала, сейчас не помню.
|
| Шлите методику тестирования и тесты-я её сделаю.
Прошу прощения, но таковой сейчас нет, а составлять недосуг.
| На ^C должна быть такая же реакция как и в Linux т.к системные вызовы те же,
|
| Кстати ^D и ^Z попробуйте на Linux\Win32.
| Может вызывать зависания\переходы процесса в состояние зомби.
К сожалению, полного тестирования тоже никто никогда не делал.
Да и речь сейчас лишь о самом простом тестировании - что в принципе "работает".
|
| > |
| > | Нет ли желающих на разработку системы
| > | распределённых вычислений\параллельного программирования на РЕФАЛ ?
| > Тема вызывает ностальгические воспоминания и желание поучаствовать в обсуждении.
| > Основным предметом оного вижу спецификацию Параллельного рефала - диалекта
| > рефала, содержащего средства параллельного программирования, включая недетерминизм.
| > Не обязательно это введение в язык новых элементов, возможно изменение семантики старых.
| > Все старые диалекты не являются кандидатами в силу строгой детерминированности их модели вычислений. Возможности
распараллеливания
| > в рамках внутренней инвариантности к порядку вычислений есть, но для практики этого маловато будет.
| > Какие есть идеи на это счет?
|
| ВСЕМИ ЧЕТЫРЬМЯ ЛАПАМИ-ЗА.
|
| Только давайте договоримся постараться обходится без новых термов и без разделения:
| параллельная\последовательная ветка кода.
| Система на мой взгляд должна обладать 100% врождённым параллелизмом.
| Наличие последовательных веток кода согласно закону Амдала сведёт на нет все усилия
| по распараллеливанию вычислений.
А это я не понимаю. Почему? И что за закон Амдала?
Последовательные "ветки" неистребимы: например, если G зависит от результата F, то и
выполняться она будет только _после_ завершения F.
С Уважением
Аркадий Климов
|
| С Уважением Дм.Подкорытов
|
This archive was generated by hypermail 2b25 : Mon Oct 25 2004 - 21:25:00 MSD