From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Date: Tue, 12 Nov 2002 02:41:24 +0300 (MSK) From: Vitaly Lugovsky To: Subject: Re: [devel] Re: gcc 3.2... =?koi8-r?b?7cTBLi4uIM3B09PB?= =?koi8-r?b?INPU0sHOzs/T1MXKLg==?= In-Reply-To: <200211120051.04158.ilar@altlinux.ru> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=koi8-r Content-Transfer-Encoding: 8BIT Sender: devel-admin@altlinux.ru Errors-To: devel-admin@altlinux.ru X-BeenThere: devel@altlinux.ru X-Mailman-Version: 2.0.9 Precedence: bulk Reply-To: devel@altlinux.ru List-Unsubscribe: , List-Id: List-Post: List-Help: List-Subscribe: , List-Archive: Archived-At: List-Archive: List-Post: On Tue, 12 Nov 2002, Igor Tertishny wrote: > > http://manju.cs.berkeley.edu/cil/ > > > > Насколько я в прошлый раз посмотрел, CIL знает все гнутые расширения... > > А если и не знает - научить можно, AST вполне расширябелен. > > Надо посмотреть, что это там такое. Не слышал даже, откровенно говоря. Это framework для построения всяких фильтров/препроцессоров/анализаторов/верификаторов/компиляторв для языка Си и подобных ему. Есть несколько готовых приложений для примеру: pretty-printer (вот его нам и надо помодифицировать, изменения должны быть минимальными), рисовалка графов зависимостей, и ещё какие-то мелочи. Драйвер евонный из себя gcc умеет изображать, дабы особо Makefile-ы не менять. > > Кстати, за компанию можно и фильтры на всякие грубые ошибки с памятью > > и с security понавешать, для того CIL и создавался... > > Обязательно посмотрю, что это за штука. Но пока еще научищься ею > пользоваться.. Кстати, у icc проблема ведь еще в том, что неизвестно, как он > будет с атлоновскими процами работать. Известно. Плохо будет работать. Атлону придётся из себя ПеньПро изображать, с MMX, не выше. > > Кстати, зря в нынешней системе сборки ядра не предусмотрен обязательный > > внешний препроцессор. Для столь крупногабаритных монолитных программных > > продуктов это вообще-то must have. > > Полностью согласен. Я последнее время вплотную занимаюсь ядрами и, мамочки > мои, что за кошмар. Куда ни двинь - грабли. То не так, се не работает, там - > проблема. Особенно с нестандартным железом. Мы ведь планируем выпускать > сервера на Альте. Простенькие - файловые и Веб. Для простеньких - не надо нестандартного железа. ;) > У нас, в Израиловке, сейчас > резко подымается интерес к Линуху и на этом можно сыграть. Но для такого дела > ядрышки должны быть отлизаны до полного блеска. При нынешней методике разработки ядра, навязанной экстремалом Торвальдсом, такое вряд ли возможно. Правда, кто-то (SGI, кажется), не так давно пропесочил ядро, воспользовавшись самописным верификатором, поверх GCC сделанным, размеры их патчей (и ведь они только грубейшие ошибки и race conditions ловили!) просто устрашали. Ну так вот, стоит с CIL повозиться, для верификации это куда как более подходящая платформа, чем GCC. У меня были кой-какие наработки на тему полнотекстного dataflow-анализа и суперкомпиляции, можно и на благо общества их применить. Вот только, было бы время свободное... :( > Вот и маюсь... Делать что-то > надо, сколько же можно в охране сидеть? Надоело-с. Хоть и леп под боком, и > сеть подымать начальство не своего админа (коий полный дуб, изучавший три > семестра в универе курс "Окна" - о том, как открывать и закрывать оные - и > это правда, сам программу курса читал, загибаясь со смеху), Между прочим, идеома "окна" - крайне неочевидна. Привыкнуть эффективно работать с оконным интерфейсом - задача непростая, тем более для незнакомого с основами автоматизации простого пользователя. Вот, мой начальник, человек весьма даже грамотный - и то, более чем с одним окном работать принципиально не умеет. Все, кроме активного, прячет или закрывает. Когда ко мне подходит на что либо посмотреть, так я потом долго порядок на десктопе навожу после такого дестроя. ;) > а охранника зовет > в случае чего. Но надоело. Хочу заниматься Линухом, Линухом и еще раз > Линухом. Линух - это явление временное. Лучше заниматься программированием вообще. Или хотя бы системным программированием в частности.