tech

tech@asvk.cs.msu.ru

14 обсуждения

Создать нНовую ветку

Удаление списка рассылки tech@asvk.cs.msu.ru
by admin＠asvk.cs.msu.ru 16 Май '22

16 Май '22

1 0

fast message queue implementation
by Alexander GQ Gerasiov 01 Фев '10

01 Фев '10

Наткнулся тут на реализацию подсистемы обмена сообщениями, выглядит довольно интересно. Заявлено: очень быстрое микроядро (заявляют микросекундные латентности, на сайте есть много тестов); несколько транспортов, как-то межпроцессный, межпотоковый, сетевой (как юникаст, так и мультикаст); несколько моделей взаимодействия: publish/subscribe, request/reply, streaming; биндинги под кучу языков; LGPL; ... http://www.zeromq.org -- Best regards, Alexander GQ Gerasiov Contacts: e-mail: gq(a)cs.msu.su Jabber: gq(a)jabber.ru Homepage: http://gq.net.ru ICQ: 7272757 PGP fingerprint: 04B5 9D90 DF7C C2AB CD49 BAEA CA87 E9E8 2AAC 33F1

1 0

Инструменты в Linux для работы с чужим C++-кодом: посмотреть иерархию классов, вложенность функций, .etc
by Maksim Chistolinov 11 Ноя '09

11 Ноя '09

Коллеги, Не первый раз сталкиваюсь с такой задачей: Есть относительно большой проект на C++: много файлов, десятки классов и функций. Надо за короткое время понять иерархию классов, основные потоки управления, сопоставить классы с файлами... В общем случае в коде нет специальных комментариев а-ля javadoc, но и код не особенно сложный: темплейтные классы присутствуют, но их не очень много. Как минимум нужна навигация по коду: переходы (использование имени -> определение), желательно также построить/увидеть что-то вроде UML-диаграмм классов с возможностью перехода от них к коду. В разное время пытался использовать для этой задачи разные инструменты. Все они не дают полного решения и в чем-то неудобны. Нет ли в Linux какого-нибудь простого и удобного средства для этого ? Мой опыт: 1. ctags + gvim: нет картинок, кое-что раздражает в навигации 2. doxygen: так и не заставил его рисовать картинки + часть классов он упорно "не видит" 3. gtags + htags: чистый HTML с навигацией, но без картинок, нет списка классов все разрешения неоднозначностей - через промежуточные страницы 4. source navigator от RedHat: был неплохой инструмент, но он уже мертв 5. cscope: только Си и древний консольный интерфейс 6. umbrello: импорт классов в UML-диаграммы - работает криво, как и весь umbrello Может быть взять какой-нибудь более адекватный UML-диаграммер: bouml, autodia ? Посоветуйте что-нибудь, у кого есть положительный опыт? Максим

1 0

По поводу xvnc и winword & co
by Nikita V. Youshchenko 09 Сен '07

09 Сен '07

