<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">oo</journal-id><journal-title-group><journal-title xml:lang="ru">Открытое образование</journal-title><trans-title-group xml:lang="en"><trans-title>Open Education</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">1818-4243</issn><issn pub-type="epub">2079-5939</issn><publisher><publisher-name>Plekhanov Russian University of Economics</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.21686/1818-4243-2017-3-48-56</article-id><article-id custom-type="elpub" pub-id-type="custom">oo-412</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>УЧЕБНЫЕ РЕСУРСЫ</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>EDUCATIONAL RESOURCES</subject></subj-group></article-categories><title-group><article-title>Особенности разработки и анализа имитационной модели мультипроцессорной вычислительной системы</article-title><trans-title-group xml:lang="en"><trans-title>Features of development and analysis of the simulation model of a multiprocessor computer system</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Брехов</surname><given-names>О. М.</given-names></name><name name-style="western" xml:lang="en"><surname>Brekhov</surname><given-names>O. M.</given-names></name></name-alternatives><bio xml:lang="ru"><p>доктор технических наук, заведующий кафедрой 304</p></bio><bio xml:lang="en"><p>Dr. Sci. (Eng.), Head of department 304</p></bio><email xlink:type="simple">obrekhov@mail.ru</email><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Звонарёва</surname><given-names>Г. А.</given-names></name><name name-style="western" xml:lang="en"><surname>Zvonareva</surname><given-names>G. A.</given-names></name></name-alternatives><bio xml:lang="ru"><p>кандидат технических наук, доцент кафедры 304</p></bio><bio xml:lang="en"><p>Cand. Sci. (Eng.), Associate Professor</p></bio><email xlink:type="simple">zvonarev@umail.ru</email><xref ref-type="aff" rid="aff-1"/></contrib><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Рябов</surname><given-names>В. В.</given-names></name><name name-style="western" xml:lang="en"><surname>Ryabov</surname><given-names>V. V.</given-names></name></name-alternatives><bio xml:lang="ru"><p>магистрант 2-го курса</p></bio><bio xml:lang="en"><p>Undergraduate</p></bio><email xlink:type="simple">vv.ryabov@mail.ru</email><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>Московский Авиационный Институт (национальный исследовательский университет)</institution><country>Россия</country></aff><aff xml:lang="en"><institution>Moscow Aviation Institute (National Research University)</institution><country>Russian Federation</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2017</year></pub-date><pub-date pub-type="epub"><day>10</day><month>07</month><year>2017</year></pub-date><volume>0</volume><issue>3</issue><fpage>48</fpage><lpage>56</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Брехов О.М., Звонарёва Г.А., Рябов В.В., 2017</copyright-statement><copyright-year>2017</copyright-year><copyright-holder xml:lang="ru">Брехов О.М., Звонарёва Г.А., Рябов В.В.</copyright-holder><copyright-holder xml:lang="en">Brekhov O.M., Zvonareva G.A., Ryabov V.V.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://openedu.rea.ru/jour/article/view/412">https://openedu.rea.ru/jour/article/view/412</self-uri><abstract><p>За последнее десятилетие мультипроцессорные системы нашли всеобщее применение в вычислительной технике. На сегодняшний день многоядерными процессорами оснащаются не только суперкомпьютеры, но и подавляющее большинство мобильных устройств, в связи с чем возникает необходимость обучения студентов основным принципам их построения и работы. Одним из возможных методов анализа функционирования мультипроцессорных систем является имитационное моделирование. Его применение способствует лучшему пониманию не только их организации, но и влияния параметров рабочей нагрузки и структуры на производительность. В статье рассматриваются особенности разработки имитационной модели для оценки временных характеристик мультипроцессорной вычислительной системы, а также использование регенеративного метода анализа модели. В качестве рабочей нагрузки принимаются характеристики программной реализации решения обратной задачи кинематики робота. Данная задача заключается в определении разворотов в сочленениях манипулятора по известному угловому и линейному положению его схвата. Был выбран аналитический алгоритм решения задачи, а именно метод простых кинематических связей. Работа программы характеризуется наличием распараллеленных вычислений, в ходе которых возникают ресурсные конфликты между задействованными ядрами процессора при одновременных обращениях к памяти через общую шину. В связи с высокой информационной связностью между параллельно выполняющимися потоками программы предполагается, что все процессорные ядра используют разделяемую оперативную память. Имитационная модель учитывает вероятностные обращения к памяти и отслеживает возникающие очереди к общим ресурсам. В ходе моделирования накапливается статистика, выявляющая производительные и накладные временные затраты на выполнение программы для каждого задействованного процессорного ядра. Результаты моделирования показывают неравномерность загруженности ядер, простои в очередях к общим ресурсам и временные потери при ожидании других ядер из-за информационных зависимостей. Результаты моделирования оцениваются регенеративным методом, что позволяет определить среднее время нахождения заявок на обращение к памяти в очередях и доверительные интервалы этих значений для различных степеней доверия. Приведённый подход к построению имитационной модели мультипроцессорной вычислительной системы и её анализ могут использоваться для анализа функционирования параллельных вычислительных систем, а также в образовательных целях для обучения студентов по курсам «Вычислительные системы» и «Имитационное моделирование». </p></abstract><trans-abstract xml:lang="en"><p>Over the past decade, multiprocessor systems have been applied in computer technology. At present,multi-core processors are equipped not only with supercomputers, but also with the vast majority of mobile devices. This creates the need for students to learn the basic principles of their construction and functioning.One of the possible methods for analyzing the operation of multiprocessor systems is simulation modeling.Its use contributes to a better understanding of the effect of workload and structure parameters on performance. The article considers the features of the development of the simulation model for estimating the time characteristics of a multiprocessor computer system, as well as the use of the regenerative method of model analysis. The characteristics of the software implementation of the inverse kinematics solution of the robot are adopted as a workload. The given task consists in definition of turns in joints of the manipulator on known angular and linear position of its grasp. An analytical algorithm for solving the problem was chosen, namely, the method of simple kinematic relations. The work of the program is characterized by the presence of parallel calculations, during which resource conflicts arise between the processor cores, involved in simultaneous access to the memory via a common bus. In connection with the high information connectivity between parallel running programs, it is assumed that all processing cores use shared memory. The simulation model takes into account probabilistic memory accesses and tracks emerging queues to shared resources. The collected statistics reveal the productive and overhead time costs for the program implementation for each processor core involved. The simulation results show the unevenness of kernel utilization, downtime in queues to shared resources and temporary losses while waiting for other cores due to information dependencies. The results of the simulation are estimated by the regenerative method, which allows determining the average time spent searching for memory access in queues and the confidence intervals of these values for various degrees of trust. The given approach to the construction of the simulation model of a multiprocessor computer system and its analysis can be used to analyze the functioning of parallel computing systemsand for educational purposes for teaching students at the courses “Computer Systems” and “Simulation Modeling”.</p><p> </p></trans-abstract><kwd-group xml:lang="ru"><kwd>имитационное моделирование</kwd><kwd>регенеративный метод</kwd><kwd>GPSS</kwd><kwd>разделяемая память</kwd><kwd>мультипроцессорные системы</kwd></kwd-group><kwd-group xml:lang="en"><kwd>simulation modeling</kwd><kwd>regenerative methodof analysis</kwd><kwd>GPSS</kwd><kwd>shared memory</kwd><kwd>multiprocessor systems</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">О.М. Брехов, Г.А. Звонарёва, А.В. Корнеенкова. Имитационное моделирование: учебное пособие – М.: Издательство МАИ, 2015. – 323 с.</mixed-citation><mixed-citation xml:lang="en">O.M. Brekhov, G.A. Zvonaryova, A.V. Korneenkova. Imitacionnoe modelirovanie: uchebnoe posobie – M.: Izdatel’stvo MAI, 2015. – 323 s.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Конюх В.Л., Игнатьев Я. Б., Зиновьев В.В. Методы имитационного моделирования систем. Применение программных продуктов. Электронное изд. зарег. в Федеральном депозитарии электронных изданий, No 0320401123. Рег. свид. ФГУП НТЦ «Информрегистр» от 06.09.2004. No 4753.</mixed-citation><mixed-citation xml:lang="en">Konyuh V.L., Ignat’ev YA. B., Zinov’ev V.V. Metody imitacionnogo modelirovaniya sistem. Primenenie programmnyh produktov. EHlektronnoe izd. zareg. v Federal’nom depozitarii ehlektronnyh izdanij, No 0320401123. Reg. svid. FGUP NTC «Informregistr» ot 06.09.2004. No 4753. 3. V.A. Signaevskij. YA.A. Kogan. Metody ocenki bystrodejstviya vychislitel’nyh sistem, Moskva: “Nauka”, 1990.</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">В.А. Сигнаевский. Я.А. Коган. Методы оценки быстродействия вычислительных систем, Moсква: «Наука», 1990.</mixed-citation><mixed-citation xml:lang="en">R. Humayu, Kh. David J. Morse. System Performance Analysis: Tools, Techniques, and Methodology // Dell magazin’s, 2001, Issue 3.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">R. Humayu, Kh. David J. Morse. System Performance Analysis: Tools, Techniques, and Methodology // Dell magazin’s, 2001, Issue 3.</mixed-citation><mixed-citation xml:lang="en">G. Latouche, V. Ramaswami, J. Sethuraman, K. Sigman, M.S. Squillante, D. Yao. Matrix-Analytic Methods in Stochastic Models. Springer Science &amp; Business Media, 2012, 258 p.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">G. Latouche, V. Ramaswami, J. Sethuraman, K. Sigman, M.S. Squillante, D. Yao. Matrix-Analytic Methods in Stochastic Models. Springer Science &amp; Business Media, 2012, 258 p.</mixed-citation><mixed-citation xml:lang="en">A. Morecki, G. Bianchi, C. Rzymkowski. ROMANSY 11: Theory and Practice of Robots and Manipulators. – Berlin: Springer, 2014. – 432 c.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">A. Morecki, G. Bianchi, C. Rzymkowski. ROMANSY 11: Theory and Practice of Robots and Manipulators. – Berlin: Springer, 2014. – 432 c.</mixed-citation><mixed-citation xml:lang="en">D. Tolani, A. Goswami, N. Badler. Real-Time Inverse Kinematics Techniques for Anthropomorphic Limbs – Philadelphia: University of Pennsylvania, 2000. – 36 c.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">D. Tolani, A. Goswami, N. Badler. Real-Time Inverse Kinematics Techniques for Anthropomorphic Limbs – Philadelphia: University of Pennsylvania, 2000. – 36 c.</mixed-citation><mixed-citation xml:lang="en">Lugovskoj K.S.,Kazanin P.I. Avtomatizaciya obratnoj zadachi kinematiki dvuhzvennogo manipulyatora. — Saratov: Institut upravleniya i social’no-ehkonomicheskogo razvitiya, 2016. — 8 s.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">Луговской К.С.,Казанин П.И. Автоматизация обратной задачи кинематики двухзвенного манипулятора. — Саратов: Институт управления и социально-экономического развития, 2016. — 8 с.</mixed-citation><mixed-citation xml:lang="en">Volkov, N.N. Verifikaciya i validaciya IVS: predvaritel’noe proektirovanie i komp’yuternoe modelirovanie informacionno-vychislitel’nyh sistem – M.: TEKHPOLIGRAFCENTR, 2015. – 629 s.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Волков, Н.Н. Верификация и валидация ИВС: предварительное проектирование и компьютерное моделирование информационно-вы- числительных систем – М.: ТЕХПОЛИГРАФ- ЦЕНТР, 2015. – 629 с.</mixed-citation><mixed-citation xml:lang="en">S.L. Frenkel. Performance measurement methodology -and-tool for computer systems with migrating applied software, in BRICS Notes Series, NS-98-4, pp.83-86, Aalburg, Denmark, June 1998.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">S.L. Frenkel. Performance measurement methodology -and-tool for computer systems with migrating applied software, in BRICS Notes Series, NS-98-4, pp.83-86, Aalburg, Denmark, June 1998.</mixed-citation><mixed-citation xml:lang="en">Orlov S.A., Cil’ker B.Ya. Organizaciya EHVM i sistem. 3-e izd. — SPb.: Piter, 2014. — 688 s.</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Орлов С.А., Цилькер Б.Я. Организация ЭВМ и систем. 3-е изд. — СПб.: Питер, 2014. — 688 с.</mixed-citation><mixed-citation xml:lang="en">Tomashevskij V., ZHdanova E. Imitacionnoe modelirovanie v srede GPSS. — M.: Bestseller, 2003. — 416 s.</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">Томашевский В., Жданова Е. Имитационное моделирование в среде GPSS. — М.: Бестселлер, 2003. — 416 с.</mixed-citation><mixed-citation xml:lang="en">Axelrod T. Effects of Synchronization Barriers on Multiprocessor Performance. Parallel Computing, 1986, №3, p. 129–140.</mixed-citation></citation-alternatives></ref><ref id="cit13"><label>13</label><citation-alternatives><mixed-citation xml:lang="ru">Axelrod T. Effects of Synchronization Barriers on Multiprocessor Performance. Parallel Computing, 1986, №3, p. 129–140.</mixed-citation><mixed-citation xml:lang="en">N.N. Ivanov, A.YU. Ignatushchenko, A.Yu. Mihajlov. Statisticheskoe Prognozirovanie Vremeni Vypolneniya Kompleksov Vzaimosvyazannyh Rabot v Mikroprocessornyh Vychislitel’nyh Sistemah. Avtomatika i Telemekhanika, 2005, № 6. s. 89—103.</mixed-citation></citation-alternatives></ref><ref id="cit14"><label>14</label><citation-alternatives><mixed-citation xml:lang="ru">Н.Н. Иванов, А.Ю. Игнатущенко, А.Ю. Михайлов. Статистическое Прогнозирование Времени Выполнения Комплексов Взаимосвязанных Работ в Микропроцессорных Вычислительных Системах. Автоматика и Телемеханика, 2005, № 6. с. 89—103.</mixed-citation><mixed-citation xml:lang="en">Tannenbaum EH., Ostin T. Arhitektura komp’yutera. — SPb.: Piter, 2013. — 816s.</mixed-citation></citation-alternatives></ref><ref id="cit15"><label>15</label><citation-alternatives><mixed-citation xml:lang="ru">Танненбаум Э., Остин Т. Архитектура компьютера. — СПб.: Питер, 2013. — 816с.</mixed-citation><mixed-citation xml:lang="en">S.C. Allmaier, M. Kowarschik, G. Horton. State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor // Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM’97), June 1997, St. Malo, France, p. 112-121.</mixed-citation></citation-alternatives></ref><ref id="cit16"><label>16</label><citation-alternatives><mixed-citation xml:lang="ru">S.C. Allmaier, M. Kowarschik, G. Horton. State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor // Proc. 7th Int. Workshop on Petri Nets and Performance Models (PNPM’97), June 1997, St. Malo, France, p. 112-121.</mixed-citation><mixed-citation xml:lang="en">Smelyanskij R.L. Ob invariante povedeniya programm // Vestnik MGU, ser.15, Vychisl. matem. i kibern., 1990, №4, s. 54–60.</mixed-citation></citation-alternatives></ref><ref id="cit17"><label>17</label><citation-alternatives><mixed-citation xml:lang="ru">Смелянский Р.Л. Об инварианте поведения программ // Вестник МГУ, сер.15, Вычисл. матем. и киберн., 1990, №4, с. 54–60.</mixed-citation><mixed-citation xml:lang="en">S.L. Frenkel. Random Summation and its Application to the Performance Modelling Computer Systems // Proceedings of 17th European simulation multiconference ESM2003, June, 2003, England, p. 278–283.</mixed-citation></citation-alternatives></ref><ref id="cit18"><label>18</label><citation-alternatives><mixed-citation xml:lang="ru">S.L. Frenkel. Random Summation and its Application to the Performance Modelling Computer Systems // Proceedings of 17th European simulation multiconference ESM2003, June, 2003, England, p. 278–283.</mixed-citation><mixed-citation xml:lang="en">D.V. Kalinichenko, A.P. Kapitonova, N.V. YUshchenko. Metody i sredstva prognozirovaniya vremeni vypolneniya posledovatel’nyh programm. // Metody matematicheskogo modelirovaniya MGU, 1997.</mixed-citation></citation-alternatives></ref><ref id="cit19"><label>19</label><citation-alternatives><mixed-citation xml:lang="ru">Д.В. Калиниченко, А.П. Капитонова, Н.В. Ющенко. Методы и средства прогнозирования времени выполнения последовательных программ. // Методы математического моделирования МГУ, 1997.</mixed-citation><mixed-citation xml:lang="en">M. Krehjn, O. Lemuan. Vvedenie v regenerativnyj metod analiza modelej. – M.: Nauka, 1982 – 104 s.</mixed-citation></citation-alternatives></ref><ref id="cit20"><label>20</label><citation-alternatives><mixed-citation xml:lang="ru">М. Крэйн, О. Лемуан. Введение в регенеративный метод анализа моделей. – М.: Наука, 1982 – 104 с.</mixed-citation><mixed-citation xml:lang="en">R.S. Nekrasova. Regenerativnoe ocenivanie i ego primenenie k sistemam s konechnym buferom. Avtoreferat dissertacii. Institut prikladnyh matematicheskih issledovanij Karel’skogo nauchnogo centra Rossijskoj akademii nauk. Petrozavodsk, 2015. 124 s.</mixed-citation></citation-alternatives></ref><ref id="cit21"><label>21</label><citation-alternatives><mixed-citation xml:lang="ru">Р.С. Некрасова. Регенеративное оценивание и его применение к системам с конечным буфером. Автореферат диссертации. Институт прикладных математических исследований Карельского научного центра Российской академии наук. Петрозаводск, 2015. 124 с.</mixed-citation><mixed-citation xml:lang="en">L.V. Potahina. Analiz stacionarnosti stohasticheskih modelej telekommunikacionnyh sistem metodami teorii vosstanovleniya. Avtoreferat dissertacii. Institut prikladnyh matematicheskih issledovanij Karel’skogo nauchnogo centra Rossijskoj akademii nauk. Petrozavodsk, 2015. 114 s.</mixed-citation></citation-alternatives></ref><ref id="cit22"><label>22</label><citation-alternatives><mixed-citation xml:lang="ru">Л.В. Потахина. Анализ стационарности стохастических моделей телекоммуникационных систем методами теории восстановления. Автореферат диссертации. Институт прикладных математических исследований Карельского научного центра Российской академии наук. Петрозаводск, 2015. 114 с.</mixed-citation><mixed-citation xml:lang="en">Л.В. Потахина. Анализ стационарности стохастических моделей телекоммуникационных систем методами теории восстановления. Автореферат диссертации. Институт прикладных математических исследований Карельского научного центра Российской академии наук. Петрозаводск, 2015. 114 с.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
