Анализ сишных исходников через Тимсити

11.04.2018 23:56:28

Я очень люблю и уважаю статический анализ кода. Когда-то прикручивал Кланг к сборкам, потом к нему добавился Сиппчек, сейчас я стараюсь оба анализатора использовать, хотя получается и не всегда. В прошлом году как раз прикручивал Сиппчек к нескольким проектам и возникла занятная задача интеграции с Тимсити.
Читайте далее »

Мелланокс и 100 Гбит/с

19.01.2017 23:46:04

Не так давно меня удивлял Интел, а под новый год пришло время Мелланокса. Берём Коннектикс-4, по всем параметрам прекрасную карту, аж на 100 Гбит/с. Краткое описание пестрит аббревиатурами, а «FEATURE SUMMARY» уверенно содержит, помимо прочего, «IEEE 1588v2». Правда, над самим саммари стоит некая звёздочка и примечание:

This section describes hardware features and
capabilities.
Please refer to the driver release notes for
feature availability

В какой-то мере понятное, мало ли там чего с драйверами, но карточка должна уметь всё. Отлично, берём карту, берём программный мануал, пытаемся найти что-то на тему ПиТиПи или 1588, но ничего не находится. Повисает вопрос, а где же оно?

Ответ приходит практически случайным образом. Если попытаться обновить прошивку самой карты, то можно обнаружить и релизные замечания к ней, а в них раздел «Unsupported Features», где вполне себе спокойно вписано «PTP (IEEE 1588)».

В итоге имеем изрядную картину — карта из топового сегмента, имеющая необходимую аппаратную возможность, не даёт ею воспользоваться из-за недоделок прошивки. И это при том, что это некий цельный продукт, производимый одной компанией. Фары в машине есть, только кнопку для включения не сделали, извините.

Про выходные в Москве

12.01.2017 23:50:00

Если ты остановился на светофоре в Тверской области и вокруг видишь ещё минимум четыре машины с питерскими номерами — ты точно на пути в Москву. Особенно, если дело происходит второго января, когда машин особо не ждёшь, а они всё же есть. Но зато на трассе в этот день можно встретить не более трёх фур в час, что существенно облегчает езду и сглаживает впечатление от снегопадов, когда фары на встречке появляются метров так за 150.

По самой Москве ездить на машине очень занятно, по нашим меркам восемь полос на дороге это много и подобное у нас хоть и встречается, но не так часто (КАД/ЗСД не в счёт, именно в черте города имеется ввиду), а тут же не просто делают по десять-двенадцать полос, но ещё к ним пришлёпывают так называемые «дублёры» и потом всё переплетают самыми интересными способами, включая туннели. То есть, едешь и понимаешь, что в случае промаха на какой-нибудь развязке ускачешь ты далеко, а когда и где тебя найдут, неизвестно.
Читайте далее »

Первое января

02.01.2017 00:43:01

Практически каждый год я езжу на машине первого января. И очень мне это дело всегда нравилось — пустые улицы, тишина, красота… Но в последние несколько лет с этим становится всё сложнее и сложнее. Лет так ещё семь назад дороги действительно были пустыми, жизнь как будто останавливалась — ни людей, не машин. А сейчас как-то уже и не так. Конечно, если выехать в районе 10–12 утра, то машин немного, но не так, чтобы совсем нет. И люди тоже вполне себе попадаются.

А если ты, например, хочешь, как самый хитрый, сходить с утра первого января в кино на мультик (никто ж больше не придёт!), то будь готов к тому, что таких хитрых набёртся с три четверти зала. И если какой-нибудь ТРК работает, то в нём народу будет как в обычный выходной, можно даже потолкаться в магазинчиках. И мойка самообслуживания, если мимо проезжать, будет забита вся, плюс к ней будет прилагаться очередь из желающих. А уж когда ты едешь часов так в пять-шесть вечера, то по трафику понять, что сегодня именно первое января, вообще практически невозможно.

У меня всегда первое января ассоциировалось с тотальной безжизненностью и поэтому было как-то особенно интересно в этот день сделать что-нибудь полезное. Но то ли я не один такой умный (сюрприз!), то ли ассоциации всё же устаревают. Но так даже интереснее, чем дальше, тем меньше вариантов типа «первого не работаем», а значит, полезного можно успеть ещё больше.

О проектных системах

03.11.2016 00:52:34

Иногда подобное называют «баг-трекерами», но с моей точки зрения это больше именно системы управления проектами, хотя это и совсем не микрософтовый Проджект (с которым, кстати, мне так и не довелось пока встретиться, возможно, к счастью).