В общем новости такие. Я наложил на Xvnc, который обеспечивает сеансы на desktopvm, два дополнительных патча, в результате которых должны исчезнуть наиболее острые проблемы - "проскакивание английских символов" в процессе ввода русского текста в приложениях microsoft, и блокировка сеанса внутренним screen saver X сервера. Первое я смог проверить - действительно проблема исчезла. Второе проверить не смог, так как не знаю способа искусственно воссоздать проблему, но судя по коду, теперь любое событие от vnc клиента должно отключать внутренний screen saver. После перезагрузки desktopvm, которая произойдёт в понедельник рано утром, под всеми пользователями будут порождены новые сеансы, и тем самым будут активизированы эти изменения. Кроме того, Саша нашёл способ настроить crossover на так, чтобы "Мои документы" каждого пользователя располагались в "основном" домашнем каталоге (том, который домашний на desktopvm и на zigzag). И теперь при открытии и при сохранении по умолчанию открывается именно этот каталог, а не локальный домашний каталог на cxvm. Это были хорошие новости. А плохие вот какие. - Приложения microsoft иногда падают, если попытаться их закрыть при несохранённом документе, и на вопрос о сохранении ответить "Да" или "Нет". Случается это недетерминированно, что с этим делать - пока неясно. Поэтому крайне рекомендуется в соответствующем диалоге нажимать "Отмена" и сохранять документ явно. - В понедельник в 6 утра будут перезагружены desktopvm, cxvm и sunraysrv. Цель - чтобы оказалось запущенным ядро с последними обновлениями безопасности: там есть исправления нехороших ошибок. При этом пропадут запущенные сеансы. Кроме того, теоретически что-то может не подняться (хоть я и надеюсь, что этого не произойдёт). На вcякий случай я постараюсь приехать пораньше, но если кто-то меня опередит, то заранее прошу прощения. Никита P.S. 2sadman, hbd, zvoice: Впредь подобную информацию буду отправлять только в tech(a)lvk.cs.msu.su, поэтому если хотите получать, то подписывайтесь.

1 1

Большая модель на ММ
by Konstantin Savenkov 02 Июн '06

02 Июн '06

Привет. Возможно, это будет интересно всем, кто сам или при помощи студентов занимается анализом, верификацией и прочими интересными вещами для моделей на языке ММ. На основе модели ИВС из проекта "Выбор" я подготовил "развёрнутую" модель на ММ, которая находится в одном файле, и из которой убрана параметризация по количеству буферов (в объявлении массивов буферов явно указан размер массива), циклы set_param, и прочий синтаксический сахар. Я полагаю, что на этой модели будет крайне удобно апробировать вышеперечисленные интересные вещи с минимальным overhead на поддержку инженерных финтифлюшек. Модель -- порядка 11000 строк на ММ. Если кому интересно, обращайтесь. Костя.

2 2

Fwd: Re: [LVK Tech] Вопрос про поддержку ММ-языка
by Konstantin Savenkov 29 Май '06

29 Май '06

---------- Forwarded Message ---------- Subject: Re: [LVK Tech] Вопрос про поддержку ММ-языка Date: Sunday 28 May 2006 19:32 From: Konstantin Savenkov <savenkov(a)cs.msu.su> To: Maksim Chistolinov <mike(a)lvk.cs.msu.su> Макс, я не собираюсь нападать на Диану и mmt :-) Мне просто интересно, пытались ли делать чисто С++-решение и с какими трудностями при этом сталкивались. Если угодно, меня интересует использования макросов для обратной совместимости С++ библиотеки моделирования (например, той, которая разработана в рамках нашего проекта) с ММ. Однако обсуждением деталей ты меня, надо сказать, заинтересовал... > Собственно, что делает mmt: > 1. Отображение ММ на C++, при этом: > - скрываются всякие "нагромождения" С++ (то, что Анатолий > называл "ритуальными плясками") и детали интерфейсов > библиотеки моделирования; Для этого существуют средства языка С++. Абстракция + инкапсуляция, и никаких плясок с бубном. > - добавляется полезная информация, например, о номерах > строк и номерах операторов в тексте; Куда? В качестве отладочной информации в объектный файл? Как-то там отладчик для ММ поживает? :-) > 2. Выпоняется _полный_ синтаксический и семантический анализ > операторов ММ, что сделать "на макросах" достаточно затруднительно. > (не вполне удачный опыт - язык описания моделей СММ КБО). Макс, если ты объявляешь метод receive(), то его анализ выполняется g++, при этом никакие макросы не нужны. > 3. Диагностика формируется в терминах ММ-языка. > Не соглашусь, что она плоха. Если кто-то заметил там > ошибки в сообщениях - пишите bug report-ы, это легко пофиксеть. > Решать задачу "фильтрации" и "русификации" диагностики g++ > - это криво и очень громоздко. > (неудачный опыт - см. тот же СММ) ?? Если я сейчас -- первый, кто их заметил, то у меня нет слов. Впрочем, орфография ни на что не влияет, это я так, к слову пришлось :-) > 4. Строится синтаксическре дерево, которое может быть очень полезно > для решения задач анализа, трансляции, оптимизации и т.д. Макс, я, например, для удобной работы с ММ-языком (для анализа и трансляции как раз) написал свой парсер на Whale. Потому что так удобнее, чем работать с выходом ANTLR (с ним я раньше работал). Написал причём недели за две. > 5. На исходное множество возможностей С (С++) накладывается > ряд ограничений, что еще никому не было вредно. Э... не могу не прокомментировать. Это например то, что переменные должны быть объявлены на начале блока? > Я голосую за Язык + Транслятор. Да не вопрос :-) Ещё раз повторюсь -- меня интересует _возможность_ "чистой" реализации MM-like языка (скорее из соображений совместимости) и потенциальные проблемы. Это примерно как знаешь есть такая типичная история, когда админу говорят "ставь окна", а он ставит линух с кросс-офисом, и никто ничего не замечает. Это, конечно, байка, а вот с языком моделирования, сдаётся мне, такое вполне возможно :-) Костя. -------------------------------------------------------

