1. 20 Sep, 2019 1 commit
    • Michael Hinton's avatar
      Fix issue where GPU devices are denied access when MPS is enabled · 1cd43fce
      Michael Hinton authored
      The problem was that MPS and GPU plugins each have separate device
      file records that point to the same file (duplicate device files are
      normally rejected in gres.conf, so this is a special case). So when a
      comprehensive GRES device list was assembled from each plugin in
      gres_plugin_get_allocated_devices(), these files were being
      double-counted, causing the issue.
      
      The solution is to make this comprehensive GRES list unique by
      omitting records with duplicate file paths.
      
      Bug 7630
      1cd43fce
  2. 19 Sep, 2019 2 commits
  3. 16 Sep, 2019 5 commits
  4. 12 Sep, 2019 5 commits
  5. 10 Sep, 2019 1 commit
  6. 07 Sep, 2019 1 commit
  7. 06 Sep, 2019 4 commits
  8. 05 Sep, 2019 1 commit
  9. 04 Sep, 2019 3 commits
  10. 03 Sep, 2019 8 commits
  11. 30 Aug, 2019 3 commits
  12. 29 Aug, 2019 6 commits