Changeset 843bce5


Ignore:
Timestamp:
Oct 14, 2025, 4:10:09 PM (4 months ago)
Author:
Michael Brooks <mlbrooks@…>
Branches:
master
Children:
75f888e7
Parents:
3d02803 (diff), f0011bf (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'

Files:
2 deleted
6 edited
1 moved

Legend:

Unmodified
Added
Removed

  • INSTALL

    r3d02803 r843bce5  
    22======================================
    33
    4 Cforall is built using GNU Make and the GNU Autoconf system.  It also requires
    5 g++ version >= 6, bison and flex.  On systems where GNU Make is the default
    6 make, the system is built by entering the commands:
     4Cforall is built on Linux using GNU Make and the GNU Autoconf system, which
     5includes Windows WSL.  It also requires g++ version >= 9, bison and flex.  On
     6systems where GNU Make is the default make, the system is built by entering the
     7commands:
    78
    8 For developers using the root git:
     91. For developers using the root git:
    910
    10   $ ./autogen.sh
    11   $ ./configure [ --prefix=/some/directory ]
    12   $ make -j 8 install
    13   $ cfa
     11   $ ./autogen.sh
     12   $ ./configure [ --prefix=/some/directory ]
     13   $ make -j 8 install
     14   $ cfa
    1415
    15 For users using the distributed tarball / github:
     162. For users using the distributed tarball/github:
    1617
    17   $ ./configure
    18   $ make -j 8 install
    19   $ cfa
     18   $ ./configure
     19   $ make -j 8 install
     20   $ cfa
    2021
    21 where 8 is the number of CPUs on your computer.
     22where 8 or greater is the number of CPUs on your computer.
    2223
    2324The above instructions produce an in-tree, installed build, where intermediate
    … …  
    2829common set of sources, and where no "official" CFA version is designated:
    2930
    30   $ ./autogen.sh
    31   $ mkdir ../build
    32   $ cd ../build
    33   $ ../cfa-cc/configure
    34   $ make -j 8
    35   $ ./driver/cfa
     31   $ ./autogen.sh
     32   $ mkdir ../build
     33   $ cd ../build
     34   $ ../cfa-cc/configure
     35   $ make -j 8
     36   $ ./driver/cfa
    3637
    3738
    … …  
    4041The script 'configure' accepts many command-line arguments.  Run
    4142
    42   $ ./configure --help
     43   $ ./configure --help
    4344
    4445to list them.  The most common argument is:
    4546
    46   --prefix=/some/directory controls the path prefix common to all installed
    47     cfa-cc components.  Components are installed in directories bin and lib.
    48     If unspecified, prefix defaults to /usr/local.  To use (a subdirectory of)
    49     your home directory, ${HOME}/some/dir, but do not put quotes around the
    50     directory path; Cforall may appear to build, but the installed version may
    51     not work properly.
     47   --prefix=/some/directory controls the path prefix common to all installed
     48     cfa-cc components.  Components are installed in directories bin and lib.
     49     If unspecified, prefix defaults to /usr/local.  To use (a subdirectory of)
     50     your home directory, ${HOME}/some/dir, but do not put quotes around the
     51     directory path; Cforall may appear to build, but the installed version may
     52     not work properly.
    5253
    5354
    … …  
    5556======================================
    5657
    57   $ cd ./tests
    58   $ make -j 8 all-local
     58   $ cd ./tests
     59   $ make -j 8 all-local
    5960
    6061The tests take about 2-5 minutes and can be stopped at any time.

  • Jenkins/FullBuild

    r3d02803 r843bce5  
    1818
    1919                                parallel (
    20                                         //gcc_9_x86_new: { trigger_build( 'gcc-9',   'x86', false ) },
    21                                         //gcc_10_x86_new: { trigger_build( 'gcc-10',  'x86', false ) },
     20                                        gcc_9_x86_new: { trigger_build( 'gcc-9',   'x86', false ) },
     21                                        gcc_10_x86_new: { trigger_build( 'gcc-10',  'x86', false ) },
    2222                                        //gcc_7_x64_new: { trigger_build( 'gcc-7',   'x64', false ) },
    2323                                        //gcc_8_x64_new: { trigger_build( 'gcc-8',   'x64', false ) },
    … …  
    2525                                        gcc_10_x64_new: { trigger_build( 'gcc-10',  'x64', false ) },
    2626                                        gcc_11_x64_new: { trigger_build( 'gcc-11',  'x64', false ) },
    27                                         //gcc_10_arm64_new: { trigger_build( 'gcc-10', 'arm64', false ) },
    28                                         //gcc_11_arm64_new: { trigger_build( 'gcc-11', 'arm64', false ) },
     27                                        gcc_10_arm64_new: { trigger_build( 'gcc-10', 'arm64', false ) },
     28                                        gcc_11_arm64_new: { trigger_build( 'gcc-11', 'arm64', false ) },
    2929                                        //gcc_12_arm64_new: { trigger_build( 'gcc-12', 'arm64', false ) },
    3030                                        clang_x64_new:  { trigger_build( 'clang',   'x64', true  ) },

  • Jenkinsfile

    r3d02803 r843bce5  
    329329                                this.Architecture = new Arch_Desc('x64', '--host=x86_64', 'x64')
    330330                        break
    331                         //case 'x86':
    332                         //      this.Architecture = new Arch_Desc('x86', '--host=i386', 'x86')
    333                         //break
    334                         // case 'arm64':
    335                         //      this.Architecture = new Arch_Desc('arm64', '--host=aarch64', 'arm64')
    336                         // break
     331                        case 'x86':
     332                                this.Architecture = new Arch_Desc('x86', '--host=i386', 'x86')
     333                        break
     334                        case 'arm64':
     335                                this.Architecture = new Arch_Desc('arm64', '--host=aarch64', 'arm64')
     336                        break
    337337                        default :
    338338                                error "Unhandled architecture : ${arch}"

  • README

    r3d02803 r843bce5  
    7272
    7373  extern "C" {
    74   #include <curses.h>
    75   #include <getopt.h>
     74    #include <curses.h>
     75    #include <getopt.h>
    7676  }
    7777
    … …  
    9494
    9595
     96Can I contribute to Cforall?
     97-------------------------
     98
     99Not at the moment. Cforall is a research project that is not stable enough to
     100have outside contributes adding or making significant changes. You can help us
     101my trying Cforall to get a flavour for what we are trying to accomplish. Please
     102identify design problems and small issues or errors, which we will try to
     103incorporate/fix. However, we are a small team, so nothing happens quickly.
     104
     105
    96106Who is responsible for cfa-cc?
    97107------------------------------

  • doc/bibliography/pl.bib

    r3d02803 r843bce5  
    12401240    year        = 2023,
    12411241    note        = {\url{https://www.iso.org/obp/ui/en/\#iso:std:iso-iec:9899:dis:ed-5:v1:en}},
     1242}
     1243
     1244@mastersthesis{Brooks25,
     1245    contributer = {pabuhr@plg},
     1246    author      = {Michael Brooks},
     1247    title       = {\textsf{C}$\mathbf{\forall}$ Container Library},
     1248    school      = {School of Computer Science, University of Waterloo},
     1249    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     1250    publisher   = {UWSpace},
     1251    year        = {2025},
     1252    note        = {\url{https://hdl.handle.net/10012/XXXXX}},
    12421253}
    12431254
    … …  
    30333044}
    30343045
     3046@article{Alvarez-Picallo24,
     3047    keywords    =  {C, Coroutines, Effect Handlers},
     3048    contributer =  {pabuhr@plg},
     3049    author      =  {Alvarez-Picallo, Mario and Freund, Teodoro and Ghica, Dan R. and Lindley, Sam},
     3050    title       =  {Effect Handlers for {C} via Coroutines},
     3051    year        =  {2024},
     3052    publisher   =  {Association for Computing Machinery},
     3053    address     =  {New York, NY, USA},
     3054    volume      =  {8},
     3055    number      =  {OOPSLA2},
     3056    journal     =  {Proc. ACM Program. Lang.},
     3057    month       =  oct,
     3058}
     3059
    30353060@article{Tarjan75,
    30363061    keywords    = {union-find},
    … …  
    40844109}
    40854110
     4111@manual{libmill,
     4112    keywords    = {libmill},
     4113    contributer = {pabuhr@plg},
     4114    author      = {libmill},
     4115    title       = {{G}o-style concurrency in {C}, Version 1.18},
     4116    organization= {libmill},
     4117    address     = {\url{http://libmill.org/documentation.html}},
     4118    month       = jan,
     4119    year        = 2017,
     4120}
     4121
    40864122@manual{Go,
    40874123    keywords    = {Go programming language},
    … …  
    43324368    author      = {Zoran Radovi\'{c} and Erik Hagersten},
    43334369    title       = {Hierarchical backoff locks for nonuniform communication architectures},
    4334     booktitle   = {Proceedings of the Ninth International Symposium on High-Performance Computer Architecture},
     4370    booktitle   = {Proc. of the 9th Inter. Symp. on High-Perf. Comp. Arch.},
    43354371    year        = {2003},
    43364372    location    = {Anaheim, CA, USA},
    … …  
    51445180}
    51455181
    5146 @manual{libmill,
    5147     keywords    = {libmill},
    5148     contributer = {pabuhr@plg},
    5149     author      = {libmill},
    5150     title       = {{G}o-style concurrency in {C}, Version 1.18},
    5151     organization= {libmill},
    5152     address     = {\url{http://libmill.org/documentation.html}},
    5153     month       = jan,
    5154     year        = 2017,
    5155 }
    5156 
    51575182@book{Weissman67,
    51585183    keywords    = {lisp},
    … …  
    52275252    year        = 2008,
    52285253    pages       = {1008-1020},
     5254}
     5255
     5256@misc{Loom,
     5257    contributer = {pabuhr@plg},
     5258    key         = {Loom},
     5259    title       = {Project Loom: Fibers and Continuations},
     5260    author      = { Iris Clark},
     5261    howpublished= {\url{https://wiki.openjdk.org/display/loom}},
     5262    year        = 2022,
    52295263}
    52305264
    … …  
    93329366    title       = {What is a Secure Programming Language?},
    93339367    booktitle   = {3rd Summit on Advances in Programming Languages},
    9334     editor      = {Benjamin S. Lerner and Rastislav Bod\'{i}k and Shriram Krishnamurthi},
     9368    opteditor   = {Benjamin S. Lerner and Rastislav Bod\'{i}k and Shriram Krishnamurthi},
    93359369    month       = jul,
    93369370    year        = 2019,

  • libcfa/src/stdhdr/assert.h

    r3d02803 r843bce5  
    1010// Created On       : Mon Jul  4 23:25:26 2016
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Sun Oct  9 21:28:22 2022
    13 // Update Count     : 16
     12// Last Modified On : Mon Sep 29 13:45:46 2025
     13// Update Count     : 20
    1414//
    1515
    … …  
    3838        #define warnf( expr, fmt, ... ) ({ static bool check_once##__LINE__ = false; if( false == check_once##__LINE__ && false == (expr)) { check_once##__LINE__ = true; __assert_warn_f(__VSTRINGIFY__(expr), __FILE__, __LINE__, __PRETTY_FUNCTION__, fmt, ## __VA_ARGS__ ); } })
    3939#else
    40         #define verify(x) 0
    41         #define verifyf(x, ...) 0
    42         #define verifyfail(...) 0
    43         #define warnf( expr, fmt, ... ) 0
     40        #define verify(x) (void)0
     41        #define verifyf(x, ...) (void)0
     42        #define verifyfail(...) (void)0
     43        #define warnf( expr, fmt, ... ) (void)0
    4444#endif
    4545

  • tests/.expect/alloc-ERROR.txt

    r3d02803 r843bce5  
    1 alloc.cfa:382:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
     1alloc.cfa:390:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
    22  Name: ?=?
    33...to:
    … …  
    1919
    2020
    21 alloc.cfa:383:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
     21alloc.cfa:391:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
    2222  Name: ?=?
    2323...to:
    … …  
    3232
    3333
    34 alloc.cfa:384:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
     34alloc.cfa:392:1 error: Invalid application of existing declaration(s) in expression Applying untyped:
    3535  Name: ?=?
    3636...to:
Note: See TracChangeset for help on using the changeset viewer.