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 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 0 comments