How Can Package Managers Handle ABI (In)compatibility in C++?

on YouTube ↗58m

" summary

Compares how Conan, vcpkg and Spack handle ABI, demonstrates a solver rewrite using clingo (answer set programming) that reasons over compiler, target and option metadata instead of coarse semver, and replaces brittle hash-only reuse with metadata-aware matching of installed binaries. Claims this reduces rebuilds from dozens to a handful on realistic HPC stacks, shows a working concretizer and binary-reuse prototype, and proposes adding detailed symbol/type info to scale ABI analysis beyond ad hoc version constraints.

AI-written summary · about

" chapters (33)

1. 0:00Introduction
2. 1:08Software Dependencies
3. 2:57Studies on Software Dependencies
4. 4:40JetBrains Survey
5. 5:35Why Cant We Have Nice Package Managers
6. 6:46Compatibility Model
7. 7:30C Builds
8. 8:12What is ABI
9. 9:08Typical ABI model
10. 10:48Library ABI models
11. 12:33Dependency management
12. 16:27How can package managers help
13. 17:19What is a package manager
14. 18:53Build systems
15. 20:50Solving for versions
16. 22:23A more complex example
17. 23:46Build everything from source
18. 26:31Dependency resolution
19. 27:10Package hashes
20. 28:23Package ids
21. 29:29Package id customization
22. 31:58Binary reuse
23. 33:17Use cases
24. 39:32Dependency Resolver
25. 41:11Constraint
26. 43:57Virtual Packages
27. 44:36Learning Curve
28. 46:54major simplifications
29. 47:58package metadata
30. 49:49reuse
31. 50:47detail
32. 51:17solver
33. 52:06semantic versioning

" related talks

• 37mCross-Building Strategies in the Age of C++ Package ManagersLuis Caro Campos · CppCon 2022
• 01h 11mThe State of Package Management in C++Mathieu Ropert · ACCU 2019
• 01h 01m10 Problems Large Companies Have Managing C++ Dependencies and How to Solve ThemAugustin Popa · CppCon 2024
• 01h 03mC++ Package Manager - C++ Dependencies Don't Have To Be Painful!Augustin Popa · CppCon 2022
• 01h 12mA Common Package Specification: Getting Build Tools to Talk to Each Other: Lessons Learned From Making Thousands of Binaries Consumable by Any Build SystemDiego Rodriguez-Losada Gonzalez · CppCon 2023
• 42mUsing vcpkg in angerMartin Hořeňovský · NDC TechTown 2024
• 01h 08m“Faster Delivery of Large C/C++ Projects with..."D. Rodriguez-Losada Gonzalez · CppCon 2017
• 01h 01mGit, CMake, Conan - How to ship and reuse our C++ projectsMateusz Pusz · CppCon 2018