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

...
Google Search
Forth-FAQ Spy Grafic

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




Начать новую тему Ответить на тему  [ Сообщений: 98 ]  На страницу Пред.  1, 2, 3, 4, 5, 6, 7  След.
Автор Сообщение
 Заголовок сообщения: Re: Хард-подход к стандарту на Форт
СообщениеДобавлено: Вс фев 01, 2009 13:22 
Не в сети

Зарегистрирован: Пн окт 15, 2007 17:24
Сообщения: 164
Откуда: Бийск
Благодарил (а): 0 раз.
Поблагодарили: 2 раз.
chess писал(а):
Слова ядра Форт-системы попросту будут именами инструкций Форт-процессора. Только этот процессор будем считать не виртуальным, а реальным(тот который реально можно реализовать в кремнии).

Иными словами: нужен стандарт на Форт-Машину и неважно какой она окажется в каждом конкретном воплощении "реальной" или "виртуальной".
Если развить эту мысль чуть дальше, то становится неважно из какого исходника компилируется код для неё - для исходника на "языке Форт" компилятор будет самым простым, но не более того ...

_________________
And so forth ...


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

Зарегистрирован: Сб май 06, 2006 12:01
Сообщения: 959
Откуда: Украина, Харьков
Благодарил (а): 2 раз.
Поблагодарили: 7 раз.
OVER - обязательное
SWAP - необязательное
INV (dd2 dd1 --> dd2 ^dd1) - желательно в расширенном списке
и если есть у проца флаги, то больше разных IF-ов, а то программы не очень красивые получаются... :(

_________________
With best wishes, in4.


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

Зарегистрирован: Чт июл 20, 2006 11:31
Сообщения: 2168
Откуда: Екб
Благодарил (а): 0 раз.
Поблагодарили: 41 раз.
Варнак писал(а):
Иными словами: нужен стандарт на Форт-Машину и неважно какой она окажется в каждом конкретном воплощении "реальной" или "виртуальной".

Тут неточность в том, что не всякую виртуальную машину можно реализовать в кремнии. Например, аппаратный стек это не набор
адресуемых регистров, определенным образом соединенных(это нужно назвать аппаратно-программной эмуляцией аппаратного стека) . Слово "адресуемых" в определении стека лишнее.
Сузим определение форт-машины до 2-х стековой машины с определенным образом связанными арифметическим стеком и стеком возврата. Жесткая базовая семантика команд форт-машины обязательна. И вообщем-то неважно, что ряд команд составных для стандарта затем в реальной форт-машине будут реализованы одной командой.

_________________
С уважением, chess


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Вс фев 01, 2009 18:30 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 13:19
Сообщения: 3565
Откуда: St.Petersburg
Благодарил (а): 4 раз.
Поблагодарили: 72 раз.
chess писал(а):
Тут неточность в том, что не всякую виртуальную машину можно реализовать в кремнии.


надо бы заметить, что виртуальных машин, не реализованных в кремнии, как бы и не существует вообще. (всяковсяческие ламповые, релейные, деревянные и т.п. прототипы современных ЭВМ - не считаются).

chess писал(а):
Сузим определение форт-машины до 2-х стековой машины с определенным образом связанными арифметическим стеком и стеком возврата.


В таком сужении пропадает другая важная составляющая форт-машины, а именно - управляющая, с выборкой команд, системой вызова подпрограмм, организацией условных переходов, циклов и иных управляющих конструкций.

_________________
С уважением, WingLion
Forth-CPU . RuF09WE
Мой Форт
Отсутствие бана это не заслуга юзера, а недоработка модератора (с)


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

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

не реализованных или нереализуемых?

_________________
понимаю некоторую бестолковость некоторых вопросов


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Вс фев 01, 2009 19:25 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 13:19
Сообщения: 3565
Откуда: St.Petersburg
Благодарил (а): 4 раз.
Поблагодарили: 72 раз.
вопрос писал(а):
не реализованных или нереализуемых?


не реализованых... Если ВМ не реализована в кремнии (программно или железно - не суть), то этой ВМ - попросту нет. Так же, как сферического коня в вакууме.

_________________
С уважением, WingLion
Forth-CPU . RuF09WE
Мой Форт
Отсутствие бана это не заслуга юзера, а недоработка модератора (с)


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

Зарегистрирован: Чт июл 20, 2006 11:31
Сообщения: 2168
Откуда: Екб
Благодарил (а): 0 раз.
Поблагодарили: 41 раз.
вопрос писал(а):
не реализованых... Если ВМ не реализована в кремнии (программно или железно - не суть), то этой ВМ - попросту нет. Так же, как сферического коня в вакууме.

Речь идет об аппаратной реализации. Программная реализация не в счет - это всегда эмуляция. Если ВМ не может быть реализована
аппаратно(нереализуема), то она может быть эмулирована. Вариант эмуляции неинтересен как вторичный(заведомо неэффективный).
WingLion писал(а):
В таком сужении пропадает другая важная составляющая форт-машины, а именно - управляющая, с выборкой команд, системой вызова подпрограмм, организацией условных переходов, циклов и иных управляющих конструкций.

Во-первых, по архитектуре ВМ сначала говорят об операционной части(на нее приходится, как правило, больше аппаратуры и больше потерь времени выч. процесса). Во-вторых, вы что, из этой второй части что-то хотите внести в стандарт( кроме Jmp и услов. Jmp).
Что, например, по поводу выборки команд в стандарт может попасть?

_________________
С уважением, chess


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Вс фев 01, 2009 20:15 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 13:19
Сообщения: 3565
Откуда: St.Petersburg
Благодарил (а): 4 раз.
Поблагодарили: 72 раз.
chess писал(а):
Во-первых, по архитектуре ВМ сначала говорят об операционной части(на нее приходится, как правило, больше аппаратуры и больше потерь времени выч. процесса).


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

А операции - это мультиплексор с группой блоков для параллельного исполнения операций.

chess писал(а):
Что, например, по поводу выборки команд в стандарт может попасть?


да ничего собственно. Просто не нужно считать эту часть железа простой и ни на что не влияющей.

_________________
С уважением, WingLion
Forth-CPU . RuF09WE
Мой Форт
Отсутствие бана это не заслуга юзера, а недоработка модератора (с)


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

Зарегистрирован: Чт июл 20, 2006 11:31
Сообщения: 2168
Откуда: Екб
Благодарил (а): 0 раз.
Поблагодарили: 41 раз.
WingLion писал(а):
да ничего собственно. Просто не нужно считать эту часть железа простой и ни на что не влияющей.

Я не считал и не считаю. Просто для программирования, а стало быть для стандарта эта часть не существует.

_________________
С уважением, chess


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Вс фев 01, 2009 20:28 
Не в сети
Administrator
Administrator
Аватара пользователя

Зарегистрирован: Вт май 02, 2006 13:19
Сообщения: 3565
Откуда: St.Petersburg
Благодарил (а): 4 раз.
Поблагодарили: 72 раз.
chess писал(а):
Просто для программирования, а стало быть для стандарта эта часть не существует.


Вряд ли, если он захочет правильно проэмулировать железячный форт-процессор.

_________________
С уважением, WingLion
Forth-CPU . RuF09WE
Мой Форт
Отсутствие бана это не заслуга юзера, а недоработка модератора (с)


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

Зарегистрирован: Чт июл 20, 2006 11:31
Сообщения: 2168
Откуда: Екб
Благодарил (а): 0 раз.
Поблагодарили: 41 раз.
WingLion писал(а):
Вряд ли, если он захочет правильно проэмулировать железячный форт-процессор.

Ну тогда - еще раз - что из этой части(управляющей) должно найти отражение в стандарте?

_________________
С уважением, chess


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Вс фев 01, 2009 20:53 
Не в сети
Administrator
Administrator
Аватара пользователя

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

Да ничего. Потому что это означает прозреть на годы вперед все схемотехнические решения.


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

Зарегистрирован: Чт май 04, 2006 00:53
Сообщения: 5062
Откуда: был Крым, теперь Новосибирск
Благодарил (а): 23 раз.
Поблагодарили: 63 раз.
WingLion писал(а):
Значит, ждем недельку. Из-за EXIT и RET

ну, формально это не обязательно.
Главное, чтобы выполнялось условие: A>R EXIT должно выполнять токен, на который указывает адрес. Причем ардес при переносте на стек возвратов может конвертироваться, с другой стороны : tt AR> @ ; - должно выдавать значение, лежащее в коде за скомпилированным в коде tt.
Если эти условия выполняются, достаточно.

_________________
Мне бы только мой крошечный вклад внести,
За короткую жизнь сплести
Хотя бы ниточку шёлка.
fleur


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

Зарегистрирован: Вт май 02, 2006 13:19
Сообщения: 3565
Откуда: St.Petersburg
Благодарил (а): 4 раз.
Поблагодарили: 72 раз.
mOleg писал(а):
Главное, чтобы выполнялось условие: A>R EXIT должно выполнять токен, на который указывает адрес.


Только один токен? Или все же происходит JMP на этот самый адрес?

mOleg писал(а):
: tt AR> @ ; - должно выдавать значение, лежащее в коде за скомпилированным в коде tt.


В шитом коде.

_________________
С уважением, WingLion
Forth-CPU . RuF09WE
Мой Форт
Отсутствие бана это не заслуга юзера, а недоработка модератора (с)


Вернуться к началу
 Профиль Отправить личное сообщение  
Ответить с цитатой  
 Заголовок сообщения:
СообщениеДобавлено: Пн фев 02, 2009 01:28 
Не в сети
Moderator
Moderator
Аватара пользователя

Зарегистрирован: Чт май 04, 2006 00:53
Сообщения: 5062
Откуда: был Крым, теперь Новосибирск
Благодарил (а): 23 раз.
Поблагодарили: 63 раз.
WingLion писал(а):
mOleg писал(а):Главное, чтобы выполнялось условие: A>R EXIT должно выполнять токен, на который указывает адрес.
Только один токен? Или все же происходит JMP на этот самый адрес?

да, по сути это безусловный переход.

WingLion писал(а):
mOleg писал(а):: tt AR> @ ; - должно выдавать значение, лежащее в коде за скомпилированным в коде tt.
В шитом коде.

в любом виде ШК.

_________________
Мне бы только мой крошечный вклад внести,
За короткую жизнь сплести
Хотя бы ниточку шёлка.
fleur


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

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


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

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


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

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