немного о работе
May. 26th, 2003 09:20 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
avvaПоследние два дня писал программу на C, впервые года за три наверное.
Программа — memory cache daemon. Принимает TCP-подключения на определённом порту, от клиентов принимает пары ключ/значение и запоминает, а когда начинает заканчиваться память, выбрасывает наименее используемые (по принципу LRU queue. Все элементы прошиты в списке. Входят они в него с головы. Всякий раз, когда какой-то элемент запрашивается клиентом, он передвигается опять в голову. А когда надо освободить память, удаляются элементы с хвоста).
Ничего особенно сложного с алгоритмической точки зрения; суть в том, что это должно быть как можно более эффективно и быстро, и поддерживать много памяти и очень много соединений одновременно. Идея в том, что когда вебсервер пишет какую-то часто используемую информацию в базу данных, он также посылает её в memory cache, а перед чтением таких данных из базы данных — запрашивает кэш. Свободной памяти у нас не так уж и мало. Одна из машин стоит практически неиспользуемая с 12 гигабайтами (когда-то это был глобальный БД-мастер, до того, как мы перешли на кластеры полтора года назад). На ней запустим штук 5 процессов, каждому разрешим два гигабайта. На других машинах — ещё несколько, зависит от эффективности, которую ещё предстоит в точности проверить.
(идея тут в том, конечно, что кэш глобален. Кэширование в памяти одного отдельного httpd-процесса или даже одной машины-вебсервера практически ничего не даёт, за исключением небольшого количества глобальных данных (напр. юзер-интерфейса на всяких языках). Memory cache глобален в том смысле, что, хоть одновременно бегут несколько демонов на разных процессах, данный ключ всегда будет записан в конкретный сервер и прочтён оттуда же — выбор сервера происходит с помощью хэш-функции по ключу)
Брэд написал такой демон на Перле, но когда он его запустил, тот сразу начал жрать 100% CPU. Мы решили с ним, что я перепишу его на C настолько эффективно, насколько смогу. Вот я этим и занимался вчера и позавчера. Получилось вроде бы очень неплохо. Сегодня часа в 2 дня мы запустили три пробных процесса, один из них под gdb (чтобы легко было найти проблему, если грохнется). Каждому из разрешили набирать до 2 гигабайт памяти, вот с тех пор они и набирают. Пока что кэшируются такие вещи, как текст всех записей, текст всех комментов, сабджекты, а также всякие мелочи относительно этого. Но к этому добавится ещё много всего. Тот, который был запущен раньше двоих остальных, набрал уже 1.939 гигабайта из положенных двух, я волнуюсь, т.к. когда он дойдёт до двух, начнёт реально выбрасывать уже существующие данные, и кто его знает, может, там ещё какой баг притаился (один баг на "живых" данных уже был обнаружен и исправлен; правда, это не у меня в демоне был баг, а в перловом коде-клиенте, к-й Брэд написал).
Вот он подползает к пределу (см. выделенные строки):
STAT curr_items 2533938
STAT total_items 6769553
STAT bytes 2023333707
STAT curr_connections 446
STAT total_connections 64416
STAT age 24369
STAT cmd_get 17749753
STAT cmd_set 7982028
STAT get_hits 11364921
STAT get_misses 6384832
STAT bytes_read 2770032780
STAT bytes_written 8880645645
STAT limit_maxbytes 2097152000
STAT limit_maxitems 0
Hit rate у этих серверов уже поднялся до 65% примерно (это значит, что в 65% случаев они получают из кэша то, что просят, иными словами, 65% текста всех записей и комментов читаются не из базы данных и диска, а из памяти). Если никаких неприятных сюрпризов не будет, то запуск пяти-шести таких демонов должен очень значительно разгрузить серверы и очень улучшить качество и скорость работы ЖЖ (для чего всё и задумано, собственно). Так что если в течение ближайших 2-3 дней скорость и качество ЖЖ сильно улучшатся, то в этом будет главным образом моя заслуга; а если не улучшатся — моя вина, что-то не предусмотрел, значит.
Эффективность зато на высоте. Каждый из этих трёх процессов обрабатывает сейчас примерно по 400 соединений одновременно, и хоть бы что. %CPU не повышается выше 1.5% у каждого. Просто загляденье!
Писал я это дело на чистом C под Debian. Где-то за полчаса вернулись все забытые навыки письма (а не чтения, навыки чтения никуда не пропадали) на C, пальцы перестали пытаться проделывать всякие перловские штучки. Пользовался такими замечательными вещами, как epoll (такой улучшенный poll()-like интерфейс, позволяющий очень эффективно поллить сотни и тысячи соединений. Как раз благодаря ему эти 400 соединений бегут сейчас, посвистывая, а в моих тестах и тысячу шутя брал), libevent (удобная библиотека событий, поддерживающая epoll в частности), и Judy (исключительно эффективная имплементация ассоциативного массива. В несколько раз быстрее "ручных" хэш-таблиц. Очень круто. Интерфейс у неё совершенно безумный какой-то. You're in a twisted maze of bizarre macros, all alike. Но я этот безумный интерфейс обкрутил несколькими нормальными функциями, локализовав тем самым безумие).
Приятно.
Программа — memory cache daemon. Принимает TCP-подключения на определённом порту, от клиентов принимает пары ключ/значение и запоминает, а когда начинает заканчиваться память, выбрасывает наименее используемые (по принципу LRU queue. Все элементы прошиты в списке. Входят они в него с головы. Всякий раз, когда какой-то элемент запрашивается клиентом, он передвигается опять в голову. А когда надо освободить память, удаляются элементы с хвоста).
Ничего особенно сложного с алгоритмической точки зрения; суть в том, что это должно быть как можно более эффективно и быстро, и поддерживать много памяти и очень много соединений одновременно. Идея в том, что когда вебсервер пишет какую-то часто используемую информацию в базу данных, он также посылает её в memory cache, а перед чтением таких данных из базы данных — запрашивает кэш. Свободной памяти у нас не так уж и мало. Одна из машин стоит практически неиспользуемая с 12 гигабайтами (когда-то это был глобальный БД-мастер, до того, как мы перешли на кластеры полтора года назад). На ней запустим штук 5 процессов, каждому разрешим два гигабайта. На других машинах — ещё несколько, зависит от эффективности, которую ещё предстоит в точности проверить.
(идея тут в том, конечно, что кэш глобален. Кэширование в памяти одного отдельного httpd-процесса или даже одной машины-вебсервера практически ничего не даёт, за исключением небольшого количества глобальных данных (напр. юзер-интерфейса на всяких языках). Memory cache глобален в том смысле, что, хоть одновременно бегут несколько демонов на разных процессах, данный ключ всегда будет записан в конкретный сервер и прочтён оттуда же — выбор сервера происходит с помощью хэш-функции по ключу)
Брэд написал такой демон на Перле, но когда он его запустил, тот сразу начал жрать 100% CPU. Мы решили с ним, что я перепишу его на C настолько эффективно, насколько смогу. Вот я этим и занимался вчера и позавчера. Получилось вроде бы очень неплохо. Сегодня часа в 2 дня мы запустили три пробных процесса, один из них под gdb (чтобы легко было найти проблему, если грохнется). Каждому из разрешили набирать до 2 гигабайт памяти, вот с тех пор они и набирают. Пока что кэшируются такие вещи, как текст всех записей, текст всех комментов, сабджекты, а также всякие мелочи относительно этого. Но к этому добавится ещё много всего. Тот, который был запущен раньше двоих остальных, набрал уже 1.939 гигабайта из положенных двух, я волнуюсь, т.к. когда он дойдёт до двух, начнёт реально выбрасывать уже существующие данные, и кто его знает, может, там ещё какой баг притаился (один баг на "живых" данных уже был обнаружен и исправлен; правда, это не у меня в демоне был баг, а в перловом коде-клиенте, к-й Брэд написал).
Вот он подползает к пределу (см. выделенные строки):
STAT curr_items 2533938
STAT total_items 6769553
STAT bytes 2023333707
STAT curr_connections 446
STAT total_connections 64416
STAT age 24369
STAT cmd_get 17749753
STAT cmd_set 7982028
STAT get_hits 11364921
STAT get_misses 6384832
STAT bytes_read 2770032780
STAT bytes_written 8880645645
STAT limit_maxbytes 2097152000
STAT limit_maxitems 0
Hit rate у этих серверов уже поднялся до 65% примерно (это значит, что в 65% случаев они получают из кэша то, что просят, иными словами, 65% текста всех записей и комментов читаются не из базы данных и диска, а из памяти). Если никаких неприятных сюрпризов не будет, то запуск пяти-шести таких демонов должен очень значительно разгрузить серверы и очень улучшить качество и скорость работы ЖЖ (для чего всё и задумано, собственно). Так что если в течение ближайших 2-3 дней скорость и качество ЖЖ сильно улучшатся, то в этом будет главным образом моя заслуга; а если не улучшатся — моя вина, что-то не предусмотрел, значит.
Эффективность зато на высоте. Каждый из этих трёх процессов обрабатывает сейчас примерно по 400 соединений одновременно, и хоть бы что. %CPU не повышается выше 1.5% у каждого. Просто загляденье!
Писал я это дело на чистом C под Debian. Где-то за полчаса вернулись все забытые навыки письма (а не чтения, навыки чтения никуда не пропадали) на C, пальцы перестали пытаться проделывать всякие перловские штучки. Пользовался такими замечательными вещами, как epoll (такой улучшенный poll()-like интерфейс, позволяющий очень эффективно поллить сотни и тысячи соединений. Как раз благодаря ему эти 400 соединений бегут сейчас, посвистывая, а в моих тестах и тысячу шутя брал), libevent (удобная библиотека событий, поддерживающая epoll в частности), и Judy (исключительно эффективная имплементация ассоциативного массива. В несколько раз быстрее "ручных" хэш-таблиц. Очень круто. Интерфейс у неё совершенно безумный какой-то. You're in a twisted maze of bizarre macros, all alike. Но я этот безумный интерфейс обкрутил несколькими нормальными функциями, локализовав тем самым безумие).
Приятно.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
no subject
Date: 2003-05-26 12:58 pm (UTC)У нас речь идет об амазоновских кэшах, где для каждого продукта, а также для каждого offering (два или более продавца могут предлагать один и тот же продукт по разной цене и с разной стоимостью доставки), хранится его цена и различные атрибуты - аллокатор предназначен для размещения сотен тысяч и миллионов структур фиксированного размера. Размещается блок из, например, 1048576*objectSize байт, и к нему прилагается массив из 1048576 битов: занято то или иное место или не занято. Мой алгоритм позволяет легко находить незанятое место, не производя линейное сканирование по всему миллиону битов.
no subject
Date: 2003-05-26 02:26 pm (UTC)no subject
Date: 2003-05-26 03:15 pm (UTC)Пусть у нас есть битмап "нулевого уровня" из 2**20 = 1048576 битов. Нам нужно быстро находить в нем позицию произвольного нулевого бита.
2**20 битов - это 2**15 32хбитовых слов. Создадим битмап 1го уровня из 2**15 битов, таких, чтобы бит j в нем был равен 1 тогда и только тогда, когда все 32 бита в слове j в битмапе нулевого уровня равны 1. Аналогично создадим битмап 2го уровня из 2**10 битов, и битмап 3го уровня из 2**5 битов, т.е. одного слова.
Алгоритм аллокации: найти в единственном слове битмапа 3го уровня позицию произвольного ноля. Пусть это будет 11. Найти в слове 11 битмапа 2го уровня позицию произвольного ноля. Пусть это будет 30. Найти в слове 11*32+30 битмапа 1го уровня позицию произвольного ноля. Пусть это будет 19. Найти в слове (11*32+30)*32+19 битмапа 0го уровня позицию произвольного ноля. Пусть это будет 6. Свободна запись ((11*32+30)*32+19)*32+6 в блоке. Возвратим ее, но сначала сделаем следующее. Установим бит 6 в слове (11*32+30)*32+19 битмапа 0го уровня равным 1. Если слово (11*32+30)*32+19 битмапа 0го уровня равно 0xFFFFFFFF, установим бит 19 в слове 11*32+30 битмапа 1го уровня равным 1. Если слово 11*32+30 битмапа 1го уровня равно 0xFFFFFFFF, установим бит 30 в слове 11 битмапа 2го уровня равным 1. Если слово 11 битмапа 2го уровня равно 0xFFFFFFFF, установим бит 11 в единственном слове битмапа 3го уровня равным 1.
Алгоритм деаллокации: из позиции в блоке определяется индекс, и все вышеупомянутые биты устанавливаются равными 0.
Найти в 32хбитном слове нулевой бит можно ассемблерной инструкцией BSF, хотя сейчас я использую банальный цикл.
Allocation
Date: 2003-05-26 03:22 pm (UTC)Re: Allocation
Date: 2003-05-26 03:59 pm (UTC)I'm not sure Ilya's algorithm is better in this regard, though.
Уточнение
Date: 2003-05-28 06:25 am (UTC)Но он медленее (в среднем 16 сравнений и всегда три поиска бита vs одно разыменование) и занимает 12.5% лишней памяти по сравнению с обычным FreeList-ом.
no subject
Date: 2003-05-26 05:02 pm (UTC)а меж тем
алгоритм Бонвика (http://citeseer.nj.nec.com/bonwick94slab.html)
уж 10 лет скоро отметит. оригинальный описан и у
Vahalia, и в Solaris Internals, и реализован в ядрах Солариса, Линукса (вроде с глупостями, не смотрел) и т.д.
кое-что
здесь, но лучше всего найти последние статьи Бонвика - не знаю где, помимо Sun.
и еще стоит посмотреть работы J.Liedtke по кэш-серверу (когда он в IBM TJWatson был) (http://linux-mm.org/mm-links.shtml)
no subject
Date: 2003-05-26 05:09 pm (UTC)Extending the Slab Allocator to Many CPUs and Arbitrary Resources
Jeff Bonwick, Sun Microsystems
Jonathan Adams, California Institute of Technology
html (http://www.usenix.org/events/usenix01/full_papers/bonwick/bonwick_html/)
pdf (http://www.parrotcode.org/talks/vmem.pdf)
no subject
Date: 2003-05-28 10:56 am (UTC)(Если вы работаете в большой компании, то ваш IP скорее всего заблокирован в USPTO. Используйте вот этот link). :)
Re:
Date: 2003-05-28 11:26 am (UTC)no subject
Date: 2003-06-19 06:01 am (UTC)Почему??
no subject
Date: 2003-06-19 07:02 am (UTC)Если работаешь в большой компании, то наверняка твой доступ через firewall и достаточно людей уже сегодня (на этой неделе?) посмотрели патенты.
Re:
Date: 2003-06-19 07:03 am (UTC)no subject
Date: 2003-06-19 07:09 am (UTC)Одно из моих любимых высказываний (не пмню первоисточник): "Assumption is the mother of all fuckups".