Test output for synch [ok]

Testing time: 29s

'/home/chicken/salmonella/build/salmonella-run-publish/chicken/bin/csi' -script run.scm < /dev/null 2>&1
*** csi ***

-- testing Synch Dyn ---------------------------------------------------------

    -- testing synch exit ----------------------------------------------------
    unlocked ......................................................... [ PASS]
    reuse mutex ...................................................... [ PASS]
    2 tests completed in 1/25 seconds.
    2 out of 2 (100%) tests passed.
    -- done testing synch exit -----------------------------------------------


    -- testing synch exception -----------------------------------------------
    exn .............................................................. [ PASS]
    unlocked ......................................................... [ PASS]
    reuse mutex ...................................................... [ PASS]
    3 tests completed in 13/250 seconds.
    3 out of 3 (100%) tests passed.
    -- done testing synch exception ------------------------------------------


    -- testing record synch --------------------------------------------------
    record-synch ..................................................... [ PASS]
    1 test completed in 37/1000 seconds.
    1 out of 1 (100%) test passed.
    -- done testing record synch ---------------------------------------------

hash-table count = 4
hash-table count = 6
hash-table count = 8
hash-table count = 10
hash-table count = 12
hash-table count = 14
hash-table count = 16
hash-table count = 18
limit reached
    -- done testing hash-table synch -----------------------------------------

4 subgroups completed in 36/125 seconds.
4 out of 4 (100%) subgroups passed.
-- done testing Synch Dyn ----------------------------------------------------


*** csc "-inline-global -specialize -optimize-leaf-routines -clustering -lfa2 -local -inline -no-trace -no-lambda-info -unsafe" ***

-- testing Synch Dyn ---------------------------------------------------------

    -- testing synch exit ----------------------------------------------------
    unlocked ......................................................... [ PASS]
    reuse mutex ...................................................... [ PASS]
    2 tests completed in 0 seconds.
    2 out of 2 (100%) tests passed.
    -- done testing synch exit -----------------------------------------------


    -- testing synch exception -----------------------------------------------
    unlocked ......................................................... [ PASS]
    reuse mutex ...................................................... [ PASS]
    2 tests completed in 0 seconds.
    2 out of 2 (100%) tests passed.
    -- done testing synch exception ------------------------------------------


    -- testing record synch --------------------------------------------------
    record-synch ..................................................... [ PASS]
    1 test completed in 0 seconds.
    1 out of 1 (100%) test passed.
    -- done testing record synch ---------------------------------------------

    exn .............................................................. [ PASS]
hash-table count = 2
hash-table count = 4
hash-table count = 6
hash-table count = 8
hash-table count = 10
hash-table count = 12
hash-table count = 14
hash-table count = 16
hash-table count = 18
limit reached
    -- done testing hash-table synch -----------------------------------------

4 subgroups completed in 1/100 seconds.
4 out of 4 (100%) subgroups passed.
-- done testing Synch Dyn ----------------------------------------------------

*** csi ***

-- testing Synch Exn ---------------------------------------------------------

    -- testing synch exit ----------------------------------------------------
    eval'ed is locked ................................................ [ PASS]
    eval'ed cannot reuse mutex ....................................... [ PASS]
    2 tests completed in 53/1000 seconds.
    2 out of 2 (100%) tests passed.
    -- done testing synch exit -----------------------------------------------


    -- testing synch exception -----------------------------------------------
    exn .............................................................. [ PASS]
    unlocked ......................................................... [ PASS]
    reuse mutex ...................................................... [ PASS]
    3 tests completed in 33/500 seconds.
    3 out of 3 (100%) tests passed.
    -- done testing synch exception ------------------------------------------


    -- testing record synch --------------------------------------------------
    record-synch ..................................................... [ PASS]
    1 test completed in 23/500 seconds.
    1 out of 1 (100%) test passed.
    -- done testing record synch ---------------------------------------------

hash-table count = 2
hash-table count = 4
hash-table count = 6
hash-table count = 8
hash-table count = 10
hash-table count = 12
hash-table count = 14
hash-table count = 16
hash-table count = 18
limit reached
    -- done testing hash-table synch -----------------------------------------

4 subgroups completed in 353/1000 seconds.
4 out of 4 (100%) subgroups passed.
-- done testing Synch Exn ----------------------------------------------------


*** csc "-inline-global -specialize -optimize-leaf-routines -clustering -lfa2 -local -inline -no-trace -no-lambda-info -unsafe" ***

