Абстрактное и структурное моделирование сетей хранения и обработки данных
Рассматриваются проблемы использования формальных представлений распределенных процессов и объектов, взаимодействующих через общее структурированное пространство памяти. Использован алгебраический подход к определению операционной семантики распределенных систем хранения и обработки данных, основанный на определении данных систем сетями абстрактных машин. Решение поставленных задач основано на интеграции методов искусственного интеллекта с методами формально определенного распределенного поведенческого моделирования. На формальном уровне описан переход от централизованных систем внешнего хранения и обработки данных к функционально и топологически децентрализованным сетям.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
Использован алгебраический
подход к определению операционной семантики распределенных систем хранения
и обработки данных, основанный на определении данных систем сетями
абстрактных машин. <...> Введение
В сетях внешних запоминающих устройств (ВЗУ) совокупность сетевых
дисковых модулей может быть представлена некоторым коллективно используемым
распределенным ресурсом. <...> Различие запросов характерно, например, для распределенных RAIDмассивов
и реплицированных распределенных баз данных, реализуемых на
базе сетей ВЗУ. <...> Поволжский регион
Вопросы физической реализации систем и сетей хранения и обработки
данных были рассмотрены, например, в [1, 2], однако в этих и других работах
рассматривались в основном технические аспекты построения систем и сетей
хранения данных и практически не затрагивались вопросы связи процессов
абстрактного и структурного проектирования. <...> В качестве характерного примера подобного центра обслуживания
выберем ВЗУ на магнитных дисках со встроенной распределенной кэшпамятью
и модулями распределенного процессора базы данных [3]. <...> Применение квантифицированных операторов, а также
дополнительных «связывающих» предикатов может привести к существенному
уменьшению необходимого числа применяемых модулей СеАМ и
упрощению описывающих выражений. <...> Так, работа
4
модуля блокируется, если при попытке выполнения оператора ! (оператора
выборки произвольного кортежа из области истинности предиката) в области
4 (20), 2011
Технические науки. <...> Информатика, вычислительная техника
истинности предиката, описываемого выражением справа, нет ни одного кортежа. <...> Работа модуля, использующего оператор !! , блокируется, если имеющийся
в области истинности предиката кортеж не является единственным
или эта область вообще не содержит ни одного кортежа. <...> Определим данный ресурс сетью абстрактных машин, формализующей
процессы, происходящие в многофункциональной системе ВЗУ, структура
которой <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: