From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.99.167.75 with SMTP id w11mr4966894pgo.102.1487469129169; Sat, 18 Feb 2017 17:52:09 -0800 (PST) X-Received: by 10.157.52.34 with SMTP id v31mr1198409otb.9.1487469129088; Sat, 18 Feb 2017 17:52:09 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!1.eu.feeder.erje.net!feeder.erje.net!2.us.feeder.erje.net!newspeer1.nac.net!border2.nntp.dca1.giganews.com!nntp.giganews.com!e137no1317257itc.0!news-out.google.com!15ni700itm.0!nntp.google.com!e137no1324417itc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sat, 18 Feb 2017 17:52:08 -0800 (PST) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=184.68.184.90; posting-account=1A2ZjwoAAACv32zkEz8vnPUIVPXwW28q NNTP-Posting-Host: 184.68.184.90 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <73467635-3b9b-4abd-933b-3ff2af6b5b4b@googlegroups.com> Subject: Can anyone help debug my lock-free queue based on "Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms"? From: stevenselectronicmail@gmail.com Injection-Date: Sun, 19 Feb 2017 01:52:09 +0000 Content-Type: text/plain; charset=UTF-8 Xref: news.eternal-september.org comp.lang.ada:33364 Date: 2017-02-18T17:52:08-08:00 List-Id: The code is here https://sstewartgallus.com/git?p=linted.git;a=blob;f=src/ada-core/src/linted-lock_free_queue.adb;h=63ce5dbce94ab48d0c22d6ca665db6320bbd0f40;hb=ef9a8d8849904c923e6f36a85a8d756035f2a8b0