Logo video2dn
  • Сохранить видео с ютуба
  • Категории
    • Музыка
    • Кино и Анимация
    • Автомобили
    • Животные
    • Спорт
    • Путешествия
    • Игры
    • Люди и Блоги
    • Юмор
    • Развлечения
    • Новости и Политика
    • Howto и Стиль
    • Diy своими руками
    • Образование
    • Наука и Технологии
    • Некоммерческие Организации
  • О сайте

Скачать или смотреть Using TLA+ to Fix a Very Difficult glibc Bug - Malte Skarupke - C++Now 2025

  • CppNow
  • 2025-10-06
  • 2391
Using TLA+ to Fix a Very Difficult glibc Bug - Malte Skarupke - C++Now 2025
bugTLA+glibclinuxtechnologytalkpresentationtutorialc programmingdebugdebuggingdebuggercomputer programmingSoftware Developmentconcurrencyprogramming languagein c++in cC++ Tutorialc++ programming tutorialc codetech talkcoding coursewhat is debuggingsoftware development processDebugging toolsCode debuggingDebug codeconference talkprogramming classhow to debugsoftware development methodologiesDebugging codein cppbugs
  • ok logo

Скачать Using TLA+ to Fix a Very Difficult glibc Bug - Malte Skarupke - C++Now 2025 бесплатно в качестве 4к (2к / 1080p)

У нас вы можете скачать бесплатно Using TLA+ to Fix a Very Difficult glibc Bug - Malte Skarupke - C++Now 2025 или посмотреть видео с ютуба в максимальном доступном качестве.

Для скачивания выберите вариант из формы ниже:

  • Информация по загрузке:

Cкачать музыку Using TLA+ to Fix a Very Difficult glibc Bug - Malte Skarupke - C++Now 2025 бесплатно в формате MP3:

Если иконки загрузки не отобразились, ПОЖАЛУЙСТА, НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если у вас возникли трудности с загрузкой, пожалуйста, свяжитесь с нами по контактам, указанным в нижней части страницы.
Спасибо за использование сервиса video2dn.com

Описание к видео Using TLA+ to Fix a Very Difficult glibc Bug - Malte Skarupke - C++Now 2025

https://www.cppnow.org​
---

Using TLA+ to Fix a Very Difficult glibc Bug - Malte Skarupke - C++Now 2025
---

The glibc condition variable (meaning std::condition_variable) was subtly broken for years, breaking Python, C#, OCaml and countless programs. There were various attempted fixes but nobody seemed to fully understand this complex implementation of condition variables. I used the formal specification language TLA+ to model glibc condition variables and to reproduce the bug, figure out which of the patches actually worked (not the one everyone was using) and then used my TLA+ implementation to reason about the working patch, allowing me to clean it up and simplify it. I will show how you can take complex real world C code and do a straightforward translation into TLA+. It really is quite a pleasure to use since it has a simple model of "just run all interleavings of all threads" that makes it easy to translate code and to reason about what simplifications are necessary.
---

Slides: https://docs.google.com/presentation/...

Join think-cell as a C++ Developer and work on cutting-edge challenges with a focus on code excellence, innovation, and working alongside an international team of experts — apply now to be part of a team shaping the future of business presentations. https://www.think-cell.com/en/career
---

Malte Skarupke

I do formal verification of glibc for fun, or write a new sorting algorithm. At home I like working on algorithms, at work I tend to work on testing or performance.

I have 12 years of industry experience. For the last five years I have worked in finance, writing Ocaml, Python and CUDA. Before that I wrote C++ for 7 years in video games.

I gave two previous talks, one on generalized radix sorting in 2017 and one on fast hash tables in 2018. I blog at www.probablydance.com


---

C++Now 2026 - 27th April - 1st May
C++Now is an annual onsite international C++ programming and coding conference held in Aspen, Colarado. For all C++ developers, C++ software engineers and those involved with the C++ language, CppNow provides an indepth and technical content provided by the best and brightest C++ experts of the C++ world.
Annual CppNow Conference - https://www.cppnow.org
  / cppnow​  
  / cppnow  
  / cppnow  
  / cppnow  
https://mastodon.social/@cppnow
Video Sponsors: think-cell and Bloomberg
---

Videos Filmed & Edited By Bash Films: https://bashfilms.com/
YouTube Channel Managed & Optimized By Digital Medium Ltd: https://events.digital-medium.co.uk
---

#debugging #debug #boost #cpp #cplusplus #programming #coding #softwareengineering #softwaredeveloper #code #cplusplusprogramming #cplusplustutorial #cplus #softwaredevelopment

Комментарии

Информация по комментариям в разработке

Похожие видео

  • О нас
  • Контакты
  • Отказ от ответственности - Disclaimer
  • Условия использования сайта - TOS
  • Политика конфиденциальности

video2dn Copyright © 2023 - 2025

Контакты для правообладателей [email protected]