From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Andrew Tropin Newsgroups: gmane.lisp.guile.devel Subject: [PATCH v3] Add atomic-box-update! function to (ice-9 atomic) Date: Thu, 24 Aug 2023 19:38:39 +0400 Message-ID: <20230824154213.14514-1-andrew@trop.in> References: <87jzvztzi3.fsf@trop.in> Mime-Version: 1.0 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="10105"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Andrew Tropin To: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Thu Aug 24 17:43:38 2023 Return-path: Envelope-to: guile-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1qZCUk-0002TO-4s for guile-devel@m.gmane-mx.org; Thu, 24 Aug 2023 17:43:38 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qZCUK-0001FF-9V; Thu, 24 Aug 2023 11:43:12 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qZCUJ-0001F6-FC for guile-devel@gnu.org; Thu, 24 Aug 2023 11:43:11 -0400 Original-Received: from relay8-d.mail.gandi.net ([2001:4b98:dc4:8::228]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qZCUH-0005fn-3V for guile-devel@gnu.org; Thu, 24 Aug 2023 11:43:11 -0400 Original-Received: by mail.gandi.net (Postfix) with ESMTPSA id 35D171BF204; Thu, 24 Aug 2023 15:43:03 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=trop.in; s=gm1; t=1692891784; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=2m/nWZnHG3d73CIraL5Vph5xFP3cGpanP38pgAY2GRs=; b=JGgLNQPV/UaLIR3J5+V4dlRwgPn17cOPe4uHc3HwZM3UiGkFuZQNmWsRdRuZW5QgMDR9RH 3nO9sAPHd1ZiOmygnhvJR5GLr7mwc0nmzidVjrLKlgLI5TeQyYKRE3sZqbNo6MoKoAKqeW vmslbGAdxs6BtYQeqb35xqwCIV8v21OT5FwqKX8SwwIlQLaL7dM5GBf1cOtUUEtQLCMwlW ermI84uifmwevFpXFAjAIFLpDEOrHsMtN6ZUJ3yjTwLZMTEJfCGNF00fqyPjXmFtRUUWtu AQfFMaX4M712RNPQKoBHsK+mM3Dmm7Jkng6iltPMdPVi6GwLdulQnzkTF+239Q== X-Mailer: git-send-email 2.41.0 In-Reply-To: <87jzvztzi3.fsf@trop.in> X-GND-Sasl: andrew@trop.in Received-SPF: pass client-ip=2001:4b98:dc4:8::228; envelope-from=andrew@trop.in; helo=relay8-d.mail.gandi.net X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.devel:21923 Archived-At: * module/ice-9/atomic.scm (atomic-box-update!): New variable. --- Changes since v2: 1. Removed unecessary atomic-box-ref. 2. Update docstring to imperative mood. module/ice-9/atomic.scm | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/module/ice-9/atomic.scm b/module/ice-9/atomic.scm index 2a8af901d..aaa7238fc 100644 --- a/module/ice-9/atomic.scm +++ b/module/ice-9/atomic.scm @@ -25,7 +25,8 @@ atomic-box-ref atomic-box-set! atomic-box-swap! - atomic-box-compare-and-swap!)) + atomic-box-compare-and-swap! + atomic-box-update!)) (eval-when (expand load eval) (load-extension (string-append "libguile-" (effective-version)) @@ -36,3 +37,14 @@ (add-interesting-primitive! 'atomic-box-set!) (add-interesting-primitive! 'atomic-box-swap!) (add-interesting-primitive! 'atomic-box-compare-and-swap!)) + +(define (atomic-box-update! box proc) + "Atomically update the value of BOX to (PROC BOX-VALUE) and return the +new value. PROC may be called multiple times, and thus PROC should be +free of side effects." + (let loop ((old-value (atomic-box-ref box))) + (let* ((new-value (proc old-value proc-args)) + (cas-value (atomic-box-compare-and-swap! box old-value new-value))) + (if (eq? old-value cas-value) + new-value + (loop cas-value))))) -- 2.41.0