3 13

Вопрос про поддержку ММ-языка
by Konstantin Savenkov 29 Май '06

29 Май '06

Привет, коллеги. Вопрос, наверное, в первую очередь к Никите, но м.б. у остальных тоже возникнут здравые идеи. Когда я думаю о том, как было бы грамотно организовать технически работу с ММ-языком, мне представляется нечто вроде билиотеки классов вида class Process { public: Process(const string& name, const vector<InputBuffer>&, const vector<OutputBuffer>&); void receive(Message& m, InputBuffer& b); void send(const Message& m, OutputBuffer& b); et cetera(); } и набор макросов, разворачивающих MM-style описание process P() <input i, output o> { ...text... } в class P : public Process { void body() { ...text... } } В мелких деталях я мог по ходу наврать, но идея, надеюсь, понятна. Вопрос: почему используется не подобный подход, а трансляция ММ->С ? М.б. приведённый мной подход пробовали, но нашли там подводные камни? Если нет, то вопрос к Саше Герасёву: нужно ли твоему студенту делать н-ную версию транслятора ММ-С? Не лучше ли его занять вышеприведённым вариантом? Спасибо за внимание, Костя.

3 2

Fwd: Re: [LVK Tech] Вопрос про поддержку ММ-языка
by Konstantin Savenkov 29 Май '06

29 Май '06

---------- Forwarded Message ---------- Subject: Re: [LVK Tech] Вопрос про поддержку ММ-языка Date: Sunday 28 May 2006 16:22 From: Konstantin Savenkov <savenkov(a)cs.msu.su> To: Maksim Chistolinov <mike(a)lvk.cs.msu.su> Привет, Макс! > Ты давно заглядывал в файл __mm_prc.h ?! Ой, давно :-) > Тебе не кажется, что ты там видишь: <skipped> > Чем это принципиально, кроме имен и деталей, отличается от того, что ты > предлагаешь ? Тем, что то, что предлагаю я, компилируется g++, а не mmt, в котором даже сообщения об ошибках написаны с орфографическими ошибками. > Какой транслятор MM->C ? Э-ээ... mmt? > Ты о чем вообще ?! Я о том, по каким причинам нужно лишнее звено в виде транслятора ММ-языка? Возможно, что сейчас он уже не используется, тогда я серьёзно отстал от жизни. Я не предлагаю всё заменить на что-то другое или, упаси боже, переписать заново. Вопрос -- почему не использовать чистый С++ (ну ладно, грязный, с макросами). Take it easy. А? Костя. -------------------------------------------------------

1 0

Re: [LVK Tech] Вопрос про поддержку ММ-языка
by Maksim Chistolinov 29 Май '06

29 Май '06

