Ignore:
Timestamp:
Dec 8, 2025, 11:29:33 AM (2 months ago)
Author:
Michael Brooks <mlbrooks@…>
Branches:
master
Children:
79ba50c
Parents:
8f448e0 (diff), 79ec8c3 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge remote-tracking branch 'refs/remotes/origin/master'

File:
1 edited

Legend:

Unmodified
Added
Removed

  • tests/concurrency/examples/datingService.cfa

    r8f448e0 r5e0b6657  
    1010// Created On       : Mon Oct 30 12:56:20 2017
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Sun Sep 27 15:42:25 2020
    13 // Update Count     : 40
     12// Last Modified On : Tue Nov  4 21:58:29 2025
     13// Update Count     : 41
    1414//
    1515
    … …  
    2828
    2929unsigned int girl( DatingService & mutex ds, unsigned int PhoneNo, unsigned int ccode ) with( ds ) {
    30         if ( is_empty( Boys[ccode] ) ) {                                        // no compatible boy ?
     30        if ( empty( Boys[ccode] ) ) {                                           // no compatible boy ?
    3131                wait( Girls[ccode] );                                                   // wait for boy
    3232                GirlPhoneNo = PhoneNo;                                                  // make phone number available
    … …  
    4040
    4141unsigned int boy( DatingService & mutex ds, unsigned int PhoneNo, unsigned int ccode ) with( ds ) {
    42         if ( is_empty( Girls[ccode] ) ) {                                       // no compatible girl ?
     42        if ( empty( Girls[ccode] ) ) {                                          // no compatible girl ?
    4343                wait( Boys[ccode] );                                                    // wait for girl
    4444                BoyPhoneNo = PhoneNo;                                                   // make phone number available
Note: See TracChangeset for help on using the changeset viewer.