xref: /libCEED/interface/ceed.c (revision 34359f16efbc10f0e69405f262a23387c38de222)
1 // Copyright (c) 2017, Lawrence Livermore National Security, LLC. Produced at
2 // the Lawrence Livermore National Laboratory. LLNL-CODE-734707. All Rights
3 // reserved. See files LICENSE and NOTICE for details.
4 //
5 // This file is part of CEED, a collection of benchmarks, miniapps, software
6 // libraries and APIs for efficient high-order finite element and spectral
7 // element discretizations for exascale applications. For more information and
8 // source code availability see http://github.com/ceed.
9 //
10 // The CEED research is supported by the Exascale Computing Project 17-SC-20-SC,
11 // a collaborative effort of two U.S. Department of Energy organizations (Office
12 // of Science and the National Nuclear Security Administration) responsible for
13 // the planning and preparation of a capable exascale ecosystem, including
14 // software, applications, hardware, advanced system engineering and early
15 // testbed platforms, in support of the nation's exascale computing imperative.
16 
17 #define _POSIX_C_SOURCE 200112
18 #include <ceed/ceed.h>
19 #include <ceed/backend.h>
20 #include <ceed-impl.h>
21 #include <limits.h>
22 #include <stdarg.h>
23 #include <stddef.h>
24 #include <stdio.h>
25 #include <stdlib.h>
26 #include <string.h>
27 
28 /// @cond DOXYGEN_SKIP
29 static CeedRequest ceed_request_immediate;
30 static CeedRequest ceed_request_ordered;
31 
32 static struct {
33   char prefix[CEED_MAX_RESOURCE_LEN];
34   int (*init)(const char *resource, Ceed f);
35   unsigned int priority;
36 } backends[32];
37 static size_t num_backends;
38 
39 #define CEED_FTABLE_ENTRY(class, method) \
40   {#class #method, offsetof(struct class ##_private, method)}
41 /// @endcond
42 
43 /// @file
44 /// Implementation of core components of Ceed library
45 
46 /// @addtogroup CeedUser
47 /// @{
48 
49 /**
50   @brief Request immediate completion
51 
52   This predefined constant is passed as the \ref CeedRequest argument to
53   interfaces when the caller wishes for the operation to be performed
54   immediately.  The code
55 
56   @code
57     CeedOperatorApply(op, ..., CEED_REQUEST_IMMEDIATE);
58   @endcode
59 
60   is semantically equivalent to
61 
62   @code
63     CeedRequest request;
64     CeedOperatorApply(op, ..., &request);
65     CeedRequestWait(&request);
66   @endcode
67 
68   @sa CEED_REQUEST_ORDERED
69 **/
70 CeedRequest *const CEED_REQUEST_IMMEDIATE = &ceed_request_immediate;
71 
72 /**
73   @brief Request ordered completion
74 
75   This predefined constant is passed as the \ref CeedRequest argument to
76   interfaces when the caller wishes for the operation to be completed in the
77   order that it is submitted to the device.  It is typically used in a construct
78   such as
79 
80   @code
81     CeedRequest request;
82     CeedOperatorApply(op1, ..., CEED_REQUEST_ORDERED);
83     CeedOperatorApply(op2, ..., &request);
84     // other optional work
85     CeedRequestWait(&request);
86   @endcode
87 
88   which allows the sequence to complete asynchronously but does not start
89   `op2` until `op1` has completed.
90 
91   @todo The current implementation is overly strict, offering equivalent
92   semantics to @ref CEED_REQUEST_IMMEDIATE.
93 
94   @sa CEED_REQUEST_IMMEDIATE
95  */
96 CeedRequest *const CEED_REQUEST_ORDERED = &ceed_request_ordered;
97 
98 /**
99   @brief Wait for a CeedRequest to complete.
100 
101   Calling CeedRequestWait on a NULL request is a no-op.
102 
103   @param req Address of CeedRequest to wait for; zeroed on completion.
104 
105   @return An error code: 0 - success, otherwise - failure
106 
107   @ref User
108 **/
109 int CeedRequestWait(CeedRequest *req) {
110   if (!*req)
111     return CEED_ERROR_SUCCESS;
112   return CeedError(NULL, CEED_ERROR_UNSUPPORTED,
113                    "CeedRequestWait not implemented");
114 }
115 
116 /// @}
117 
118 /// ----------------------------------------------------------------------------
119 /// Ceed Library Internal Functions
120 /// ----------------------------------------------------------------------------
121 /// @addtogroup CeedDeveloper
122 /// @{
123 
124 /// @}
125 
126 /// ----------------------------------------------------------------------------
127 /// Ceed Backend API
128 /// ----------------------------------------------------------------------------
129 /// @addtogroup CeedBackend
130 /// @{
131 
132 /**
133   @brief Print Ceed debugging information
134 
135   @param ceed    Ceed context
136   @param format  Printing format
137 
138   @return None
139 
140   @ref Backend
141 **/
142 // LCOV_EXCL_START
143 void CeedDebugImpl(const Ceed ceed, const char *format,...) {
144   if (!ceed->debug) return;
145   va_list args;
146   va_start(args, format);
147   CeedDebugImpl256(ceed, 0, format, args);
148   va_end(args);
149 }
150 // LCOV_EXCL_STOP
151 
152 /**
153   @brief Print Ceed debugging information in color
154 
155   @param ceed    Ceed context
156   @param color   Color to print
157   @param format  Printing format
158 
159   @return None
160 
161   @ref Backend
162 **/
163 // LCOV_EXCL_START
164 void CeedDebugImpl256(const Ceed ceed, const unsigned char color,
165                       const char *format,...) {
166   if (!ceed->debug) return;
167   va_list args;
168   va_start(args, format);
169   fflush(stdout);
170   fprintf(stdout, "\033[38;5;%dm", color);
171   vfprintf(stdout, format, args);
172   fprintf(stdout, "\033[m");
173   fprintf(stdout, "\n");
174   fflush(stdout);
175   va_end(args);
176 }
177 // LCOV_EXCL_STOP
178 
179 /**
180   @brief Allocate an array on the host; use CeedMalloc()
181 
182   Memory usage can be tracked by the library.  This ensures sufficient
183     alignment for vectorization and should be used for large allocations.
184 
185   @param n     Number of units to allocate
186   @param unit  Size of each unit
187   @param p     Address of pointer to hold the result.
188 
189   @return An error code: 0 - success, otherwise - failure
190 
191   @sa CeedFree()
192 
193   @ref Backend
194 **/
195 int CeedMallocArray(size_t n, size_t unit, void *p) {
196   int ierr = posix_memalign((void **)p, CEED_ALIGN, n*unit);
197   if (ierr)
198     // LCOV_EXCL_START
199     return CeedError(NULL, CEED_ERROR_MAJOR,
200                      "posix_memalign failed to allocate %zd "
201                      "members of size %zd\n", n, unit);
202   // LCOV_EXCL_STOP
203   return CEED_ERROR_SUCCESS;
204 }
205 
206 /**
207   @brief Allocate a cleared (zeroed) array on the host; use CeedCalloc()
208 
209   Memory usage can be tracked by the library.
210 
211   @param n     Number of units to allocate
212   @param unit  Size of each unit
213   @param p     Address of pointer to hold the result.
214 
215   @return An error code: 0 - success, otherwise - failure
216 
217   @sa CeedFree()
218 
219   @ref Backend
220 **/
221 int CeedCallocArray(size_t n, size_t unit, void *p) {
222   *(void **)p = calloc(n, unit);
223   if (n && unit && !*(void **)p)
224     // LCOV_EXCL_START
225     return CeedError(NULL, CEED_ERROR_MAJOR,
226                      "calloc failed to allocate %zd members of size "
227                      "%zd\n", n, unit);
228   // LCOV_EXCL_STOP
229   return CEED_ERROR_SUCCESS;
230 }
231 
232 /**
233   @brief Reallocate an array on the host; use CeedRealloc()
234 
235   Memory usage can be tracked by the library.
236 
237   @param n     Number of units to allocate
238   @param unit  Size of each unit
239   @param p     Address of pointer to hold the result.
240 
241   @return An error code: 0 - success, otherwise - failure
242 
243   @sa CeedFree()
244 
245   @ref Backend
246 **/
247 int CeedReallocArray(size_t n, size_t unit, void *p) {
248   *(void **)p = realloc(*(void **)p, n*unit);
249   if (n && unit && !*(void **)p)
250     // LCOV_EXCL_START
251     return CeedError(NULL, CEED_ERROR_MAJOR,
252                      "realloc failed to allocate %zd members of size "
253                      "%zd\n", n, unit);
254   // LCOV_EXCL_STOP
255   return CEED_ERROR_SUCCESS;
256 }
257 
258 /** Free memory allocated using CeedMalloc() or CeedCalloc()
259 
260   @param p  address of pointer to memory.  This argument is of type void* to
261               avoid needing a cast, but is the address of the pointer (which is
262               zeroed) rather than the pointer.
263 **/
264 int CeedFree(void *p) {
265   free(*(void **)p);
266   *(void **)p = NULL;
267   return CEED_ERROR_SUCCESS;
268 }
269 
270 /**
271   @brief Register a Ceed backend
272 
273   @param prefix    Prefix of resources for this backend to respond to.  For
274                      example, the reference backend responds to "/cpu/self".
275   @param init      Initialization function called by CeedInit() when the backend
276                      is selected to drive the requested resource.
277   @param priority  Integer priority.  Lower values are preferred in case the
278                      resource requested by CeedInit() has non-unique best prefix
279                      match.
280 
281   @return An error code: 0 - success, otherwise - failure
282 
283   @ref Backend
284 **/
285 int CeedRegister(const char *prefix, int (*init)(const char *, Ceed),
286                  unsigned int priority) {
287   if (num_backends >= sizeof(backends) / sizeof(backends[0]))
288     // LCOV_EXCL_START
289     return CeedError(NULL, CEED_ERROR_MAJOR, "Too many backends");
290   // LCOV_EXCL_STOP
291 
292   strncpy(backends[num_backends].prefix, prefix, CEED_MAX_RESOURCE_LEN);
293   backends[num_backends].prefix[CEED_MAX_RESOURCE_LEN-1] = 0;
294   backends[num_backends].init = init;
295   backends[num_backends].priority = priority;
296   num_backends++;
297   return CEED_ERROR_SUCCESS;
298 }
299 
300 /**
301   @brief Return debugging status flag
302 
303   @param ceed      Ceed context to get debugging flag
304   @param is_debug  Variable to store debugging flag
305 
306   @return An error code: 0 - success, otherwise - failure
307 
308   @ref Backend
309 **/
310 int CeedIsDebug(Ceed ceed, bool *is_debug) {
311   *is_debug = ceed->debug;
312   return CEED_ERROR_SUCCESS;
313 }
314 
315 /**
316   @brief Retrieve a parent Ceed context
317 
318   @param ceed         Ceed context to retrieve parent of
319   @param[out] parent  Address to save the parent to
320 
321   @return An error code: 0 - success, otherwise - failure
322 
323   @ref Backend
324 **/
325 int CeedGetParent(Ceed ceed, Ceed *parent) {
326   int ierr;
327   if (ceed->parent) {
328     ierr = CeedGetParent(ceed->parent, parent); CeedChk(ierr);
329     return CEED_ERROR_SUCCESS;
330   }
331   *parent = ceed;
332   return CEED_ERROR_SUCCESS;
333 }
334 
335 /**
336   @brief Retrieve a delegate Ceed context
337 
338   @param ceed           Ceed context to retrieve delegate of
339   @param[out] delegate  Address to save the delegate to
340 
341   @return An error code: 0 - success, otherwise - failure
342 
343   @ref Backend
344 **/
345 int CeedGetDelegate(Ceed ceed, Ceed *delegate) {
346   *delegate = ceed->delegate;
347   return CEED_ERROR_SUCCESS;
348 }
349 
350 /**
351   @brief Set a delegate Ceed context
352 
353   This function allows a Ceed context to set a delegate Ceed context. All
354     backend implementations default to the delegate Ceed context, unless
355     overridden.
356 
357   @param ceed           Ceed context to set delegate of
358   @param[out] delegate  Address to set the delegate to
359 
360   @return An error code: 0 - success, otherwise - failure
361 
362   @ref Backend
363 **/
364 int CeedSetDelegate(Ceed ceed, Ceed delegate) {
365   ceed->delegate = delegate;
366   delegate->parent = ceed;
367   return CEED_ERROR_SUCCESS;
368 }
369 
370 /**
371   @brief Retrieve a delegate Ceed context for a specific object type
372 
373   @param ceed           Ceed context to retrieve delegate of
374   @param[out] delegate  Address to save the delegate to
375   @param[in] obj_name   Name of the object type to retrieve delegate for
376 
377   @return An error code: 0 - success, otherwise - failure
378 
379   @ref Backend
380 **/
381 int CeedGetObjectDelegate(Ceed ceed, Ceed *delegate, const char *obj_name) {
382   CeedInt ierr;
383 
384   // Check for object delegate
385   for (CeedInt i=0; i<ceed->obj_delegate_count; i++)
386     if (!strcmp(obj_name, ceed->obj_delegates->obj_name)) {
387       *delegate = ceed->obj_delegates->delegate;
388       return CEED_ERROR_SUCCESS;
389     }
390 
391   // Use default delegate if no object delegate
392   ierr = CeedGetDelegate(ceed, delegate); CeedChk(ierr);
393   return CEED_ERROR_SUCCESS;
394 }
395 
396 /**
397   @brief Set a delegate Ceed context for a specific object type
398 
399   This function allows a Ceed context to set a delegate Ceed context for a
400     given type of Ceed object. All backend implementations default to the
401     delegate Ceed context for this object. For example,
402     CeedSetObjectDelegate(ceed, refceed, "Basis")
403   uses refceed implementations for all CeedBasis backend functions.
404 
405   @param ceed           Ceed context to set delegate of
406   @param[out] delegate  Address to set the delegate to
407   @param[in] obj_name   Name of the object type to set delegate for
408 
409   @return An error code: 0 - success, otherwise - failure
410 
411   @ref Backend
412 **/
413 int CeedSetObjectDelegate(Ceed ceed, Ceed delegate, const char *obj_name) {
414   CeedInt ierr;
415   CeedInt count = ceed->obj_delegate_count;
416 
417   // Malloc or Realloc
418   if (count) {
419     ierr = CeedRealloc(count+1, &ceed->obj_delegates); CeedChk(ierr);
420   } else {
421     ierr = CeedCalloc(1, &ceed->obj_delegates); CeedChk(ierr);
422   }
423   ceed->obj_delegate_count++;
424 
425   // Set object delegate
426   ceed->obj_delegates[count].delegate = delegate;
427   size_t slen = strlen(obj_name) + 1;
428   ierr = CeedMalloc(slen, &ceed->obj_delegates[count].obj_name); CeedChk(ierr);
429   memcpy(ceed->obj_delegates[count].obj_name, obj_name, slen);
430 
431   // Set delegate parent
432   delegate->parent = ceed;
433   return CEED_ERROR_SUCCESS;
434 }
435 
436 /**
437   @brief Get the fallback resource for CeedOperators
438 
439   @param ceed           Ceed context
440   @param[out] resource  Variable to store fallback resource
441 
442   @return An error code: 0 - success, otherwise - failure
443 
444   @ref Backend
445 **/
446 
447 int CeedGetOperatorFallbackResource(Ceed ceed, const char **resource) {
448   *resource = (const char *)ceed->op_fallback_resource;
449   return CEED_ERROR_SUCCESS;
450 }
451 
452 /**
453   @brief Set the fallback resource for CeedOperators. The current resource, if
454            any, is freed by calling this function. This string is freed upon the
455            destruction of the Ceed context.
456 
457   @param[out] ceed Ceed context
458   @param resource  Fallback resource to set
459 
460   @return An error code: 0 - success, otherwise - failure
461 
462   @ref Backend
463 **/
464 
465 int CeedSetOperatorFallbackResource(Ceed ceed, const char *resource) {
466   int ierr;
467 
468   // Free old
469   ierr = CeedFree(&ceed->op_fallback_resource); CeedChk(ierr);
470 
471   // Set new
472   size_t len = strlen(resource);
473   char *tmp;
474   ierr = CeedCalloc(len+1, &tmp); CeedChk(ierr);
475   memcpy(tmp, resource, len+1);
476   ceed->op_fallback_resource = tmp;
477   return CEED_ERROR_SUCCESS;
478 }
479 
480 /**
481   @brief Get the parent Ceed context associated with a fallback Ceed context
482            for a CeedOperator
483 
484   @param ceed         Ceed context
485   @param[out] parent  Variable to store parent Ceed context
486 
487   @return An error code: 0 - success, otherwise - failure
488 
489   @ref Backend
490 **/
491 
492 int CeedGetOperatorFallbackParentCeed(Ceed ceed, Ceed *parent) {
493   *parent = ceed->op_fallback_parent;
494   return CEED_ERROR_SUCCESS;
495 }
496 
497 /**
498   @brief Flag Ceed context as deterministic
499 
500   @param ceed  Ceed to flag as deterministic
501 
502   @return An error code: 0 - success, otherwise - failure
503 
504   @ref Backend
505 **/
506 
507 int CeedSetDeterministic(Ceed ceed, bool is_deterministic) {
508   ceed->is_deterministic = is_deterministic;
509   return CEED_ERROR_SUCCESS;
510 }
511 
512 /**
513   @brief Set a backend function
514 
515   This function is used for a backend to set the function associated with
516   the Ceed objects. For example,
517     CeedSetBackendFunction(ceed, "Ceed", ceed, "VectorCreate", BackendVectorCreate)
518   sets the backend implementation of 'CeedVectorCreate' and
519     CeedSetBackendFunction(ceed, "Basis", basis, "Apply", BackendBasisApply)
520   sets the backend implementation of 'CeedBasisApply'. Note, the prefix 'Ceed'
521   is not required for the object type ("Basis" vs "CeedBasis").
522 
523   @param ceed         Ceed context for error handling
524   @param type         Type of Ceed object to set function for
525   @param[out] object  Ceed object to set function for
526   @param func_name    Name of function to set
527   @param f            Function to set
528 
529   @return An error code: 0 - success, otherwise - failure
530 
531   @ref Backend
532 **/
533 int CeedSetBackendFunction(Ceed ceed, const char *type, void *object,
534                            const char *func_name, int (*f)()) {
535   char lookup_name[CEED_MAX_RESOURCE_LEN+1] = "";
536 
537   // Build lookup name
538   if (strcmp(type, "Ceed"))
539     strncat (lookup_name, "Ceed", CEED_MAX_RESOURCE_LEN);
540   strncat(lookup_name, type, CEED_MAX_RESOURCE_LEN);
541   strncat(lookup_name, func_name, CEED_MAX_RESOURCE_LEN);
542 
543   // Find and use offset
544   for (CeedInt i = 0; ceed->f_offsets[i].func_name; i++)
545     if (!strcmp(ceed->f_offsets[i].func_name, lookup_name)) {
546       size_t offset = ceed->f_offsets[i].offset;
547       int (**fpointer)(void) = (int (**)(void))((char *)object + offset); // *NOPAD*
548       *fpointer = f;
549       return CEED_ERROR_SUCCESS;
550     }
551 
552   // LCOV_EXCL_START
553   return CeedError(ceed, CEED_ERROR_UNSUPPORTED,
554                    "Requested function '%s' was not found for CEED "
555                    "object '%s'", func_name, type);
556   // LCOV_EXCL_STOP
557 }
558 
559 /**
560   @brief Retrieve backend data for a Ceed context
561 
562   @param ceed       Ceed context to retrieve data of
563   @param[out] data  Address to save data to
564 
565   @return An error code: 0 - success, otherwise - failure
566 
567   @ref Backend
568 **/
569 int CeedGetData(Ceed ceed, void *data) {
570   *(void **)data = ceed->data;
571   return CEED_ERROR_SUCCESS;
572 }
573 
574 /**
575   @brief Set backend data for a Ceed context
576 
577   @param ceed  Ceed context to set data of
578   @param data  Address of data to set
579 
580   @return An error code: 0 - success, otherwise - failure
581 
582   @ref Backend
583 **/
584 int CeedSetData(Ceed ceed, void *data) {
585   ceed->data = data;
586   return CEED_ERROR_SUCCESS;
587 }
588 
589 /**
590   @brief Increment the reference counter for a Ceed context
591 
592   @param ceed  Ceed context to increment the reference counter
593 
594   @return An error code: 0 - success, otherwise - failure
595 
596   @ref Backend
597 **/
598 int CeedIncrementRefCounter(Ceed ceed) {
599   ceed->ref_count++;
600   return CEED_ERROR_SUCCESS;
601 }
602 
603 /// @}
604 
605 /// ----------------------------------------------------------------------------
606 /// Ceed Public API
607 /// ----------------------------------------------------------------------------
608 /// @addtogroup CeedUser
609 /// @{
610 
611 /**
612   @brief Get the list of available resource names for Ceed contexts
613   Note: The caller is responsible for `free()`ing the resources and priorities arrays,
614           but should not `free()` the contents of the resources array.
615 
616   @param[out] n           Number of available resources
617   @param[out] resources   List of available resource names
618   @param[out] priorities  Resource name prioritization values, lower is better
619 
620   @return An error code: 0 - success, otherwise - failure
621 
622   @ref User
623 **/
624 // LCOV_EXCL_START
625 int CeedRegistryGetList(size_t *n, char ***const resources,
626                         CeedInt **priorities) {
627   *n = 0;
628   *resources = malloc(num_backends * sizeof(**resources));
629   if (!resources)
630     return CeedError(NULL, CEED_ERROR_MAJOR, "malloc() failure");
631   if (priorities) {
632     *priorities = malloc(num_backends * sizeof(**priorities));
633     if (!priorities)
634       return CeedError(NULL, CEED_ERROR_MAJOR, "malloc() failure");
635   }
636   for (size_t i=0; i<num_backends; i++) {
637     // Only report compiled backends
638     if (backends[i].priority < CEED_MAX_BACKEND_PRIORITY) {
639       *resources[i] = backends[i].prefix;
640       if (priorities) *priorities[i] = backends[i].priority;
641       *n += 1;
642     }
643   }
644   *resources = realloc(*resources, *n * sizeof(**resources));
645   if (!resources)
646     return CeedError(NULL, CEED_ERROR_MAJOR, "realloc() failure");
647   if (priorities) {
648     *priorities = realloc(*priorities, *n * sizeof(**priorities));
649     if (!priorities)
650       return CeedError(NULL, CEED_ERROR_MAJOR, "realloc() failure");
651   }
652   return CEED_ERROR_SUCCESS;
653 };
654 // LCOV_EXCL_STOP
655 
656 /**
657   @brief Initialize a \ref Ceed context to use the specified resource.
658   Note: Prefixing the resource with "help:" (e.g. "help:/cpu/self")
659     will result in CeedInt printing the current libCEED version number
660     and a list of current available backend resources to stderr.
661 
662   @param resource  Resource to use, e.g., "/cpu/self"
663   @param ceed      The library context
664   @sa CeedRegister() CeedDestroy()
665 
666   @return An error code: 0 - success, otherwise - failure
667 
668   @ref User
669 **/
670 int CeedInit(const char *resource, Ceed *ceed) {
671   int ierr;
672   size_t match_len = 0, match_idx = UINT_MAX,
673          match_priority = CEED_MAX_BACKEND_PRIORITY, priority;
674 
675   // Find matching backend
676   if (!resource)
677     // LCOV_EXCL_START
678     return CeedError(NULL, CEED_ERROR_MAJOR, "No resource provided");
679   // LCOV_EXCL_STOP
680   ierr = CeedRegisterAll(); CeedChk(ierr);
681 
682   // Check for help request
683   const char *help_prefix = "help";
684   size_t match_help;
685   for (match_help=0; match_help<4
686        && resource[match_help] == help_prefix[match_help]; match_help++) {}
687   if (match_help == 4) {
688     fprintf(stderr, "libCEED version: %d.%d%d%s\n", CEED_VERSION_MAJOR,
689             CEED_VERSION_MINOR, CEED_VERSION_PATCH,
690             CEED_VERSION_RELEASE ? "" : "+development");
691     fprintf(stderr, "Available backend resources:\n");
692     for (size_t i=0; i<num_backends; i++) {
693       // Only report compiled backends
694       if (backends[i].priority < CEED_MAX_BACKEND_PRIORITY)
695         fprintf(stderr, "  %s\n", backends[i].prefix);
696     }
697     fflush(stderr);
698     match_help = 5; // Delineating character expected
699   } else {
700     match_help = 0;
701   }
702 
703   // Find best match, currently computed as number of matching characters
704   //   from requested resource stem but may use Levenshtein in future
705   size_t stem_length;
706   for (stem_length=0; resource[stem_length+match_help]
707        && resource[stem_length+match_help] != ':'; stem_length++) {}
708   for (size_t i=0; i<num_backends; i++) {
709     size_t n;
710     const char *prefix = backends[i].prefix;
711     for (n=0; prefix[n] && prefix[n] == resource[n+match_help]; n++) {}
712     priority = backends[i].priority;
713     if (n > match_len || (n == match_len && match_priority > priority)) {
714       match_len = n;
715       match_priority = priority;
716       match_idx = i;
717     }
718   }
719   if (match_len <= 1) {
720     // LCOV_EXCL_START
721     return CeedError(NULL, CEED_ERROR_MAJOR, "No suitable backend: %s",
722                      resource);
723     // LCOV_EXCL_STOP
724   } else if (match_len != stem_length) {
725     // LCOV_EXCL_START
726     return CeedError(NULL, CEED_ERROR_MAJOR, "No suitable backend: %s\n"
727                      "Closest match: %s", resource, backends[match_idx].prefix);
728     // LCOV_EXCL_STOP
729   }
730 
731   // Setup Ceed
732   ierr = CeedCalloc(1, ceed); CeedChk(ierr);
733   const char *ceed_error_handler = getenv("CEED_ERROR_HANDLER");
734   if (!ceed_error_handler)
735     ceed_error_handler = "abort";
736   if (!strcmp(ceed_error_handler, "exit"))
737     (*ceed)->Error = CeedErrorExit;
738   else if (!strcmp(ceed_error_handler, "store"))
739     (*ceed)->Error = CeedErrorStore;
740   else
741     (*ceed)->Error = CeedErrorAbort;
742   memcpy((*ceed)->err_msg, "No error message stored", 24);
743   (*ceed)->ref_count = 1;
744   (*ceed)->data = NULL;
745 
746   // Set lookup table
747   FOffset f_offsets[] = {
748     CEED_FTABLE_ENTRY(Ceed, Error),
749     CEED_FTABLE_ENTRY(Ceed, GetPreferredMemType),
750     CEED_FTABLE_ENTRY(Ceed, Destroy),
751     CEED_FTABLE_ENTRY(Ceed, VectorCreate),
752     CEED_FTABLE_ENTRY(Ceed, ElemRestrictionCreate),
753     CEED_FTABLE_ENTRY(Ceed, ElemRestrictionCreateBlocked),
754     CEED_FTABLE_ENTRY(Ceed, BasisCreateTensorH1),
755     CEED_FTABLE_ENTRY(Ceed, BasisCreateH1),
756     CEED_FTABLE_ENTRY(Ceed, TensorContractCreate),
757     CEED_FTABLE_ENTRY(Ceed, QFunctionCreate),
758     CEED_FTABLE_ENTRY(Ceed, QFunctionContextCreate),
759     CEED_FTABLE_ENTRY(Ceed, OperatorCreate),
760     CEED_FTABLE_ENTRY(Ceed, CompositeOperatorCreate),
761     CEED_FTABLE_ENTRY(CeedVector, SetArray),
762     CEED_FTABLE_ENTRY(CeedVector, TakeArray),
763     CEED_FTABLE_ENTRY(CeedVector, SetValue),
764     CEED_FTABLE_ENTRY(CeedVector, GetArray),
765     CEED_FTABLE_ENTRY(CeedVector, GetArrayRead),
766     CEED_FTABLE_ENTRY(CeedVector, RestoreArray),
767     CEED_FTABLE_ENTRY(CeedVector, RestoreArrayRead),
768     CEED_FTABLE_ENTRY(CeedVector, Norm),
769     CEED_FTABLE_ENTRY(CeedVector, Reciprocal),
770     CEED_FTABLE_ENTRY(CeedVector, Destroy),
771     CEED_FTABLE_ENTRY(CeedElemRestriction, Apply),
772     CEED_FTABLE_ENTRY(CeedElemRestriction, ApplyBlock),
773     CEED_FTABLE_ENTRY(CeedElemRestriction, GetOffsets),
774     CEED_FTABLE_ENTRY(CeedElemRestriction, Destroy),
775     CEED_FTABLE_ENTRY(CeedBasis, Apply),
776     CEED_FTABLE_ENTRY(CeedBasis, Destroy),
777     CEED_FTABLE_ENTRY(CeedTensorContract, Apply),
778     CEED_FTABLE_ENTRY(CeedTensorContract, Destroy),
779     CEED_FTABLE_ENTRY(CeedQFunction, Apply),
780     CEED_FTABLE_ENTRY(CeedQFunction, SetCUDAUserFunction),
781     CEED_FTABLE_ENTRY(CeedQFunction, SetHIPUserFunction),
782     CEED_FTABLE_ENTRY(CeedQFunction, Destroy),
783     CEED_FTABLE_ENTRY(CeedQFunctionContext, SetData),
784     CEED_FTABLE_ENTRY(CeedQFunctionContext, GetData),
785     CEED_FTABLE_ENTRY(CeedQFunctionContext, RestoreData),
786     CEED_FTABLE_ENTRY(CeedQFunctionContext, Destroy),
787     CEED_FTABLE_ENTRY(CeedOperator, LinearAssembleQFunction),
788     CEED_FTABLE_ENTRY(CeedOperator, LinearAssembleDiagonal),
789     CEED_FTABLE_ENTRY(CeedOperator, LinearAssembleAddDiagonal),
790     CEED_FTABLE_ENTRY(CeedOperator, LinearAssemblePointBlockDiagonal),
791     CEED_FTABLE_ENTRY(CeedOperator, LinearAssembleAddPointBlockDiagonal),
792     CEED_FTABLE_ENTRY(CeedOperator, LinearAssembleSymbolic),
793     CEED_FTABLE_ENTRY(CeedOperator, LinearAssemble),
794     CEED_FTABLE_ENTRY(CeedOperator, CreateFDMElementInverse),
795     CEED_FTABLE_ENTRY(CeedOperator, Apply),
796     CEED_FTABLE_ENTRY(CeedOperator, ApplyComposite),
797     CEED_FTABLE_ENTRY(CeedOperator, ApplyAdd),
798     CEED_FTABLE_ENTRY(CeedOperator, ApplyAddComposite),
799     CEED_FTABLE_ENTRY(CeedOperator, ApplyJacobian),
800     CEED_FTABLE_ENTRY(CeedOperator, Destroy),
801     {NULL, 0} // End of lookup table - used in SetBackendFunction loop
802   };
803 
804   ierr = CeedCalloc(sizeof(f_offsets), &(*ceed)->f_offsets); CeedChk(ierr);
805   memcpy((*ceed)->f_offsets, f_offsets, sizeof(f_offsets));
806 
807   // Set fallback for advanced CeedOperator functions
808   const char fallbackresource[] = "";
809   ierr = CeedSetOperatorFallbackResource(*ceed, fallbackresource);
810   CeedChk(ierr);
811 
812   // Record env variables CEED_DEBUG or DBG
813   (*ceed)->debug = !!getenv("CEED_DEBUG") || !!getenv("DBG");
814 
815   // Backend specific setup
816   ierr = backends[match_idx].init(&resource[match_help], *ceed); CeedChk(ierr);
817 
818   // Copy resource prefix, if backend setup successful
819   size_t len = strlen(backends[match_idx].prefix);
820   char *tmp;
821   ierr = CeedCalloc(len+1, &tmp); CeedChk(ierr);
822   memcpy(tmp, backends[match_idx].prefix, len+1);
823   (*ceed)->resource = tmp;
824   return CEED_ERROR_SUCCESS;
825 }
826 
827 /**
828   @brief Get the full resource name for a Ceed context
829 
830   @param ceed           Ceed context to get resource name of
831   @param[out] resource  Variable to store resource name
832 
833   @return An error code: 0 - success, otherwise - failure
834 
835   @ref User
836 **/
837 
838 int CeedGetResource(Ceed ceed, const char **resource) {
839   *resource = (const char *)ceed->resource;
840   return CEED_ERROR_SUCCESS;
841 }
842 
843 /**
844   @brief Return Ceed context preferred memory type
845 
846   @param ceed           Ceed context to get preferred memory type of
847   @param[out] mem_type  Address to save preferred memory type to
848 
849   @return An error code: 0 - success, otherwise - failure
850 
851   @ref User
852 **/
853 int CeedGetPreferredMemType(Ceed ceed, CeedMemType *mem_type) {
854   int ierr;
855 
856   if (ceed->GetPreferredMemType) {
857     ierr = ceed->GetPreferredMemType(mem_type); CeedChk(ierr);
858   } else {
859     Ceed delegate;
860     ierr = CeedGetDelegate(ceed, &delegate); CeedChk(ierr);
861 
862     if (delegate) {
863       ierr = CeedGetPreferredMemType(delegate, mem_type); CeedChk(ierr);
864     } else {
865       *mem_type = CEED_MEM_HOST;
866     }
867   }
868   return CEED_ERROR_SUCCESS;
869 }
870 
871 /**
872   @brief Get deterministic status of Ceed
873 
874   @param[in] ceed               Ceed
875   @param[out] is_deterministic  Variable to store deterministic status
876 
877   @return An error code: 0 - success, otherwise - failure
878 
879   @ref User
880 **/
881 int CeedIsDeterministic(Ceed ceed, bool *is_deterministic) {
882   *is_deterministic = ceed->is_deterministic;
883   return CEED_ERROR_SUCCESS;
884 }
885 
886 /**
887   @brief View a Ceed
888 
889   @param[in] ceed    Ceed to view
890   @param[in] stream  Filestream to write to
891 
892   @return An error code: 0 - success, otherwise - failure
893 
894   @ref User
895 **/
896 int CeedView(Ceed ceed, FILE *stream) {
897   int ierr;
898   CeedMemType mem_type;
899 
900   ierr = CeedGetPreferredMemType(ceed, &mem_type); CeedChk(ierr);
901 
902   fprintf(stream, "Ceed\n"
903           "  Ceed Resource: %s\n"
904           "  Preferred MemType: %s\n",
905           ceed->resource, CeedMemTypes[mem_type]);
906   return CEED_ERROR_SUCCESS;
907 }
908 
909 /**
910   @brief Destroy a Ceed context
911 
912   @param ceed  Address of Ceed context to destroy
913 
914   @return An error code: 0 - success, otherwise - failure
915 
916   @ref User
917 **/
918 int CeedDestroy(Ceed *ceed) {
919   int ierr;
920   if (!*ceed || --(*ceed)->ref_count > 0) return CEED_ERROR_SUCCESS;
921   if ((*ceed)->delegate) {
922     ierr = CeedDestroy(&(*ceed)->delegate); CeedChk(ierr);
923   }
924 
925   if ((*ceed)->obj_delegate_count > 0) {
926     for (int i=0; i<(*ceed)->obj_delegate_count; i++) {
927       ierr = CeedDestroy(&((*ceed)->obj_delegates[i].delegate)); CeedChk(ierr);
928       ierr = CeedFree(&(*ceed)->obj_delegates[i].obj_name); CeedChk(ierr);
929     }
930     ierr = CeedFree(&(*ceed)->obj_delegates); CeedChk(ierr);
931   }
932 
933   if ((*ceed)->Destroy) {
934     ierr = (*ceed)->Destroy(*ceed); CeedChk(ierr);
935   }
936 
937   ierr = CeedFree(&(*ceed)->f_offsets); CeedChk(ierr);
938   ierr = CeedFree(&(*ceed)->resource); CeedChk(ierr);
939   ierr = CeedDestroy(&(*ceed)->op_fallback_ceed); CeedChk(ierr);
940   ierr = CeedFree(&(*ceed)->op_fallback_resource); CeedChk(ierr);
941   ierr = CeedFree(ceed); CeedChk(ierr);
942   return CEED_ERROR_SUCCESS;
943 }
944 
945 // LCOV_EXCL_START
946 const char *CeedErrorFormat(Ceed ceed, const char *format, va_list *args) {
947   if (ceed->parent)
948     return CeedErrorFormat(ceed->parent, format, args);
949   if (ceed->op_fallback_parent)
950     return CeedErrorFormat(ceed->op_fallback_parent, format, args);
951   vsnprintf(ceed->err_msg, CEED_MAX_RESOURCE_LEN, format, *args);
952   return ceed->err_msg;
953 }
954 // LCOV_EXCL_STOP
955 
956 /**
957   @brief Error handling implementation; use \ref CeedError instead.
958 
959   @ref Developer
960 **/
961 int CeedErrorImpl(Ceed ceed, const char *filename, int lineno, const char *func,
962                   int ecode, const char *format, ...) {
963   va_list args;
964   int ret_val;
965   va_start(args, format);
966   if (ceed) {
967     ret_val = ceed->Error(ceed, filename, lineno, func, ecode, format, &args);
968   } else {
969     // LCOV_EXCL_START
970     const char *ceed_error_handler = getenv("CEED_ERROR_HANDLER");
971     if (!ceed_error_handler)
972       ceed_error_handler = "abort";
973     if (!strcmp(ceed_error_handler, "return"))
974       ret_val = CeedErrorReturn(ceed, filename, lineno, func, ecode, format, &args);
975     else
976       // This function will not return
977       ret_val = CeedErrorAbort(ceed, filename, lineno, func, ecode, format, &args);
978   }
979   va_end(args);
980   return ret_val;
981   // LCOV_EXCL_STOP
982 }
983 
984 /**
985   @brief Error handler that returns without printing anything.
986 
987   Pass this to CeedSetErrorHandler() to obtain this error handling behavior.
988 
989   @ref Developer
990 **/
991 // LCOV_EXCL_START
992 int CeedErrorReturn(Ceed ceed, const char *filename, int line_no,
993                     const char *func, int err_code, const char *format,
994                     va_list *args) {
995   return err_code;
996 }
997 // LCOV_EXCL_STOP
998 
999 /**
1000   @brief Error handler that stores the error message for future use and returns
1001            the error.
1002 
1003   Pass this to CeedSetErrorHandler() to obtain this error handling behavior.
1004 
1005   @ref Developer
1006 **/
1007 // LCOV_EXCL_START
1008 int CeedErrorStore(Ceed ceed, const char *filename, int line_no,
1009                    const char *func, int err_code, const char *format,
1010                    va_list *args) {
1011   if (ceed->parent)
1012     return CeedErrorStore(ceed->parent, filename, line_no, func, err_code, format,
1013                           args);
1014   if (ceed->op_fallback_parent)
1015     return CeedErrorStore(ceed->op_fallback_parent, filename, line_no, func,
1016                           err_code, format, args);
1017 
1018   // Build message
1019   CeedInt len;
1020   len = snprintf(ceed->err_msg, CEED_MAX_RESOURCE_LEN, "%s:%d in %s(): ",
1021                  filename, line_no, func);
1022   vsnprintf(ceed->err_msg + len, CEED_MAX_RESOURCE_LEN - len, format, *args);
1023   return err_code;
1024 }
1025 // LCOV_EXCL_STOP
1026 
1027 /**
1028   @brief Error handler that prints to stderr and aborts
1029 
1030   Pass this to CeedSetErrorHandler() to obtain this error handling behavior.
1031 
1032   @ref Developer
1033 **/
1034 // LCOV_EXCL_START
1035 int CeedErrorAbort(Ceed ceed, const char *filename, int line_no,
1036                    const char *func, int err_code, const char *format,
1037                    va_list *args) {
1038   fprintf(stderr, "%s:%d in %s(): ", filename, line_no, func);
1039   vfprintf(stderr, format, *args);
1040   fprintf(stderr, "\n");
1041   abort();
1042   return err_code;
1043 }
1044 // LCOV_EXCL_STOP
1045 
1046 /**
1047   @brief Error handler that prints to stderr and exits
1048 
1049   Pass this to CeedSetErrorHandler() to obtain this error handling behavior.
1050 
1051   In contrast to CeedErrorAbort(), this exits without a signal, so atexit()
1052   handlers (e.g., as used by gcov) are run.
1053 
1054   @ref Developer
1055 **/
1056 int CeedErrorExit(Ceed ceed, const char *filename, int line_no,
1057                   const char *func, int err_code, const char *format, va_list *args) {
1058   fprintf(stderr, "%s:%d in %s(): ", filename, line_no, func);
1059   vfprintf(stderr, format, *args);
1060   fprintf(stderr, "\n");
1061   exit(err_code);
1062   return err_code;
1063 }
1064 
1065 /**
1066   @brief Set error handler
1067 
1068   A default error handler is set in CeedInit().  Use this function to change
1069   the error handler to CeedErrorReturn(), CeedErrorAbort(), or a user-defined
1070   error handler.
1071 
1072   @ref Developer
1073 **/
1074 int CeedSetErrorHandler(Ceed ceed, CeedErrorHandler handler) {
1075   ceed->Error = handler;
1076   if (ceed->delegate) CeedSetErrorHandler(ceed->delegate, handler);
1077   for (int i=0; i<ceed->obj_delegate_count; i++)
1078     CeedSetErrorHandler(ceed->obj_delegates[i].delegate, handler);
1079   return CEED_ERROR_SUCCESS;
1080 }
1081 
1082 /**
1083   @brief Get error message
1084 
1085   The error message is only stored when using the error handler
1086     CeedErrorStore()
1087 
1088   @param[in] ceed      Ceed contex to retrieve error message
1089   @param[out] err_msg  Char pointer to hold error message
1090 
1091   @ref Developer
1092 **/
1093 int CeedGetErrorMessage(Ceed ceed, const char **err_msg) {
1094   if (ceed->parent)
1095     return CeedGetErrorMessage(ceed->parent, err_msg);
1096   if (ceed->op_fallback_parent)
1097     return CeedGetErrorMessage(ceed->op_fallback_parent, err_msg);
1098   *err_msg = ceed->err_msg;
1099   return CEED_ERROR_SUCCESS;
1100 }
1101 
1102 /**
1103   @brief Restore error message
1104 
1105   The error message is only stored when using the error handler
1106     CeedErrorStore()
1107 
1108   @param[in] ceed      Ceed contex to restore error message
1109   @param[out] err_msg  Char pointer that holds error message
1110 
1111   @ref Developer
1112 **/
1113 int CeedResetErrorMessage(Ceed ceed, const char **err_msg) {
1114   if (ceed->parent)
1115     return CeedResetErrorMessage(ceed->parent, err_msg);
1116   if (ceed->op_fallback_parent)
1117     return CeedResetErrorMessage(ceed->op_fallback_parent, err_msg);
1118   *err_msg = NULL;
1119   memcpy(ceed->err_msg, "No error message stored", 24);
1120   return CEED_ERROR_SUCCESS;
1121 }
1122 
1123 /**
1124   @brief Get libCEED library version info
1125 
1126   libCEED version numbers have the form major.minor.patch. Non-release versions
1127   may contain unstable interfaces.
1128 
1129   @param[out] major    Major version of the library
1130   @param[out] minor    Minor version of the library
1131   @param[out] patch    Patch (subminor) version of the library
1132   @param[out] release  True for releases; false for development branches.
1133 
1134   The caller may pass NULL for any arguments that are not needed.
1135 
1136   @sa CEED_VERSION_GE()
1137 
1138   @ref Developer
1139 */
1140 int CeedGetVersion(int *major, int *minor, int *patch, bool *release) {
1141   if (major) *major = CEED_VERSION_MAJOR;
1142   if (minor) *minor = CEED_VERSION_MINOR;
1143   if (patch) *patch = CEED_VERSION_PATCH;
1144   if (release) *release = CEED_VERSION_RELEASE;
1145   return 0;
1146 }
1147 
1148 /// @}
1149