С 2007 года мы жили на trunk-версии. Доколе! Хватит!

hg clone https://limb3.googlecode.com/hg/#RC-prepare limb2010.1

Список изменений настолько велик, что проще описать, что мы умеем:

Ядро – пакет CORE

Подключение классов и поддержка отложенной загрузки кода, работа с пакетами (lmb_package_*), работа с переменными окружения (lmb_env_*), проверка входных параметров (lmb_assert_*), коллекции и единичные контейнеры.

IoC  -пакет TOOLKIT

Пакет TOOLKIT – есть реализация паттерна Dynamic Service Locator. Суть этого паттерна состоит в том, что есть некий легко доступный объект, который является общим местом для доступа ко всем популярным объектам (сервисам) и в том, что возможности этого объекта можно легко расширять. Основное отличие от большинства подобных решений в том, что инстанцирование описывается императивно.

DBAL (Data Base Abstraction Layer) – пакет DBAL

В данный момент поддерживаются: MySQL 4.1+, SQLite, Oracle (OCI8), PostgreSQL 8.2+, Linter

Архитектура пакета DBAL вполне стандартная:

• Driver Драйвер (Driver) – базовые классы для работы с базами данных, которые абстрагируют доступ к базе данных. При помощи них осуществляются операции выборки и изменения состояния базы данных (select, update, insert, delete и т.д.).
• Query  - группа классов, позволяющих тем или иным образом инкапсулировать SQL запросы.
• Criteria  - группа классов, позволяющих строить условия для SQL запросов.
• Dump  - группа классов, используемых для загрузки sql-дампов.

ORM (Object-Relation Mapping) – пакет ACTIVE_RECORD

Первоначальная идея пакета ACTIVE_RECORD взята из фреймворка Ruby-On-Rails. RoR в данном случае выступали в качестве функционального ориентира, но мы не копировали полностью его API и функционал, а реализовывали только то, что было необходимо в текущий момент.

Основные характеристики:

• автоматическое определение наименований и типов полей таблицы
• поддержка отношений один-к-одному, один-ко-многим и много-ко-многим
• поддержка ValueObjects
• поддержка наследования в рамках одной таблицы (Single Table Inheritance)
• поддержка “отложенной загрузки” (LazyLoading) для коллекций
• тесная интеграция с шаблонными системами WACT и MACRO
• “жадные” операции  - attach и join
• пользовательские коллекции

Шаблонизация – пакеты VIEW, WACT и MACRO

limb3 следует парадигме MVC, как средству логичного разбиения кода, на относительно независимые куски. Пакет VIEW представляет одноименный слой MVC, и представляет из себя абстракцию от конкретного механизма шаблонизации. В данный момент основным шаблонизатором в limb3 является MACRO, пришедший на смену WACT’у. Помимо них VIEW поддерживает Blitz, JSON и нативный PHP.

MACRO – это своего рода syntactic sugar для нативного РНР. Мы пошли не по пути хэлперов, а остались верны тегам и фильтрам. Кратко о нем:

• промежуточная компиляция в PHP-код
• две области видимости переменных: глобальная и локальная (на уровне шаблона)
• механизм фильтров
• шаблоны комбинируются через include (включение дочернего шаблона), wrap (включение в родительский шаблон) и template+apply (применение шаблона)
• поддерживается концепция слотов
• готовые теги для работы со списками, деревьями, пейджингом, формами и их полями, ссылками и интернационализацией
• готовые фильтры для различного форматирования строк, чисел, дат и специальных форматов
• расширяем через собственные теги и фильтры

Веб-приложение – пакет WEB_APP

Пакет WEB_APP позволяет стоить веб-приложения, применяя парадигму MVC (Model-View-Controller). Сам WEB_APP пакет предоставляет классы для реализации только Controller составляющей. Выбор средства для реализации модели и отображения все равно лежит на конечном разработчике приложения, хотя пакет реализован таким образом чтобы максимально упростить работу с приложениями, где в качестве модели будут выбраны “родные” Limb3 пакеты DBAL и ACTIVE_RECORD, а в качестве отображения – пакет VIEW.

Limb3-приложения строятся обычно на основе цепочки фильтров, которая запускается из файла index.php. Цепочка фильтров стоится из набора типовых фильтров пакета WEB_APP или из тех, которые сочтет нужными реализовать конечный разработчик приложения.

