[devel] авторитеты

[devel] авторитеты

[Alexey Tourbin]

[-- Attachment #1: Type: text/plain, Size: 2047 bytes --]

Рассмотрим вопрос об авторитетах.  В нашей системе сейчас так или иначе
существуют авторитеты.  Они могут не пропускать "очень плохие пакеты",
или, наоборот, разруливать ситуации, в которых предельно общие правила
могут не работать (или приводит к проволочкам).

В новой системе поступления/сборки/тестирования пакетов фактор
авторитетности должен быть сведен к минимуму.  А именно, по умолчанию,
если всё идёт хорошо, авторитет не должен вмешиваться в процесс.
Фактор авторитетности может быть задействован только в "подозрительной
ситуации".  (Конечно, система должна научиться очень хорошо обнаруживать
целый класс "подозрительных ситуаций", прежде чем авторитеты смогут
расслабиться.)

Альтернативой фактору авторитетности является демократизация.  Это
значит, что "подозрительные ситуации" можно "выносить на голосование".
Но демократизация в общем её виде не подразумевает какого-либо
ментального ценза, в чем и состоит её главный недостаток.
Авторитетность же должна подразумевать большой опыт и т.п.
Не будем от неё отказываться.

Я различаю два типа моделей авторитетности.  Они различаются
по семантике ролей и, по сути, по возможности использовать
авторитет в свою собственную пользу.

В первой модели две роли "человек-maintainer" и "человек-авторитет"
являются, так сказать, "неразрывно-слитными".  Это означает, в
частности, что человек, будучи авторитетом, может подтвердить
любое свое действие, совершенное в состоянии человека-maintainer'а.

Вторая модель, с философской точки зрения, лучше соответствует критерию
фальсификационизма.  В ней роли "человек-maintainer" и
"человек-авторитет" строго различаются.  В этой модели подразумевается
существование людей-авторитетов в количестве не менее двух штук.
Если человек-maintainer совершил "подозрительное действие", то он
не может воспользоваться собственным авторитетом, чтобы его подтвердить.
Требуется подтверждение со стороны другого авторитета, не
заинтересованного (непосредственно) в том или ином исходе дела,
то есть беспристрастного.

[-- Attachment #2: Type: application/pgp-signature, Size: 189 bytes --]

Re: [devel] авторитеты

[Alexey Tourbin]

[-- Attachment #1: Type: text/plain, Size: 1016 bytes --]

On Sun, Sep 02, 2007 at 07:53:39PM +0400, Alexey Tourbin wrote:
> Вторая модель, с философской точки зрения, лучше соответствует критерию
> фальсификационизма.

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

Аналогично, если в системе проверки/тестирования пакетов есть способ
"подтвердить что угодно" (правда, будучи авторитетом), то понятно.

Отсюда следует два простых принципа: 1) фактор автритетности должен
быть явно и независимо задействован (при наступлении "подозрительной
цитуации");  2) фактор авторитетности не может быть использован в
отношении самого себя.

[-- Attachment #2: Type: application/pgp-signature, Size: 189 bytes --]