Так получилось, что в середине прошлого года у меня возник вопрос выбора проектной системы. До этого был опыт с коллабнетовским Тимфоржем и Жирой. С Тимфоржем дело было давно и Жира, пожалуй, предпочтительнее его почти по всем параметрам, но вот к самой Жире тоже были вопросы, поэтому решил поисследовать альтернативы.
Читайте далее »

Интел и 40 гигабит

02.11.2016 00:14:12

Мне почему-то казалось, что Интел делает хорошие сетевые карты. В принципе, с гигабитами (но не всеми, а с теми, которые обслуживаются драйвером igb), а ещё лучше с десятками оно так и было, отличные рабочие карты. Но вот Интел сделал 40-гигабитный чип. И честно про него пишет:

Maintains wire-rate throughput on smaller payload sizes (>128 bytes for 40GbE and 4x10GbE mode)

И что же это получается? Мало того, что карта на два порта втыкается в писиайэкспрессный слот с восемью линиями (а у него в принципе 64 Гбит/с в одну сторону, но, справедливости ради, так не только Интел делает), но ещё и полноценная 40-гигабитная скорость достижима только с пакетами от 128 байт! То есть, никакой ДиПиДиКей, никакие процессора (которые пусть и не с одного ядра, но вполне способны сгенерировать 40-гигабитный поток) не позволяют на этой карте получить полноценный поток каких-нибудь 64-байтных пакетов. Люди даже пробуют (отдельно отмечу эту работу, очень интересная), получается слегка за 20 и всё, привет.

Может я не так много видел других сетевых карт, но таких подлостей я как-то не припомню. Понятно, не всегда и не всем хватает процессора для обработки потоков трафика, понятно, что для реальных серверных применений, скорее всего, такое ограничение некритично, но чтобы вот так вот на уровне сетевого адаптера — выглядит очень странно. Тем более, когда речь идёт об Интеле.

Кьютком 0.30.3 ушёл в Сид

04.10.2016 21:34:37

Вроде бы не так давно паковал в учебно-тренировочных целях Кьютком для Дебьяна, глядь! а уже десять лет прошло. Кьютком большую часть этого времени находился в анабиозе, но в конце прошлого-начале нынешнего годов из него вышел, переехал на Гитхаб и отрелизился несколькими версиями. Главное — наконец-то переехал на актуальную версию КуТи. С пакетированием новой версии я откровенно протормозил, и обстоятельства личного плана были против (хотя в январе с Мейнхардом переписывались на эту тему) и Дебьяном на десктопе я прекратил пользоваться довольно давно. Пришлось разводить виртуалку с сидовой версией и собираться в ней.

Последний раз этим пакетом (да и вообще пакетами под Дебьян) занимался шесть лет назад. За это время кое-что поменялось, причём, строго в положительную сторону. Новый формат пакетов (вместо патча просто каталог debian) встречал в сторонних пакетах и ранее, но тут на него перевёл свой пакет. В моём случае это практически никаких изменений за собой не повлекло (у меня и так патчи квилтом накладывались), но с точки зрения прозрачности пакетирования в целом это огромный для Дебьяна шаг вперёд.

Больше же всего поразили изменения в мэйкфайле (который rules), если раньше там надо было очень аккуратно дёргать в правильных местах десятки вспомогательных программок (дебхелперов), то сейчас для простых случаев (а Кьютком не является сильно сложным случаем) достаточно буквально пары строк. Если раньше у меня в файле правил сборки было 66 строк, то теперь осталось семь, буквально, вот таких:

#!/usr/bin/make -f
 
# Uncomment this to turn on verbose mode.
#export DH_VERBOSE=1
 
%:
        dh $@ --buildsystem=cmake

То есть, реальных две. И этого хватает, чтобы корректно сконфигурировать, скомпилировать, поставить и запакетировать всё необходимое.

Разумеется, никуда не делась любимая и ненавидимая одновременно дебьяновская бюрократия, в частности, пришлось внимательным образом просмотреть и поправить копирайты. Но она, как обычно, к лучшему. В итоге, пакет с обновлением готов и уже (спасибо спонсору, Джанфранко Костаманье) был заспонсирован в сид, где его можно и взять.

Килорепутация на Стековерфлоу за две недели

21.09.2016 21:49:48

