Алгебра файловых систем
Nov. 25th, 2010 12:00 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
urpflanzeГоворит Эдуард Шишкин, один из разработчиков файловой системы reiser4 (http://habrahabr.ru/blogs/linux/108629/):
"Итак, я бы обрисовал будущее локальных файловых систем в частности как «шлифовку» вот таких вот «внутренних» интерфейсов. На самом деле, если присмотреться, то можно заметить, что никакие они не внутренние. Это как в алгебре: если у вас какое-либо линейное пространство V распадается во (внутреннюю) прямую сумму подпространств, то можно пойти и по обратному пути: построить при помощи конструкции внешней прямой суммы пространство, которое будет изоморфно V. Ну, а раз они не внутренние, то это достояние уже всех файловых систем. Никаких проблем с VFS тут не возникает (подробнее об этом в статье). Вообще, здесь я усматриваю много аналогий между программными системами (в большей степени это относится к системам хранения данных) и такими понятиями гомологической алгебры, как модуль, градуировка, фильтрация, и др. которые мне кажутся очень полезными."
------------------------------------------------
Э.Шишкин, несомненно, понимает, что такое внешняя прямая сумма, модуль, градуировка и фильтрация. Кто бы мог подумать. что такие понятия есть в голове у создателей файловых систем.
-----------------------------------------------
Основоположник этой файловой системы Ханс Райзер отбывает срок в американской тюрьме за убийство своей жены Нины. Уголовный процесс был скандальным, и это подорвало развитие и продвижение файловой системы reiser4.
"Итак, я бы обрисовал будущее локальных файловых систем в частности как «шлифовку» вот таких вот «внутренних» интерфейсов. На самом деле, если присмотреться, то можно заметить, что никакие они не внутренние. Это как в алгебре: если у вас какое-либо линейное пространство V распадается во (внутреннюю) прямую сумму подпространств, то можно пойти и по обратному пути: построить при помощи конструкции внешней прямой суммы пространство, которое будет изоморфно V. Ну, а раз они не внутренние, то это достояние уже всех файловых систем. Никаких проблем с VFS тут не возникает (подробнее об этом в статье). Вообще, здесь я усматриваю много аналогий между программными системами (в большей степени это относится к системам хранения данных) и такими понятиями гомологической алгебры, как модуль, градуировка, фильтрация, и др. которые мне кажутся очень полезными."
------------------------------------------------
Э.Шишкин, несомненно, понимает, что такое внешняя прямая сумма, модуль, градуировка и фильтрация. Кто бы мог подумать. что такие понятия есть в голове у создателей файловых систем.
-----------------------------------------------
Основоположник этой файловой системы Ханс Райзер отбывает срок в американской тюрьме за убийство своей жены Нины. Уголовный процесс был скандальным, и это подорвало развитие и продвижение файловой системы reiser4.
