[Chicken-hackers] some patches for scheduler and srfi-18

[Jörg F . Wittenberger]

Hi all,

attached several patches I owe you.

Patches 0001-0004 should apply on chicken 4.13, i.e. 68eeaaef3fc.

Patches 0005 and 0006 are against master (9f55823852).

Patches 0007 and 0008 are against srfi-18 egg source.


0002 - Fix 1564: This establishes the invariant that slot #11, the
blocking object and thread being in the relevant blocking queue are
always in sync.  This eases reasoning about the code and fixes the
bug.  Added advantage: Having a single spot to clear blocking objects
might allow eggs to introduce additional objects to block on.

0003 - Test case regarding abandoned mutex handling: This warrents
doube checking wrt. srfi-18.  The test checks for my understanding of
srfi-18 and fails without 0004 applied.

0004- Change abandoned mutexs state according to srfi-18: This passes
the test cases added by 0003.  Additionally it establishes a similar
invariant as 0002 wrt. slot #4 and the timeout queue.  Contains
consistency checks to be phased out after testing.


Best

/Jörg

0001-Add-test-case-catching-1564-almost-for-sure.patch
Description: 0001-Add-test-case-catching-1564-almost-for-sure.patch

0002-Fix-1564-internal-scheduler-error.patch
Description: 0002-Fix-1564-internal-scheduler-error.patch

0003-Add-test-case-for-properly-abondons-of-mutexs.patch
Description: 0003-Add-test-case-for-properly-abondons-of-mutexs.patch

0004-Change-abandoned-mutexs-state-according-to-srfi-18.patch
Description: 0004-Change-abandoned-mutexs-state-according-to-srfi-18.patch

0005-Fix-1564-internal-scheduler-error.patch
Description: 0005-Fix-1564-internal-scheduler-error.patch

0006-Modifiy-internals-to-line-up-with-fixes-in-srfi-18.patch
Description: 0006-Modifiy-internals-to-line-up-with-fixes-in-srfi-18.patch

0007-Add-test-cases-and-make-test-effective.patch
Description: 0007-Add-test-cases-and-make-test-effective.patch

0008-Change-abandoned-mutexs-state-according-to-srfi-18.patch
Description: 0008-Change-abandoned-mutexs-state-according-to-srfi-18.patch