Началось всё с того, что мне срочно захотелось получить 1000 репутации на Стековерфлоу. Мысль появилась ещё в июле, но в августе я решил заняться ею плотно. Собственно, аккаунт на Стеке у меня был заведён ещё более шести лет назад, а за проектом я следил ещё с того момента, когда не было даже сайта, но уже был одноимённый подкаст. Но как-то не спешил участвовать, поводов было немного, а даже когда завёл аккаунт, получилось так, что вопросов у меня не было, а ответы, как мне показалось, и так было кому давать. В результате, аккаунт так и проболтался шесть с небольшим лет до 5 августа этого года. За это время аккаунт оброс репутацией аж в 31 балл (изначально бесплатно и навсегда дают один) за один-единственный ответ. С этого и стартовал.
Читайте далее »

Caddy

19.09.2016 22:05:33

Вместе с переездом на новый хостинг сменил веб-сервер. Очень давно и долго пользовался Лайти, но его состояние в последнее время вызывает некоторые сомнения (хотя патчи всё же выходят), плюс неплохо бы уже иметь ХТТП второй версии. Главным мотиватором для замены, однако, стало даже не это. Главным стало получить нормальный сертификат для доменов в рамках Летс энкрипта. Инструменты для этого изучал ещё весной, когда они выходили из беты, официальный клиент пугал тем, что он автомагическим образом правит конфигурации, такого я никак не хотел. Остальные варианты, разумеется требовали всякого изучения, настройки и подобного. В общем, до этого так руки и не дошли.

Летом насмотрел Кадди. С одной стороны, ещё более автомагическое решение, с другой стороны, нельзя же проходить мимо такого счастья — делать не нужно ничего, он сам получает сертификаты. Да ещё и написан на Го. Переезд стал отличным поводом, наконец, реализовать эту мысль и, как можно заметить, сейчас сайт по умолчанию работает через https://. Причём, в сочетании со второй версией ХТТП (может, конечно, ещё и хостер новый помог, но не факт) бложик работает как никогда быстро, даже приятнее стало.

Ставится Кадди непривычно, качаем (или, конечно, собираем локально) один файл, кладём в /usr/local/bin, плюс файл для СистемД, чтобы управлять сервисом (тут немного не повезло с Дебьяном, описание пришлось поправить), и всё — можно писать конфигурацию. Синтаксис конфигурации понравился отдельно, текущий вариант у меня чуть перевалил за 30 строк, при том, что большую часть необходимого он мне даёт (ещё пару технических доменов надо восстановить, но это уже мелочи). Особенно удачно получилось с модулем переназначения запросов, то что раньше у меня делалось парой регулярных выражений на 100-150 символов, теперь делается парой строк по 15 символов, поскольку есть очень правильный функционал.

В общем, впечатление позитивное, рекомендую.

Про почту и чёрные списки

12.09.2016 23:43:24

Многие знают, что моё терпение почти безгранично. Но даже ему иногда приходит конец. Диапазон адресов текущего хостера попал в чёрные списки ещё в апреле, естественно, что малейшая попытка отправить куда-нибудь письмо сразу же наталкивалась на отлупы. Но пишу я в последнее время не сильно много, с получением проблем нет и я ждал, когда проблема решится сама собой (в техподдержку, конечно, написал, но там заверили, что над проблемой работают с первого дня). Что-то отправлял с яндексового аккаунта, что-то не отправлял вовсе. Но так как сейчас полноценная работоспособность аккаунта снова актуализировалась, в субботу, наконец-то нашёл другого хостера и начал переезд.

Из интересного — если начинать смотреть всех подряд хостеров, то очень быстро выясняется, что в чёрных списках находится не только один конкретный, а вполне себе многие. В какой-то мере это не удивляет, понятно, что такие сервисы постоянно пытаются использовать для нехорошего, но, с другой стороны, всё равно не радует, получается, что защита от подобного поведения у хостеров, в среднем, слабовата.

Сейчас переезд ещё в процессе, но возможность нормально послать письмо после столь длительного бана — как глоток свежего воздуха, радует.

Что, правда, не отменяет другого наблюдения — чем дальше, тем держать свой почтовый сервер всё сложнее. Например, у меня уже года два как не получается посылать письма на адреса, привязанные к гугловым группам, при совершенно корректных СПФах, ДКИМах, корректных обратных записях в ДНСе и всяком таком. Гуглу это всё по барабану, даёт отписку и ни малейшего повоздействовать на фильтр. С чёрными списками это уже тоже не первый эпизод, как с данным хостером, так и с предыдущим. Сдавать почту не хочется совсем (хотя, конечно, использование виртуального сервера само по себе уже частично сдача), но дело медленно к тому идёт.

Ну и, конечно, как только я захотел оставить данную запись, сдобренную ссылкой на блокировку, как выяснилось, что вопрос-то уже и решён.