xref: /libCEED/interface/ceed.c (revision 442e7f0bef50859918b48bfcea0f6ad2d729e89e)
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-impl.h>
19 #include <ceed-backend.h>
20 #include <limits.h>
21 #include <stdarg.h>
22 #include <stddef.h>
23 #include <stdio.h>
24 #include <stdlib.h>
25 #include <string.h>
26 
27 /// @cond DOXYGEN_SKIP
28 static CeedRequest ceed_request_immediate;
29 static CeedRequest ceed_request_ordered;
30 
31 static struct {
32   char prefix[CEED_MAX_RESOURCE_LEN];
33   int (*init)(const char *resource, Ceed f);
34   unsigned int priority;
35 } backends[32];
36 static size_t num_backends;
37 
38 #define CEED_FTABLE_ENTRY(class, method) \
39   {#class #method, offsetof(struct class ##_private, method)}
40 /// @endcond
41 
42 /// @file
43 /// Implementation of core components of Ceed library
44 ///
45 /// @addtogroup Ceed
46 /// @{
47 
48 /**
49   @brief Request immediate completion
50 
51   This predefined constant is passed as the \ref CeedRequest argument to
52   interfaces when the caller wishes for the operation to be performed
53   immediately.  The code
54 
55   @code
56     CeedOperatorApply(op, ..., CEED_REQUEST_IMMEDIATE);
57   @endcode
58 
59   is semantically equivalent to
60 
61   @code
62     CeedRequest request;
63     CeedOperatorApply(op, ..., &request);
64     CeedRequestWait(&request);
65   @endcode
66 
67   @sa CEED_REQUEST_ORDERED
68 **/
69 CeedRequest *const CEED_REQUEST_IMMEDIATE = &ceed_request_immediate;
70 
71 /**
72   @brief Request ordered completion
73 
74   This predefined constant is passed as the \ref CeedRequest argument to
75   interfaces when the caller wishes for the operation to be completed in the
76   order that it is submitted to the device.  It is typically used in a construct
77   such as
78 
79   @code
80     CeedRequest request;
81     CeedOperatorApply(op1, ..., CEED_REQUEST_ORDERED);
82     CeedOperatorApply(op2, ..., &request);
83     // other optional work
84     CeedWait(&request);
85   @endcode
86 
87   which allows the sequence to complete asynchronously but does not start
88   `op2` until `op1` has completed.
89 
90   @todo The current implementation is overly strict, offering equivalent
91   semantics to CEED_REQUEST_IMMEDIATE.
92 
93   @sa CEED_REQUEST_IMMEDIATE
94  */
95 CeedRequest *const CEED_REQUEST_ORDERED = &ceed_request_ordered;
96 
97 /**
98   @brief Error handling implementation; use \ref CeedError instead.
99 
100   @ref Developer
101 **/
102 int CeedErrorImpl(Ceed ceed, const char *filename, int lineno, const char *func,
103                   int ecode, const char *format, ...) {
104   va_list args;
105   int retval;
106   va_start(args, format);
107   if (ceed) {
108     retval = ceed->Error(ceed, filename, lineno, func, ecode, format, args);
109   } else {
110     // This function doesn't actually return
111     retval = CeedErrorAbort(ceed, filename, lineno, func, ecode, format, args);
112   }
113   va_end(args);
114   return retval;
115 }
116 
117 /**
118   @brief Error handler that returns without printing anything.
119 
120   Pass this to CeedSetErrorHandler() to obtain this error handling behavior.
121 
122   @ref Developer
123 **/
124 int CeedErrorReturn(Ceed ceed, const char *filename, int lineno,
125                     const char *func, int ecode, const char *format,
126                     va_list args) {
127   return ecode;
128 }
129 
130 /**
131   @brief Error handler that prints to stderr and aborts
132 
133   Pass this to CeedSetErrorHandler() to obtain this error handling behavior.
134 
135   @ref Developer
136 **/
137 int CeedErrorAbort(Ceed ceed, const char *filename, int lineno,
138                    const char *func, int ecode, const char *format,
139                    va_list args) {
140   fprintf(stderr, "%s:%d in %s(): ", filename, lineno, func);
141   vfprintf(stderr, format, args);
142   fprintf(stderr, "\n");
143   abort();
144   return ecode;
145 }
146 
147 /**
148   @brief Error handler that prints to stderr and exits
149 
150   Pass this to CeedSetErrorHandler() to obtain this error handling behavior.
151 
152   In contrast to CeedErrorAbort(), this exits without a signal, so atexit()
153   handlers (e.g., as used by gcov) are run.
154 
155   @ref Developer
156 **/
157 int CeedErrorExit(Ceed ceed, const char *filename, int lineno, const char *func,
158                   int ecode, const char *format, va_list args) {
159   fprintf(stderr, "%s:%d in %s(): ", filename, lineno, func);
160   vfprintf(stderr, format, args);
161   fprintf(stderr, "\n");
162   exit(ecode);
163   return ecode;
164 }
165 
166 /**
167   @brief Set error handler
168 
169   A default error handler is set in CeedInit().  Use this function to change
170   the error handler to CeedErrorReturn(), CeedErrorAbort(), or a user-defined
171   error handler.
172 
173   @ref Developer
174 **/
175 int CeedSetErrorHandler(Ceed ceed,
176                         int (eh)(Ceed, const char *, int, const char *,
177                                  int, const char *, va_list)) {
178   ceed->Error = eh;
179   return 0;
180 }
181 
182 /**
183   @brief Register a Ceed backend
184 
185   @param prefix   Prefix of resources for this backend to respond to.  For
186                     example, the reference backend responds to "/cpu/self".
187   @param init     Initialization function called by CeedInit() when the backend
188                     is selected to drive the requested resource.
189   @param priority Integer priority.  Lower values are preferred in case the
190                     resource requested by CeedInit() has non-unique best prefix
191                     match.
192 
193   @return An error code: 0 - success, otherwise - failure
194 
195   @ref Advanced
196 **/
197 int CeedRegister(const char *prefix, int (*init)(const char *, Ceed),
198                  unsigned int priority) {
199   if (num_backends >= sizeof(backends) / sizeof(backends[0]))
200     // LCOV_EXCL_START
201     return CeedError(NULL, 1, "Too many backends");
202   // LCOV_EXCL_STOP
203 
204   strncpy(backends[num_backends].prefix, prefix, CEED_MAX_RESOURCE_LEN);
205   backends[num_backends].prefix[CEED_MAX_RESOURCE_LEN-1] = 0;
206   backends[num_backends].init = init;
207   backends[num_backends].priority = priority;
208   num_backends++;
209   return 0;
210 }
211 
212 /**
213   @brief Allocate an array on the host; use CeedMalloc()
214 
215   Memory usage can be tracked by the library.  This ensures sufficient
216     alignment for vectorization and should be used for large allocations.
217 
218   @param n Number of units to allocate
219   @param unit Size of each unit
220   @param p Address of pointer to hold the result.
221 
222   @return An error code: 0 - success, otherwise - failure
223 
224   @sa CeedFree()
225 
226   @ref Advanced
227 **/
228 int CeedMallocArray(size_t n, size_t unit, void *p) {
229   int ierr = posix_memalign((void **)p, CEED_ALIGN, n*unit);
230   if (ierr)
231     // LCOV_EXCL_START
232     return CeedError(NULL, ierr, "posix_memalign failed to allocate %zd "
233                      "members of size %zd\n", n, unit);
234   // LCOV_EXCL_STOP
235 
236   return 0;
237 }
238 
239 /**
240   @brief Allocate a cleared (zeroed) array on the host; use CeedCalloc()
241 
242   Memory usage can be tracked by the library.
243 
244   @param n Number of units to allocate
245   @param unit Size of each unit
246   @param p Address of pointer to hold the result.
247 
248   @return An error code: 0 - success, otherwise - failure
249 
250   @sa CeedFree()
251 
252   @ref Advanced
253 **/
254 int CeedCallocArray(size_t n, size_t unit, void *p) {
255   *(void **)p = calloc(n, unit);
256   if (n && unit && !*(void **)p)
257     // LCOV_EXCL_START
258     return CeedError(NULL, 1, "calloc failed to allocate %zd members of size "
259                      "%zd\n", n, unit);
260   // LCOV_EXCL_STOP
261 
262   return 0;
263 }
264 
265 /**
266   @brief Reallocate an array on the host; use CeedRealloc()
267 
268   Memory usage can be tracked by the library.
269 
270   @param n Number of units to allocate
271   @param unit Size of each unit
272   @param p Address of pointer to hold the result.
273 
274   @return An error code: 0 - success, otherwise - failure
275 
276   @sa CeedFree()
277 
278   @ref Advanced
279 **/
280 int CeedReallocArray(size_t n, size_t unit, void *p) {
281   *(void **)p = realloc(*(void **)p, n*unit);
282   if (n && unit && !*(void **)p)
283     // LCOV_EXCL_START
284     return CeedError(NULL, 1, "realloc failed to allocate %zd members of size "
285                      "%zd\n", n, unit);
286   // LCOV_EXCL_STOP
287 
288   return 0;
289 }
290 
291 /// Free memory allocated using CeedMalloc() or CeedCalloc()
292 ///
293 /// @param p address of pointer to memory.  This argument is of type void* to
294 /// avoid needing a cast, but is the address of the pointer (which is zeroed)
295 /// rather than the pointer.
296 int CeedFree(void *p) {
297   free(*(void **)p);
298   *(void **)p = NULL;
299   return 0;
300 }
301 
302 /**
303   @brief Wait for a CeedRequest to complete.
304 
305   Calling CeedRequestWait on a NULL request is a no-op.
306 
307   @param req Address of CeedRequest to wait for; zeroed on completion.
308 
309   @return An error code: 0 - success, otherwise - failure
310 
311   @ref Advanced
312 **/
313 int CeedRequestWait(CeedRequest *req) {
314   if (!*req)
315     return 0;
316   return CeedError(NULL, 2, "CeedRequestWait not implemented");
317 }
318 
319 /**
320   @brief Initialize a \ref Ceed to use the specified resource.
321 
322   @param resource  Resource to use, e.g., "/cpu/self"
323   @param ceed The library context
324   @sa CeedRegister() CeedDestroy()
325 
326   @return An error code: 0 - success, otherwise - failure
327 
328   @ref Basic
329 **/
330 int CeedInit(const char *resource, Ceed *ceed) {
331   int ierr;
332   size_t matchlen = 0, matchidx = UINT_MAX, matchpriority = UINT_MAX, priority;
333 
334   // Find matching backend
335   if (!resource)
336     return CeedError(NULL, 1, "No resource provided");
337   for (size_t i=0; i<num_backends; i++) {
338     size_t n;
339     const char *prefix = backends[i].prefix;
340     for (n = 0; prefix[n] && prefix[n] == resource[n]; n++) {}
341     priority = backends[i].priority;
342     if (n > matchlen || (n == matchlen && matchpriority > priority)) {
343       matchlen = n;
344       matchpriority = priority;
345       matchidx = i;
346     }
347   }
348   if (!matchlen)
349     return CeedError(NULL, 1, "No suitable backend");
350 
351   // Setup Ceed
352   ierr = CeedCalloc(1,ceed); CeedChk(ierr);
353   const char *ceed_error_handler = getenv("CEED_ERROR_HANDLER");
354   if (!ceed_error_handler)
355     ceed_error_handler = "abort";
356   if (!strcmp(ceed_error_handler, "exit"))
357     (*ceed)->Error = CeedErrorExit;
358   else
359     (*ceed)->Error = CeedErrorAbort;
360   (*ceed)->refcount = 1;
361   (*ceed)->data = NULL;
362 
363   // Set lookup table
364   foffset foffsets[] = {
365     CEED_FTABLE_ENTRY(Ceed, Error),
366     CEED_FTABLE_ENTRY(Ceed, GetPreferredMemType),
367     CEED_FTABLE_ENTRY(Ceed, Destroy),
368     CEED_FTABLE_ENTRY(Ceed, VectorCreate),
369     CEED_FTABLE_ENTRY(Ceed, ElemRestrictionCreate),
370     CEED_FTABLE_ENTRY(Ceed, ElemRestrictionCreateBlocked),
371     CEED_FTABLE_ENTRY(Ceed, BasisCreateTensorH1),
372     CEED_FTABLE_ENTRY(Ceed, BasisCreateH1),
373     CEED_FTABLE_ENTRY(Ceed, TensorContractCreate),
374     CEED_FTABLE_ENTRY(Ceed, QFunctionCreate),
375     CEED_FTABLE_ENTRY(Ceed, OperatorCreate),
376     CEED_FTABLE_ENTRY(Ceed, CompositeOperatorCreate),
377     CEED_FTABLE_ENTRY(CeedVector, SetArray),
378     CEED_FTABLE_ENTRY(CeedVector, SetValue),
379     CEED_FTABLE_ENTRY(CeedVector, GetArray),
380     CEED_FTABLE_ENTRY(CeedVector, GetArrayRead),
381     CEED_FTABLE_ENTRY(CeedVector, RestoreArray),
382     CEED_FTABLE_ENTRY(CeedVector, RestoreArrayRead),
383     CEED_FTABLE_ENTRY(CeedVector, Destroy),
384     CEED_FTABLE_ENTRY(CeedElemRestriction, Apply),
385     CEED_FTABLE_ENTRY(CeedElemRestriction, ApplyBlock),
386     CEED_FTABLE_ENTRY(CeedElemRestriction, Destroy),
387     CEED_FTABLE_ENTRY(CeedBasis, Apply),
388     CEED_FTABLE_ENTRY(CeedBasis, Destroy),
389     CEED_FTABLE_ENTRY(CeedTensorContract, Apply),
390     CEED_FTABLE_ENTRY(CeedTensorContract, Destroy),
391     CEED_FTABLE_ENTRY(CeedQFunction, Apply),
392     CEED_FTABLE_ENTRY(CeedQFunction, Destroy),
393     CEED_FTABLE_ENTRY(CeedOperator, AssembleLinearQFunction),
394     CEED_FTABLE_ENTRY(CeedOperator, AssembleLinearDiagonal),
395     CEED_FTABLE_ENTRY(CeedOperator, Apply),
396     CEED_FTABLE_ENTRY(CeedOperator, ApplyJacobian),
397     CEED_FTABLE_ENTRY(CeedOperator, Destroy),
398     {NULL, 0} // End of lookup table - used in SetBackendFunction loop
399   };
400 
401   ierr = CeedCalloc(sizeof(foffsets), &(*ceed)->foffsets); CeedChk(ierr);
402   memcpy((*ceed)->foffsets, foffsets, sizeof(foffsets));
403 
404   // Backend specific setup
405   ierr = backends[matchidx].init(resource, *ceed); CeedChk(ierr);
406 
407   // Copy resource prefix, if backend setup sucessful
408   size_t len = strlen(backends[matchidx].prefix);
409   char *tmp;
410   ierr = CeedCalloc(len+1, &tmp); CeedChk(ierr);
411   memcpy(tmp, backends[matchidx].prefix, len+1);
412   (*ceed)->resource = tmp;
413 
414   return 0;
415 }
416 
417 /**
418   @brief Retrieve a parent CEED
419 
420   @param ceed           Ceed to retrieve parent of
421   @param[out] parent    Address to save the parent to
422 
423   @return An error code: 0 - success, otherwise - failure
424 
425   @ref Developer
426 **/
427 int CeedGetParent(Ceed ceed, Ceed *parent) {
428   int ierr;
429   if (ceed->parent) {
430     ierr = CeedGetParent(ceed->parent, parent); CeedChk(ierr);
431     return 0;
432   }
433   *parent = ceed;
434   return 0;
435 }
436 
437 /**
438   @brief Retrieve a delegate CEED
439 
440   @param ceed           Ceed to retrieve delegate of
441   @param[out] delegate  Address to save the delegate to
442 
443   @return An error code: 0 - success, otherwise - failure
444 
445   @ref Developer
446 **/
447 int CeedGetDelegate(Ceed ceed, Ceed *delegate) {
448   *delegate = ceed->delegate;
449   return 0;
450 }
451 
452 /**
453   @brief Set a delegate CEED
454 
455   This function allows a CEED to set a delegate CEED. All backend
456   implementations default to the delegate CEED, unless overridden.
457 
458   @param ceed           Ceed to set delegate of
459   @param[out] delegate  Address to set the delegate to
460 
461   @return An error code: 0 - success, otherwise - failure
462 
463   @ref Advanced
464 **/
465 int CeedSetDelegate(Ceed ceed, Ceed delegate) {
466   ceed->delegate = delegate;
467   delegate->parent = ceed;
468   return 0;
469 }
470 
471 /**
472   @brief Retrieve a delegate CEED for a specific object type
473 
474   @param ceed           Ceed to retrieve delegate of
475   @param[out] delegate  Address to save the delegate to
476   @param[in] objname    Name of the object type to retrieve delegate for
477 
478   @return An error code: 0 - success, otherwise - failure
479 
480   @ref Developer
481 **/
482 int CeedGetObjectDelegate(Ceed ceed, Ceed *delegate, const char *objname) {
483   CeedInt ierr;
484 
485   // Check for object delegate
486   for (CeedInt i=0; i<ceed->objdelegatecount; i++)
487     if (!strcmp(objname, ceed->objdelegates->objname)) {
488       *delegate = ceed->objdelegates->delegate;
489       return 0;
490     }
491 
492   // Use default delegate if no object delegate
493   ierr = CeedGetDelegate(ceed, delegate); CeedChk(ierr);
494 
495   return 0;
496 }
497 
498 /**
499   @brief Set a delegate CEED for a specific object type
500 
501   This function allows a CEED to set a delegate CEED for a given type of
502   CEED object. All backend implementations default to the delegate CEED for
503   this object. For example,
504     CeedSetObjectDelegate(ceed, refceed, "Basis")
505   uses refceed implementations for all CeedBasis backend functions.
506 
507   @param ceed           Ceed to set delegate of
508   @param[out] delegate  Address to set the delegate to
509   @param[in] objname    Name of the object type to set delegate for
510 
511   @return An error code: 0 - success, otherwise - failure
512 
513   @ref Advanced
514 **/
515 int CeedSetObjectDelegate(Ceed ceed, Ceed delegate, const char *objname) {
516   CeedInt ierr;
517   CeedInt count = ceed->objdelegatecount;
518 
519   // Malloc or Realloc
520   if (count) {
521     ierr = CeedRealloc(count+1, &ceed->objdelegates); CeedChk(ierr);
522   } else {
523     ierr = CeedCalloc(1, &ceed->objdelegates); CeedChk(ierr);
524   }
525   ceed->objdelegatecount++;
526 
527   // Set object delegate
528   ceed->objdelegates[count].delegate = delegate;
529   size_t slen = strlen(objname) + 1;
530   ierr = CeedMalloc(slen, &ceed->objdelegates[count].objname); CeedChk(ierr);
531   memcpy(ceed->objdelegates[count].objname, objname, slen);
532 
533   // Set delegate parent
534   delegate->parent = ceed;
535 
536   return 0;
537 }
538 
539 /**
540   @brief Return Ceed preferred memory type
541 
542   @param ceed           Ceed to get preferred memory type of
543   @param[out] type      Address to save preferred memory type to
544 
545   @return An error code: 0 - success, otherwise - failure
546 
547   @ref Basic
548 **/
549 int CeedGetPreferredMemType(Ceed ceed, CeedMemType *type) {
550   int ierr;
551 
552   if (ceed->GetPreferredMemType) {
553     ierr = ceed->GetPreferredMemType(type); CeedChk(ierr);
554   } else {
555     Ceed delegate;
556     ierr = CeedGetDelegate(ceed, &delegate); CeedChk(ierr);
557 
558     if (delegate) {
559       ierr = CeedGetPreferredMemType(delegate, type); CeedChk(ierr);
560     } else {
561       *type = CEED_MEM_HOST;
562     }
563   }
564 
565   return 0;
566 }
567 
568 /**
569   @brief Set a backend function
570 
571   This function is used for a backend to set the function associated with
572   the CEED objects. For example,
573     CeedSetBackendFunction(ceed, "Ceed", ceed, "VectorCreate", BackendVectorCreate)
574   sets the backend implementation of 'CeedVectorCreate' and
575     CeedSetBackendFunction(ceed, "Basis", basis, "Apply", BackendBasisApply)
576   sets the backend implementation of 'CeedBasisApply'. Note, the prefix 'Ceed'
577   is not required for the object type ("Basis" vs "CeedBasis").
578 
579   @param ceed           Ceed for error handling
580   @param type           Type of Ceed object to set function for
581   @param[out] object    Ceed object to set function for
582   @param fname          Name of function to set
583   @param f              Function to set
584 
585   @return An error code: 0 - success, otherwise - failure
586 
587   @ref Advanced
588 **/
589 int CeedSetBackendFunction(Ceed ceed, const char *type, void *object,
590                            const char *fname, int (*f)()) {
591   char lookupname[CEED_MAX_RESOURCE_LEN+1] = "";
592 
593   // Build lookup name
594   if (strcmp(type, "Ceed"))
595     strncat (lookupname, "Ceed", CEED_MAX_RESOURCE_LEN);
596   strncat(lookupname, type, CEED_MAX_RESOURCE_LEN);
597   strncat(lookupname, fname, CEED_MAX_RESOURCE_LEN);
598 
599   // Find and use offset
600   for (CeedInt i = 0; ceed->foffsets[i].fname; i++)
601     if (!strcmp(ceed->foffsets[i].fname, lookupname)) {
602       size_t offset = ceed->foffsets[i].offset;
603       int (**fpointer)(void) = (int (**)(void))((char *)object + offset); // *NOPAD*
604       *fpointer = f;
605       return 0;
606     }
607 
608   // LCOV_EXCL_START
609   return CeedError(ceed, 1, "Requested function '%s' was not found for CEED "
610                    "object '%s'", fname, type);
611   // LCOV_EXCL_STOP
612 }
613 
614 /**
615   @brief Retrieve backend data for a CEED
616 
617   @param ceed           Ceed to retrieve data of
618   @param[out] data      Address to save data to
619 
620   @return An error code: 0 - success, otherwise - failure
621 
622   @ref Advanced
623 **/
624 int CeedGetData(Ceed ceed, void **data) {
625   *data = ceed->data;
626   return 0;
627 }
628 
629 /**
630   @brief Set backend data for a CEED
631 
632   @param ceed           Ceed to set data of
633   @param data           Address of data to set
634 
635   @return An error code: 0 - success, otherwise - failure
636 
637   @ref Advanced
638 **/
639 int CeedSetData(Ceed ceed, void **data) {
640   ceed->data = *data;
641   return 0;
642 }
643 
644 /**
645   @brief Get the full resource name for a CEED
646 
647   @param ceed            Ceed to get resource name of
648   @param[out] resource   Variable to store resource name
649 
650   @return An error code: 0 - success, otherwise - failure
651 
652   @ref Basic
653 **/
654 
655 int CeedGetResource(Ceed ceed, const char **resource) {
656   *resource = (const char *)ceed->resource;
657   return 0;
658 }
659 
660 /**
661   @brief Destroy a Ceed context
662 
663   @param ceed Address of Ceed context to destroy
664 
665   @return An error code: 0 - success, otherwise - failure
666 
667   @ref Basic
668 **/
669 int CeedDestroy(Ceed *ceed) {
670   int ierr;
671 
672   if (!*ceed || --(*ceed)->refcount > 0)
673     return 0;
674   if ((*ceed)->delegate) {
675     ierr = CeedDestroy(&(*ceed)->delegate); CeedChk(ierr);
676   }
677   if ((*ceed)->objdelegatecount > 0) {
678     for (int i=0; i<(*ceed)->objdelegatecount; i++) {
679       ierr = CeedDestroy(&((*ceed)->objdelegates[i].delegate)); CeedChk(ierr);
680       ierr = CeedFree(&(*ceed)->objdelegates[i].objname); CeedChk(ierr);
681     }
682     ierr = CeedFree(&(*ceed)->objdelegates); CeedChk(ierr);
683   }
684   if ((*ceed)->Destroy) {
685     ierr = (*ceed)->Destroy(*ceed); CeedChk(ierr);
686   }
687   ierr = CeedFree(&(*ceed)->foffsets); CeedChk(ierr);
688   ierr = CeedFree(&(*ceed)->resource); CeedChk(ierr);
689   ierr = CeedFree(ceed); CeedChk(ierr);
690   return 0;
691 }
692 
693 /// @}
694