source: tests/io/comp_fair.cfa @ 680137a

//
// Cforall Version 1.0.0 Copyright (C) 2022 University of Waterloo
//
// The contents of this file are covered under the licence agreement in the
// file "LICENCE" distributed with Cforall.
//
// comp_fair.cfa -- Test that spinning doesn't cause completions to get stuck.
//                  This test should work without io_uring but isn't very useful without
//
// Author           : Thierry Delisle
// Created On       : Thu Mar 10 15:06:50 2022
// Last Modified By :
// Last Modified On :
// Update Count     :
//


#include <concurrency/barrier.hfa>
#include <fstream.hfa>
#include <iofwd.hfa>
#include <kernel.hfa>
#include <thread.hfa>

#include <errno.h>
#include <string.h>
#include <unistd.h>

struct {
        barrier & bar;
        int pipe[2];

} globals;

Duration default_preemption() {
        return 0;
}

enum { TIMES = 1000 };

volatile unsigned counter = 0;


// ----- Spinner -----
// spins trying to prevent other threads from getting to this processor
thread Spinner {};
void main(Spinner &) {
        unsigned last = 0;
        for() {
                unsigned curr = __atomic_load_n(&counter, __ATOMIC_SEQ_CST);

                if(curr >= TIMES) break;

                if(last == curr) {
                        Pause();
                        continue;
                }

                last = curr;
                yield();
        }
}

// ----- Reader -----
// Reader from the pipe to test completion doesn't starve
thread Reader {};
void main(Reader & this) {
        bool do_read = has_user_level_blocking( (fptr_t)async_read );

        for(TIMES) {
                io_future_t f;
                if ( do_read ) {
                        char thrash[1];
                        async_read(f, globals.pipe[0], thrash, 1, 0);
                } else {
                        fulfil(f, 0); // If we don't have user-level blocking just play along
                }

                block( globals.bar );

                yield( prng( this, 15 ) );

                unsigned i = __atomic_add_fetch( &counter, 1, __ATOMIC_SEQ_CST );
                if(0 == (i % 100)) sout | i;

                wait( f );

                if(f.result < 0)
                        abort | "Read error" | -f.result | ":" | strerror(-f.result);

                block( globals.bar );
        }
}

// ----- Writer -----
// Writes to the pipe so the Reader can unblock
// takes its sweet time so the Reader has to block
thread Writer {};
void main(Writer & this) {
        for(TIMES) {
                block( globals.bar );

                sleep( 1`us );

                char buf[1] = { '+' };
                int ret = write( globals.pipe[1], buf, 1 );
                if(ret < 0)
                        abort | "Write error" | errno | ":" | strerror(errno);

                block( globals.bar );
        }
}

// ----- Yielder -----
// Add some chaos into the mix
thread Yielder {};
void ^?{}(Yielder &mutex ) {}
void main(Yielder&) {
        while(TIMES > __atomic_load_n(&counter, __ATOMIC_SEQ_CST)) {
                yield();
        }
}

int main() {
        barrier bar = { 2 };
        &globals.bar = &bar;
        int ret = pipe(globals.pipe);
        if(ret != 0)
                abort | "Pipe error" | errno | ":" | strerror(errno);

        processor p;
        sout | "starting";
        {
                Yielder y;
                Spinner s;
                Reader ior;
                Writer iow;
        }
        sout | "done";
}