Structure of f-closures of RiDE environment

Научная статья

Информатика, кибернетика и программирование

Bkhterev The distributed computtion support system we propose RiDE is built round the simple formlism of fclosure f is from future. Originlly we imgine fclosure consisting of five following fields. This field defines the moment in time fter which the system my ctivte the given fclosure.



29 KB

0 чел.

Structure of f-closures of RiDE environment

M.O. Bakhterev

The distributed computation support system we propose - RiDE - is built around the simple formalism of f-closure (f is from “future”). Originally we imagine f-closure consisting of five following fields.

 S. The data block global names enumeration, which was intended to be given in some kind of disjunctive normal form: 1st set of names, or 2nd set, or .., or nth set. This field defines the moment in time, after which the system may activate the given f-closure. That moment comes, when all the data blocks named within one of the specified sets (we call such a set ready) are formed during computation. The f-closure activation itself is the invocation of the routine from the routine set associated with f-closure being activated (cf. C); the already formed data blocks named with some ready are taken as arguments for that invocation. Such a “disjunctive” alternativeness is needed for the description of f-closures serving as masters: many parallel computation scenarios assume the master should be runned on any job it tracks. We call the data blocks with names enumerated in S the premises for activation.

 lS. The description of the correspondence between global names in S and local argument names. As aforementioned the global ones are used to reason about the f-closure activation possibility. And the propose of the locals in lS is to be references in the code of the routine invoked during that activation to the data blocks passed as its arguments.

 R. The description of the data block global names, every of which will be formed in the result of successful execution of the routine invoked during f-closure activation. We will call such blocks activation results.

 lR. The description of correspondence between global names in R and  local result names. The last are used in the code of the routine invoked during f-closure activation to reference the activation results when forming them.

 C. The description of routine set, one in which should be runned in the f-closure activation. It is assumed, that f-closure represents an operation from parallel algorithm; and every element of C points to its routine performing that operation on specific computing platform (OpenCL, i686-pc-linux, llvm-posix, .Net and so on).

In addition we assumed, that every f-closure formed in the process of RiDE application execution should be checked against the condition that all names enumerated in its R field are unique for the whole computation. This condition is needed to keep the data flow “graphness”.

But the ongoing theoretical analysis of the computation model based on such f-closures has show that it possesses some flaws.

 1. We expected some level of the computation flows separation simplicity with manual data block names management, for instance, by attributing names in different flows with different prefixes. These expectations were not met. And the way of such separation is needed to provide the creation of subroutine libraries implementing parallel algorithms for the RiDE environment.

 2. The description of f-closure premises for activation in the DNF proved to be as inconvenient when writing the code generating this description (especially for the masters running and tracking a large amounts of worker tasks) and ineffective for f-closure processing during RiDE application execution (especially for such masters - due to the size of S).

 3. The f-closure’s S field structure given above do not allow to program the computation process reactions on externals requests. And the ability to program these reactions will be needed in the case of using RiDE for the development of high performance queuing systems such as highly loaded web servers.

 4.  The tests for uniqueness of names in the R field of every f-closure may introduce significant overhead in the RiDE application execution. Despite of the opportunity to mask this overhead with high degree of asynchrony in the execution of program for RiDE, its lowering to minimum level is desirable: after all, the correct program will generate only correct f-closures at its runtime.

In the current paper we consider in order to resolve these problems two models with modifications of original f-closure semantic: the first with manual names and scopes management; and the second with automatic names management and mechanics for references and lists. Both models are extended with special kind of named data blocks - pin blocks.

In new models these pin data blocks unlike the ones with unique names common for RiDE (which still hold the role of the main data transfer medium) may be grouped under single name; and may be fetched from such named group strictly one by one during activation of f-closure containing that group name in its premises for activation. The content may come in pin block groups from the sources external to the RiDE applications. This mechanism solves problems 3 and 2, making both processing and generation of master f-closures significantly lighter because of ability to use for S field structure the simple and frequently short list of names for of the DNF of that names.

To solve problems 1 and 4 scoping mechanism was suggested in first model. The scopes, obviously, allow to separate different computation flows and to reduce the complexity of the tests for the uniqueness of every name in R field, limiting amount of work in most cases with the scope containing f-closure being tested.

The automatic names management of second model was mainly aimed on solving the problem 4, but naturally it solves the problem 1 also. However, this model requires to introduce in the language of f-closures the additional tools allowing to control the automatic naming process. References and lists are these tools.

Several traditional parallel algorithms was expressed in languages of both models. That allowed to conclude that first model was less convenient to use than the second. This conclusion is main result of the paper. But along with it also the following outcomes potentially useful for practice and theory were obtained.