On Sun, 28 May 2006, Konstantin Savenkov wrote: ... >> Чем это принципиально, кроме имен и деталей, отличается от того, что ты >> предлагаешь ? > Тем, что то, что предлагаю я, компилируется g++, а не mmt ... И в предыдущем письме: > и набор макросов, разворачивающих MM-style описание В том то и дело, что mmt как раз и разворачивает "MM-style описание" в С++, с использованием в отображении базовых классов, которые я приводил. При этом он выполняет еще несколько полезных функций. Собственно, что делает mmt: 1. Отображение ММ на C++, при этом: - скрываются всякие "нагромождения" С++ (то, что Анатолий называл "ритуальными плясками") и детали интерфейсов библиотеки моделирования; - добавляется полезная информация, например, о номерах строк и номерах операторов в тексте; 2. Выпоняется _полный_ синтаксический и семантический анализ операторов ММ, что сделать "на макросах" достаточно затруднительно. (не вполне удачный опыт - язык описания моделей СММ КБО). 3. Диагностика формируется в терминах ММ-языка. Не соглашусь, что она плоха. Если кто-то заметил там ошибки в сообщениях - пишите bug report-ы, это легко пофиксеть. Решать задачу "фильтрации" и "русификации" диагностики g++ - это криво и очень громоздко. (неудачный опыт - см. тот же СММ) 4. Строится синтаксическре дерево, которое может быть очень полезно для решения задач анализа, трансляции, оптимизации и т.д. 5. На исходное множество возможностей С (С++) накладывается ряд ограничений, что еще никому не было вредно. Короче, по моему опыту, "хороший" транслятор ММ никому не помешает. Сейчас можно обсуждать, что он _как он есть_ не очень хорош, деревом разбора пользоваться невозможно и т.д., но это, imho, не аргумент чтобы заменить его на C++. > Какой транслятор MM->C ? mmt: MM -> C++ >> Ты о чем вообще ?! > Я о том, по каким причинам нужно лишнее звено в виде транслятора ММ-языка? По-моему это явная провокация со стороны Кости :) > Я не предлагаю всё заменить на что-то другое или, упаси боже, переписать > заново. Вопрос -- почему не использовать чистый С++ (ну ладно, грязный, с > макросами). Take it easy. Вот именно, что "грязный" и "с макросами". Как это не странно может звучать, "неповоротливость" схемы Язык + отображение на С++ оказывает хорошую услугу при развитии средства. В ЛВК уже пережили несколько проектов с "самопальными" библиотеками моделирования. Так вот, легкость и бессистемность их модификации + "личные заглюки" их авторов сделали их гораздо менее прозрачными и, в итоге, менее востребованными, чем ММ. ММ (и любой специальный язык) по определению будет более минималистичен и более консервативен, чем любая библиотека. Оказывается, что это - хорошо. Я голосую за Язык + Транслятор. Макс

2 1

Конвертация сложного WinWord документа в pdf
by Dmitry Volkanov 16 Мар '06

16 Мар '06

Здравствуйте! В связи с работами над сайтом ЛВК возникла проблема корректной конвертации сложного (с формулами) документа WinWord в pdf Пока я посмотрел два варианта конвертации в pdf. 1. Открываем doc в OpenOffice и нажимаем экспорт в pdf 2. Из WinWord печатаем в файл формата PostScript. А затем ps2pdf В первом случае из файла пропадают ссылки на на литертауру и теряется порядок нумерации литературы. Во втором случае искажаются формулы, причём непонятно на каком этапе, так как сгенерённый Winwordом ps открыть при помощи GhostView или PSView не удалось. Поиск в Интернете дал в основном ссылки на плагины к WinWord для среды Windows. Хотелось бы спросить, может кто-то с такой проблемой сталкивался? Если да, то какое решение Вы можете предложить? Заранее спасибо за ответ. -- С уважением, Дмитрий Волканов

2 1

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

tech