В этом посте мы попробуем применить технику символьного выполнения на примере символьной ВМ KLEE для решения простого ASCII-лабиринта. Как вы думаете, сколько верных решений мы сможем найти?
User
ClangBSD собирает себя
1 min
1KПроцесс, описываемый на wiki.freebsd.org/BuildingFreeBSDWithClang, казалось, идет слишком медленно, или же совсем заглох. Однако недавно в рассылке появилось сообщение от Roman Divacky о том, что ClangBSD успешно собирает саму себя на tier 1 платформах (i386 и amd64).
Вкратце ClangBSD — попытка собрать ядро и мир FreeBSD с помощью компилятора clang, который, в свою очередь, является фронтендом к LLVM. Как известно, FreeBSD до сих пор использует GCC версии 4.2.1, т.к. последующие версии сменили лицензию. Clang же имеет BSD-лицензию, а так же имеет много других вкусностей.
У проекта были проблемы со сборкой libstdc++, однако теперь они преодолены. Единственный известный баг — загрузчик ОС превышает допустимый размер исполняемого файла. Пока что имеется workaround — собирать загрузчик без поддержки UFS1.
Сообщение разработчиков:
permalink.gmane.org/gmane.os.freebsd.current/124678
Low Level Virtual Machine:
llvm.org
Clang:
clang.llvm.org
Вкратце ClangBSD — попытка собрать ядро и мир FreeBSD с помощью компилятора clang, который, в свою очередь, является фронтендом к LLVM. Как известно, FreeBSD до сих пор использует GCC версии 4.2.1, т.к. последующие версии сменили лицензию. Clang же имеет BSD-лицензию, а так же имеет много других вкусностей.
У проекта были проблемы со сборкой libstdc++, однако теперь они преодолены. Единственный известный баг — загрузчик ОС превышает допустимый размер исполняемого файла. Пока что имеется workaround — собирать загрузчик без поддержки UFS1.
Сообщение разработчиков:
permalink.gmane.org/gmane.os.freebsd.current/124678
Low Level Virtual Machine:
llvm.org
Clang:
clang.llvm.org
+18
Порт завершения (Completion Port)
7 min
41KПривет. Сейчас я расскажу вам о механизме IO Completion Ports в Windows. Разработчики описывают порт завершения как «средство, повышающее производительность приложений, часто использующих операции ввода/вывода». В общем-то, они и не врут, поэтому IOCP часто используют при написании масштабируемых серверных приложений. Однако же считается, что порт завершения — тема мудреная и тяжелая для понимания.
+8
Information
- Rating
- Does not participate
- Location
- Россия
- Registered
- Activity