Firstly, second model is very close to some mixture of traditional lambda- and pi-calculus paradigms. What allows to use well researched execution methods of the programs written according to these paradigms when implementing runtime environment for second model.

Secondly, to specify the semantics of the second model we use nontraditional evaluation strategy which can be classified as call by future reference.


А также другие работы, которые могут Вас заинтересовать

24777. Подбор и отбор работников как функция управления персоналом 158 KB
  Сущность и этапы набора персонала. Набор персонала заключается в комплектовании необходимого резерва кандидатов на все должности и специальности из которых организация отбирает подходящих для нее работников. Процесс набора включает следующие этапы: планирование персонала кадровое планирование определение потребности в персонале нужного количества и соответствующего качества; разработка требований к соответствующим должностям или видам деятельности включая деловые и личностные характеристики; поиск персонала во внутренних и внешних...
24778. Направления информатизации и инструментальные средства поддержки государственного и муниципального управления 100 KB
  Направления информатизации и инструментальные средства поддержки государственного и муниципального управления Основные направления информатизации: Создание центров баз данных Создание информационных сетей Развитие парка вычислительной техники Анализ современного состояния рынка ИС показывает устойчивую тенденцию роста спроса на информационные системы управления. Локальные и распределенные базы данных СУБД База данных БД поименованная совокупность структурированных данных хранимых в памяти вычислительной системы стандартным способом и...
24779. Требования, предъявляемые к управленческим решениям 68.5 KB
  Требования предъявляемые к управленческим решениям. Действенность управленческого решения зависит от его качества которое в свою очередь должно соответствовать ряду требований. Одним из обязательных требований предъявляемых к управленческим решениям является их научная обоснованность. В соответствии с требованием научной обоснованности управленческие решения должны быть реальными и политически направленными выработанными с учетом анализа возможных вариантов использования достижений науки и техники передового опыта основываться на итогах...
24780. Направления административных реформ в странах Запада и в России: сравнительный анализ 86.5 KB
  Подходы методология к управлению включают в себя цели законы принципы методы и функции технологии управления и практику управленческой деятельности. Основной задачей системы управления организации ставится формирование профессиональной управленческой деятельности. Именно процессный подход к менеджменту позволил увидеть взаимосвязь и взаимозависимость функций управления. Процесс менеджмента отражает рекомендованную последовательность выполнения основных функций управления точнее последовательность начала действий по выполнению функций...
24781. Сущность системного подхода к организациям. Синергетический эффект в организациях 135.5 KB
  Синергетический эффект в организациях Системный подход стал фактически тем инструментом который позволил создать современную теорию организации. Можно сказать что теория организации как наука родилась именно в рамках этого подхода. Цели организации задаются извне или вырабатываются внутри нее с учетом этих целей выбираются форма и устройство организации. Люди объединяются в организации потому что цели которые они ставят перед собой и которые важны для каждого из них не могут быть достигнуты никем из них порознь.
24782. Структура финансовой системы 309 KB
  По фондовому признаку различают централизованные и децентрализованные финансы. Централизованные государственные финансы включают: государственные бюджеты; государственные социальные внебюджетные фонды; государственный кредит; государственное страхование. К децентрализованным финансам относят: финансы коммерческих предприятий и организаций; финансы некоммерческих организаций; финансы домохозяйств. И хотя нормативное регулирование налогообложение контроль за законностью финансовых операций социальное страхование присутствуют...
24783. Технологические уклады, основные периоды 54 KB
  Инновации и жизненный цикл продукта. Современный научнотехнический прогресс немыслим без интеллектуального продукта получаемого в результате инновационной деятельности. innovation нововведение новаторство мы понимаем инвестицию в новацию как результат практического освоения нового процесса продукта или услуги. Жизненный цикл нового продукта состоит из семи стадий: разработка нового продукта; выход на рынок; развитие рынка; стабилизация рынка; уменьшение рынка; подъем рынка; падение рынка.
24784. Региональная экономика и управление 100 KB
  Место региональной экономики и управления в современной системе наук. Главными составляющими предмета региональной экономики и управления являются: экономика отдельного региона как субъекта РФ; экономические связи между регионами; региональные системы национальная экономика как система взаимодействующих регионов; размещение производительных сил как процесса стихийного или целенаправленного распределения по территории средств производства и людей занятых в производстве. региональные аспекты экономической жизни госрегулирование...
  Территориальные факторы и особенности расселения населения Размещение населения показывает распределение жителей по отдельным частям территории страны. Показателями размещения являются численность населения или доля от общей численности и плотность населения количество жителей на единицу площади. Если динамика населения страны в целом зависит в основном от естественного движения населения то изменение размещения населения внутри России связано в основном с миграционными процессами.