Вас приветствуют разработчики статического анализатора кода PVS-Studio. Мы разработали новый программный продукт — CppCat. Разработан он так. Мы представили, что у нас нет PVS-Studio, но есть опыт в разработке инструментов статического анализа для языка Си/Си++. И мы с чистой головой разработали новый статический анализатор таким, каким бы хотели его видеть. Мы сделали инструмент простым и лёгким. И что многих обрадует, он будет стоить $250 за одну инсталляцию.
Читать полностью »
Архив за 14 января 2014 - 8
Альтернатива PVS-Studio за $250
2014-01-14 в 5:29, admin, рубрики: c language, c++, cppcat, pvs-studio, visual c++, Visual Studio, Блог компании PVS-Studio, обзор кода, ошибки программистов, Си, статический анализ кода, метки: c language, c++, cppcat, pvs-studio, visual c++, обзор кода, ошибки программистов, Си, статический анализ кода
Введение
В современном мире миллиарды вычислительных устройств. Еще больше программ для них. И у каждой свой интерфейс, являющийся «рычагами» взаимодействия между пользователем и машинным кодом. Не удивительно, что чем лучше интерфейс, тем эффективнее взаимодействие.
Однако далеко не все разработчики и даже дизайнеры, задумываются о создании удобного и понятного графического интерфейса пользователя.
Для себя я начал с постановки вопросов: общие принципы, какие элементы интерфейса(ЭИ) создать, какой у них должен быть дизайн, где их правильно размещать и как они должны себя вести.
Ниже я постараюсь ответить на эти вопросы.
Читать полностью »
Lock-free структуры данных. Внутри. RCU
2014-01-14 в 5:02, admin, рубрики: c++, lock-free, Алгоритмы, Блог компании i-Free, Программирование, метки: lock-free, Алгоритмы 
В этой статье я продолжу знакомить читатели с техниками, обеспечивающими написание lock-free контейнеров, попутно рекламируя (надеюсь, не слишком навязчиво) свою библиотеку libcds.
Речь пойдет об ещё одной технике безопасного освобождения памяти для lock-free контйнеров — RCU. Эта техника существенно отличается от рассмотренных ранее алгоритмов a la Hazard Pointer.
Read – Copy Update (RCU) – техника синхронизации, предназначенная для «почти read-only», то есть редко изменяемых, структур данных. Типичными примерами такой структуры являются map и set – в них большинство операций является поиском, то есть чтением данных. Считается, что для типичного map'а более 90% вызываемых операций — это поиск по ключу, поэтому важно, чтобы операция поиска была наиболее быстрой; синхронизация поиска в принципе не нужна — читатели при отсутствии писателей могут работать параллельно. RCU обеспечивает наименьшие накладные расходы как раз для read-операций.
Откуда взялось название Read – Copy Update? Первоначально идея была очень проста: есть некоторая редко изменяемая структура данных. Если нам требуется изменить её, то мы делаем её копию и производим изменение — добавление или удаление данных — именно в копии. При этом параллельные читатели работают с первоначальной, не измененной структурой. В некоторый безопасный момент времени, когда нет читателей, мы можем подменить структуру данных на измененную копию. В результате все последующие читатели будут видеть изменения, произведенные писателем.
Вентиляторы Sharkoon Shark Blades выпускаются в четырех вариантах цветового оформления
2014-01-14 в 5:00, admin, рубрики: Новости, метки: новостиКомпания Sharkoon расширила ассортимент вентиляторов серией Shark Blades, включающей 120-миллиметровые модели четырех цветов.
Вентилятор размерами 120 x 120 x 25 мм вращается со скоростью 1000 об/мин, демонстрируя производительность 56 м³/ч. В вентиляторе используется гидродинамический подшипник, срок службы которого производитель оценивает в 50 000 ч.
Meizu хвастается смартфоном MX3 с установленной ОС Ubuntu Phone
2014-01-14 в 5:00, admin, рубрики: Новости, метки: новостиБуквально несколько дней назад мы писали о том, что сотрудник компании Canonical Джоно Бэкон (Jono Bacon) поведал о некоторых успехах на поприще продвижения мобильной ОС Ubuntu в массы. По его словам, в этом году на свет появятся сразу несколько аппаратов с данной операционной системой. Одним из данных аппаратов, судя по всему, станет Meizu MX3Читать полностью »
Планшетный ПК Acer Tab 7 стоит всего $100
2014-01-14 в 4:30, admin, рубрики: Новости, метки: новостиПрошёл год с момента анонса планшетного ПК Acer Iconia B1-A71. Любопытен он тем, что изначально слухи приписывали ему стоимость в $100, что было бы неслыханно для компании такого уровня на тот момент. Однако итоговая стоимость составила $150, что всё равно тогда выглядело вполне неплохо. Год понадобился компании для того, чтобы всё-таки выпустить планшет по цене $100.
Корпусной вентилятор Cooler Master HybridFlow объединяет черты осевого и центробежного
2014-01-14 в 4:00, admin, рубрики: Новости, метки: новостиИсточник опубликовал фото не совсем обычного вентилятора, созданного специалистами Cooler Master. Корпусной вентилятор HybridFlow объединяет черты осевого (аксиального) и центробежного (радиального). В форме рамки вентилятора учтена необходимость отвода центробежного потока воздуха.
Кстати, подобное решение уже встречалось в системе охлаждения 3D-карт Читать полностью »
Психологическая обусловленность возникновения WEB 3.0
2014-01-14 в 3:28, admin, рубрики: web 3.0, Веб-разработка, зависимость, Исследования и прогнозы в IT, Медиа, Носимая электроника, психология, социальные сети, метки: web 3.0, зависимость, Носимая электроника, психология, социальные сети Видимо, вспышки на солнце [в том числе] послужили причиной написания постов про сознание и про 200 мс свободы
А так как я с другой стороны планеты, то вот и меня догнало.
Свойство психики и потребность
Хотя я и не психолог, тем не менее, попробую сделать кое-какие элементарные выводы из общедоступных теоретических материалов и наблюдений. Призываю не перескакивать сразу на последний раздел, иначе здесь будет срач пророков Apple, а пост совсем не об этом.
Читать полностью »
Google покупает компанию Nest Labs за 3,2 млрд. долларов
2014-01-14 в 3:00, admin, рубрики: Новости, метки: новостиКомпания Google объявила о покупке компании Nest Labs, выпускающей термостаты. Сумма сделки — 3,2 млрд. долларов. Предполагается, что приобретение поможет поисковому гиганту плотнее заняться устройствами с интернет-подключением. Ожидается, что операция, которая должна пройти все положенные в таких случаях формальности, завершится в ближайшие месяцы. Став частью Google, компания Nest Labs продолжит работать под прежним названием.
Беспроводная стереогарнитура Sony SBH80 получила модули Bluetooth и NFC
2014-01-14 в 2:50, admin, рубрики: Новости, метки: новостиКомпания Sony анонсировала беспроводную стереогарнитуру SBH80 с шумоподавлением и поддержкой HD Voice.
Гарнитура получила излучатели размером 5,8 мм. Диапазон воспроизводимых частот заявлен равным 10-20000 Гц. Импеданс — 15 Ом. Уровень звукового давления достигает 100 дБ на частоте 1 кГц при действующем напряжении 1 мВт. Суммарные гармонические искажения не превышают 0,5% (на частотах 100-10000 Гц).