bordeaux-threads-devel November 2010

bordeaux-threads-devel@common-lisp.net

2 participants
1 discussions

[Bordeaux-threads-devel] Clarifying some behavior in the documentation
by Vladimir Sedach 01 Dec '10

01 Dec '10

Hello, I've encountered two cases that affect behavior of code but aren't clarified in the documentation: 1. At least one implementation (SBCL) requires that the lock on which condition-wait is called is to be held by the thread that calls condition-notify on the corresponding CV. This should be mentioned in the documentation as a requirement. 2. It is undefined what happens when release-lock is called inside a with-lock-held on the same lock. SBCL and Clozure appear to handle this "properly," although I think the documented behavior should be the same as with regular release-lock ("It is an error to call this unless the lock has previously been acquired (and not released) by the same thread," that is, it should be an error to call release-lock inside a with-lock-held). Thank you, Vladimir

2 3

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

bordeaux-threads-devel November 2010