From mboxrd@z Thu Jan  1 00:00:00 1970
From: erik quanstrom <quanstro@quanstro.net>
Date: Mon, 19 May 2014 13:34:33 -0400
To: 9fans@9fans.net
Message-ID: <ac0a74a8fd1972cd1c72c7b5983fdc4e@ladd.quanstro.net>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: [9fans] waitfree
Topicbox-Message-UUID: e88d9450-ead8-11e9-9d60-3106f5b1d025

i've been thinking about ainc() and for the amd64 implementation,

	TEXT ainc(SB), 1, $-4			/* int ainc(int*) */
		MOVL	$1, AX
		LOCK; XADDL AX, (RARG)
		ADDL	$1, AX
		RET

does anyone know if the architecture says this is wait-free?
this boils down to exactly how LOCK works, and i can't find
a good-enough definition.  i tend to think that it might not be.

- erik