-- testing Synch Exn ---------------------------------------------------------

    -- testing synch exit ----------------------------------------------------
    compiled is unlocked ............................................. [ PASS]
    compiled can reuse mutex ......................................... [ PASS]
    2 tests completed in 1/1000 seconds.
    2 out of 2 (100%) tests passed.
    -- done testing synch exit -----------------------------------------------


    -- testing synch exception -----------------------------------------------
    unlocked ......................................................... [ PASS]
    reuse mutex ...................................................... [ PASS]
    2 tests completed in 0 seconds.
    2 out of 2 (100%) tests passed.
    -- done testing synch exception ------------------------------------------


    -- testing record synch --------------------------------------------------
    record-synch ..................................................... [ PASS]
    1 test completed in 1/1000 seconds.
    1 out of 1 (100%) test passed.
    -- done testing record synch ---------------------------------------------

    exn .............................................................. [ PASS]
hash-table count = 2
hash-table count = 4
hash-table count = 6
hash-table count = 8
hash-table count = 10
hash-table count = 12
hash-table count = 14
hash-table count = 16
hash-table count = 18
limit reached
    -- done testing hash-table synch -----------------------------------------

4 subgroups completed in 1/100 seconds.
4 out of 4 (100%) subgroups passed.
-- done testing Synch Exn ----------------------------------------------------

*** csi ***

-- testing Synch DynExn ------------------------------------------------------

    -- testing synch exit ----------------------------------------------------
    unlocked ......................................................... [ PASS]
    reuse mutex ...................................................... [ PASS]
    2 tests completed in 11/200 seconds.
    2 out of 2 (100%) tests passed.
    -- done testing synch exit -----------------------------------------------


    -- testing synch exception -----------------------------------------------
    exn .............................................................. [ PASS]
    unlocked ......................................................... [ PASS]
    reuse mutex ...................................................... [ PASS]
    3 tests completed in 9/125 seconds.
    3 out of 3 (100%) tests passed.
    -- done testing synch exception ------------------------------------------


    -- testing record synch --------------------------------------------------
    record-synch ..................................................... [ PASS]
    1 test completed in 47/1000 seconds.
    1 out of 1 (100%) test passed.
    -- done testing record synch ---------------------------------------------

hash-table count = 4
hash-table count = 6
hash-table count = 8
hash-table count = 10
hash-table count = 12
hash-table count = 14
hash-table count = 16
hash-table count = 18
limit reached
    -- done testing hash-table synch -----------------------------------------

4 subgroups completed in 367/1000 seconds.
4 out of 4 (100%) subgroups passed.
-- done testing Synch DynExn -------------------------------------------------


*** csc "-inline-global -specialize -optimize-leaf-routines -clustering -lfa2 -local -inline -no-trace -no-lambda-info -unsafe" ***

-- testing Synch DynExn ------------------------------------------------------

    -- testing synch exit ----------------------------------------------------
    unlocked ......................................................... [ PASS]
    reuse mutex ...................................................... [ PASS]
    2 tests completed in 1/1000 seconds.
    2 out of 2 (100%) tests passed.
    -- done testing synch exit -----------------------------------------------


    -- testing synch exception -----------------------------------------------
    unlocked ......................................................... [ PASS]
    reuse mutex ...................................................... [ PASS]
    2 tests completed in 0 seconds.
    2 out of 2 (100%) tests passed.
    -- done testing synch exception ------------------------------------------


    -- testing record synch --------------------------------------------------
    record-synch ..................................................... [ PASS]
    1 test completed in 0 seconds.
    1 out of 1 (100%) test passed.
    -- done testing record synch ---------------------------------------------

    exn .............................................................. [ PASS]
hash-table count = 2
hash-table count = 4
hash-table count = 6
hash-table count = 8
hash-table count = 10
hash-table count = 12
hash-table count = 14
hash-table count = 16
hash-table count = 18
limit reached
    -- done testing hash-table synch -----------------------------------------

4 subgroups completed in 9/1000 seconds.
4 out of 4 (100%) subgroups passed.
-- done testing Synch DynExn -------------------------------------------------

*** csi ***

-- testing Synch Examples ----------------------------------------------------

    -- testing Synch Genny ---------------------------------------------------
    locked ........................................................... [ PASS]

-- testing Synch Examples ----------------------------------------------------

-- testing Synch Examples ----------------------------------------------------

