Сейчас OpenStack на слуху, но детальных отзывов и описаний дизайна инфраструктуры все еще не много. Постараемся немного упростить задачу для тех, кто еще только планирует развертывание инфраструктуры виртуализации, и расскажем, как это делали мы в некоторых наших проектах:
погрузимся в нюансы реализации окружения OpenStack в боевой среде;
поговорим об отказоустойчивости;
рассмотрим варианты организации резервного копирования;
обратим внимание на конфигурацию «железок»: СХД и сети.
InterSystems High Availability and Mirroring solutionsInterSystems
О высокой доступности и зеркалировании с использованием технологий InterSystems.
Доклад на InterSystems Meetup Астана
Автор Трефилов Дмитрий
High Availability and Mirroring
with InterSystems Technology.
InterSystems Meetup Astana report.
Dmitry Trefilov
Несколько примеров использования OpenStack предложили Илья Алексеев и Федор Тарасенко из компании IT Key. Первый кейс был посвящен работе дисков с несколькими подключениями, второй - решению с несколькими гипервизорами, третий - созданию ПАК на основе Quark, последний кейс рассматривал 1С как облачное приложение.
Сейчас OpenStack на слуху, но детальных отзывов и описаний дизайна инфраструктуры все еще не много. Постараемся немного упростить задачу для тех, кто еще только планирует развертывание инфраструктуры виртуализации, и расскажем, как это делали мы в некоторых наших проектах:
погрузимся в нюансы реализации окружения OpenStack в боевой среде;
поговорим об отказоустойчивости;
рассмотрим варианты организации резервного копирования;
обратим внимание на конфигурацию «железок»: СХД и сети.
InterSystems High Availability and Mirroring solutionsInterSystems
О высокой доступности и зеркалировании с использованием технологий InterSystems.
Доклад на InterSystems Meetup Астана
Автор Трефилов Дмитрий
High Availability and Mirroring
with InterSystems Technology.
InterSystems Meetup Astana report.
Dmitry Trefilov
Несколько примеров использования OpenStack предложили Илья Алексеев и Федор Тарасенко из компании IT Key. Первый кейс был посвящен работе дисков с несколькими подключениями, второй - решению с несколькими гипервизорами, третий - созданию ПАК на основе Quark, последний кейс рассматривал 1С как облачное приложение.
Александр Устюжанин, представитель компании ETegro, представил стойку Therascale и решение, совместно разработанное Etegro и Mirantis. Тестовая стойка ETegro Therascale высотой 44U, вмещает до 40 вычислительных узлов, до трех коммутаторов и модуль управления стойкой для централизованного контроля состояния оборудования в стойке. Вычислительный узел ETegro Therascale – это двухпроцессорный сервер на процессорах Intel Xeon E5- 2600 v2 полной ширины c поддержкой до 16 модулей памяти DDR3 ECC Reg. и до 6 дисков размером 3,5”. Порты сетевые (2 x 1GbE), USB и управления выведены на переднюю панель, на которой также находится световая индикация состояния узла и сетевых портов. В случае отказа, вычислительный модуль легко заменяется, работы проводятся из «холодного коридора».
Everyone wants to write good code. Everyone is trying to invent a pony world. Despite the efforts, the questions continuously appearing. We're putting ourselves into black boxes, build walls and bridges, instead of simple solution. It's time to become a good architect
Александр Николаев, TIONIX, рассказал про облачное решение для корпоративных клиентов на базе Mirantis OpenStack. Среди причин, по которым выбор интегратора пал на MOS, Александр особо отметил, что данный дистрибутив состоит только из полностью открытых бесплатных модулей, не содержит никакого закрытого или коммерческого ПО, имеет техническую поддержку самой большой и профессиональной команды российских инженеров, позволяет интегрировать существующие коммерческие платформы виртуализации – VMware vSphere и MS Hyper-V – под управлением OpenStack и готов к промышленному использованию.
Виртуализация инфраструктуры ЦОД российской разработки // Владимир Порохов (O...IBS
Конференция "InterLab Forum. Системная интеграция нового поколения" прошла в октябре 2015 года. В центре внимания форума были новые решения в области ИТ-инфраструктуры и информационной безопасности, недавно появившиеся на российском рынке и прошедшие апробацию в IBS.
Подробности: http://www.ibs.ru
Как за счет СУБД сохранить инвестиции в условиях снижения бюджетов // Руслан ...IBS
Конференция "InterLab Forum. Системная интеграция нового поколения" прошла в октябре 2015 года. В центре внимания форума были новые решения в области ИТ-инфраструктуры и информационной безопасности, недавно появившиеся на российском рынке и прошедшие апробацию в IBS.
Подробности: http://www.ibs.ru
Введение в тестирование программного обеспечения
ЕСЛИ ВЫ ЧТО-НИБУДЬ МОЖЕТЕ УЗНАТЬ ИЗ ЭТОГО,
ТО ЭТО -ПРОВЕРИТЬ СВОЙ КОД ТАК, КАК БУДТО ЖИЗНЬ ЗАВИСИТ ОТ НЕГО.
Продукт HP Vertica является системой управления базами данных, работающей по принципам массивной параллельной обработки и разработанной специально для хранения и обработки больших объемов данных.
HP Vertica поддерживает язык SQL, стандартные интерфейсы доступа к данным ODBC, JDBC, ADO.NET, а также содержащий множество коннекторов к различным инструментам бизнес-аналитики и анализа данных.
Кластер СУБД HP Vertica состоит из узлов стандартной архитектуры x86, объединенных сетевым соединением. Все узлы кластера являются равноценными, любой из узлов кластера может принимать и обслуживать запросы пользователей, а также выполнять загрузку данных.
При проектировании нагруженных систем приходится сталкиваться с тем, что разные типы запросов к веб-серверам затрачивают разное количество ресурсов, выполняются за разное количество времени и имеют разные приоритеты выполнения. Некоторые запросы «стоят» мало и должны выполняться как можно быстрее. Некоторые «стоят» дорого, и главное, чтобы они не блокировали обработку быстрых запросов. Существующие схемы приоритезации показались нам громоздкими и неудобными – при росте количества типов запросов конфигурация системы усложнялась в разы. Поэтому, чтобы решить эту проблему, а также для того, чтобы сделать ответы на запросы еще более быстрыми, мы написали свой веб-сервер – Phantom. Я расскажу вам, как он устроен, покажу, какие задачи можно решать с его помощью, а в завершение покажу на практике, как работает приоритезация разных типов запросов, используя для этого инструмент нагрузочного тестирования, основанный на Phantom.
"YT — новая платформа распределённых вычислений". Максим Бабенко, Яндекс. Yandex
На протяжении трёх лет мы проектировали, разрабатывали и внедряли YT — новую платформу для хранения и обработки больших объёмов данных. Она создавалась как альтернатива MapReduce-подобной системы, которая используется в Яндексе с 2008 года. При этом требовалось повысить её эффективность, доступность и масштабируемость. Задачу усложнял огромный объём унаследованного кода клиентов, с которыми необходимо было сохранить совместимость, а также наличие общепризнанных открытых альтернатив (например, платформы Hadoop). Поскольку YT изначально проектировалась по принципу «больше чем MapReduce», в её дизайне выделяется набор компонент, допускающих повторное использование: подсистема распределённого консенсуса и репликации состояния, дерево метаданных, blob-хранилище и другие. В докладе я дам краткий обзор архитектуры новой системы, расскажу о нескольких ключевых компонентах, а также поделюсь опытом, полученным в процессе разработки и внедрения. В завершение, перечислю приоритетные направления дальнейшего развития YT.
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана. Курс "Базы данных".
Лекция №9 "Безопасность баз данных". Лектор - Павел Щербинин.
Открывается лекция рассказом о резервном копировании (о логических и физических резервных копиях, о выборе данных для копирования). Затем определяется терминология для обсуждения дальнейших вопросов. После этого рассматриваются основы учётных записей: таблицы доступа, привилегии, виды записей. Обсуждаются SQL-injection, список смежных вершин (Adjacency Set), вложенное множество (Nested Set), материализованный путь (Materialized Path) и комбинированный подход.
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9obOz5K695ugYuiOOCBciEi
В докладе проанализированы особенности информационной инфраструктуры современных подстанций, основные угрозы и векторы атак на электроэнергетические объекты. Описан, созданный в г. Чебоксары, испытательный стенд, имитирующий современную подстанцию высокого напряжения.
Представлены результаты успешных спуфинг и файзинг атак на интеллектуальные устройства и системы управления и способы удаленной модификации конфигурации терминалов защиты.
Представлены результаты работы полигона в части проверки совместной устойчивой работы систем управления, релейной защиты и средств защиты от киберугроз.
Foundations of Software Testing Lecture 4Iosif Itkin
This lecture is a part of the online course on Software Testing for Complex Intelligent Systems and Autonomous Vehicles. The course lectures provide the theoretical basics of testing autonomous systems based on artificial intelligence.
The fourth lecture of the course entitled Foundations of Software Testing reviews the ‘absence-of-errors fallacy’ and other principles of software testing, as well as the types and levels of software testing. The lecture also provides a fuller picture of the understanding of test objectives and methodologies by different schools of thought within the software testing domain.
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...Iosif Itkin
Speaker: Iosif Itkin, co-CEO & co-founder, Exactpro Systems
9th November 2021
Hilton Canary Wharf
Exactpro is an independent software testing business focused on mission-critical financial market infrastructures, primarily exchanges and clearing houses. In his presentation, Iosif will give a brief overview of research on the concept of model-based testing and the principal challenges of its application while testing complex distributed systems. He will also outline the broader context of interaction between humans and complex computer models.
Александр Устюжанин, представитель компании ETegro, представил стойку Therascale и решение, совместно разработанное Etegro и Mirantis. Тестовая стойка ETegro Therascale высотой 44U, вмещает до 40 вычислительных узлов, до трех коммутаторов и модуль управления стойкой для централизованного контроля состояния оборудования в стойке. Вычислительный узел ETegro Therascale – это двухпроцессорный сервер на процессорах Intel Xeon E5- 2600 v2 полной ширины c поддержкой до 16 модулей памяти DDR3 ECC Reg. и до 6 дисков размером 3,5”. Порты сетевые (2 x 1GbE), USB и управления выведены на переднюю панель, на которой также находится световая индикация состояния узла и сетевых портов. В случае отказа, вычислительный модуль легко заменяется, работы проводятся из «холодного коридора».
Everyone wants to write good code. Everyone is trying to invent a pony world. Despite the efforts, the questions continuously appearing. We're putting ourselves into black boxes, build walls and bridges, instead of simple solution. It's time to become a good architect
Александр Николаев, TIONIX, рассказал про облачное решение для корпоративных клиентов на базе Mirantis OpenStack. Среди причин, по которым выбор интегратора пал на MOS, Александр особо отметил, что данный дистрибутив состоит только из полностью открытых бесплатных модулей, не содержит никакого закрытого или коммерческого ПО, имеет техническую поддержку самой большой и профессиональной команды российских инженеров, позволяет интегрировать существующие коммерческие платформы виртуализации – VMware vSphere и MS Hyper-V – под управлением OpenStack и готов к промышленному использованию.
Виртуализация инфраструктуры ЦОД российской разработки // Владимир Порохов (O...IBS
Конференция "InterLab Forum. Системная интеграция нового поколения" прошла в октябре 2015 года. В центре внимания форума были новые решения в области ИТ-инфраструктуры и информационной безопасности, недавно появившиеся на российском рынке и прошедшие апробацию в IBS.
Подробности: http://www.ibs.ru
Как за счет СУБД сохранить инвестиции в условиях снижения бюджетов // Руслан ...IBS
Конференция "InterLab Forum. Системная интеграция нового поколения" прошла в октябре 2015 года. В центре внимания форума были новые решения в области ИТ-инфраструктуры и информационной безопасности, недавно появившиеся на российском рынке и прошедшие апробацию в IBS.
Подробности: http://www.ibs.ru
Введение в тестирование программного обеспечения
ЕСЛИ ВЫ ЧТО-НИБУДЬ МОЖЕТЕ УЗНАТЬ ИЗ ЭТОГО,
ТО ЭТО -ПРОВЕРИТЬ СВОЙ КОД ТАК, КАК БУДТО ЖИЗНЬ ЗАВИСИТ ОТ НЕГО.
Продукт HP Vertica является системой управления базами данных, работающей по принципам массивной параллельной обработки и разработанной специально для хранения и обработки больших объемов данных.
HP Vertica поддерживает язык SQL, стандартные интерфейсы доступа к данным ODBC, JDBC, ADO.NET, а также содержащий множество коннекторов к различным инструментам бизнес-аналитики и анализа данных.
Кластер СУБД HP Vertica состоит из узлов стандартной архитектуры x86, объединенных сетевым соединением. Все узлы кластера являются равноценными, любой из узлов кластера может принимать и обслуживать запросы пользователей, а также выполнять загрузку данных.
При проектировании нагруженных систем приходится сталкиваться с тем, что разные типы запросов к веб-серверам затрачивают разное количество ресурсов, выполняются за разное количество времени и имеют разные приоритеты выполнения. Некоторые запросы «стоят» мало и должны выполняться как можно быстрее. Некоторые «стоят» дорого, и главное, чтобы они не блокировали обработку быстрых запросов. Существующие схемы приоритезации показались нам громоздкими и неудобными – при росте количества типов запросов конфигурация системы усложнялась в разы. Поэтому, чтобы решить эту проблему, а также для того, чтобы сделать ответы на запросы еще более быстрыми, мы написали свой веб-сервер – Phantom. Я расскажу вам, как он устроен, покажу, какие задачи можно решать с его помощью, а в завершение покажу на практике, как работает приоритезация разных типов запросов, используя для этого инструмент нагрузочного тестирования, основанный на Phantom.
"YT — новая платформа распределённых вычислений". Максим Бабенко, Яндекс. Yandex
На протяжении трёх лет мы проектировали, разрабатывали и внедряли YT — новую платформу для хранения и обработки больших объёмов данных. Она создавалась как альтернатива MapReduce-подобной системы, которая используется в Яндексе с 2008 года. При этом требовалось повысить её эффективность, доступность и масштабируемость. Задачу усложнял огромный объём унаследованного кода клиентов, с которыми необходимо было сохранить совместимость, а также наличие общепризнанных открытых альтернатив (например, платформы Hadoop). Поскольку YT изначально проектировалась по принципу «больше чем MapReduce», в её дизайне выделяется набор компонент, допускающих повторное использование: подсистема распределённого консенсуса и репликации состояния, дерево метаданных, blob-хранилище и другие. В докладе я дам краткий обзор архитектуры новой системы, расскажу о нескольких ключевых компонентах, а также поделюсь опытом, полученным в процессе разработки и внедрения. В завершение, перечислю приоритетные направления дальнейшего развития YT.
Технопарк Mail.ru Group, МГТУ им. Н.Э. Баумана. Курс "Базы данных".
Лекция №9 "Безопасность баз данных". Лектор - Павел Щербинин.
Открывается лекция рассказом о резервном копировании (о логических и физических резервных копиях, о выборе данных для копирования). Затем определяется терминология для обсуждения дальнейших вопросов. После этого рассматриваются основы учётных записей: таблицы доступа, привилегии, виды записей. Обсуждаются SQL-injection, список смежных вершин (Adjacency Set), вложенное множество (Nested Set), материализованный путь (Materialized Path) и комбинированный подход.
Видео лекции курса https://www.youtube.com/playlist?list=PLrCZzMib1e9obOz5K695ugYuiOOCBciEi
В докладе проанализированы особенности информационной инфраструктуры современных подстанций, основные угрозы и векторы атак на электроэнергетические объекты. Описан, созданный в г. Чебоксары, испытательный стенд, имитирующий современную подстанцию высокого напряжения.
Представлены результаты успешных спуфинг и файзинг атак на интеллектуальные устройства и системы управления и способы удаленной модификации конфигурации терминалов защиты.
Представлены результаты работы полигона в части проверки совместной устойчивой работы систем управления, релейной защиты и средств защиты от киберугроз.
Similar to Exactpro Kostroma: High Availability Systems (13)
Foundations of Software Testing Lecture 4Iosif Itkin
This lecture is a part of the online course on Software Testing for Complex Intelligent Systems and Autonomous Vehicles. The course lectures provide the theoretical basics of testing autonomous systems based on artificial intelligence.
The fourth lecture of the course entitled Foundations of Software Testing reviews the ‘absence-of-errors fallacy’ and other principles of software testing, as well as the types and levels of software testing. The lecture also provides a fuller picture of the understanding of test objectives and methodologies by different schools of thought within the software testing domain.
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...Iosif Itkin
Speaker: Iosif Itkin, co-CEO & co-founder, Exactpro Systems
9th November 2021
Hilton Canary Wharf
Exactpro is an independent software testing business focused on mission-critical financial market infrastructures, primarily exchanges and clearing houses. In his presentation, Iosif will give a brief overview of research on the concept of model-based testing and the principal challenges of its application while testing complex distributed systems. He will also outline the broader context of interaction between humans and complex computer models.
Exactpro FinTech Webinar - Global Exchanges Test OraclesIosif Itkin
The document discusses test oracles, which are mechanisms for determining whether a test has passed or failed. It describes how oracles work by comparing the actual output of a system under test to the expected output determined by the oracle. Several types of oracles are discussed, including hand-crafted oracles, specification-based oracles, and independent implementation oracles. The document emphasizes that all oracles are partial, as it is impossible to create a perfect oracle that evaluates all possible outputs of a system.
Exactpro FinTech Webinar - Global Exchanges FIX ProtocolIosif Itkin
Exactpro’s Global Exchanges Division training session on FIX Trading Protocol.
The essence of the FIX protocol and its place in the overall structure of network protocols, FIX message attributes and the internal data types of the protocol.
Operational Resilience in Financial Market InfrastructuresIosif Itkin
A4Q World Congress 13-16 April 2021
Iosif Itkin
Exactpro provides independent software testing services for mission critical technology that underpins global financial markets – exchanges and clearing houses. Half of the top 20 global exchange groups on all continents around the globe rely on processes, platforms and people from Exactpro to improve their quality and reliability. The company has spent the last 11 years studying operational resilience in this crucial sector. The presentation will outline the key principles for software testing of the systems that process hundreds of millions of orders per day with roundtrip latencies below one hundred microseconds.
20 Simple Questions from Exactpro for Your Enjoyment This Holiday SeasonIosif Itkin
Warmest wishes for a happy holiday season and a wonderful New Year!
We look forward to our continued collaboration in 2020. Thank you for your support.
QA-Financial Forum 2019 in New York
13 November
Iosif Itkin, CEO and co-founder
Elena Treshcheva, Business Development Manager and Researcher
An October 2019 survey by BoE and FCA found that ML in financial organizations has already passed an initial development phase, and the usage of live ML applications is about to dramatically increase over the next three years. Artificial Intelligence systems are used in market surveillance, they are providing intellectual analysis of news feeds, and they are an important part of the conversational agents facing users and helping them with their business needs from identity verification to trading and portfolio management. How to ensure that an AI-powered system is up to its task? And what would that mean from the software testing perspective?
EXTENT 2019: Exactpro Quality Assurance for Financial Market InfrastructuresIosif Itkin
On Complex Software Systems Testing — Alexey Zverev, co-CEO & co-founder, Exactpro
Software Testing and Machine Learning
Mind the Gap. Applying Process Mining
Learning from Failure is not just for Humans
Dancing with Whales. Adaptive Log Classification System
On Traceability and the Illusion of Control
Building Partnerships
Demystifying DLT Testing One Network at a Time
Get the MOST from FIX
Georgia on My Mind
Build Software to Test Software — Iosif Itkin, co-CEO & co-founder, Exactpro
ClearTH Test Automation Framework: Case Study in IRS & CDS Swaps Lifecycle Mo...Iosif Itkin
Synchronize Europe
18th June 2019
Iosif Itkin, co-CEO and co-founder, Exactpro
Using the ISDA CDM Swaps application, simultaneously execute multiple end-to-end scenarios for DAML applications in capital markets - validate with actual contract data on ledger.
EXTENT Talks 2019 Tbilisi: Failover and Recovery Test Automation - Ivan ShamraiIosif Itkin
Ivan Shamray, Senior NFT Analyst, Exactpro
20 April 2019 EXTENT Talks, Tbilisi, Georgia
Tbilisi QA Community
EXTENT Talks is a meeting place for IT specialists working in various industries and seeking professional growth, practitioners from IT firms, as well as Quality Assurance enthusiasts of all backgrounds interested in actively participating in local IT events.
EXTENT Talks QA Community Tbilisi 20 April 2019 - Conference OpenIosif Itkin
The document summarizes the agenda for the QA Community Tbilisi event on April 20, 2019 in Tbilisi, Georgia. The agenda included presentations on topics like principles of deep testing, quality in space, behavior driven development, test automation, and obstacles of software testing in Georgia. There was also information provided about Exactpro and their history, tools and methods for testing financial systems, and test automation for distributed ledger technology. The document encouraged participants to provide feedback and announced an upcoming prize drawing for those who engaged on the event's Facebook page.
User-Assisted Log Analysis for Quality Control of Distributed Fintech Applica...Iosif Itkin
The First IEEE International Conference On Artificial Intelligence Testing (2019 IEEE AITest)
Iosif Itkin, Anna Gromova, Anton Sitnikov, Elena Treshcheva, Rostislav Yavorskiy, Evgenii Tsymbalov, Andrey Novikov and Kirill Rudakov
1 Exactpro, UK, Georgia, USA, Russia
2 Skolkovo Institute of Science and Technology, Russia
3 Higher School of Economics, Russia
Speakers: Iosif Itkin, CEO and Co-Founder and Elena Treshcheva, Business Development Manager and Researcher - Exactpro
Exactpro provides software testing services for mission-critical technology that underpins global financial markets. Exactpro clients are regulated by FCA, Bank of England and their counterparts from other countries. During this session, Elena and Iosif will talk about end-to-end software testing for post-trade systems in financial market infrastructures. What are the key challenges in quality assurance at this scale? What kind of cognitive biases affect SDLC? How precise is the knowledge about the systems under test? What constitutes good test evidence? How to deal with complexity in regulated environments?
Behaviour Driven Development: Oltre i limiti del possibileIosif Itkin
The QA Financial Forum: Milan 2019
23 January at the Excelsior Hotel Gallia.
Anna-Maria Lukina, Exactpro Business Development Director
The QA Financial Forum: Milan is one of the leading fintech conferences in Italy. The event focuses on the latest achievements in software risk management and automation of software testing. The predominant theme of the Milan event will be Quality Assurance for the entire Software Development Life Cycle (SDLC).
The topics under discussion will feature:
- Technologies for Automation & AI
- DevOps & CI/CD
- Value Stream Management
- Test Data Management
- Regulatory Compliance
- App Security & DevSecOps
- Testing and quality assurance of Blockchain platforms
The official language of the event is Italian.
On 17th January 2018 Exactpro successfully completed a management buyout from London Stock Exchange Group (LSEG), signed a new multi-year master services agreement with LSEG, and opened its head office in London.
What else has happened in 2018?
I wanted to take the opportunity to reflect on what has been an unusual year for Exactpro.
Integration front to back - Mr. Custodian tear down that wall
The scope of the application level has been continuous extended over the years, albeit with a focus on the area of pre-trade and trade.
Recently, there has been an increased interest to move further into the area of post-trade which is predominantly driven by the ISO 20022 standard. Is there really a need for new FIX messages in areas such as payments and
what are the integration problems needing a resolution?
Panellists
- Iosif Itkin, CEO, Exactpro
- Jim Northey, Co-Chair Global Technical Committee, Americas Region, FIX Trading Community, Chair Elect, ISO TC68 Financial
Services Technical Committee, and Consultant and Industry Standards Liaison, Itiviti
- Barry Young, Director, Aladdin Product Manager, BlackRock
BDD. The Outer Limits. Iosif Itkin at Youcon (in Russian)Iosif Itkin
Exactpro is supporting the 3rd annual IT-conference YouCon to take place on 14th October in Saratov, Russia. Over 900 programmers, systems engineers and architects, software QA engineers, and marketing specialists will gather to discuss the latest trends in programming technology. It is the largest IT industry event in Saratov.
Iosif Itkin, CEO of Exactpro, part of London Stock Exchange Group, will deliver a "BDD. The Outer Limits" presentation named after Iosif's favorite Sci-Fi series.
The topics to be covered are:
Behavior Driven Development concepts
Applying BDD in trading and clearing systems
Specification by Example and using production data
Combining Model-based testing and BDD
The Outer Limits
There will be an opportunity to ask questions, share thoughts and expertise in BDD, or just chat with a representative at the Exactpro stand at any time during the event.
Don't miss out, stop by and ask how you can get your Exactpro souvenir :)
We look forward to meeting you there!
#Exactpro #Youconsaratov
2. Введение
Инновационные трейдинговые системы
ул. Ленина 20
Создание и применение инструментов
для проверки высоконагруженных
трейдинговых систем
В Костроме – 130 человек
http://clubqa.ru
http://tmpaconf.org
3. Критерии высокой
доступности
• Высокая доступность – High Availability
• HA is the proportion of time a system is productive and is
usually expressed as a percentage.
• Availability is expressed as MTTF / (MTTF+MTTR), where:
• MTTF (mean-time-to-failure) is the average time that a
system runs (without failing) after it has been set up or
repaired.
• MTTR (mean-time-to-repair) is the average time needed to
repair (or restore) a failed system.
• In the spectrum of system availability, HA systems fall between
99.9% and 100% availability.
http://www.tpc.org/information/other/articles/ha.asp
4. Виды простоя систем
• Downtime can be categorized as either planned or unplanned
• Planned downtime - is time that the system is unavailable due
to scheduled maintenance such as software/hardware upgrades
and system backups.
• Unplanned downtime is time that the system is unavailable due
to component faults or environmental faults. Human error and
"natural" disasters (including power outages) are examples of
"environmental faults."
5. Способы повышения
отказоустойчивости
• Minimize the number of faults and the effect/recovery time of
faults in a system.
• Avoid a single-point-of-failure by utilizing redundant parts and
rerouting (failover).
• Reduce the impact of environmental faults by using UPS and
off-site data mirroring and/or replication provide for "hot"
repair of failed components.
9. Два раза моргнуть
Типичные требования к биржевой системе
Суточный объем
> 100 M orders
Время отклика
< 300 uS
Пиковые нагрузки
> 40 K orders / sec
7.5 см
в 1000 раз быстрее
круг по МКАД
12. USS Yorktown
21 сентября 1997 года
CG-47 Aegis пилотная версия «Умного Корабля»
Отказ всех систем, включая двигатели на 2.5 часа
Неправильные данные введены в Remote Data Base Manager
Привели к переполнению базы данных и
отключению LAN, включая все терминалы
13. USS Yorktown
21 сентября 1997 года
CG-47 Aegis пилотная версия «Умного Корабля»
Отказ всех систем, включая двигатели на 2.5 часа
Неправильные данные введены в Remote Data Base Manager
Привели к переполнению базы данных и
отключению LAN, включая все терминалы
Ошибка – деление на ноль
14. Mizuho Securities
12 октября 2005 года
Попытка продать 1 акцию J-Com за 610,000 йен ($5,041)
Ошибочно перепутаны объем и цена
Не сработали риск системы:
a)Mizuho Securities
b)Токийской биржи
Потери оцениваются в $225 млн.
Ошибка такого вида называется
Fat Finger
15. Ariane 5 Type Conversion
4 июня 1996 года
Первый полет ракеты Ariane 5
Отклонение курса и разрушение через 40 секунд после старта
Автоматический подрыв на высоте 3700 метров
Преобразование 64 битного числа в 16 бит
Ошибка invalid operand на языке Ada
ПО совпадала с предыдущей версией Ariane 4
Но горизонтальная скорость существенно выше
Тестирование проводилось на симуляторе без
использования самой SRI
Ошибку воспроизвели на тестах
16. Patriot Software
25 февраля 1991 года, Дахран, Саудовская Аравия
Батарея Патриот не стала сбивать ракету Scud
Попадание в казарму привело к гибели 28 человек
Около 97 человек получили ранения
Расследование обнаружило ошибку в ПО
17. Patriot Software
Для хранения времени использовалось 24 бита
Значение 0.1 секунд в бинарном виде:
0.0001100110011001100110011001100....
(1/24+1/25+1/28+1/29+1/212+1/213+...)
Ошибка округления
0.0001100110011001100110011001100....
или 0.000000095
Предполагалось, что комплекс будет работать короткое время
Систему не перегружали 100 часов
0.000000095×100×60×60×10=0.34 секунды
Скорость Scud 1,673 метра в секунду -> ошибка 568 метров
21. Patriot Software
25 февраля 1991 года, Дахран, Саудовская Аравия
Сообщение об ошибке 11 февраля
Ответ – это не баг а фича
Workaround рестартовать каждые 8 часов
Рестарт 60 – 90 секунд
Исправление готово 16 февраля
Доставка обновлений в Дахран
26 февраля
23. North American Blackout
14 августа 2003 года, США и Канада
Каскадное отключение электричества
Ситуация гонок привела к переполнению буфера и
отключению системы уведомлений
Сброс 4% нагрузки мог бы предотвратить потери порядка $10b
25. Therac-25
Therac-25 — аппарат лучевой терапии запущенный в 1982 г
Этот аппарат был причиной как минимум шести
передозировок
Две со смертельным
исходом
26. Therac-25
Одна и та же переменная применялась как для анализа
введённых чисел, так и для определения положения
поворотного круга. Поэтому при быстром вводе Therac мог
иметь дело с неправильным положением поворотного круга
(так называемое состояние гонки).
Настройка положения отклоняющих магнитов занимает около
8 секунд. Если за это время параметры типа и мощности
излучения были изменены, а курсор установлен на финальную
позицию, то система не обнаруживала изменений.
27. Therac-25
Деление на величину излучения, приводящее в некоторых
случаях к ошибке деления на ноль и к соответствующему
увеличению величины облучения до максимально возможной.
Установка булевской переменной (однобайтовой) в значение
«истина» производилось командой «x=x+1». Поэтому с
вероятностью 1/256 при нажатии кнопки «Set» программа
могла не пропустить информацию о некорректном положении
диска.
Кроме этих явных ошибок было замечено множество
потенциальных — например, в многозадачной операционной
системе не было никакой синхронизации
30. Order Routing in US
http://www.nanex.net/FlashCrash/OngoingResearch.html
31. Knight Capital
1 августа 2012 года, США
Knight Capital – одна из наиболее успешных HFT компаний
Изменения в связи с Retail Liquidity Program в NYSE
Систем SMARS – высокоскоростной роутер заявок
В основе изменений старая функциональность – PowerPeg
Количество родительских заявок – 212
Количество дочерних заявок – миллионы
Потери – $460 млн. или $170 тыс. в секунду
Отсутствие механизмов контроля и мониторинга рисков в
самой системе SMARS
Развертывание изменений на 7 серверов
Всего серверов было 8…
32. TMPA-2014 в Костроме
Анализ программ
Статическая верификация
Мутационное тестирование
Необычные инструменты
Верификация оборудования
Многое другое…