🥇Статьи блога Администрирование. Все статьи по тематике Администрирование

Формальная верификация на примере задачи о волке, козе и капусте

Опубликовано 31.10.2019

На мой взгляд, в русскоязычном секторе интернета тематика формальной верификации освещена недостаточно, и особенно не хватает простых и наглядных примеров. Я приведу такой пример из зарубежного источника, и дополню собственным решением известной задачи о переправе волка, козы и капусты на другую сторону реки. Но вначале вкратце опишу, что из себя представляет формальная верификация и зачем […]

Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python

Опубликовано 31.10.2019

Формальная верификация — это проверка одной программы либо алгоритма с помощью другой. Это один из самых мощных методов, который позволяет найти в программе все уязвимости либо же доказать, что их нет. Более подробное описание формальной верификации можно увидеть на примере решения задачи о Волке, Козе, и капусте в моей предыдущей статье. В этой статье я […]

Статистика и мониторинг PHP скриптов в реальном времени. ClickHouse и Grafana идут на помощь к Pinba

Опубликовано 31.10.2019

В этой статье я расскажу, как использовать pinba совместно с clickhouse и grafana вместо pinba_engine и pinboard. На php-проекте pinba — пожалуй единственный надёжный способ понять, что происходит с производительностью. Правда обычно pinba внедряется только тогда, когда уже наблюдаются проблемы и не понятно «где копать». Часто никто понятия не имеет, сколько раз в секунду/минуту вызывается […]

Ищем проблему не в том месте

Опубликовано 31.10.2019

Это небольшая история из реальной практики, когда небольшая проблема, хорошо замаскированная отказоустойчивостью, превращается в головную боль. Небольшая диспозиция: Маленький филиальчик, в нем есть своя АТС (asterisk + FreePBX) на базе десктопного железа и такой-же местный терминальный сервачок с 1С, файло-помойкой и виртуальным RO контроллером домена. Интернет раздает Mikrotik. Филиальчик маленький, им этого достаточно. Все началось […]

Хранение, резервное копирование и каталогизация фотографий

Опубликовано 31.10.2019

Тут периодически пишут посты про то, как хранят и бэкапят свои фотографии — ну и просто файлы. В последнем таком посте написал достаточно длинный комментарий, немного подумал и решил всё же развернуть его в пост. Тем более, что несколько поменял метод бэкапа в облако, может будет полезно кому. Домашний сервер, где происходит многое из описанного […]

Чиллерное охлаждение ЦОД: какой теплоноситель выбрать?

Опубликовано 31.10.2019

Для кондиционирования в центрах обработки данных чаще всего устанавливают централизованные многозональные системы с водоохлаждающими машинами (чиллерами). Они эффективнее фреоновых кондиционеров, потому что циркулирующий между внешними и внутренними блоками теплоноситель не переходит в газообразное состояние, а компрессорно-конденсаторный блок чиллера включается в работу лишь при росте температуры до определенного уровня. Один из наиболее принципиальных вопросов при проектировании […]

Находим баги в LLVM 8 с помощью анализатора PVS-Studio

Опубликовано 31.10.2019

Прошло более двух лет с момента последней проверки кода проекта LLVM с помощью нашего анализатора PVS-Studio. Давайте убедимся, что анализатор PVS-Studio по-прежнему является лидирующим инструментом по выявлению ошибок и потенциальных уязвимостей. Для этого проверим и найдём новые ошибки в релизе LLVM 8.0.0. Статья, которая должна быть написана Если честно, мне не хотелось писать эту статью. […]

Хождение по мукам или Шифрование трафика в Direct Connect, ч.3

Опубликовано 31.10.2019

И никто не вливает молодого вина в мехи ветхие; а иначе молодое вино прорвет мехи, и само вытечет, и мехи пропадут; но молодое вино должно вливать в мехи новые; тогда сбережется и то и другое. Лк. 5:37,38 В апреле этого года администрация крупнейшего в мире DC хаба объявила о начале поддержки безопасных соединений. Давайте посмотрим, […]

Установка Zimbra Open-Source Edition на CentOS 7

Опубликовано 31.10.2019

Во время проектирования внедрения Zimbra на предприятии, ИТ-менеджеру приходится выбирать и операционную систему, на которой будут работать узлы инфраструктуры Zimbra. На сегодняшний день с Zimbra совместимы практически все дистрибутивы Linux, вплоть до отечественных РЭД ОС и РОСА. Обычно для установки Zimbra в предприятиях выбор падает либо на Ubuntu или RHEL, так как разработкой этих дистрибутивов […]

Acronis впервые открывает доступ к API для разработчиков

Опубликовано 31.10.2019

Начиная с 25 апреля 2019 у партнеров появилась возможность получить ранний доступ (Early Access) к платформе Acronis Cyber Platform. Это первый этап реализации программы по формированию новой экосистемы решений, в рамках которой компании по всему миру смогут воспользоваться платформой Acronis для интеграции сервисов киберзащиты в свои продукты и решения, а также получают возможность предложить собственные […]

Настройка CD через gitlab

Опубликовано 31.10.2019

Задумался как-то раз я об автоматизации развертывания своего проекта. gitlab.com любезно предоставляет для этого все инструменты, и я конечно решил воспользоваться, разобравшись и написав небольшой сценарий деплоя. В статье я делюсь своим опытом с сообществом. TL;DR Настроить VPS: отключить root, вход по паролю, поставить dockerd, настроить ufw Сгенерировать сертификаты для сервера и клиента docs.docker.com/engine/security/https/#create-a-ca-server-and-client-keys-with-openssl Включить […]

Введение в сетевые политики Kubernetes для специалистов по безопасности

Опубликовано 31.10.2019

Прим. перев.: Автор статьи — Reuven Harrison — имеет более 20 лет опыта в разработке программного обеспечения, а на сегодняшний день является техническим директором и соучредителем компании Tufin, создающей решения для управления политиками безопасности. Рассматривая сетевые политики Kubernetes как достаточно мощное средство для сегментации сети в кластере, он в то же время считает, что они […]

« назад « к началу 273 274 275 276 277 278 279 280 281 282 в конец » вперед »

Рубрика: Администрирование