conjuncte (conjuncte) wrote,
conjuncte
conjuncte

Любопытные ссылки

Кросс-браузерная идентификация пользователей с точностью до 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.
Tags: линки
Subscribe

Posts from This Journal “линки” Tag

  • Библиотеки Стэнфордского университета

    Набрел в сети на роскошную библиотеку Стэнфордского университета, где хранятся цифровые копии уникальных документов, рисунков, карт, аудио и…

  • Логика

    Грегор Рейш. «Логика представляет её центральные темы»

  • Turing Award 2016

    Сэр Тимоти Джон Бернерс-Ли получит премию Тьюринга за 2016-ый год за изобретение WWW, за наше всё. Вашингтон Пост на хвосте принес.

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments