5df445a2a5
2015-12-02 Tobias Burnus <burnus@net-b.de> Alessandro Fanfarillo <fanfarillo.gcc@gmail.com> * check.c (gfc_check_event_query): New function. * dump-parse-tree.c (show_code_node): Handle EXEC_EVENT_POST, EXEC_EVENT_WAIT. * expr.c (gfc_check_vardef_context): New check for event variables definition. * gfortran.h (gfc_statement): Add ST_EVENT_POST, ST_EVENT_WAIT. (gfc_isym_id): GFC_ISYM_EVENT_QUERY. (struct symbol_attribute): New field. (gfc_exec_op): Add EXEC_EVENT_POST and EXEC_EVENT_WAIT. * gfortran.texi: Document about new events functions and minor changes. * interface.c (compare_parameter): New check. (gfc_procedure_use): New check for explicit procedure interface. (add_subroutines): Add event_query. * intrinsic.h (gfc_check_event_query,gfc_resolve_event_query): New prototypes. * iresolve.c (gfc_resolve_event_query): New function. * iso-fortran-env.def (event_type): New type. * match.c (event_statement,gfc_match_event_post,gfc_match_event_wait): New functions. (gfc_match_name): New event post and event wait. * match.h (gfc_match_event_post,gfc_match_event_wait): New prototypes. * module.c (ab_attribute): Add AB_EVENT_COMP. (attr_bits): Likewise. (mio_symbol_attribute): Handle event_comp attribute. * parse.c (decode_statement): Add ST_EVENT_POST, ST_EVENT_WAIT. (next_statement): Add ST_EVENT_POST, ST_EVENT_WAIT. (gfc_ascii_statement): Add ST_EVENT_POST, ST_EVENT_WAIT. (parse_derived): Check for event_type components. * resolve.c (resolve_allocate_expr): Check for event variable def. (resolve_lock_unlock): Renamed to resolve_lock_unlock_event. It includes logic for locks and events. (gfc_resolve_code): Call it. (gfc_resolve_symbol): New check for event variable to be a corray. * st.c (gfc_free_statement): Handle new EXEC_EVENT_POST and EXEC_EVENT_WAIT. * trans-decl.c (gfor_fndecl_caf_event_post,gfor_fndecl_caf_event_wait, gfor_fndecl_caf_event_query): New global variables. (generate_coarray_sym_init): Checking for event_type. (gfc_conv_procedure_call): Check for C bind attribute. * trans-intrinsic.c (conv_intrinsic_event_query): New function. (conv_intrinsic_move_alloc): Call it. * trans-stmt.c (gfc_trans_lock_unlock): Passing address of actual argument. (gfc_trans_sync): Likewise. (gfc_trans_event_post_wait): New function. * trans-stmt.h (gfc_trans_event_post_wait): New prototype. * trans-types.c (gfc_get_derived_type): Integer_kind as event_type. * trans.c (gfc_allocate_using_lib): New argument and logic for events. (gfc_allocate_allocatable): Passing new argument. (trans_code): Handle EXEC_EVENT_POST, EXEC_EVENT_WAIT. * trans.h (gfc_coarray_type): New elements. (gfor_fndecl_caf_event_post,gfor_fndecl_caf_event_wait, gfor_fndecl_caf_event_query): Declare them. 2015-12-02 Tobias Burnus <burnus@net-b.de> Alessandro Fanfarillo <fanfarillo.gcc@gmail.com> * gfortran.dg/coarray/event_1.f90: New. * gfortran.dg/coarray/event_2.f90: New. Co-Authored-By: Alessandro Fanfarillo <fanfarillo.gcc@gmail.com> From-SVN: r231208
143 lines
5.0 KiB
C
143 lines
5.0 KiB
C
/* Common declarations for all of GNU Fortran libcaf implementations.
|
|
Copyright (C) 2011-2015 Free Software Foundation, Inc.
|
|
Contributed by Tobias Burnus <burnus@net-b.de>
|
|
|
|
This file is part of the GNU Fortran Coarray Runtime Library (libcaf).
|
|
|
|
Libcaf is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 3, or (at your option)
|
|
any later version.
|
|
|
|
Libcaf is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
Under Section 7 of GPL version 3, you are granted additional
|
|
permissions described in the GCC Runtime Library Exception, version
|
|
3.1, as published by the Free Software Foundation.
|
|
|
|
You should have received a copy of the GNU General Public License and
|
|
a copy of the GCC Runtime Library Exception along with this program;
|
|
see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#ifndef LIBCAF_H
|
|
#define LIBCAF_H
|
|
|
|
#include <stdbool.h>
|
|
#include <stddef.h> /* For size_t. */
|
|
#include <stdint.h> /* For int32_t. */
|
|
|
|
#include "libgfortran.h"
|
|
|
|
#if 0
|
|
#ifndef __GNUC__
|
|
#define __attribute__(x)
|
|
#define likely(x) (x)
|
|
#define unlikely(x) (x)
|
|
#else
|
|
#define likely(x) __builtin_expect(!!(x), 1)
|
|
#define unlikely(x) __builtin_expect(!!(x), 0)
|
|
#endif
|
|
|
|
/* Definitions of the Fortran 2008 standard; need to kept in sync with
|
|
ISO_FORTRAN_ENV, cf. libgfortran.h. */
|
|
#define STAT_UNLOCKED 0
|
|
#define STAT_LOCKED 1
|
|
#define STAT_LOCKED_OTHER_IMAGE 2
|
|
#define STAT_STOPPED_IMAGE 6000
|
|
#endif
|
|
|
|
/* Describes what type of array we are registerring. Keep in sync with
|
|
gcc/fortran/trans.h. */
|
|
typedef enum caf_register_t {
|
|
CAF_REGTYPE_COARRAY_STATIC,
|
|
CAF_REGTYPE_COARRAY_ALLOC,
|
|
CAF_REGTYPE_LOCK_STATIC,
|
|
CAF_REGTYPE_LOCK_ALLOC,
|
|
CAF_REGTYPE_CRITICAL,
|
|
CAF_REGTYPE_EVENT_STATIC,
|
|
CAF_REGTYPE_EVENT_ALLOC
|
|
}
|
|
caf_register_t;
|
|
|
|
typedef void* caf_token_t;
|
|
typedef gfc_array_void gfc_descriptor_t;
|
|
|
|
/* Linked list of static coarrays registered. */
|
|
typedef struct caf_static_t {
|
|
caf_token_t token;
|
|
struct caf_static_t *prev;
|
|
}
|
|
caf_static_t;
|
|
|
|
/* When there is a vector subscript in this dimension, nvec == 0, otherwise,
|
|
lower_bound, upper_bound, stride contains the bounds relative to the declared
|
|
bounds; kind denotes the integer kind of the elements of vector[]. */
|
|
typedef struct caf_vector_t {
|
|
size_t nvec;
|
|
union {
|
|
struct {
|
|
void *vector;
|
|
int kind;
|
|
} v;
|
|
struct {
|
|
ptrdiff_t lower_bound, upper_bound, stride;
|
|
} triplet;
|
|
} u;
|
|
}
|
|
caf_vector_t;
|
|
|
|
|
|
void _gfortran_caf_init (int *, char ***);
|
|
void _gfortran_caf_finalize (void);
|
|
|
|
int _gfortran_caf_this_image (int);
|
|
int _gfortran_caf_num_images (int, int);
|
|
|
|
void *_gfortran_caf_register (size_t, caf_register_t, caf_token_t *, int *,
|
|
char *, int);
|
|
void _gfortran_caf_deregister (caf_token_t *, int *, char *, int);
|
|
|
|
void _gfortran_caf_sync_all (int *, char *, int);
|
|
void _gfortran_caf_sync_memory (int *, char *, int);
|
|
void _gfortran_caf_sync_images (int, int[], int *, char *, int);
|
|
|
|
void _gfortran_caf_error_stop_str (const char *, int32_t)
|
|
__attribute__ ((noreturn));
|
|
void _gfortran_caf_error_stop (int32_t) __attribute__ ((noreturn));
|
|
|
|
void _gfortran_caf_co_broadcast (gfc_descriptor_t *, int, int *, char *, int);
|
|
void _gfortran_caf_co_sum (gfc_descriptor_t *, int, int *, char *, int);
|
|
void _gfortran_caf_co_min (gfc_descriptor_t *, int, int *, char *, int, int);
|
|
void _gfortran_caf_co_max (gfc_descriptor_t *, int, int *, char *, int, int);
|
|
void _gfortran_caf_co_reduce (gfc_descriptor_t *, void* (*) (void *, void*),
|
|
int, int, int *, char *, int, int);
|
|
|
|
void _gfortran_caf_get (caf_token_t, size_t, int, gfc_descriptor_t *,
|
|
caf_vector_t *, gfc_descriptor_t *, int, int, bool);
|
|
void _gfortran_caf_send (caf_token_t, size_t, int, gfc_descriptor_t *,
|
|
caf_vector_t *, gfc_descriptor_t *, int, int, bool);
|
|
void _gfortran_caf_sendget (caf_token_t, size_t, int, gfc_descriptor_t *,
|
|
caf_vector_t *, caf_token_t, size_t, int,
|
|
gfc_descriptor_t *, caf_vector_t *, int, int, bool);
|
|
|
|
void _gfortran_caf_atomic_define (caf_token_t, size_t, int, void *, int *,
|
|
int, int);
|
|
void _gfortran_caf_atomic_ref (caf_token_t, size_t, int, void *, int *,
|
|
int, int);
|
|
void _gfortran_caf_atomic_cas (caf_token_t, size_t, int, void *, void *,
|
|
void *, int *, int, int);
|
|
void _gfortran_caf_atomic_op (int, caf_token_t, size_t, int, void *, void *,
|
|
int *, int, int);
|
|
|
|
void _gfortran_caf_lock (caf_token_t, size_t, int, int *, int *, char *, int);
|
|
void _gfortran_caf_unlock (caf_token_t, size_t, int, int *, char *, int);
|
|
void _gfortran_caf_event_post (caf_token_t, size_t, int, int *, char *, int);
|
|
void _gfortran_caf_event_wait (caf_token_t, size_t, int, int *, char *, int);
|
|
void _gfortran_caf_event_query (caf_token_t, size_t, int, int *, int *);
|
|
|
|
#endif /* LIBCAF_H */
|