Тестирование – пакет TESTS_RUNNER

TESTS_RUNNER – пакет для организации и запуска SimpleTest тестов для приложений, которые содержат большие тестовые наборы. В поставку с пакетом входят классы, которые позволяют выполнять тесты в cli или web-режиме.

Данный пакет не содержит никаких зависимостей от других пакетов, входящих в Limb3, поэтому может использоваться полностью отдельно.

Прочие пакеты

Набор практически стандартен: ACL, деревья, кэширование, календарь, CLI-скрипты, админка, работа с конфигами, конвертация дат, интернационализация, обработка изображений, отправка почти и так далее. Полный список пакетов можно найти на соответствующей странице в документации.

Инкубатор

Некоторое время назад мы ввели концепцию инкубатора. В него помещаются все “молодые” пакеты, которые еще не прошли испытание боем, недокументированные пакеты или пакеты не покрытые тестами. В данный момент в нем находятся:

• CONSTRUCTOR – генератор моделей, контроллеров, шаблонов на основе схемы БД
• PROFILE – средство для профилирования кода, запросов к БД и кешам
• CRON – базовая функциональность для крон-задач, с ведением лога в БД и административной страничкой просмотра этого дела

Текущие проблемы

Самой большой, на мой взгляд, проблемой является не слишком удобная документация. В данный момент она разбита по пакетам. Опыт показал, что иногда новички испытывают проблему с поискам, ибо не знают где и как оно реализовано.

Помимо этого на версии RC проходят не все тесты, но это поправим до релиза.

Итого

Если вы матерый РНР-программист, и всякие ZF и Symfony вам жмут в плечах и не дают расправить крылья, то приходите к нам. Мы очень гибкие, честно-честно.

• Код: hg clone https://limb3.googlecode.com/hg/#RC-prepare limb2010.1
• Документация
• Чтобы въехать (быстрый старт)
• Форум поддержки
• Временный треккер

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

Стандартные способы борьбы

Для уменьшения количества правил, обычно применяют наследование ролей и ресурсов, а так же множественные роли на один инстанс объекта. В итоге имеем дерево, нелинейный алгоритм, и количество проходов по нему отличное от нуля

Обратная сторона – использование масок доступа. Проверка по маске это быстро, но маска не бесконечная. А как же “показывать только друзьям”?

В общем надо решать как-то иначе.

Как же?

Кто лучше всех знает кем для статьи является конкретный пользователь?

Правильно, сама статья.

На практике оказывается, что информация, которая необходима для определения роли конкретного объекта, в рамках конкретного субъекта, лежит либо в самом субъекте, либо “близко” к нему. Так пусть он и определяет, кто в данный момент перед ним.

В LIMB’е это выглядит так:

class Article implements lmbRolesResolverInterface, lmbResourceProviderInterface
{
  function getRoleFor(Member $member)
  {
    if($this->getOwnerId() === $member->getId())
      return 'owner';
    if($this->getCategory()->getModeratorId() === $member->getId())
      return 'moderator';
  }

  function getResource()
  {
    return 'article';
  }
}

class Member implements lmbRoleProviderInterface
{
  function getRole()
  {
    return 'member';
  }
}

//простой пользователь сайта
$this->acl->addRole('member');

//наш контенто-писака, жаждущий кармы
$this->acl->addRole('owner', 'member');

//модер, уныло бдящий за порядком на сайте
$this->acl->addRole('moderator', 'owner');

//а я статья. Просто статья
$this->acl->addResource('article');

//простой пользователь может статью комментировать
$this->acl->allow('member', 'article', 'comment');
//автор ее редактировать
$this->acl->allow('owner', 'article', 'edit');
// модератор акцептировать
$this->acl->allow('moderator', 'article', 'accept');

/* создадим по объектику на каждую роль */
$just_member = new Member();
$just_member->save();
$owner = new Member();
$owner->save();
$moderator = new Member();
$moderator->save();

$category = new ArticleCategory();
$category->setTitle('About LIMB');
$category->setModerator($moderator);
$category->save();

$article = new Article();
$article->setCategory($category);
$article->setOwnerId($owner->getId());
$article->save();

