{"paper":{"title":"Hardware extensions to make lazy subscription safe","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Alex Kogan, Dave Dice, Mark Moir, Timothy L. Harris, Yossi Lev","submitted_at":"2014-07-23T22:01:59Z","abstract_excerpt":"Transactional Lock Elision (TLE) uses Hardware Transactional Memory  (HTM) to execute unmodified critical sections concurrently, even if  they are protected by the same lock. To ensure correctness, the  transactions used to execute these critical sections \"subscribe\"  to the lock by reading it and checking that it is available. A  recent paper proposed using the tempting \"lazy subscription\" optimization for a similar technique in a different context, namely transactional systems that use a single global lock (SGL) to protect  all transactional data.  We identify several pitfalls that show that"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.6968","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}