RU2502123C1 - Method for dynamic control of dead-end situations in information and communication system and apparatus for realising said method - Google Patents
Method for dynamic control of dead-end situations in information and communication system and apparatus for realising said method Download PDFInfo
- Publication number
- RU2502123C1 RU2502123C1 RU2012130962/08A RU2012130962A RU2502123C1 RU 2502123 C1 RU2502123 C1 RU 2502123C1 RU 2012130962/08 A RU2012130962/08 A RU 2012130962/08A RU 2012130962 A RU2012130962 A RU 2012130962A RU 2502123 C1 RU2502123 C1 RU 2502123C1
- Authority
- RU
- Russia
- Prior art keywords
- unit
- infocommunication
- control
- outputs
- infocommunication system
- Prior art date
Links
Images
Landscapes
- Maintenance And Management Of Digital Transmission (AREA)
Abstract
Description
Изобретение относится к области динамического контроля тупиковых ситуаций в системах автоматики, связи и вычислительной техники (инфокоммуникации), преимущественно в ракетно-космической технике, в космическом и наземном сегментах управления.The invention relates to the field of dynamic control of deadlocks in automation, communication and computer systems (info-communications), mainly in space rocket technology, in the space and ground control segments.
Понятие «инфокоммуникационные технологии» включает:The concept of "infocommunication technology" includes:
информационные технологии (аппаратные и программные средства), телекоммуникационное оборудование (абонентское оборудование, сетевое оборудование) и телекоммуникационные услуги (услуги в телефонных сетях общего пользования, услуги в сети Интернет, услуги мобильной телефонной связи и т.п.). Инфокоммуникационные технологии реализуются с помощью инфокоммуникационных сетей. Согласно закону «Об информации…» инфокоммуникационная сеть - это технологическая система, предназначенная для передачи по линиям связи информации, доступ к которой осуществляется с использованием средств вычислительной техники, подробнее см. на сайте (адрес в Интернете http://dudikhin.narod.ru/bak/bachelor4.htm со списком литературы) (Д1).information technologies (hardware and software), telecommunications equipment (subscriber equipment, network equipment) and telecommunications services (services in public telephone networks, Internet services, mobile phone services, etc.). Infocommunication technologies are implemented using infocommunication networks. According to the law “On Information ...” an information and communication network is a technological system designed to transmit information through communication lines, access to which is carried out using computer equipment, for more details, see the website (Internet address http://dudikhin.narod.ru /bak/bachelor4.htm with a list of references) (D1).
Возрастающий спрос на инфокоммуникационные услуги объясняется потребностью общества в устойчивых удаленных связях, позволяющих организовать новые формы производства и управления реальными и виртуальными предприятиями и организациями. Именно в этом направлении и ведет свою работу Департамент государственной политики в области инфокоммуникационных технологий Министерства информационных технологий и связи Российской Федерации, см. Доклад и.о. директора Департамента государственной политики в области инфокоммуникационных технологий Е.С.Васильева «Государственная политика в области инфокоммуникационных технологий» - адрес в Интернете http://www.rfcmd.ru/sphider/docs/meetings/kollegija_mis_2008_Vasiliev.htm (Д2).The growing demand for infocommunication services is explained by the need of society for sustainable remote communications, which allow organizing new forms of production and management of real and virtual enterprises and organizations. It is in this direction that the Department of State Policy in the Field of Infocommunication Technologies of the Ministry of Information Technologies and Communications of the Russian Federation conducts its work, see Report of the Acting E. Vasilyeva, Director of the Department of State Policy in the Field of Infocommunication Technologies "State Policy in the Field of Infocommunication Technologies" - Internet address http://www.rfcmd.ru/sphider/docs/meetings/kollegija_mis_2008_Vasiliev.htm (D2).
На функционирование инфокоммуникационных систем (ИКС) в реальных условиях постоянно воздействуют такие дестабилизирующие факторы, как сбои, отказы, ошибки в программном обеспечении, нарушения систем синхронизации, несовершенство архитектурных и проектных решений, конфликты, тупики, аварийные и веерные отключения систем электропитания, вирусы, атаки «хакеров», «спамы» и др. В материалах данной заявки рассматриваются тупиковые ситуации (далее по тексту тупики), возникающие при использовании общей совокупности ресурсов, так называемых критических ресурсов (см. Приложение 1). Под ресурсом понимается любая компонента системы (техническая, программная, информационная), имеющая свое уникальное имя или адрес и выделяемая процессам во временное пользование. Причем пользование ресурсами может быть как монопольное, так и разделяемое многими процессами.In the real world, the functioning of infocommunication systems (ICS) is constantly affected by such destabilizing factors as failures, failures, software errors, synchronization systems, imperfect architectural and design solutions, conflicts, deadlocks, emergency and fan blackouts, viruses, attacks “Hackers”, “spam”, etc. The materials of this application consider deadlock situations (hereinafter referred to as deadlocks) arising from the use of a common set of resources, the so-called iticheskih resources (see. Appendix 1). A resource is understood to be any component of the system (technical, software, information) that has its own unique name or address and is allocated to processes for temporary use. Moreover, the use of resources can be either exclusive or shared by many processes.
Тупики - ситуации взаимного ожидания двумя или более одновременно выполняющимися в системе процессами освобождения одной и той же совокупности ресурсов, занятых другими процессами. В этом случае в системе данные процессы не выполняются, и при работоспособном состоянии всех элементов система не выполняет возложенных на нее функций и находится в состоянии ожидания. Необходимо вмешательство администратора по принудительному освобождению совокупности критических ресурсов и выхода из тупика путем активизации выполнения попавших в тупик процессов. Подробнее см. Козлов В.Г. Расширенная классификация тупиков. Журнал «ВКСС Connect!», №4, 2005 (Д3).Deadlocks are situations of mutual expectation by two or more processes simultaneously executing in the system of releasing the same set of resources occupied by other processes. In this case, these processes are not performed in the system, and when all elements are operational, the system does not fulfill the functions assigned to it and is in a standby state. Administrator intervention is required to force the release of critical resources and break the deadlock by activating the execution of deadlocked processes. For details, see Kozlov V.G. Extended classification of dead ends. VKSS Connect! Magazine, No. 4, 2005 (D3).
Известен ряд способов контроля тупиковых ситуаций, реализующих при одновременном выполнении нескольких программных процессов. К наиболее распространенным следует отнести способы прерывания процессов, описанных в Трахтенгерц Э.А. Программное обеспечение параллельных процессов. М., Наука, 1987, 272 с.(Д4), Дейкстра Э. Взаимодействие последовательных процессов, в кн. Языки программирования, М., Мир, 1972, с.3-86 (Д5), (Haberman A.N. Prevention of System deadlocks. - Communications ACM, 1969, vol.12, N 7, p.373-377 (Д6) и патенте RU №2287220 «Система и способ предотвращения тупиковых ситуаций с использованием таймера для высокоскоростного нисходящего пакетного доступа», опубликовано 2006.11.10 (Д7).There are a number of ways to control deadlocks that implement while executing several software processes. The most common should include methods of interrupting the processes described in Trachtengerz E.A. Parallel process software. M., Nauka, 1987, 272 pp. (D4), Dijkstra E. Interaction of sequential processes, in the book. Programming Languages, M., Mir, 1972, pp. 3-86 (D5), (Haberman AN Prevention of System deadlocks. - Communications ACM, 1969, vol. 12, No. 7, p.373-377 (D6) and patent RU No. 2287220 “System and method for preventing deadlocks using a timer for high-speed downlink packet access”, published 2006.11.10 (D7).
В основу способа прерывания процесса (Д4) положена следующая последовательность действий. Выполнение процесса, запросившего некоторые системные ресурсы, занятые в момент запроса, прерывают и у него изымают все ресурсы, которыми он владел. После освобождения требуемых ресурсов другими процессами прерванный процесс вновь активизируют до момента очередного запроса занятых ресурсов.The method of interrupting the process (D4) is based on the following sequence of actions. The execution of a process that requested some system resources occupied at the time of the request is interrupted and all resources it owned are taken from it. After releasing the required resources by other processes, the interrupted process is again activated until the next request for the occupied resources.
Недостатком этого метода является то, что он специфичен и малоэффективен, особенно в случае наличия множества разнотипных ресурсов, запрашиваемых динамически, требует частого снятия процессов, что приводит к непроизводительным временным издержкам.The disadvantage of this method is that it is specific and ineffective, especially in the case of the presence of many heterogeneous resources that are requested dynamically, it requires frequent removal of processes, which leads to unproductive time costs.
В способе (Д5), известном еще как алгоритм банкира, заложены действия по анализу соотношения числа затребованных ресурсов к числу свободных, то есть тех, выделение которых не допустит тупиково-опасных состояний системы. В соответствии с этим процессу запрещают доступ к свободным ресурсам, выделение которых приведет к тупику. Основными недостатками данного метода являются: ограниченная область применения, так как он работает с однотипными ресурсами неединичной емкости, требование полной априорной информации о требуемых процессам ресурсах.The method (D5), also known as the banker's algorithm, contains actions for analyzing the ratio of the number of requested resources to the number of free, that is, those whose allocation does not allow dead-end states of the system. In accordance with this process, access to free resources, the allocation of which will lead to a deadlock, is prohibited. The main disadvantages of this method are: limited scope, since it works with resources of the same type of non-unit capacity, the requirement for complete a priori information about the resources required for the processes.
В основу способа (Д6) положена такая же идея, что и в способе (Д5), однако он применим для систем с разнотипными ресурсами единичной емкости и основывается на прогнозировании тупиков. К недостаткам следует отнести: невозможность иметь полную априорную информацию при работе абонентов в интерактивном режиме, когда по их запросам процессы динамически запрашивают ресурсы, необходимость постоянного контроля состояния ресурсов по каждому запросу от любого из процессов, что влияет на эффективность функционирования системы.The method (D6) is based on the same idea as in the method (D5), however, it is applicable to systems with heterogeneous resources of unit capacity and is based on the forecasting of dead ends. The disadvantages include: the inability to have complete a priori information when subscribers work interactively, when processes dynamically request resources upon their requests, the need to constantly monitor the status of resources for each request from any of the processes, which affects the efficiency of the system.
К основному общему недостатку данной группы методов недопущения следует отнести их невозможность реализовать в динамике функционирования ИКС защиту от тупиков архитектурного типа, вызываемых такими атрибутами критических ресурсов, как показатели надежности технических, программных ресурсов, пропускная способность каналов связи и размеры буферной памяти узлов системы.The main general drawback of this group of methods of preventing should be attributed to their inability to implement protection against deadlocks of an architectural type in the dynamics of ICS functioning caused by attributes of critical resources such as reliability indicators of technical, software resources, throughput of communication channels and buffer memory sizes of system nodes.
Наиболее близким по достигаемому результату к заявляемому изобретению (как к способу, так и к устройству) является техническое решение, описанное в авторском свидетельстве СССР №1180890 Устройство для выявления тупиковых ситуаций при обслуживании запросов на ресурсы вычислительной системы, опубликованном 23.09.1985г.(Д8). Отметим, что указанное известное техническое решение имеет такое же назначение, что и заявленное - выявление или контроль тупиковых ситуаций и поэтому выбрано прототипом. Прототип характеризуется следующими признаками. Устройство для выявления тупиковых ситуаций при обслуживании запросов на ресурсы вычислительной системы, содержащее регистр памяти, выходной элемент ИЛИ и М блоков оценки ситуации (М - число обслуживаемых процессов), каждый из которых содержит первый и второй регистры, элемент И, элемент ИЛИ, пять групп элементов ИЛИ и две группы элементов И, первая группа элементов И и первая группа элементов ИЛИ i-го блока оценки ситуации 1, …, М) состоят из j подгрупп (j - число альтернативных сочетаний ресурсов, требующихся i-му процессу по n элементов в каждой подгруппе (n - число распределяемых ресурсов), выходы четных разрядов первого регистра соединены соответственно с первыми входами элементов И первой группы, вторые входы J-x элементов И всех подгрупп первой группы (j=1, n) соединены с выходом j-го элементу ИЛИ второй группы, выходы элементов и K-й подгруппы первой группы (K=1, j) подключены соответственно к входам К-го элемента ИЛИ третьей группы, разрядные выходы второго регистра подключены соответственно к первым входам элементов И второй группы, вторые входы которых объединены и подключены к выходу элемента ИЛИ, первые входы элементов ИЛИ всех блоков оценки ситуации объединены и являются установочным входом устройства, выходы элементов И всех блоков оценки ситуации подключены соответственно к входам выходного элемента ИЛИ, выход i-го элемента И второй группы соединен с первыми входами элементов ИЛИ четвертой и пятой групп, отличающееся тем, что, с целью расширения функциональных возможностей (за счет выявления тупиковых ситуаций при альтернативном запросе ресурсов коллективного и индивидуального пользования, j-и выход регистра памяти соединен с первым входом j-ro элемента ИЛИ каждой подгруппы первой группы в каждом блоке оценки ситуации и является j-м информационным выходом устройства, а в каждом блоке оценки ситуации выходы нечетных разрядов первого регистра подключены соответственно к вторым входам элементов ИЛИ первой группы, выходы которых соединены соответственно с третьими входами элементов И первой группы, выходы элементов ИЛИ третьей группы подключены соответственно к входам элемента И, выход которого соединен с вторым ходом элемента ИЛИ, выход j-го элемента ИЛИ пятой группы j-го блока оценки ситуации (j=1, M=1) соединен с первым входом j-го элемента ИЛИ второй группы. К недостаткам известного технического решения можно отнести его малоэффективность, особенно в случае наличия множества разнотипных ресурсов, и требование полной априорной информации о требуемых процессам ресурсах, а также недостаточная эффективность при работе в динамическом режиме.The closest to the achieved result to the claimed invention (both to a method and to a device) is the technical solution described in USSR author's certificate No. 1180890 A device for detecting deadlocks when servicing requests for computer system resources published on 09/23/1985 (D8) . Note that the specified well-known technical solution has the same purpose as stated - the identification or control of deadlocks and therefore selected as a prototype. The prototype is characterized by the following features. A device for detecting deadlocks when servicing requests for resources of a computing system containing a memory register, an output OR element, and M situation assessment units (M is the number of processes being serviced), each of which contains first and second registers, an AND element, an OR element, five groups OR elements and two groups of AND elements, the first group of AND elements and the first group of OR elements of the i-th unit for assessing the situation 1, ..., M) consist of j subgroups (j is the number of alternative combinations of resources required by the i-th process with n elements in each subgroup (n is the number of distributed resources), the outputs of even bits of the first register are connected respectively to the first inputs of the elements of the first group, the second inputs of the Jx elements of all the subgroups of the first group (j = 1, n) are connected to the output of the jth element OR the second groups, outputs of elements and the Kth subgroup of the first group (K = 1, j) are connected respectively to the inputs of the Kth element OR of the third group, the bit outputs of the second register are connected respectively to the first inputs of the elements AND of the second group, the second inputs of which are combined and connected to in the output of the OR element, the first inputs of the OR elements of all the situation assessment blocks are combined and are the installation input of the device, the outputs of the AND elements of all situation assessment blocks are connected respectively to the inputs of the output OR element, the output of the i-th element of the second group is connected to the first inputs of the OR elements of the fourth and fifth group, characterized in that, in order to expand the functionality (by identifying deadlocks with an alternative request for collective and individual resources, the jth and the memory track is connected to the first input of the j-ro element OR of each subgroup of the first group in each situation assessment block and is the jth information output of the device, and in each situation assessment block, the odd-digit outputs of the first register are connected respectively to the second inputs of the OR elements of the first group, the outputs of which are connected respectively to the third inputs of the AND elements of the first group, the outputs of the OR elements of the third group are connected respectively to the inputs of the AND element, the output of which is connected to the second move of the OR element, the output of the jth the OR element of the fifth group of the j-th situation assessment unit (j = 1, M = 1) is connected to the first input of the j-th OR element of the second group. The disadvantages of the known technical solution include its inefficiency, especially in the case of the presence of many heterogeneous resources, and the requirement of complete a priori information about the resources required by the processes, as well as insufficient efficiency when working in dynamic mode.
Технический результат изобретения заключается в повышении эффективности, особенно в случае наличия множества разнотипных ресурсов и при неполной априорной информации о требуемых процессам критических ресурсах и их атрибутов, а также повышение эффективности при работе в динамическом режиме. Так, с помощью матричного метода состав критических ресурсов *R определяются как номера ненулевых столбцов. Имея совокупность критических ресурсов *R, из-за которых возможен тупик, нетрудно получить аналитическое выражение вероятности возникновения тупика Pтуп как функцию от таких атрибутов, как интенсивность отказов критических технических и программных ресурсов, размеры зон буферной памяти узлов инфокоммуникационной системы. В свою очередь, через вероятность возникновения тупика Pтуп определяется коэффициент готовности ИКС, по значению которого судят о наличии тупиковых ситуаций (см. Приложение 1). The technical result of the invention is to increase efficiency, especially in the case of the presence of many heterogeneous resources and with incomplete a priori information about the critical processes and their attributes required by the processes, as well as an increase in efficiency when working in dynamic mode. So, using the matrix method, the composition of critical resources * R are determined as the numbers of nonzero columns. Having a set of critical resources * R, for which a deadlock is possible, it is not difficult to obtain an analytic expression for the probability of occurrence of the deadlock P dull as a function of attributes such as the failure rate of critical hardware and software resources, measures zones of buffer memory units info-communication system. In turn, through the probability of a deadlock, P blunt is determined by the readiness coefficient of the ICS, by the value of which they judge the presence of deadlocks (see Appendix 1).
Технический результат изобретения достигается тем, что на пункте размещения ИКС проводят тестирование инфокоммуникационной системы, при этом определяют значения:
где:Where:
i=1, 2, 3, …, - количество критических технических ресурсов riт;i = 1, 2, 3, ..., is the number of critical technical resources r i ;
j=1, 2, 3, …, - количество критических программных ресурсов rjп;j = 1, 2, 3, ..., is the number of critical software resources r jп ;
tвнп - временной интервал планируемого выполнения процессов;t vnp - the time interval of the planned execution of processes;
k - порядок аппроксимирующего распределения Эрланга с параметром @э - интенсивности пуассоновского потока в узел для целого значения размера q зоны буферной памяти узла инфокоммуникационной системы;k is the order of the approximating Erlang distribution with the parameter @ e - the intensity of the Poisson stream to the node for an integer value of the size q of the buffer zone of the node of the infocommunication system;
N - общее количество зон буферной памяти в инфокоммуникационной системе;N is the total number of buffer memory zones in the infocommunication system;
q - размер зоны буферной памяти узла инфокоммуникационной системы,q is the size of the buffer memory area of the infocommunication system node,
сравнивают определенный в динамике функционирования ИКС коэффициент готовности - Kгтр с пороговым уровнем Kгтр (0) и при выполнении условия:compare the availability factor determined in the dynamics of the operation of the IKS - K gtr with a threshold level of K gtr (0) and when the condition is met:
Kгтр<Kгтр (0) K gtr <K gtr (0)
делают вывод о наличии в инфокоммуникационной системе тупиковых ситуаций.conclude that there are deadlocks in the infocommunication system.
При этом режимы тестирования инфокоммуникационной системы, с целью развития независимого пункта 1 формулы изобретения, задают на пункте контроля, на котором формируют управляющие режимами тестирования сигналы и транслируют их на пункт размещения инфокоммуникационных систем.In this case, the test modes of the infocommunication system, with the aim of developing the independent claim 1 of the claims, are set at the control point, at which the control modes of the test modes are generated and transmitted to the point of placement of the infocommunication systems.
Также режимы тестирования инфокоммуникационной системы, с целью развития независимого пункта 1 формулы изобретения, задают на пункте размещения инфокоммуникационной системы, на котором формируют управляющие режимами тестирования сигналы, по команде с пункта контроля.Also, the testing modes of the infocommunication system, with the aim of developing the independent claim 1 of the claims, are set at the location of the infocommunication system, on which the control modes of the testing modes are generated, by command from the control point.
Кроме того, режимы тестирования инфокоммуникационной системы, с целью развития независимого пункта 1 формулы изобретения, задают на пункте размещения инфокоммуникационной системы, на котором формируют управляющие режимами тестирования сигналы, по команде с пункта размещения инфокоммуникационной системы.In addition, the testing modes of the infocommunication system, with the aim of developing the independent claim 1 of the claims, are set at the location of the infocommunication system, on which the control modes of the testing modes are generated, by command from the location of the infocommunication system.
При этом располагают пункт размещения инфокоммуникационной системы на космическом аппарате.At the same time, an infocommunication system is located on the spacecraft.
Также трансляцию сигналов между пунктом размещения инфокоммуникационной систем и пунктом контроля осуществляют по радиолинии передачи информации или по лазерной линии передачи информации.Also, the transmission of signals between the location of the infocommunication systems and the control point is carried out via a radio information line or a laser information line.
Заявленные способ динамического контроля тупиковых ситуаций инфокоммуникационной системы и устройство для его осуществления поясняются следующими фигурами:The claimed method of dynamic control of deadlocks of the infocommunication system and device for its implementation are illustrated by the following figures:
- на фиг.1 представлена структурная схема пункта размещения инфокоммуникационной системы,- figure 1 presents the structural diagram of the location of the infocommunication system,
- на фиг.2 представлена структурная схема пункта контроля,- figure 2 presents the structural diagram of the control point,
- на фиг.3 представлена структурная схема блока управления режимами тестирования инфокоммуникационной системы,- figure 3 presents a structural diagram of a control unit for testing modes of an infocommunication system,
- на фиг.4 изображен вид сигнала на трех выходах формирователя управляющих сигналов пункта контроля 17 (или трех выходах блока управления режимами тестирования инфокоммуникационной системы 5),- figure 4 shows a view of the signal at three outputs of the driver of the control signals of the control point 17 (or three outputs of the control unit of the test modes of the infocommunication system 5),
- на фиг.5 представлен алгоритм вычисления коэффициента готовности - Kгтр.- figure 5 presents the algorithm for calculating the availability factor - K gtr .
Устройство динамического контроля тупиковых ситуаций инфокоммуникационной системы содержит:The device for dynamic control of deadlocks of the infocommunication system contains:
1 - пункт размещения инфокоммуникационной системы,1 - the location of the infocommunication system,
2 - первый ключ,2 - the first key,
3 - второй ключ,3 - second key,
4 - линия передачи информации пункта размещения инфокоммуникационной системы,4 - information transmission line for the location of the infocommunication system,
5 - блок управления режимами тестирования инфокоммуникационной системы,5 - control unit testing modes of the infocommunication system,
6 - блок тестирования
7 - блок тестирования
8 - блок тестирования размера q зоны буферной памяти узла инфокоммуникационной системы,8 - unit for testing the size q of the buffer zone of the node of the infocommunication system,
9 - инфокоммуникационная система,9 - infocommunication system,
10 - блок включения автономного режима тестирования,10 - block enable offline testing,
11 - пункт контроля,11 - control point,
12 - линия передачи информации пункта контроля,12 - line information transfer control point,
13 - блок вычисления значения коэффициента готовности Kгтр,13 - unit for calculating the value of the coefficient of readiness K gtr ,
14 - блок сравнения,14 is a comparison unit,
15 - блок задания порогового уровня,15 - block threshold level,
16 - блок задания tвнп - временного интервала планируемого выполнения процессов,16 - job unit t tnp - time interval of the planned execution of processes,
17 - формирователь управляющих сигналов пункта контроля,17 - shaper control signals of the control point,
18 - блок выбора режима тестирования,18 is a block selection of the test mode,
19 - блок управления параметрами управляющих сигналов пункта контроля,19 is a control unit for the parameters of the control signals of the control point,
20 - первый элемент И,20 - the first element And
21 - второй элемент И,21 - the second element And
22 - третий элемент И,22 - the third element And,
23 - блок управления параметрами управляющих сигналов пункта размещения инфокоммуникационной системы,23 - control unit parameters of the control signals of the location of the infocommunication system,
24 - формирователь управляющих сигналов пункта размещения инфокоммуникационной системы,24 - shaper control signals the location of the infocommunication system,
25 - четвертый элемент И,25 - the fourth element And
26 - пятый элемент И,26 - the fifth element And
27 - шестой элемент И,27 - the sixth element And
28 - первый элемент ИЛИ,28 is the first element OR,
29 - второй элемент ИЛИ,29 - the second element OR,
30 - третий элемент ИЛИ.30 is the third element OR.
Устройство работает следующим образом. Динамический контроль тупиковых ситуаций осуществляется в следующих трех режимах тестирования, охарактеризованных в: пп.2-4 формулы способа и пп.9-11 формулы устройства соответственно, режимы А, Б и В, которые рассмотрены ниже.The device operates as follows. Dynamic monitoring of deadlocks is carried out in the following three test modes, described in: subclauses 2-4 of the method formula and paragraphs 9-11 of the device formula, respectively, modes A, B and C, which are discussed below.
А. Контроль тупиковых ситуаций по пп.2, 9 формулы. Режимы тестирования инфокоммуникационной системы 9 задают на пункте контроля 11, на котором формируют управляющие режимами тестирования сигналы и транслируют их на пункт размещения инфокоммуникационной системы 1. Используется как основной режим контроля. Включается по команде блока выбора режима тестирования 18, на первом выходе которого устанавливается потенциал низкого уровня (здесь и далее - «0»), а на втором выходе - потенциал высокого уровня (здесь и далее - «1»). Автономный режим тестирования на пункте размещения инфокоммуникационных систем 1 при этом отключен, поскольку на первом и втором выходах блока включения автономного режима тестирования 10 устанавливают «0», запирающие сигналы на управляющие входы первого ключа 2 и второго ключа 3 не подаются, и они находятся в замкнутом состоянии.A. Control of deadlocks according to claims 2, 9 of the formula. Testing modes of the infocommunication system 9 are set at the
С первого выхода блока выбора режима тестирования 18 сигнал низкого уровня поступает на четвертый вход линии передачи информации пункта контроля 12, транслируется на пункт размещения инфокоммуникационных систем 1 и с четвертого выхода линии передачи информации пункта размещения инфокоммуникационных систем 4 через замкнутый ключ 2 поступает на четвертый вход блока управления режимами тестирования инфокоммуникационных систем 5 и далее на вторые входы четвертого элемента И - 25, пятого элемента И - 26 и шестого элемента И - 27, препятствуя поступлению выходных сигналов формирователя управляющих сигналов пункта размещения инфокоммуникационной системы 24 на выход блока 5.From the first output of the test
Со второго выхода блока выбора режима тестирования 18 сигнал высокого уровня поступает на первый управляющий (запускающий) вход формирователя управляющих сигналов пункта контроля 17 и пятый вход линии передачи информации пункта контроля 12, транслируется на пункт размещения инфокоммуникационной системы 1 и с пятого выхода линии передачи информации пункта размещения инфокоммуникационной системы 4 через замкнутый ключ 2 поступает на пятый вход блока управления режимами тестирования инфокоммуникационной системы 5 и далее на вторые входы первого элемента И - 20, второго элемента И - 21 и третьего элемента И - 22. Управляющие сигналы, которые формируются на первом, втором и третьем выходах формирователя управляющих сигналов пункта контроля 17, поступают на первый, второй и третий входы линии передачи информации пункта контроля 12, транслируются на пункт размещения инфокоммуникационной системы 1 и с первого, второго и третьего выходов линии передачи информации пункта размещения инфокоммуникационной системы 4 поступают на первые входы указанных выше элементов И - 20, 21 и 22, которые пропускают входные (управляющие) сигналы на первые входы соответственно первого элемента ИЛИ - 28, второго элемента ИЛИ - 29 и третьего элемента ИЛИ - 30, затем соответственно на первый, второй и третий выходы блока управления режимами тестирования инфокоммуникационной системы 5 и далее соответственно на входы блока тестирования
Б. Контроль тупиковых ситуаций по пп.3, 10 формулы. Режимы тестирования инфокоммуникационной системы 9 задают на пункте размещения инфокоммуникационной системы 1, на котором формируют управляющие режимами тестирования сигналы, по команде с пункта контроля 11. Позволяет более оперативно проводить контроль ИКС в случае пилотируемого полета. Включается по команде блока выбора режима тестирования 18, на первом выходе которого устанавливается потенциал высокого уровня - «1», а на втором выходе - потенциал низкого уровня - «0», который поступает на первый управляющий (запускающий) вход формирователя управляющих сигналов пункта контроля 17 и запрещает его запуск. Аналогично рассмотренному выше прохождению сигналов по первому варианту функционирования данный режим характеризуется наличием на четвертом входе блока управления режимами тестирования инфокоммуникационной системы 5 - «1», а на пятом входе - «0». Таким образом, при поступлении «1» происходит запуск формирователя управляющих сигналов пункта размещения инфокоммуникационной системы 24, параметры управляющих сигналов которого определяются блоком управления параметрами управляющих сигналов пункта размещения инфокоммуникационной системы 23, поступающие с его выхода на управляющий вход вышеуказанного блока 24. Кроме того, при поступлении «1» на вторые входа элементов И - 25-27 сигналы с первого, второго и третьего выходов формирователя управляющих сигналов пункта размещения инфокоммуникационной системы 24 через элементы И - 25-27 поступают на вторые входы элементов ИЛИ - 28-30 и затем соответственно на первый, второй и третий выходы блока управления режимами тестирования инфокоммуникационной системы 5 и далее соответственно на входы блока тестирования
В. Контроль тупиковых ситуаций по пп.4, 11 формулы. Режимы тестирования инфокоммуникационной системы 9 задают на пункте размещения инфокоммуникационной системы 1, на котором формируют управляющие режимами тестирования сигналы, по команде с пункта размещения инфокоммуникационной системы 1. В случае пилотируемого полета позволяет проводить контроль ИКС без внешних команд с пункта контроля 11, что повышает скорость проведения контроля, а также проводить предварительную подготовку контроля ИКС в случае, когда отсутствует связь между пунктами 1 и 11, например, когда космический аппарат (КА), на котором расположен пункт размещения инфокоммуникационной системы 1, находится в радиотени относительно пункта контроля 1. Третий вариант функционирования - автономный режим тестирования включается на пункте размещения инфокоммуникационной системы 1 блоком включения автономного режима тестирования 10, на первом и втором выходах которого устанавливают «1» и «0» соответственно. На управляющие входы первого ключа 2 и второго ключа 3 поступают запирающие сигналы - «1» с первого выхода блока 10, они находятся в разомкнутом состоянии, и сигналы с четвертого и пятого выходов линия передачи информации пункта размещения инфокоммуникационной системы 4 на блок 5 не поступают. Таким образом, по сигналам блока 10 устанавливаются на четвертом входе блока управления режимами тестирования инфокоммуникационных систем 5 - «1», а на пятом входе - «0». Далее устройство полностью функционирует по второму варианту.B. Monitoring deadlocks according to
Технический результат достигается тем, что устройство динамического контроля тупиковых ситуаций инфокоммуникационной системы содержит пункт размещения инфокоммуникационной системы, состоящий из линии передачи информации пункта размещения инфокоммуникационной системы, первый, второй и третий выходы которой подключены соответственно к первому, второму и третьему входам блока управления режимами тестирования инфокоммуникационной системы, первый, второй и третий выходы которого соединены соответственно с входами блока тестирования
где:Where:
i=1, 2, 3, …, - количество критических технических ресурсов riт;i = 1, 2, 3, ..., is the number of critical technical resources r i ;
j=1, 2, 3, …, - количество критических программных ресурсов rjп;j = 1, 2, 3, ..., is the number of critical software resources r jп ;
tвнп - временной интервал планируемого выполнения процессов;t vnp - the time interval of the planned execution of processes;
k - порядок аппроксимирующего распределения Эрланга с параметром @э-интенсивности пуассоновского потока в узел для целого значения размера q зоны буферной памяти узла инфокоммуникационной системы;k is the order of the approximating Erlang distribution with the parameter @ e of the intensity of the Poisson stream to the node for an integer value of the size q of the buffer zone of the node of the infocommunication system;
N - общее количество зон буферной памяти в инфокоммуникационной системе;N is the total number of buffer memory zones in the infocommunication system;
q - размер зоны буферной памяти узла инфокоммуникационной системы.q is the size of the buffer memory area of the infocommunication system node.
При этом блок управления режимами тестирования инфокоммуникационной системы содержит последовательно соединенные первый элемент И и первый элемент ИЛИ, последовательно включенные второй элемент И и второй элемент ИЛИ, последовательно соединенные третий элемент И и третий элемент ИЛИ; формирователь управляющих сигналов пункта размещения инфокоммуникационной системы, первый, второй и третий выходы которого подключены соответственно к первым входам четвертого, пятого и шестого элементов И, а выходы четвертого, пятого и шестого элементов И соединены соответственно с вторыми входами первого, второго и третьего элементов ИЛИ, первые входы первого, второго и третьего элементов И являются соответственно первым, вторым и третьим входами блока управления режимами тестирования инфокоммуникационной системы, первым, вторым и третьим выходами которого являются соответственно выходы первого, второго и третьего элементов ИЛИ, вторые входа первого, второго и третьего элементов И объединены и образуют пятый вход блока управления режимами тестирования инфокоммуникационной системы, четвертым входом которого являются объединенные вторые входы четвертого, пятого, шестого элементов И и запускающий вход формирователя управляющих сигналов пункта размещения инфокоммуникационной системы, управляющий вход которого подключен к выходу блока управления параметрами управляющих сигналов пункта размещения инфокоммуникационной системы.At the same time, the control unit for the testing modes of the infocommunication system contains the first AND element and the first OR element connected in series, the second AND element and the second OR element connected in series with the third AND element and the third OR element; driver of the control signals of the location of the infocommunication system, the first, second and third outputs of which are connected respectively to the first inputs of the fourth, fifth and sixth AND elements, and the outputs of the fourth, fifth and sixth AND elements are connected respectively to the second inputs of the first, second and third OR elements, the first inputs of the first, second and third elements of And are respectively the first, second and third inputs of the control unit of the test modes of the infocommunication system, the first, second and the third outputs of which are respectively the outputs of the first, second and third elements of OR, the second inputs of the first, second and third elements of And are combined and form the fifth input of the control unit of the test modes of the infocommunication system, the fourth input of which is the combined second inputs of the fourth, fifth, sixth elements And and the trigger input of the driver of the control signals of the location of the infocommunication system, the control input of which is connected to the output of the control unit parameters ulation signal point placement of info-communication system.
Также блок выбора режима тестирования, с целью развития независимого пункта 7 формулы изобретения, выполнен с возможностью формирования на первом и втором выходах соответственно потенциала низкого уровня и потенциала высокого уровня, а блок включения автономного режима тестирования выполнен с возможностью формирования на первом и втором выходах потенциалов низкого уровня.Also, the test mode selection unit, with the aim of developing independent claim 7 of the claims, is configured to generate low potential and high level potential, respectively, at the first and second outputs, and the autonomous testing mode enable unit is configured to generate low potentials at the first and second outputs level.
Кроме того, блок выбора режима тестирования, с целью развития независимого пункта 7 формулы изобретения, выполнен с возможностью формирования на первом и втором выходах соответственно потенциала высокого уровня и потенциала низкого уровня, а блок включения автономного режима тестирования выполнен с возможностью формирования на первом и втором выходах потенциалов низкого уровня.In addition, the test mode selection unit, in order to develop the independent claim 7 of the claims, is configured to form a high level potential and a low level potential at the first and second outputs, and the standalone testing mode enable unit is configured to form at the first and second outputs low potentials.
При этом блок включения автономного режима тестирования, с целью развития независимого пункта 7 формулы изобретения, выполнен с возможностью формирования на первом и втором выходах соответственно потенциала высокого уровня и потенциала низкого уровня.At the same time, the unit for switching on the stand-alone testing mode, with the aim of developing the independent claim 7 of the claims, is configured to form a high level potential and a low level potential at the first and second outputs, respectively.
Также располагают пункт размещения инфокоммуникационной системы на космическом аппарате.They also have a point for placing an infocommunication system on a spacecraft.
Кроме того, линия передачи информации пункта размещения инфокоммуникационной системы и линия передачи информации пункта контроля выполнены в виде радиолиний передачи информации или в виде лазерной линии передачи информации.In addition, the information transmission line of the location of the infocommunication system and the information transmission line of the control point are made in the form of information transmission radio lines or in the form of a laser information transmission line.
Покажем возможность осуществления изобретения, т.е. возможность его промышленного применения.We show the possibility of carrying out the invention, i.e. the possibility of its industrial application.
Первый ключ 2 и второй ключ 3 выполнены с возможностью прохождения сигнала с его входа на выход при отсутствии управляющего сигнала на его управляющем входе, т.е. «0»; при поступлении запирающего сигнала - «1» - они переходят в разомкнутые состояния. Такие ключи известны, см., например, Электронные ключи. Учебное пособие. Авторы Кудрявцев И.А., Фалкин В.Д. Самарский аэрокосмический университет им. академика С.П.Королева, 2002 г. (Д9). Отметим, что установка инвертора на управляющий вход ключа меняет логику его функционирования на инверсную.The first key 2 and the second key 3 are configured to pass a signal from its input to output in the absence of a control signal at its control input, i.e. "0"; upon receipt of the locking signal - "1" - they go into open states. Such keys are known; see, for example, Electronic keys. Tutorial. Authors Kudryavtsev I.A., Falkin V.D. Samara Aerospace University Academician S.P. Korolev, 2002 (D9). Note that installing the inverter on the control input of the key changes the logic of its operation to inverse.
Линия передачи информации пункта размещения инфокоммуникационной системы 4 и линия передачи информации пункта контроля 12 в простейшем случае представляют проводную линию связи. Радиолинии передачи информации известны и широко применяются в телеметрических и командных системах связи, см., например, Пенин П.И. «Системы передачи цифровой информации»: Учебное пособие для вузов. - М.: Сов. радио, 1976, с.342-345 (Д10), Спилкер Дж. «Цифровая спутниковая связь». Пер. с англ. - М.: Связь, 1979, с.15-21 (Д11). Известна также лазерная линии передачи информации, см., например, сообщение Пресс-службы Роскосмоса от 09.06.2012 на сайте Федерального космического агентства (http://www.roscosmos.ru) (Д12).The information transmission line of the location of the infocommunication system 4 and the information transmission line of the
Блок управления режимами тестирования инфокоммуникационной системы 5 выполнен с возможностью формирования на своих первом, втором и третьем выходах управляющих сигналов, поступающих в дальнейшем на входы блоков тестирования, при воздействии на его три входа соответствующих сигналов - при управлении с пункта контроля 11 или при их отсутствии - при включенном автономном режиме на пункте размещения ИКС 1 при наличии разрешающих сигналов на четвертом и пятом управляющих входах. Подробнее см. в разделе описания - функционирование устройства. На фиг.4 изображен возможный вид сигнала на трех выходах блока управления режимами тестирования инфокоммуникационной системы 5. На фиг.3 представлена структурная схема этого блока управления режимами тестирования инфокоммуникационной системы 5.The control unit for the testing modes of the
Блок тестирования 6 выполнен с возможностью определения
Блок тестирования 7 выполнен с возможностью определения
Блок тестирования 8 выполнен с возможностью определения размера q зоны буферной памяти узла инфокоммуникационной системы.The testing unit 8 is configured to determine the size q of the buffer memory zone of the infocommunication system node.
Указанные блоки тестирования 6-8 относятся к классам, для которых известны правила и методы, с помощью которых они могут быть получены по предъявляемым к ним требованиям, см. Схемотехника и средства проектирования цифровых устройств. Амосов В. Издатетельство БХВ-Петербург, 2007 г. 542 с. (Д13), Технические средства диагностирования. Под ред. Клюева В.В. - М.: Машиностроение, 1989 (Д14), а также технические решения, оформленные в виде изобретений, по классам МПК (2012) G06F 11/00-G06F 11/36.The indicated
Блок включения автономного режима тестирования 10 выполнен с возможностью формирования на своих первом и втором выходах двух комбинаций «0», «0» либо «1», «0» соответственно. В простейшем случае состоит из источника напряжения и тумблера.The unit for switching on the stand-alone test mode 10 is configured to form two combinations “0”, “0” or “1”, “0” at their first and second outputs, respectively. In the simplest case, it consists of a voltage source and a toggle switch.
Блок вычисления значения коэффициента готовности Kгтр 13 охарактеризован на функциональном уровне, и форма его реализации предполагает использование программируемого средства. Такое программируемое средство известно: персональный компьютер, ЭВМ, см., например, источники информации: Пятибратов А.П., Гудыно Л.П., Кириченко А.А., «Вычислительные системы, сети и телекоммуникации», Москва, «Финансы и статистика», 2004, стр.1-273 (Д15), Пул Л. «Работа на персональном компьютере»: Пер. с англ. - М.: Мир, 1986, с.73-88 (Д16), при этом в материалах заявки (формула, описание) приведено соответствующее расчетное математическое выражение, а на фиг.2 представлен вычислительный алгоритм в виде блок-схемы.The unit for calculating the value of the
Блок сравнения 14 выполнен с возможностью сравнения двух числовых значений и выдачи сигнала при превышении одного над другим. Электронные схемы, выполняющие указанную функцию, называются компараторы. Они известны см., например, Аналоговые и цифровые интегральные микросхемы. Справочник. Якубовский С.В, Кулешова В.И., Ниссельсон Л.И. и др., под ред. Якубовского С.В., М., Радио и связь, 495 стр. (Д17), где помещено описание микросхемы 564ИП2, предназначенной для сравнения двух четырех разрядных двоичных чисел.
Блок задания порогового уровня 15 выполнен с возможностью записи в него числового значения и предназначен для записи в него числового значения порогового уровня. Он известен и широко применяется в различных областях. Это различные клавиатуры и устройства ввода: для компьютеров, для калькуляторов, для ввода исходных данных в различные системы, например в часы.The threshold
Блок задания 16 выполнен с возможностью записи в него числового значения tвнп - временного интервала планируемого выполнения процессов. Идентичен описанному выше блоку задания порогового уровня 15.The
Формирователь управляющих сигналов пункта контроля 17 выполнен с возможностью формирования на своих первом, втором и третьем выходах управляющих сигналов при наличии разрешающего сигнала на первом управляющем входе и наличии сигнала, влияющего на параметры управляющих сигналов, на втором управляющем входе. На фиг.4 изображен возможный вид сигнала на трех выходах формирователя управляющих сигналов пункта контроля 17.The driver of the control signals of the
Покажем правило (метод), с помощью которого может быть получен формирователь управляющих сигналов пункта контроля 17. Непосредственно формирователи управляющих сигналов (или как их еще называют - формирователи задержанных управляющих сигналов) известны и широко применяются см., например, Основы цифровой схемотехники. Базовые элементы и схемы. Методы проектирования. Новиков Ю.В. Издательство “Мир”, 2001, стр.397; И.П.Шелестов, Радиолюбителям. Полезные схемы. Книга 5. Изд-во СОЛОН-Пресс, 2003 г., рис.5.58-5.60 (Д18). На указанных рисунках приведены схемы формирователей, использующие одновибраторы, сдвоенный таймер, четыре таймера, которые формируют требуемые сигналы. При этом разрешающий сигнал на первом управляющем входе («1»), например, разрешает подачу напряжения питания на формирователь через элемент И (на 1-й вход элемента И поступает напряжение питания, на 2-й вход разрешающий сигнал «1». Естественно, при «0» сигнале напряжение питания будет отсутствовать. На второй управляющий вход формирователя управляющих сигналов пункта контроля 17 с выхода блок управления параметрами управляющих сигналов пункта контроля 19 поступает сигнал, например число в двоичном коде, которое, подключает требуемую времязадающую цепочку, определяющую формируемый первым одновибратором интервал, по схеме, представленной на указанном выше рис.5.59 из 5-ой книги И.П.Шелестов. В принципе формирователь управляющих сигналов пункта контроля 17 относится к классу, для которого известны правило и метод, с помощью которых он может быть получен по предъявляемым к нему требованиям, а именно описанным в источниках информации: Цифровая схемотехника. Угрюмов Е.П. Издательство БХВ-Перетбург, 2004 г., 528 стр. (Д19), Гутников B.C. Интегральная электроника в измерительных устройствах, 2-е издание, Л., Энергоатомиздат, 1988 г. (Д20).Let us show the rule (method) by which the driver of control signals of the
Блок выбора режима тестирования 18 выполнен с возможностью формирования на своих первом и втором выходах двух комбинаций «0», «1» либо «1», «0» соответственно. В простейшем случае состоит из источника напряжения и переключателя.The test
Блок управления параметрами управляющих сигналов пункта контроля 19 выполнен с возможностью записи и формирования на своем выходе сигналов, например, чисел в десятичном или двоичном коде, которые задают параметры управляющих сигналов пункта контроля. Они известны и широко применяются в различных областях. Это различные клавиатуры: для компьютеров, для калькуляторов, для ввода исходных данных в различные системы, например в часы.The control unit for the parameters of the control signals of the
Элементы И 20-22, 25-27 известны, см., например, указанный выше справочник Аналоговые и цифровые интегральные микросхемы под ред. Якубовского С.В.Elements I 20-22, 25-27 are known, see, for example, the above reference book Analog and digital integrated circuits, ed. Yakubovsky S.V.
Блок управления параметрами управляющих сигналов пункта размещения инфокоммуникационных систем 23 выполнен с возможностью записи и формирования на своем выходе сигналов, например, чисел в десятичном или двоичном коде, которые задают параметры управляющих сигналов пункта размещения инфокоммуникационных систем. Он идентичен ранее описанному блоку управления параметрами управляющих сигналов пункта контроля 19.The control unit for the parameters of the control signals of the location of the
Формирователь управляющих сигналов пункта размещения инфокоммуникационных систем 24 выполнен с возможностью формирования на своих первом, втором и третьем выходах управляющих сигналов при наличии разрешающего сигнала на первом управляющем входе и наличии сигнала, влияющего на параметры управляющих сигналов, на втором управляющем входе. Он идентичен ранее описанному формирователю управляющих сигналов пункта контроля 17.The driver of the control signals of the location of the
Элементы ИЛИ 28-30 известны, см. указанный выше справочник Аналоговые и цифровые интегральные микросхемы под ред. Якубовского С.В.Elements OR 28-30 are known, see the above reference. Analog and digital integrated circuits, ed. Yakubovsky S.V.
ПримечанияNotes
1. Ввиду некоторой специфичности изобретения (своеобразие решаемой задачи, отсутствие близкого прототипа, формула которого описана на функциональном уровне) пп.1 и 3 формулы изобретения составлены без разделения на ограничительную и отличительную часть, что однако согласуется с п.10.8.1.3 Регламента ИЗ и п.2.2.1 Руководства по экспертизе заявок на изобретение в редакции от 25.07.2011 г.1. In view of some specificity of the invention (the originality of the problem being solved, the absence of a close prototype, the formula of which is described at the functional level), claims 1 and 3 of the claims are made without division into a restrictive and distinctive part, which however agrees with clause 10.8.1.3 of the Rules of Clause 2.2.1 of the Guidelines for the Examination of Applications for Invention as amended on July 25, 2011
2. Заявитель поместил в Приложении 1 к материалам заявки обоснование использованного им математического выражения для определения Kгтр (в описании и формуле изобретения), чтобы излишне не перегружать описание изобретения. Однако если экспертиза сочтет целесообразным, заявитель не будет возражать на его включение в состав описания.2. The applicant has placed in Appendix 1 to the application materials the rationale for the mathematical expression used to determine K gtr (in the description and claims) so as not to unnecessarily overload the description of the invention. However, if the examination considers it appropriate, the applicant will not object to its inclusion in the description.
3. Заявитель обращает внимание экспертизы на актуальность решаемой задачи. Например, сообщение Пресс-службы Роскосмоса от 03.02.2012 г. на сайте Федерального космического агентства (http://www.roscosmos.ru) свидетельствует о причине нештатной ситуации космического аппарата «Фобус-Грунт». Наиболее вероятной причиной был сбой в ОЗУ, т.е. по существу возникновение тупиковой ситуации. Подробнее см. Приложение 2. Очевидно, в ряде случаев имели место сходные проблемы.3. The applicant draws the attention of the examination to the relevance of the task. For example, a message from the Roskosmos Press Service dated February 3, 2012 on the website of the Federal Space Agency (http://www.roscosmos.ru) indicates the reason for the emergency situation of the Fobus-Grunt spacecraft. The most likely cause was a failure in RAM, i.e. essentially the occurrence of a deadlock. See Appendix 2 for more details. Obviously, in a number of cases similar problems have occurred.
Claims (13)
где:
i=1, 2, 3, …, - количество критических технических ресурсов riт;
j=1, 2, 3, …, - количество критических программных ресурсов rjп;
tвнп - временной интервал планируемого выполнения процессов;
k - порядок аппроксимирующего распределения Эрланга с параметром @э-интенсивности пуассоновского потока в узел для целого значения размера q зоны буферной памяти узла инфокоммуникационной системы;
N - общее количество зон буферной памяти в инфокоммуникационной системе;
q - размер зоны буферной памяти узла инфокоммуникационной системы,
сравнивают определенный в динамике функционирования инфокоммуникационной системы коэффициент готовности - Kгтр с пороговым уровнем Kгтр (0) и при выполнении условия:
Kгтр<Kгтр (0)
делают вывод о наличии тупиковых ситуаций инфокоммуникационной системы.1. The method of dynamic control of deadlocks of the infocommunication system, which consists in the fact that the infocommunication system is tested at the location of the infocommunication system, and the following values are determined:
Where:
i = 1, 2, 3, ..., is the number of critical technical resources r i ;
j = 1, 2, 3, ..., is the number of critical software resources r jп ;
t vnp - the time interval of the planned execution of processes;
k is the order of the approximating Erlang distribution with the parameter @ e of the intensity of the Poisson stream to the node for an integer value of the size q of the buffer zone of the node of the infocommunication system;
N is the total number of buffer memory zones in the infocommunication system;
q is the size of the buffer memory area of the infocommunication system node,
compare the availability factor determined in the dynamics of the functioning of the infocommunication system - K gtr with a threshold level of K gtr (0) and when the condition is met:
K gtr <K gtr (0)
conclude that there are deadlocks in the infocommunication system.
где:
i=1, 2, 3, …, - количество критических технических ресурсов riт;
j=1, 2, 3, …, - количество критических программных ресурсов rjп;
tвнп - временной интервал планируемого выполнения процессов;
k - порядок аппроксимирующего распределения Эрланга с параметром @э-интенсивности пуассоновского потока в узел для целого значения размера q зоны буферной памяти узла инфокоммуникационной системы;
N - общее количество зон буферной памяти в инфокоммуникационной системе;
q - размер зоны буферной памяти узла инфокоммуникационной системы,7. A device for dynamically monitoring deadlocks in an infocommunication system, comprising an infocommunication system location point, consisting of an information transmission line for an infocommunication system location point, the first, second, and third outputs of which are connected respectively to the first, second, and third inputs of the control unit of the infocommunication system testing modes, the first , the second and third outputs of which are connected respectively to the inputs of the testing unit
Where:
i = 1, 2, 3, ..., is the number of critical technical resources r i ;
j = 1, 2, 3, ..., is the number of critical software resources r jп ;
t vnp - the time interval of the planned execution of processes;
k is the order of the approximating Erlang distribution with the parameter @ e of the intensity of the Poisson stream to the node for an integer value of the size q of the buffer zone of the node of the infocommunication system;
N is the total number of buffer memory zones in the infocommunication system;
q is the size of the buffer memory area of the infocommunication system node,
формирователь управляющих сигналов пункта размещения инфокоммуникационной системы, первый, второй и третий выходы которого подключены соответственно к первым входам четвертого, пятого и шестого элементов И, а выходы четвертого, пятого и шестого элементов И соединены соответственно с вторыми входами первого, второго и третьего элементов ИЛИ, первые входы первого, второго и третьего элементов И являются соответственно первым, вторым и третьим входами блока управления режимами тестирования инфокоммуникационной системы, первым, вторым и третьим выходами которого являются соответственно выходы первого, второго и третьего элементов ИЛИ, вторые входа первого, второго и третьего элементов И объединены и образуют пятый вход блока управления режимами тестирования инфокоммуникационной системы, четвертым входом которого являются объединенные вторые входы четвертого, пятого, шестого элементов И и запускающий вход формирователя управляющих сигналов пункта размещения инфокоммуникационной системы, управляющий вход которого подключен к выходу блока управления параметрами управляющих сигналов пункта размещения инфокоммуникационной системы.8. The device according to claim 7, characterized in that the control unit of the test modes of the infocommunication system comprises a first AND element and a first OR element, a second AND element and a second OR element, a third AND element and a third OR element connected in series;
driver of the control signals of the location of the infocommunication system, the first, second and third outputs of which are connected respectively to the first inputs of the fourth, fifth and sixth AND elements, and the outputs of the fourth, fifth and sixth AND elements are connected respectively to the second inputs of the first, second and third OR elements, the first inputs of the first, second and third elements of And are respectively the first, second and third inputs of the control unit of the test modes of the infocommunication system, the first, second and the third outputs of which are respectively the outputs of the first, second and third elements of OR, the second inputs of the first, second and third elements of And are combined and form the fifth input of the control unit of the test modes of the infocommunication system, the fourth input of which is the combined second inputs of the fourth, fifth, sixth elements And and the trigger input of the driver of the control signals of the location of the infocommunication system, the control input of which is connected to the output of the control unit parameters ulation signal point placement of info-communication system.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
RU2012130962/08A RU2502123C1 (en) | 2012-07-20 | 2012-07-20 | Method for dynamic control of dead-end situations in information and communication system and apparatus for realising said method |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
RU2012130962/08A RU2502123C1 (en) | 2012-07-20 | 2012-07-20 | Method for dynamic control of dead-end situations in information and communication system and apparatus for realising said method |
Publications (1)
Publication Number | Publication Date |
---|---|
RU2502123C1 true RU2502123C1 (en) | 2013-12-20 |
Family
ID=49785252
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
RU2012130962/08A RU2502123C1 (en) | 2012-07-20 | 2012-07-20 | Method for dynamic control of dead-end situations in information and communication system and apparatus for realising said method |
Country Status (1)
Country | Link |
---|---|
RU (1) | RU2502123C1 (en) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
RU2559401C1 (en) * | 2014-04-02 | 2015-08-10 | Федеральное государственное унитарное предприятие "Центральный научно-исследовательский институт машиностроения" (ФГУП ЦНИИмаш) | Diagnostic of aircraft service systems operating conditions |
RU2693296C1 (en) * | 2018-11-28 | 2019-07-02 | Федеральное государственное унитарное предприятие "Московское опытно-конструкторское бюро "Марс" (ФГУП МОКБ "Марс") | Method for protection against failures and failures of spacecraft electronic unit caused by external factors, and device for its implementation |
RU2702502C1 (en) * | 2018-10-22 | 2019-10-08 | Константин Евгениевич Легков | Infocommunication system resources control method |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
SU1180890A1 (en) * | 1984-04-02 | 1985-09-23 | Предприятие П/Я А-7162 | Device for detecting dead-end situations when servicing requests for resources of computer system |
SU1601613A1 (en) * | 1988-10-12 | 1990-10-23 | Харьковское Высшее Военное Командно-Инженерное Училище Ракетных Войск Им.Маршала Советского Союза Крылова Н.И. | Device for checking blind alleys and restoring operability of computing system |
JP2001154885A (en) * | 1999-10-04 | 2001-06-08 | Ncr Internatl Inc | Method for preventing lock-up of computer system and method for monitoring the same system |
JP2001166953A (en) * | 1999-12-06 | 2001-06-22 | Nec Ic Microcomput Syst Ltd | Dead lock detecting method |
RU2007125555A (en) * | 2007-07-06 | 2009-01-20 | Открытое акционерное общество "Российские железные дороги" (ОАО "РЖД") (RU) | METHOD FOR PROTECTING INFOCOMMUNICATION SYSTEMS FROM DEADLINES |
-
2012
- 2012-07-20 RU RU2012130962/08A patent/RU2502123C1/en active
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
SU1180890A1 (en) * | 1984-04-02 | 1985-09-23 | Предприятие П/Я А-7162 | Device for detecting dead-end situations when servicing requests for resources of computer system |
SU1601613A1 (en) * | 1988-10-12 | 1990-10-23 | Харьковское Высшее Военное Командно-Инженерное Училище Ракетных Войск Им.Маршала Советского Союза Крылова Н.И. | Device for checking blind alleys and restoring operability of computing system |
JP2001154885A (en) * | 1999-10-04 | 2001-06-08 | Ncr Internatl Inc | Method for preventing lock-up of computer system and method for monitoring the same system |
JP2001166953A (en) * | 1999-12-06 | 2001-06-22 | Nec Ic Microcomput Syst Ltd | Dead lock detecting method |
RU2007125555A (en) * | 2007-07-06 | 2009-01-20 | Открытое акционерное общество "Российские железные дороги" (ОАО "РЖД") (RU) | METHOD FOR PROTECTING INFOCOMMUNICATION SYSTEMS FROM DEADLINES |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
RU2559401C1 (en) * | 2014-04-02 | 2015-08-10 | Федеральное государственное унитарное предприятие "Центральный научно-исследовательский институт машиностроения" (ФГУП ЦНИИмаш) | Diagnostic of aircraft service systems operating conditions |
RU2702502C1 (en) * | 2018-10-22 | 2019-10-08 | Константин Евгениевич Легков | Infocommunication system resources control method |
RU2693296C1 (en) * | 2018-11-28 | 2019-07-02 | Федеральное государственное унитарное предприятие "Московское опытно-конструкторское бюро "Марс" (ФГУП МОКБ "Марс") | Method for protection against failures and failures of spacecraft electronic unit caused by external factors, and device for its implementation |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Wang et al. | Reliability evaluation of multi-state series systems with performance sharing | |
US10783436B2 (en) | Deep learning application distribution | |
Ke et al. | Vacation policies for machine repair problem with two type spares | |
Gacias et al. | Parallel machine scheduling with precedence constraints and setup times | |
US7987467B2 (en) | Scale across in a grid computing environment | |
RU2502123C1 (en) | Method for dynamic control of dead-end situations in information and communication system and apparatus for realising said method | |
CN107766730A (en) | A kind of method that leak early warning is carried out for extensive target | |
Rajadurai et al. | Cost optimisation analysis of retrial queue with K optional phases of service under multiple working vacations and random breakdowns | |
RU2365977C2 (en) | Method of decentralised control of process of distributed modelling and data processing | |
RU2509346C1 (en) | Method of monitoring dead-end situations in information and communication system and apparatus for realising said method | |
Mohammad et al. | Reliability evaluation of phased-mission systems with load-sharing components | |
CN103699104A (en) | Deadlock avoidance control method and device as well as automatic production system | |
CN117112121A (en) | Distributed task processing system, method, apparatus and computer program product | |
CN103677849B (en) | Embedded software credibility guaranteeing method | |
Boutekkouk et al. | Periodic/aperiodic tasks scheduling optimization for real time embedded systems with hard/soft constraints | |
CN113837569A (en) | IT service personnel matching method, system, electronic device and medium | |
Gupta et al. | Selective maintenance & redundancy allocation problem with interval coefficients | |
Kononov et al. | Distribution of Non-Uniform Complex of Resources in Production Systems | |
More et al. | Some New Methods for Ready Queue Processing Time Estimation Problem in Multiprocessing Environment | |
RU2716324C1 (en) | Automated expert system for quantitative assessment of airline aircraft flights safety risks | |
Li et al. | Modeling and analysis of integrated avionics processing systems | |
Luo et al. | A remote sensing application workflow and its implementation in remote sensing service grid node | |
CN117112188A (en) | Method, apparatus and computer program product for multitasking | |
RU2547232C1 (en) | Pc control device | |
CN103825782A (en) | Method and equipment for positioning unreasonable task by virtue of internuclear interrupt |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PD4A | Correction of name of patent owner |