Skip to content
Snippets Groups Projects
  1. Apr 10, 2025
  2. Apr 09, 2025
  3. Apr 08, 2025
  4. Mar 31, 2025
  5. Mar 28, 2025
  6. Mar 26, 2025
  7. Mar 19, 2025
  8. Mar 14, 2025
  9. Mar 11, 2025
    • vlorentz's avatar
      ordered_swhids: Fix unsound concurrent writes to a shared array · 8d8b11d5
      vlorentz authored
      In practice this didn't seem to be an issue thanks to the array being large enough that
      it is unlikely two threads write to the same memory page at the same time (up to
      cache coherency); but we should not count on that.
      
      This is probably slower, as SWHIDs are 22 bytes, and x86_64 can't lock regions over
      16 bytes
      8d8b11d5
  10. Mar 10, 2025
  11. Mar 07, 2025
  12. Mar 05, 2025
  13. Feb 27, 2025
  14. Feb 25, 2025
  15. Feb 24, 2025
  16. Feb 19, 2025
  17. Feb 17, 2025
  18. Feb 13, 2025
  19. Feb 11, 2025
  20. Feb 07, 2025
Loading