-- testing Synch Examples ----------------------------------------------------
    locked ........................................................... [ PASS]
    locked ........................................................... [ PASS]
    locked ........................................................... [ PASS]
    locked ........................................................... [ PASS]
    locked ........................................................... [ PASS]
    ran to end ....................................................... [ PASS]
    unlocked ......................................................... [ FAIL]
        expected not-abandoned but got not-owned
        (mutex-state mx1)
    8 tests completed in 1/500 seconds.
    1 failure (25/2%).
    7 out of 8 (175/2%) tests passed.
    -- done testing Synch Genny ----------------------------------------------


    -- testing Genny ---------------------------------------------------------
    ran to end ....................................................... [ PASS]
    1 test completed in 1/500 seconds.
    1 out of 1 (100%) test passed.
    -- done testing Genny ----------------------------------------------------


    -- testing Dynamic Context -----------------------------------------------
    ran to end ....................................................... [ PASS]
    1 test completed in 1/500 seconds.
    1 out of 1 (100%) test passed.
    -- done testing Dynamic Context ------------------------------------------


    -- testing Synch Dynamic Context (Early Exit Handler Call) ---------------
    unlocked (Way Too Early) ......................................... [ PASS]
    unlocked (Way Too Early) ......................................... [ PASS]
    unlocked (Way Too Early) ......................................... [ PASS]
    unlocked (Way Too Early) ......................................... [ PASS]
    unlocked (Way Too Early) ......................................... [ PASS]
    ran to end ....................................................... [ PASS]
    unlocked ......................................................... [ PASS]
    7 tests completed in 3/1000 seconds.
    7 out of 7 (100%) tests passed.
    -- done testing Synch Dynamic Context (Early Exit Handler Call) ----------

4 subgroups completed in 71/250 seconds.
3 out of 4 (75%) subgroups passed.
-- done testing Synch Examples -----------------------------------------------

*** Tests Will Fail ***
Which depends on how threads are scheduled.

Shows a reasonable use of an exit continuation
breaks the implied "isolation".

Need to know what is being synch'ed.
Coroutine Generators OK, Dynamic-Lambda, not OK.

*** csc "-inline-global -specialize -optimize-leaf-routines -clustering -lfa2 -local -inline -no-trace -no-lambda-info -unsafe" ***

-- testing Synch Examples ----------------------------------------------------

-- testing Synch Examples ----------------------------------------------------

    -- testing Synch Genny ---------------------------------------------------
    locked ........................................................... [ PASS]

-- testing Synch Examples ----------------------------------------------------

-- testing Synch Examples ----------------------------------------------------
    locked ........................................................... [ PASS]
    locked ........................................................... [ PASS]
    locked ........................................................... [ PASS]
    locked ........................................................... [ PASS]

    -- testing Genny ---------------------------------------------------------
    ran to end ....................................................... [ PASS]
    1 test completed in 1/1000 seconds.
    1 out of 1 (100%) test passed.
    -- done testing Genny ----------------------------------------------------

    locked ........................................................... [ PASS]
    ran to end ....................................................... [ PASS]
    unlocked ......................................................... [ FAIL]
        expected not-abandoned but got not-owned
        (mutex-state mx1)
    8 tests completed in 1/500 seconds.
    1 failure (25/2%).
    7 out of 8 (175/2%) tests passed.
    -- done testing Synch Genny ----------------------------------------------


    -- testing Dynamic Context -----------------------------------------------
    ran to end ....................................................... [ PASS]
    1 test completed in 1/500 seconds.
    1 out of 1 (100%) test passed.
    -- done testing Dynamic Context ------------------------------------------


    -- testing Synch Dynamic Context (Early Exit Handler Call) ---------------
    unlocked (Way Too Early) ......................................... [ PASS]
    unlocked (Way Too Early) ......................................... [ PASS]
    unlocked (Way Too Early) ......................................... [ PASS]
    unlocked (Way Too Early) ......................................... [ PASS]
    unlocked (Way Too Early) ......................................... [ PASS]
    ran to end ....................................................... [ PASS]
    unlocked ......................................................... [ PASS]
    7 tests completed in 3/1000 seconds.
    7 out of 7 (100%) tests passed.
    -- done testing Synch Dynamic Context (Early Exit Handler Call) ----------

4 subgroups completed in 9/1000 seconds.
3 out of 4 (75%) subgroups passed.
-- done testing Synch Examples -----------------------------------------------

*** Tests Will Fail ***
Which depends on how threads are scheduled.

Shows a reasonable use of an exit continuation
breaks the implied "isolation".

Need to know what is being synch'ed.
Coroutine Generators OK, Dynamic-Lambda, not OK.