Любопытные ссылки
Кросс-браузерная идентификация пользователей с точностью до 99,24% (.pdf)
Тест: можно ли отследить ваш браузер?
Домашняя страничка Лэсли Лэмпорта, лауреата премии Тюринга 2013 года за фундаментальный вклад в теорию и практику распределённых и взаимодействующих систем. Его книгу "Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers" (.pdf) можно скачать бесплатно с сайта Microsoft. Язык TLA+ использовали инженеры Amazon для поиска ошибок в дизайне сервисов S3 и DynamoDB (.pdf).
Время, часы и упорядочивание событий в распределенной системе (.pdf). Статья Лэсли Лэмпорта, одна из наиболее часто упоминаемых работ в истории информатики (Computer Science). Опубликована, когда автору было 37 лет. Красивое сочетания простых и логичных рассуждений, доступной математики и фундаментальных свойств реального мира. Словил тот самый "ага!-момент" во время чтения. Удивительно простое, но вместе с тем гениальное наблюдение: если а -- это событие передачи сообщения процессом A, а b -- это события получения этого самого сообщения системой B, то а случилось перед b. Отсюда все начинается и следует -- и алгоритм синхронизации часов, и распределенный алгоритм работы с общим ресурсом, и принципиальные ограничения.
Spanner: глобально распределенная база данных Гугла. (.pdf) В статье отчетливо видно влияние работы Лэмпорта. Из списка литературы узнал, что Барбара Лисков тоже занималась вопросами распределенных вычислений. До этого я знал её как человека, который ввел понятие ADT - абстрактных типов данных (.pdf) - ядра ООП и знаменитый принцип подстановки Лисков, она же буква L в SOLID. В 2000-ом году, каких-то 17 (!!!) лет назад, Лисков опубликовала книгу по объектно-ориентированному дизайну с использованием Java: "Program development in Java: Abstraction, specification and object-oriented design" (отзывы). Не читал, но в список занес.
JMH: библиотека для микро-бенчмарков. Входит в состав OpenJDK.
Тест: можно ли отследить ваш браузер?
Домашняя страничка Лэсли Лэмпорта, лауреата премии Тюринга 2013 года за фундаментальный вклад в теорию и практику распределённых и взаимодействующих систем. Его книгу "Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers" (.pdf) можно скачать бесплатно с сайта Microsoft. Язык TLA+ использовали инженеры Amazon для поиска ошибок в дизайне сервисов S3 и DynamoDB (.pdf).
Время, часы и упорядочивание событий в распределенной системе (.pdf). Статья Лэсли Лэмпорта, одна из наиболее часто упоминаемых работ в истории информатики (Computer Science). Опубликована, когда автору было 37 лет. Красивое сочетания простых и логичных рассуждений, доступной математики и фундаментальных свойств реального мира. Словил тот самый "ага!-момент" во время чтения. Удивительно простое, но вместе с тем гениальное наблюдение: если а -- это событие передачи сообщения процессом A, а b -- это события получения этого самого сообщения системой B, то а случилось перед b. Отсюда все начинается и следует -- и алгоритм синхронизации часов, и распределенный алгоритм работы с общим ресурсом, и принципиальные ограничения.
Spanner: глобально распределенная база данных Гугла. (.pdf) В статье отчетливо видно влияние работы Лэмпорта. Из списка литературы узнал, что Барбара Лисков тоже занималась вопросами распределенных вычислений. До этого я знал её как человека, который ввел понятие ADT - абстрактных типов данных (.pdf) - ядра ООП и знаменитый принцип подстановки Лисков, она же буква L в SOLID. В 2000-ом году, каких-то 17 (!!!) лет назад, Лисков опубликовала книгу по объектно-ориентированному дизайну с использованием Java: "Program development in Java: Abstraction, specification and object-oriented design" (отзывы). Не читал, но в список занес.
JMH: библиотека для микро-бенчмарков. Входит в состав OpenJDK.