/* проверим нашу "магию" */
var_dump($this->acl->isAllowed($member, $article, 'comment')); //bool(true)
var_dump($this->acl->isAllowed($member, $article, 'edit')); //bool(false)
var_dump($this->acl->isAllowed($member, $article, 'approve')); //bool(false)

var_dump($this->acl->isAllowed($owner, $article, 'comment')); //bool(true)
var_dump($this->acl->isAllowed($owner, $article, 'edit')); //bool(true)
var_dump($this->acl->isAllowed($owner, $article, 'approve')); //bool(false)

var_dump($this->acl->isAllowed($moderator, $article, 'comment')); //bool(true)
var_dump($this->acl->isAllowed($moderator, $article, 'edit')); //bool(false)
var_dump($this->acl->isAllowed($moderator, $article, 'accept')); //bool(true)

Данный подход впервые пришлось использовать при создании acl, для фреймворка Adept, а теперь подобная штука есть и в LIMB’е.

Зачем?

Хочется убить двух зайцев: избавиться от запросов за редко изменяемыми данными, и их отрисовки. Вообще это смахивает на попытку минимальным количеством движений сделать глобальное счастье. Можно потом перед другими фрэймворками меряться, ага.

На самом деле задача избавиться от отрисовки куска страницы вообще какая-то странная, если мы используем быстрый шаблонизатор. Application-сервера, при нормальной арихитектуре, масштабируются легко и непринужденно, а APC, сам закэширует скомпилированный шаблон, если он компилируется в РНР-код, как это сделано в Smarty, Macro и многих других.

С другой стороны, если есть простой способ закэшировать, то почему бы и нет.

Откуда данные, и как заставить протухнуть кэш.

Данные в шаблоне могут получаться двумя способами. Первый и традиционный это push-подход, когда контроллер заполняет какой-то data-transfer-object, или в сам шаблон. Такой подход используется чаще всего, ибо это “тру MVC”!

Второй подход – pull. При pull подходе в шаблоне расставляются инструкции по получению данных, в обход контроллера, напрямую от моделей, сервисов и прочих провайдеров данных. Этот способ позволяет избавиться от повторяющихся set’ов в контроллере, но не позволяет ограничить, из контроллера, их получение, и усложняет поддержку шаблонов, ибо иногда трудно понять откуда получены данные.

Теперь об определении развалидации кэша. Тут тоже два основных подхода. Первый – ttl(time-to-live – время жизни). Мы определяем, что список новостей, например, валиден в течении 15 минут. Основной плюс – мы уверены, что за данными скрипт будет обращаться не чаще чем раз в 15 минут, и зная частоту обращений можем точно расчитать эффективность такого кеша. Второй плюс – простота реализации. Главный же минус в том, что наш список на самом деле может измениться через секунду после построения кэша, а пользователь увидит изменения только через 15 минут.

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

А теперь тоже самое, но в свете кэширования частей страницы.

Push me. And then just touch me…

Кэшировать части страницы, при push-данных хуже, чем кэшировать эти самые данные. Почему? Потому что мы “загадим” кодом работы с кэшем и шаблон, и контроллер, а из плюсов только экономия на отрисовке.

Pull-данные и развалидация по действию

Что мы получаем? Логика работы с кешем в шаблоне и тех контроллерах, которые отвечают за действия. Опять не тру, и лучше опять кэшировать данные, через какой-нибудь LastNewsService.

Pull-данные и ttl

Вот то ради чего собственно и делаются теги cache, блоки django, компоненты и т.д. Вся логика только в шаблоне (или настройках компонента). Красотища!

Вывод:

Кэширование части HTML имеет смысл только для pull данных с устареванием по времени. Во всех остальных случаях его плюсы, по сравнению с кэшированием данных, сводятся к экономии работы шаблонизатора.

Limb template engine benchmark

Примечания:

• В роли опкод-кешера используется APC.
• Постфикс ‘one_tpl’ указывает, что шаблон один, и нет инклудов и враппов.
• macro_sl – версия macro – с простым локатором шаблонов.
• macro_sl_boundled – версия macro – с простым локатором и объединенная в один файл.

SVN:

https://svn.limb-project.com/limb/misc/template_engines_bench/

Текущее положение дел таково: