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

...
Google Search
Forth-FAQ Spy Grafic

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




Начать новую тему Ответить на тему  [ Сообщений: 48 ]  На страницу Пред.  1, 2, 3, 4  След.
Автор Сообщение
 Заголовок сообщения:
СообщениеДобавлено: Вт авг 18, 2009 20:19 
Не в сети
Administrator
Administrator
Аватара пользователя

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

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


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

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

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

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


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

Зарегистрирован: Вт сен 11, 2007 11:07
Сообщения: 187
Благодарил (а): 0 раз.
Поблагодарили: 1 раз.
mOleg писал(а):
Хищник писал(а):
Стек там Потому что код на Си был как-то проигнорирован. Я уже и не знаю, какие еще реализации стека надо привести.

никакие, так как вопрос не о реализации стека.


трудно сказать, спецификация по проверке типов на стеке байткода для Явы версии j2me/midp/cldc написана на прологе.

http://ag-kastens.upb.de/wir/taiko/diss/CLDCSpec.pdf

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

фактически, это литературная версия пролог-программы по проверке типов.

p.s. я ни за что не агитирую, просто предлагаю посмотреть под другим углом на проблему, кстати, такой подход не уникален, при описании языка Алгол-68 Adriaan van Wijngaarden использовал формальные грамматики (которые предварительно сам для этого разработал)


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

Зарегистрирован: Вт май 09, 2006 12:31
Сообщения: 3438
Благодарил (а): 5 раз.
Поблагодарили: 16 раз.
Kamikaze писал(а):
О, стек!!! В форте ведь нет ограничений "на помечтать"? 8)
Пытаюсь сейчас стек строк от ~day использовать под одну задачку - и так понравилось, что захотелось "многостаночности" - отдельные стеки под адреса, под данные, под строки и т.п. Вплоть до того, что для каждого типа данных свой стек. Вобщем - стекоориентированную среду программирования.

Я давно уже такое придумываю


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

Зарегистрирован: Ср май 10, 2006 15:37
Сообщения: 1132
Откуда: Chelyabinsk ( Ural)
Благодарил (а): 0 раз.
Поблагодарили: 9 раз.
А если спросить у "Великого учителя" - google что такое стек?


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

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

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

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


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

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

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


А всех остальные, в базовых примитивах, можно вывести из использования этих двух?


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

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

это просто означает, что Форт-Машина, это не чисто стековая машина, а регистро-стековая, и минимальное количество регистров = 4:
IP RTOS TOP SUB

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


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

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

это просто означает, что Форт-Машина, это не чисто стековая машина, а регистро-стековая, и минимальное количество регистров = 4:
IP RTOS TOP SUB


TOP и SUB не совсем регистры т.к. они меняют своё расположение в стековой машине.
И хватит ли RTOS регистра для стека возвратов?


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

Зарегистрирован: Чт май 04, 2006 00:53
Сообщения: 5062
Откуда: был Крым, теперь Новосибирск
Благодарил (а): 23 раз.
Поблагодарили: 63 раз.
Kopa писал(а):
TOP и SUB не совсем регистры т.к. они меняют своё расположение в стековой машине.

гм, register renaming существует и не на стековых процессорах, это если говорить о команде SWAP, которая аналог exch команды на ix86 архитектуре.
С другой стороны функционально они никогда не меняют своего положения.

Kopa писал(а):
И хватит ли RTOS регистра для стека возвратов?

тут надо смотреть на базовую модель Форт-машины.
для стека возвратов да, достаточно двух регистров RTOS и IP

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


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

Зарегистрирован: Вт май 09, 2006 12:31
Сообщения: 3438
Благодарил (а): 5 раз.
Поблагодарили: 16 раз.
ЛАдно, попробую я - начнём с того, что стек - структура данных, не так ли??
А зачем данным лежать в струтктуре? Чтобы существовал определённый алгоритм образения к этой структуре... отличающийся от алгоритма обращения к другой структуре...
Ну как?
Если неплохо, можно и определение :D


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

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

скорее механизм для краткосрочного хранения данных

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


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

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

Поскольку форт - "стековая машина", то, получается ... :shock: что форт основан на краткосрочном хранении данных
(даже звучит как-то странно)


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

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

Forth - это концепция в первую очередь.

вопрос писал(а):
то, получается ... что форт основан на краткосрочном хранении данных
(даже звучит как-то странно)

потому что процессоры данные не хранят 8) они их обрабатывают.

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


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

Зарегистрирован: Вт май 02, 2006 13:19
Сообщения: 3565
Откуда: St.Petersburg
Благодарил (а): 4 раз.
Поблагодарили: 72 раз.
WingLion писал(а):
Стек - это буфер для хранения данных,
организованный по принципу Last In First Out (LIFO).


Стек - это устройство для хранения данных,
организованное по принципу Last In First Out (LIFO).

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


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

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


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

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


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

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