1af0996ceSBarry Smith #include <petsc/private/dmpleximpl.h> /*I "petscdmplex.h" I*/ 2e8f14785SLisandro Dalcin #include <petsc/private/hashmapi.h> 3e8f14785SLisandro Dalcin #include <petsc/private/hashmapij.h> 4e8f14785SLisandro Dalcin 5e8f14785SLisandro Dalcin /* HashIJKL */ 6e8f14785SLisandro Dalcin 7e8f14785SLisandro Dalcin #include <petsc/private/hashmap.h> 8e8f14785SLisandro Dalcin 9e8f14785SLisandro Dalcin typedef struct _PetscHashIJKLKey { PetscInt i, j, k, l; } PetscHashIJKLKey; 10e8f14785SLisandro Dalcin 11e8f14785SLisandro Dalcin #define PetscHashIJKLKeyHash(key) \ 12e8f14785SLisandro Dalcin PetscHashCombine(PetscHashCombine(PetscHashInt((key).i),PetscHashInt((key).j)), \ 13e8f14785SLisandro Dalcin PetscHashCombine(PetscHashInt((key).k),PetscHashInt((key).l))) 14e8f14785SLisandro Dalcin 15e8f14785SLisandro Dalcin #define PetscHashIJKLKeyEqual(k1,k2) \ 16e8f14785SLisandro Dalcin (((k1).i==(k2).i) ? ((k1).j==(k2).j) ? ((k1).k==(k2).k) ? ((k1).l==(k2).l) : 0 : 0 : 0) 17e8f14785SLisandro Dalcin 18e8f14785SLisandro Dalcin PETSC_HASH_MAP(HashIJKL, PetscHashIJKLKey, PetscInt, PetscHashIJKLKeyHash, PetscHashIJKLKeyEqual, -1) 19e8f14785SLisandro Dalcin 209f074e33SMatthew G Knepley 219f074e33SMatthew G Knepley /* 229a5b13a2SMatthew G Knepley DMPlexGetFaces_Internal - Gets groups of vertices that correspond to faces for the given cell 23cd921712SStefano Zampini This assumes that the mesh is not interpolated from the depth of point p to the vertices 249f074e33SMatthew G Knepley */ 25439ece16SMatthew G. Knepley PetscErrorCode DMPlexGetFaces_Internal(DM dm, PetscInt dim, PetscInt p, PetscInt *numFaces, PetscInt *faceSize, const PetscInt *faces[]) 269f074e33SMatthew G Knepley { 279f074e33SMatthew G Knepley const PetscInt *cone = NULL; 28cd921712SStefano Zampini PetscInt coneSize; 299f074e33SMatthew G Knepley PetscErrorCode ierr; 309f074e33SMatthew G Knepley 319f074e33SMatthew G Knepley PetscFunctionBegin; 329f074e33SMatthew G Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 339f074e33SMatthew G Knepley ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr); 349f074e33SMatthew G Knepley ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr); 35439ece16SMatthew G. Knepley ierr = DMPlexGetRawFaces_Internal(dm, dim, coneSize, cone, numFaces, faceSize, faces);CHKERRQ(ierr); 36439ece16SMatthew G. Knepley PetscFunctionReturn(0); 37439ece16SMatthew G. Knepley } 38439ece16SMatthew G. Knepley 39439ece16SMatthew G. Knepley /* 40439ece16SMatthew G. Knepley DMPlexRestoreFaces_Internal - Restores the array 41439ece16SMatthew G. Knepley */ 42439ece16SMatthew G. Knepley PetscErrorCode DMPlexRestoreFaces_Internal(DM dm, PetscInt dim, PetscInt p, PetscInt *numFaces, PetscInt *faceSize, const PetscInt *faces[]) 43439ece16SMatthew G. Knepley { 44439ece16SMatthew G. Knepley PetscErrorCode ierr; 45439ece16SMatthew G. Knepley 46439ece16SMatthew G. Knepley PetscFunctionBegin; 47cd921712SStefano Zampini if (faces) { ierr = DMRestoreWorkArray(dm, 0, MPIU_INT, (void *) faces);CHKERRQ(ierr); } 48439ece16SMatthew G. Knepley PetscFunctionReturn(0); 49439ece16SMatthew G. Knepley } 50439ece16SMatthew G. Knepley 51439ece16SMatthew G. Knepley /* 52439ece16SMatthew G. Knepley DMPlexGetRawFaces_Internal - Gets groups of vertices that correspond to faces for the given cone 53439ece16SMatthew G. Knepley */ 54439ece16SMatthew G. Knepley PetscErrorCode DMPlexGetRawFaces_Internal(DM dm, PetscInt dim, PetscInt coneSize, const PetscInt cone[], PetscInt *numFaces, PetscInt *faceSize, const PetscInt *faces[]) 55439ece16SMatthew G. Knepley { 56439ece16SMatthew G. Knepley PetscInt *facesTmp; 57439ece16SMatthew G. Knepley PetscInt maxConeSize, maxSupportSize; 58439ece16SMatthew G. Knepley PetscErrorCode ierr; 59439ece16SMatthew G. Knepley 60439ece16SMatthew G. Knepley PetscFunctionBegin; 61439ece16SMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 62cd921712SStefano Zampini if (faces && coneSize) PetscValidIntPointer(cone,4); 63439ece16SMatthew G. Knepley ierr = DMPlexGetMaxSizes(dm, &maxConeSize, &maxSupportSize);CHKERRQ(ierr); 6469291d52SBarry Smith if (faces) {ierr = DMGetWorkArray(dm, PetscSqr(PetscMax(maxConeSize, maxSupportSize)), MPIU_INT, &facesTmp);CHKERRQ(ierr);} 659f074e33SMatthew G Knepley switch (dim) { 66c49d9212SMatthew G. Knepley case 1: 67c49d9212SMatthew G. Knepley switch (coneSize) { 68c49d9212SMatthew G. Knepley case 2: 69c49d9212SMatthew G. Knepley if (faces) { 70c49d9212SMatthew G. Knepley facesTmp[0] = cone[0]; facesTmp[1] = cone[1]; 71c49d9212SMatthew G. Knepley *faces = facesTmp; 72c49d9212SMatthew G. Knepley } 73c49d9212SMatthew G. Knepley if (numFaces) *numFaces = 2; 74c49d9212SMatthew G. Knepley if (faceSize) *faceSize = 1; 75c49d9212SMatthew G. Knepley break; 76c49d9212SMatthew G. Knepley default: 7799836e0eSStefano Zampini SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim); 78c49d9212SMatthew G. Knepley } 79c49d9212SMatthew G. Knepley break; 809f074e33SMatthew G Knepley case 2: 819f074e33SMatthew G Knepley switch (coneSize) { 829f074e33SMatthew G Knepley case 3: 839a5b13a2SMatthew G Knepley if (faces) { 849a5b13a2SMatthew G Knepley facesTmp[0] = cone[0]; facesTmp[1] = cone[1]; 859a5b13a2SMatthew G Knepley facesTmp[2] = cone[1]; facesTmp[3] = cone[2]; 869a5b13a2SMatthew G Knepley facesTmp[4] = cone[2]; facesTmp[5] = cone[0]; 879a5b13a2SMatthew G Knepley *faces = facesTmp; 889a5b13a2SMatthew G Knepley } 899a5b13a2SMatthew G Knepley if (numFaces) *numFaces = 3; 909a5b13a2SMatthew G Knepley if (faceSize) *faceSize = 2; 919f074e33SMatthew G Knepley break; 929f074e33SMatthew G Knepley case 4: 939a5b13a2SMatthew G Knepley /* Vertices follow right hand rule */ 949a5b13a2SMatthew G Knepley if (faces) { 959a5b13a2SMatthew G Knepley facesTmp[0] = cone[0]; facesTmp[1] = cone[1]; 969a5b13a2SMatthew G Knepley facesTmp[2] = cone[1]; facesTmp[3] = cone[2]; 979a5b13a2SMatthew G Knepley facesTmp[4] = cone[2]; facesTmp[5] = cone[3]; 989a5b13a2SMatthew G Knepley facesTmp[6] = cone[3]; facesTmp[7] = cone[0]; 999a5b13a2SMatthew G Knepley *faces = facesTmp; 1009a5b13a2SMatthew G Knepley } 1019a5b13a2SMatthew G Knepley if (numFaces) *numFaces = 4; 1029a5b13a2SMatthew G Knepley if (faceSize) *faceSize = 2; 1039f074e33SMatthew G Knepley break; 1049f074e33SMatthew G Knepley default: 10599836e0eSStefano Zampini SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim); 1069f074e33SMatthew G Knepley } 1079f074e33SMatthew G Knepley break; 1089f074e33SMatthew G Knepley case 3: 1099f074e33SMatthew G Knepley switch (coneSize) { 1109f074e33SMatthew G Knepley case 3: 1119a5b13a2SMatthew G Knepley if (faces) { 1129a5b13a2SMatthew G Knepley facesTmp[0] = cone[0]; facesTmp[1] = cone[1]; 1139a5b13a2SMatthew G Knepley facesTmp[2] = cone[1]; facesTmp[3] = cone[2]; 1149a5b13a2SMatthew G Knepley facesTmp[4] = cone[2]; facesTmp[5] = cone[0]; 1159a5b13a2SMatthew G Knepley *faces = facesTmp; 1169a5b13a2SMatthew G Knepley } 1179a5b13a2SMatthew G Knepley if (numFaces) *numFaces = 3; 1189a5b13a2SMatthew G Knepley if (faceSize) *faceSize = 2; 1199f074e33SMatthew G Knepley break; 1209f074e33SMatthew G Knepley case 4: 1212e1b13c2SMatthew G. Knepley /* Vertices of first face follow right hand rule and normal points away from last vertex */ 1229a5b13a2SMatthew G Knepley if (faces) { 1232e1b13c2SMatthew G. Knepley facesTmp[0] = cone[0]; facesTmp[1] = cone[1]; facesTmp[2] = cone[2]; 1242e1b13c2SMatthew G. Knepley facesTmp[3] = cone[0]; facesTmp[4] = cone[3]; facesTmp[5] = cone[1]; 1252e1b13c2SMatthew G. Knepley facesTmp[6] = cone[0]; facesTmp[7] = cone[2]; facesTmp[8] = cone[3]; 1262e1b13c2SMatthew G. Knepley facesTmp[9] = cone[2]; facesTmp[10] = cone[1]; facesTmp[11] = cone[3]; 1279a5b13a2SMatthew G Knepley *faces = facesTmp; 1289a5b13a2SMatthew G Knepley } 1299a5b13a2SMatthew G Knepley if (numFaces) *numFaces = 4; 1309a5b13a2SMatthew G Knepley if (faceSize) *faceSize = 3; 1319a5b13a2SMatthew G Knepley break; 1329a5b13a2SMatthew G Knepley case 8: 133e368ef20SMatthew G. Knepley /* 7--------6 134e368ef20SMatthew G. Knepley /| /| 135e368ef20SMatthew G. Knepley / | / | 136e368ef20SMatthew G. Knepley 4--------5 | 137e368ef20SMatthew G. Knepley | | | | 138e368ef20SMatthew G. Knepley | | | | 139e368ef20SMatthew G. Knepley | 1--------2 140e368ef20SMatthew G. Knepley | / | / 141e368ef20SMatthew G. Knepley |/ |/ 142e368ef20SMatthew G. Knepley 0--------3 143e368ef20SMatthew G. Knepley */ 1449a5b13a2SMatthew G Knepley if (faces) { 14551cfd6a4SMatthew G. Knepley facesTmp[0] = cone[0]; facesTmp[1] = cone[1]; facesTmp[2] = cone[2]; facesTmp[3] = cone[3]; /* Bottom */ 14651cfd6a4SMatthew G. Knepley facesTmp[4] = cone[4]; facesTmp[5] = cone[5]; facesTmp[6] = cone[6]; facesTmp[7] = cone[7]; /* Top */ 14751cfd6a4SMatthew G. Knepley facesTmp[8] = cone[0]; facesTmp[9] = cone[3]; facesTmp[10] = cone[5]; facesTmp[11] = cone[4]; /* Front */ 14851cfd6a4SMatthew G. Knepley facesTmp[12] = cone[2]; facesTmp[13] = cone[1]; facesTmp[14] = cone[7]; facesTmp[15] = cone[6]; /* Back */ 14951cfd6a4SMatthew G. Knepley facesTmp[16] = cone[3]; facesTmp[17] = cone[2]; facesTmp[18] = cone[6]; facesTmp[19] = cone[5]; /* Right */ 15051cfd6a4SMatthew G. Knepley facesTmp[20] = cone[0]; facesTmp[21] = cone[4]; facesTmp[22] = cone[7]; facesTmp[23] = cone[1]; /* Left */ 1519a5b13a2SMatthew G Knepley *faces = facesTmp; 1529a5b13a2SMatthew G Knepley } 1539a5b13a2SMatthew G Knepley if (numFaces) *numFaces = 6; 1549a5b13a2SMatthew G Knepley if (faceSize) *faceSize = 4; 1559f074e33SMatthew G Knepley break; 1569f074e33SMatthew G Knepley default: 15799836e0eSStefano Zampini SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim); 1589f074e33SMatthew G Knepley } 1599f074e33SMatthew G Knepley break; 1609f074e33SMatthew G Knepley default: 16199836e0eSStefano Zampini SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Dimension %D not supported", dim); 1629f074e33SMatthew G Knepley } 1639f074e33SMatthew G Knepley PetscFunctionReturn(0); 1649f074e33SMatthew G Knepley } 1659f074e33SMatthew G Knepley 16699836e0eSStefano Zampini /* 16799836e0eSStefano Zampini DMPlexGetRawFacesHybrid_Internal - Gets groups of vertices that correspond to faces for the given cone using hybrid ordering (prisms) 16899836e0eSStefano Zampini */ 16999836e0eSStefano Zampini static PetscErrorCode DMPlexGetRawFacesHybrid_Internal(DM dm, PetscInt dim, PetscInt coneSize, const PetscInt cone[], PetscInt *numFaces, PetscInt *numFacesNotH, PetscInt *faceSize, const PetscInt *faces[]) 17099836e0eSStefano Zampini { 17199836e0eSStefano Zampini PetscInt *facesTmp; 17299836e0eSStefano Zampini PetscInt maxConeSize, maxSupportSize; 17399836e0eSStefano Zampini PetscErrorCode ierr; 17499836e0eSStefano Zampini 17599836e0eSStefano Zampini PetscFunctionBegin; 17699836e0eSStefano Zampini PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 17799836e0eSStefano Zampini if (faces && coneSize) PetscValidIntPointer(cone,4); 17899836e0eSStefano Zampini ierr = DMPlexGetMaxSizes(dm, &maxConeSize, &maxSupportSize);CHKERRQ(ierr); 17999836e0eSStefano Zampini if (faces) {ierr = DMGetWorkArray(dm, PetscSqr(PetscMax(maxConeSize, maxSupportSize)), MPIU_INT, &facesTmp);CHKERRQ(ierr);} 18099836e0eSStefano Zampini switch (dim) { 18199836e0eSStefano Zampini case 1: 18299836e0eSStefano Zampini switch (coneSize) { 18399836e0eSStefano Zampini case 2: 18499836e0eSStefano Zampini if (faces) { 18599836e0eSStefano Zampini facesTmp[0] = cone[0]; facesTmp[1] = cone[1]; 18699836e0eSStefano Zampini *faces = facesTmp; 18799836e0eSStefano Zampini } 18899836e0eSStefano Zampini if (numFaces) *numFaces = 2; 18999836e0eSStefano Zampini if (numFacesNotH) *numFacesNotH = 2; 19099836e0eSStefano Zampini if (faceSize) *faceSize = 1; 19199836e0eSStefano Zampini break; 19299836e0eSStefano Zampini default: 19399836e0eSStefano Zampini SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim); 19499836e0eSStefano Zampini } 19599836e0eSStefano Zampini break; 19699836e0eSStefano Zampini case 2: 19799836e0eSStefano Zampini switch (coneSize) { 19899836e0eSStefano Zampini case 4: 19999836e0eSStefano Zampini if (faces) { 20099836e0eSStefano Zampini facesTmp[0] = cone[0]; facesTmp[1] = cone[1]; 20199836e0eSStefano Zampini facesTmp[2] = cone[2]; facesTmp[3] = cone[3]; 20299836e0eSStefano Zampini facesTmp[4] = cone[0]; facesTmp[5] = cone[2]; 20399836e0eSStefano Zampini facesTmp[6] = cone[1]; facesTmp[7] = cone[3]; 20499836e0eSStefano Zampini *faces = facesTmp; 20599836e0eSStefano Zampini } 20699836e0eSStefano Zampini if (numFaces) *numFaces = 4; 20799836e0eSStefano Zampini if (numFacesNotH) *numFacesNotH = 2; 20899836e0eSStefano Zampini if (faceSize) *faceSize = 2; 20999836e0eSStefano Zampini break; 21099836e0eSStefano Zampini default: 21199836e0eSStefano Zampini SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim); 21299836e0eSStefano Zampini } 21399836e0eSStefano Zampini break; 21499836e0eSStefano Zampini case 3: 21599836e0eSStefano Zampini switch (coneSize) { 21699836e0eSStefano Zampini case 6: /* triangular prism */ 21799836e0eSStefano Zampini if (faces) { 21899836e0eSStefano Zampini facesTmp[0] = cone[0]; facesTmp[1] = cone[1]; facesTmp[2] = cone[2]; facesTmp[3] = -1; /* Bottom */ 21999836e0eSStefano Zampini facesTmp[4] = cone[3]; facesTmp[5] = cone[4]; facesTmp[6] = cone[5]; facesTmp[7] = -1; /* Top */ 22099836e0eSStefano Zampini facesTmp[8] = cone[0]; facesTmp[9] = cone[1]; facesTmp[10] = cone[3]; facesTmp[11] = cone[4]; /* Back left */ 22199836e0eSStefano Zampini facesTmp[12] = cone[1]; facesTmp[13] = cone[2]; facesTmp[14] = cone[4]; facesTmp[15] = cone[5]; /* Back right */ 22299836e0eSStefano Zampini facesTmp[16] = cone[2]; facesTmp[17] = cone[0]; facesTmp[18] = cone[5]; facesTmp[19] = cone[3]; /* Front */ 22399836e0eSStefano Zampini *faces = facesTmp; 22499836e0eSStefano Zampini } 22599836e0eSStefano Zampini if (numFaces) *numFaces = 5; 22699836e0eSStefano Zampini if (numFacesNotH) *numFacesNotH = 2; 22799836e0eSStefano Zampini if (faceSize) *faceSize = -4; 22899836e0eSStefano Zampini break; 22999836e0eSStefano Zampini default: 23099836e0eSStefano Zampini SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim); 23199836e0eSStefano Zampini } 23299836e0eSStefano Zampini break; 23399836e0eSStefano Zampini default: 23499836e0eSStefano Zampini SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Dimension %D not supported", dim); 23599836e0eSStefano Zampini } 23699836e0eSStefano Zampini PetscFunctionReturn(0); 23799836e0eSStefano Zampini } 23899836e0eSStefano Zampini 23999836e0eSStefano Zampini static PetscErrorCode DMPlexRestoreRawFacesHybrid_Internal(DM dm, PetscInt dim, PetscInt coneSize, const PetscInt cone[], PetscInt *numFaces, PetscInt *numFacesNotH, PetscInt *faceSize, const PetscInt *faces[]) 24099836e0eSStefano Zampini { 24199836e0eSStefano Zampini PetscErrorCode ierr; 24299836e0eSStefano Zampini 24399836e0eSStefano Zampini PetscFunctionBegin; 24499836e0eSStefano Zampini if (faces) { ierr = DMRestoreWorkArray(dm, 0, MPIU_INT, (void *) faces);CHKERRQ(ierr); } 24599836e0eSStefano Zampini PetscFunctionReturn(0); 24699836e0eSStefano Zampini } 24799836e0eSStefano Zampini 24899836e0eSStefano Zampini static PetscErrorCode DMPlexGetFacesHybrid_Internal(DM dm, PetscInt dim, PetscInt p, PetscInt *numFaces, PetscInt *numFacesNotH, PetscInt *faceSize, const PetscInt *faces[]) 24999836e0eSStefano Zampini { 25099836e0eSStefano Zampini const PetscInt *cone = NULL; 25199836e0eSStefano Zampini PetscInt coneSize; 25299836e0eSStefano Zampini PetscErrorCode ierr; 25399836e0eSStefano Zampini 25499836e0eSStefano Zampini PetscFunctionBegin; 25599836e0eSStefano Zampini PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 25699836e0eSStefano Zampini ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr); 25799836e0eSStefano Zampini ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr); 25899836e0eSStefano Zampini ierr = DMPlexGetRawFacesHybrid_Internal(dm, dim, coneSize, cone, numFaces, numFacesNotH, faceSize, faces);CHKERRQ(ierr); 25999836e0eSStefano Zampini PetscFunctionReturn(0); 26099836e0eSStefano Zampini } 26199836e0eSStefano Zampini 2629a5b13a2SMatthew G Knepley /* This interpolates faces for cells at some stratum */ 2639a5b13a2SMatthew G Knepley static PetscErrorCode DMPlexInterpolateFaces_Internal(DM dm, PetscInt cellDepth, DM idm) 2649f074e33SMatthew G Knepley { 265d4efc6f1SMatthew G. Knepley DMLabel subpointMap; 2669a5b13a2SMatthew G Knepley PetscHashIJKL faceTable; 2679a5b13a2SMatthew G Knepley PetscInt *pStart, *pEnd; 2689a5b13a2SMatthew G Knepley PetscInt cellDim, depth, faceDepth = cellDepth, numPoints = 0, faceSizeAll = 0, face, c, d; 269*e9fa77a1SMatthew G. Knepley PetscInt coneSizeH = 0, faceSizeAllH = 0, faceSizeAllT = 0, numCellFacesH = 0, faceT = 0, faceH, pMax = -1, dim, outerloop; 27099836e0eSStefano Zampini PetscInt cMax, fMax, eMax, vMax; 2719f074e33SMatthew G Knepley PetscErrorCode ierr; 2729f074e33SMatthew G Knepley 2739f074e33SMatthew G Knepley PetscFunctionBegin; 274c73cfb54SMatthew G. Knepley ierr = DMGetDimension(dm, &cellDim);CHKERRQ(ierr); 275d4efc6f1SMatthew G. Knepley /* HACK: I need a better way to determine face dimension, or an alternative to GetFaces() */ 276d4efc6f1SMatthew G. Knepley ierr = DMPlexGetSubpointMap(dm, &subpointMap);CHKERRQ(ierr); 277d4efc6f1SMatthew G. Knepley if (subpointMap) ++cellDim; 2789a5b13a2SMatthew G Knepley ierr = DMPlexGetDepth(dm, &depth);CHKERRQ(ierr); 2799a5b13a2SMatthew G Knepley ++depth; 2809a5b13a2SMatthew G Knepley ++cellDepth; 2819a5b13a2SMatthew G Knepley cellDim -= depth - cellDepth; 282dcca6d9dSJed Brown ierr = PetscMalloc2(depth+1,&pStart,depth+1,&pEnd);CHKERRQ(ierr); 2839a5b13a2SMatthew G Knepley for (d = depth-1; d >= faceDepth; --d) { 2849a5b13a2SMatthew G Knepley ierr = DMPlexGetDepthStratum(dm, d, &pStart[d+1], &pEnd[d+1]);CHKERRQ(ierr); 2859f074e33SMatthew G Knepley } 2869a5b13a2SMatthew G Knepley ierr = DMPlexGetDepthStratum(dm, -1, NULL, &pStart[faceDepth]);CHKERRQ(ierr); 2879a5b13a2SMatthew G Knepley pEnd[faceDepth] = pStart[faceDepth]; 2889a5b13a2SMatthew G Knepley for (d = faceDepth-1; d >= 0; --d) { 2899a5b13a2SMatthew G Knepley ierr = DMPlexGetDepthStratum(dm, d, &pStart[d], &pEnd[d]);CHKERRQ(ierr); 2909f074e33SMatthew G Knepley } 29199836e0eSStefano Zampini cMax = fMax = eMax = vMax = PETSC_DETERMINE; 29299836e0eSStefano Zampini ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 29399836e0eSStefano Zampini if (cellDim == dim) { 29499836e0eSStefano Zampini ierr = DMPlexGetHybridBounds(dm, &cMax, NULL, NULL, NULL);CHKERRQ(ierr); 29599836e0eSStefano Zampini pMax = cMax; 29699836e0eSStefano Zampini } else if (cellDim == dim -1) { 29799836e0eSStefano Zampini ierr = DMPlexGetHybridBounds(dm, &cMax, &fMax, NULL, NULL);CHKERRQ(ierr); 29899836e0eSStefano Zampini pMax = fMax; 29999836e0eSStefano Zampini } 30099836e0eSStefano Zampini pMax = pMax < 0 ? pEnd[cellDepth] : pMax; 30199836e0eSStefano Zampini if (pMax < pEnd[cellDepth]) { 30299836e0eSStefano Zampini const PetscInt *cellFaces, *cone; 30399836e0eSStefano Zampini PetscInt numCellFacesT, faceSize, cf; 3049f074e33SMatthew G Knepley 305*e9fa77a1SMatthew G. Knepley /* First get normal cell face size (we now allow hybrid cells to meet normal cells on either hybrid or normal faces */ 306*e9fa77a1SMatthew G. Knepley ierr = DMPlexGetFaces_Internal(dm, cellDim, pStart[cellDepth], NULL, &faceSizeAll, NULL);CHKERRQ(ierr); 307*e9fa77a1SMatthew G. Knepley 30899836e0eSStefano Zampini ierr = DMPlexGetConeSize(dm, pMax, &coneSizeH);CHKERRQ(ierr); 30999836e0eSStefano Zampini ierr = DMPlexGetCone(dm, pMax, &cone);CHKERRQ(ierr); 31099836e0eSStefano Zampini ierr = DMPlexGetRawFacesHybrid_Internal(dm, cellDim, coneSizeH, cone, &numCellFacesH, &numCellFacesT, &faceSize, &cellFaces);CHKERRQ(ierr); 31199836e0eSStefano Zampini if (faceSize < 0) { 31299836e0eSStefano Zampini PetscInt *sizes, minv, maxv; 31399836e0eSStefano Zampini 31499836e0eSStefano Zampini /* count vertices of hybrid and non-hybrid faces */ 31599836e0eSStefano Zampini ierr = PetscCalloc1(numCellFacesH, &sizes);CHKERRQ(ierr); 31699836e0eSStefano Zampini for (cf = 0; cf < numCellFacesT; ++cf) { /* These are the non-hybrid faces */ 31799836e0eSStefano Zampini const PetscInt *cellFace = &cellFaces[-cf*faceSize]; 31899836e0eSStefano Zampini PetscInt f; 31999836e0eSStefano Zampini 32099836e0eSStefano Zampini for (f = 0; f < -faceSize; ++f) sizes[cf] += (cellFace[f] >= 0 ? 1 : 0); 32199836e0eSStefano Zampini } 32299836e0eSStefano Zampini ierr = PetscSortInt(numCellFacesT, sizes);CHKERRQ(ierr); 32399836e0eSStefano Zampini minv = sizes[0]; 32499836e0eSStefano Zampini maxv = sizes[PetscMax(numCellFacesT-1, 0)]; 32599836e0eSStefano Zampini if (minv != maxv) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Different number of vertices for non-hybrid face %D != %D", minv, maxv); 326*e9fa77a1SMatthew G. Knepley faceSizeAllT = minv; 32799836e0eSStefano Zampini ierr = PetscMemzero(sizes, numCellFacesH*sizeof(PetscInt));CHKERRQ(ierr); 32899836e0eSStefano Zampini for (cf = numCellFacesT; cf < numCellFacesH; ++cf) { /* These are the hybrid faces */ 32999836e0eSStefano Zampini const PetscInt *cellFace = &cellFaces[-cf*faceSize]; 33099836e0eSStefano Zampini PetscInt f; 33199836e0eSStefano Zampini 33299836e0eSStefano Zampini for (f = 0; f < -faceSize; ++f) sizes[cf-numCellFacesT] += (cellFace[f] >= 0 ? 1 : 0); 33399836e0eSStefano Zampini } 33499836e0eSStefano Zampini ierr = PetscSortInt(numCellFacesH - numCellFacesT, sizes);CHKERRQ(ierr); 33599836e0eSStefano Zampini minv = sizes[0]; 33699836e0eSStefano Zampini maxv = sizes[PetscMax(numCellFacesH - numCellFacesT-1, 0)]; 33799836e0eSStefano Zampini ierr = PetscFree(sizes);CHKERRQ(ierr); 33899836e0eSStefano Zampini if (minv != maxv) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Different number of vertices for hybrid face %D != %D", minv, maxv); 33999836e0eSStefano Zampini faceSizeAllH = minv; 34099836e0eSStefano Zampini } else { /* the size of the faces in hybrid cells is the same */ 341*e9fa77a1SMatthew G. Knepley faceSizeAll = faceSizeAllH = faceSizeAllT = faceSize; 34299836e0eSStefano Zampini } 34399836e0eSStefano Zampini ierr = DMPlexRestoreRawFacesHybrid_Internal(dm, cellDim, coneSizeH, cone, &numCellFacesH, &numCellFacesT, &faceSize, &cellFaces);CHKERRQ(ierr); 34499836e0eSStefano Zampini } else if (pEnd[cellDepth] > pStart[cellDepth]) { 34599836e0eSStefano Zampini ierr = DMPlexGetFaces_Internal(dm, cellDim, pStart[cellDepth], NULL, &faceSizeAll, NULL);CHKERRQ(ierr); 34699836e0eSStefano Zampini } 34799836e0eSStefano Zampini if (faceSizeAll > 4) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Do not support interpolation of meshes with faces of %D vertices", faceSizeAll); 34899836e0eSStefano Zampini 349b135d7daSStefano Zampini /* With hybrid grids, we first iterate on hybrid cells and start numbering the non-hybrid faces 35099836e0eSStefano Zampini Then, faces for non-hybrid cells are numbered. 35199836e0eSStefano Zampini This is to guarantee consistent orientations (all 0) of all the points in the cone of the hybrid cells */ 35299836e0eSStefano Zampini ierr = PetscHashIJKLCreate(&faceTable);CHKERRQ(ierr); 35399836e0eSStefano Zampini for (outerloop = 0, face = pStart[faceDepth]; outerloop < 2; outerloop++) { 35499836e0eSStefano Zampini PetscInt start, end; 35599836e0eSStefano Zampini 35699836e0eSStefano Zampini start = outerloop == 0 ? pMax : pStart[cellDepth]; 35799836e0eSStefano Zampini end = outerloop == 0 ? pEnd[cellDepth] : pMax; 35899836e0eSStefano Zampini for (c = start; c < end; ++c) { 35999836e0eSStefano Zampini const PetscInt *cellFaces; 360*e9fa77a1SMatthew G. Knepley PetscInt numCellFaces, faceSize, faceSizeInc, faceSizeCheck, cf; 36199836e0eSStefano Zampini 36299836e0eSStefano Zampini if (c < pMax) { 3639a5b13a2SMatthew G Knepley ierr = DMPlexGetFaces_Internal(dm, cellDim, c, &numCellFaces, &faceSize, &cellFaces);CHKERRQ(ierr); 3649a5b13a2SMatthew G Knepley if (faceSize != faceSizeAll) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Inconsistent face for cell %D of size %D != %D", c, faceSize, faceSizeAll); 365*e9fa77a1SMatthew G. Knepley faceSizeCheck = faceSizeAll; 36699836e0eSStefano Zampini } else { /* Hybrid cell */ 36799836e0eSStefano Zampini const PetscInt *cone; 36899836e0eSStefano Zampini PetscInt numCellFacesN, coneSize; 36999836e0eSStefano Zampini 37099836e0eSStefano Zampini ierr = DMPlexGetConeSize(dm, c, &coneSize);CHKERRQ(ierr); 37199836e0eSStefano Zampini if (coneSize != coneSizeH) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected hybrid coneSize %D != %D", coneSize, coneSizeH); 37299836e0eSStefano Zampini ierr = DMPlexGetCone(dm, c, &cone);CHKERRQ(ierr); 37399836e0eSStefano Zampini ierr = DMPlexGetRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr); 37499836e0eSStefano Zampini if (numCellFaces != numCellFacesH) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected numCellFaces %D != %D for hybrid cell %D", numCellFaces, numCellFacesH, c); 37599836e0eSStefano Zampini faceSize = PetscMax(faceSize, -faceSize); 37699836e0eSStefano Zampini if (faceSize > 4) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Do not support interpolation of meshes with faces of %D vertices", faceSize); 37799836e0eSStefano Zampini numCellFaces = numCellFacesN; /* process only non-hybrid faces */ 378*e9fa77a1SMatthew G. Knepley faceSizeCheck = faceSizeAllT; 37999836e0eSStefano Zampini } 38099836e0eSStefano Zampini faceSizeInc = faceSize; 3819f074e33SMatthew G Knepley for (cf = 0; cf < numCellFaces; ++cf) { 38299836e0eSStefano Zampini const PetscInt *cellFace = &cellFaces[cf*faceSizeInc]; 38399836e0eSStefano Zampini PetscInt faceSizeH = faceSize; 3849a5b13a2SMatthew G Knepley PetscHashIJKLKey key; 385e8f14785SLisandro Dalcin PetscHashIter iter; 386e8f14785SLisandro Dalcin PetscBool missing; 3879f074e33SMatthew G Knepley 38899836e0eSStefano Zampini if (faceSizeInc == 2) { 3899a5b13a2SMatthew G Knepley key.i = PetscMin(cellFace[0], cellFace[1]); 3909a5b13a2SMatthew G Knepley key.j = PetscMax(cellFace[0], cellFace[1]); 39199836e0eSStefano Zampini key.k = PETSC_MAX_INT; 39299836e0eSStefano Zampini key.l = PETSC_MAX_INT; 3939a5b13a2SMatthew G Knepley } else { 39499836e0eSStefano Zampini key.i = cellFace[0]; 39599836e0eSStefano Zampini key.j = cellFace[1]; 39699836e0eSStefano Zampini key.k = cellFace[2]; 39799836e0eSStefano Zampini key.l = faceSize > 3 ? (cellFace[3] < 0 ? faceSizeH = 3, PETSC_MAX_INT : cellFace[3]) : PETSC_MAX_INT; 398302440fdSBarry Smith ierr = PetscSortInt(faceSize, (PetscInt *) &key);CHKERRQ(ierr); 3999f074e33SMatthew G Knepley } 40099836e0eSStefano Zampini /* this check is redundant for non-hybrid meshes */ 401*e9fa77a1SMatthew G. Knepley if (faceSizeH != faceSizeCheck) SETERRQ4(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected number of vertices for face %D of point %D -> %D != %D", cf, c, faceSizeH, faceSizeCheck); 402e8f14785SLisandro Dalcin ierr = PetscHashIJKLPut(faceTable, key, &iter, &missing);CHKERRQ(ierr); 403*e9fa77a1SMatthew G. Knepley if (missing) { 404*e9fa77a1SMatthew G. Knepley ierr = PetscHashIJKLIterSet(faceTable, iter, face++);CHKERRQ(ierr); 405*e9fa77a1SMatthew G. Knepley if (c >= pMax) ++faceT; 406*e9fa77a1SMatthew G. Knepley } 4079a5b13a2SMatthew G Knepley } 40899836e0eSStefano Zampini if (c < pMax) { 409439ece16SMatthew G. Knepley ierr = DMPlexRestoreFaces_Internal(dm, cellDim, c, &numCellFaces, &faceSize, &cellFaces);CHKERRQ(ierr); 41099836e0eSStefano Zampini } else { 41199836e0eSStefano Zampini ierr = DMPlexRestoreRawFacesHybrid_Internal(dm, cellDim, coneSizeH, NULL, NULL, NULL, NULL, &cellFaces);CHKERRQ(ierr); 41299836e0eSStefano Zampini } 41399836e0eSStefano Zampini } 41499836e0eSStefano Zampini } 41599836e0eSStefano Zampini pEnd[faceDepth] = face; 41699836e0eSStefano Zampini 41799836e0eSStefano Zampini /* Second pass for hybrid meshes: number hybrid faces */ 41899836e0eSStefano Zampini for (c = pMax; c < pEnd[cellDepth]; ++c) { 41999836e0eSStefano Zampini const PetscInt *cellFaces, *cone; 42099836e0eSStefano Zampini PetscInt numCellFaces, numCellFacesN, faceSize, cf, coneSize; 42199836e0eSStefano Zampini 42299836e0eSStefano Zampini ierr = DMPlexGetConeSize(dm, c, &coneSize);CHKERRQ(ierr); 42399836e0eSStefano Zampini ierr = DMPlexGetCone(dm, c, &cone);CHKERRQ(ierr); 42499836e0eSStefano Zampini ierr = DMPlexGetRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr); 42599836e0eSStefano Zampini if (numCellFaces != numCellFacesH) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected hybrid numCellFaces %D != %D", numCellFaces, numCellFacesH); 42699836e0eSStefano Zampini faceSize = PetscMax(faceSize, -faceSize); 42799836e0eSStefano Zampini for (cf = numCellFacesN; cf < numCellFaces; ++cf) { /* These are the hybrid faces */ 42899836e0eSStefano Zampini const PetscInt *cellFace = &cellFaces[cf*faceSize]; 42999836e0eSStefano Zampini PetscHashIJKLKey key; 43099836e0eSStefano Zampini PetscHashIter iter; 43199836e0eSStefano Zampini PetscBool missing; 43299836e0eSStefano Zampini PetscInt faceSizeH = faceSize; 43399836e0eSStefano Zampini 43499836e0eSStefano Zampini if (faceSize == 2) { 43599836e0eSStefano Zampini key.i = PetscMin(cellFace[0], cellFace[1]); 43699836e0eSStefano Zampini key.j = PetscMax(cellFace[0], cellFace[1]); 43799836e0eSStefano Zampini key.k = PETSC_MAX_INT; 43899836e0eSStefano Zampini key.l = PETSC_MAX_INT; 43999836e0eSStefano Zampini } else { 44099836e0eSStefano Zampini key.i = cellFace[0]; 44199836e0eSStefano Zampini key.j = cellFace[1]; 44299836e0eSStefano Zampini key.k = cellFace[2]; 44399836e0eSStefano Zampini key.l = faceSize > 3 ? (cellFace[3] < 0 ? faceSizeH = 3, PETSC_MAX_INT : cellFace[3]) : PETSC_MAX_INT; 44499836e0eSStefano Zampini ierr = PetscSortInt(faceSize, (PetscInt *) &key);CHKERRQ(ierr); 44599836e0eSStefano Zampini } 44699836e0eSStefano Zampini if (faceSizeH != faceSizeAllH) SETERRQ4(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected number of vertices for hybrid face %D of point %D -> %D != %D", cf, c, faceSizeH, faceSizeAllH); 44799836e0eSStefano Zampini ierr = PetscHashIJKLPut(faceTable, key, &iter, &missing);CHKERRQ(ierr); 44899836e0eSStefano Zampini if (missing) {ierr = PetscHashIJKLIterSet(faceTable, iter, face++);CHKERRQ(ierr);} 44999836e0eSStefano Zampini } 45099836e0eSStefano Zampini ierr = DMPlexRestoreRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr); 45199836e0eSStefano Zampini } 45299836e0eSStefano Zampini faceH = face - pEnd[faceDepth]; 45399836e0eSStefano Zampini if (faceH) { 45499836e0eSStefano Zampini if (fMax == PETSC_DETERMINE) fMax = pEnd[faceDepth]; 45599836e0eSStefano Zampini else if (eMax == PETSC_DETERMINE) eMax = pEnd[faceDepth]; 45699836e0eSStefano Zampini else SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Number of unassigned hybrid facets %D for cellDim %D and dimension %D", faceH, cellDim, dim); 4579a5b13a2SMatthew G Knepley } 4589a5b13a2SMatthew G Knepley pEnd[faceDepth] = face; 4599a5b13a2SMatthew G Knepley ierr = PetscHashIJKLDestroy(&faceTable);CHKERRQ(ierr); 4609a5b13a2SMatthew G Knepley /* Count new points */ 4619a5b13a2SMatthew G Knepley for (d = 0; d <= depth; ++d) { 4629a5b13a2SMatthew G Knepley numPoints += pEnd[d]-pStart[d]; 4639a5b13a2SMatthew G Knepley } 4649a5b13a2SMatthew G Knepley ierr = DMPlexSetChart(idm, 0, numPoints);CHKERRQ(ierr); 4659a5b13a2SMatthew G Knepley /* Set cone sizes */ 4669a5b13a2SMatthew G Knepley for (d = 0; d <= depth; ++d) { 4679a5b13a2SMatthew G Knepley PetscInt coneSize, p; 4689f074e33SMatthew G Knepley 4699a5b13a2SMatthew G Knepley if (d == faceDepth) { 470*e9fa77a1SMatthew G. Knepley /* Now we have two cases: */ 471*e9fa77a1SMatthew G. Knepley if (faceSizeAll == faceSizeAllT) { 4729a5b13a2SMatthew G Knepley /* I see no way to do this if we admit faces of different shapes */ 47399836e0eSStefano Zampini for (p = pStart[d]; p < pEnd[d]-faceH; ++p) { 4749a5b13a2SMatthew G Knepley ierr = DMPlexSetConeSize(idm, p, faceSizeAll);CHKERRQ(ierr); 4759a5b13a2SMatthew G Knepley } 47699836e0eSStefano Zampini for (p = pEnd[d]-faceH; p < pEnd[d]; ++p) { 47799836e0eSStefano Zampini ierr = DMPlexSetConeSize(idm, p, faceSizeAllH);CHKERRQ(ierr); 47899836e0eSStefano Zampini } 479*e9fa77a1SMatthew G. Knepley } else if (faceSizeAll == faceSizeAllH) { 480*e9fa77a1SMatthew G. Knepley for (p = pStart[d]; p < pStart[d]+faceT; ++p) { 481*e9fa77a1SMatthew G. Knepley ierr = DMPlexSetConeSize(idm, p, faceSizeAllT);CHKERRQ(ierr); 482*e9fa77a1SMatthew G. Knepley } 483*e9fa77a1SMatthew G. Knepley for (p = pStart[d]+faceT; p < pEnd[d]-faceH; ++p) { 484*e9fa77a1SMatthew G. Knepley ierr = DMPlexSetConeSize(idm, p, faceSizeAll);CHKERRQ(ierr); 485*e9fa77a1SMatthew G. Knepley } 486*e9fa77a1SMatthew G. Knepley for (p = pEnd[d]-faceH; p < pEnd[d]; ++p) { 487*e9fa77a1SMatthew G. Knepley ierr = DMPlexSetConeSize(idm, p, faceSizeAllH);CHKERRQ(ierr); 488*e9fa77a1SMatthew G. Knepley } 489*e9fa77a1SMatthew G. Knepley } else SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Inconsistent faces sizes N: %D T: %D H: %D", faceSizeAll, faceSizeAllT, faceSizeAllH); 490a014044eSMatthew G Knepley } else if (d == cellDepth) { 491a014044eSMatthew G Knepley for (p = pStart[d]; p < pEnd[d]; ++p) { 492a014044eSMatthew G Knepley /* Number of cell faces may be different from number of cell vertices*/ 49399836e0eSStefano Zampini if (p < pMax) { 494a014044eSMatthew G Knepley ierr = DMPlexGetFaces_Internal(dm, cellDim, p, &coneSize, NULL, NULL);CHKERRQ(ierr); 49599836e0eSStefano Zampini } else { 49699836e0eSStefano Zampini ierr = DMPlexGetFacesHybrid_Internal(dm, cellDim, p, &coneSize, NULL, NULL, NULL);CHKERRQ(ierr); 49799836e0eSStefano Zampini } 498a014044eSMatthew G Knepley ierr = DMPlexSetConeSize(idm, p, coneSize);CHKERRQ(ierr); 499a014044eSMatthew G Knepley } 5009a5b13a2SMatthew G Knepley } else { 5019a5b13a2SMatthew G Knepley for (p = pStart[d]; p < pEnd[d]; ++p) { 5029a5b13a2SMatthew G Knepley ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr); 5039a5b13a2SMatthew G Knepley ierr = DMPlexSetConeSize(idm, p, coneSize);CHKERRQ(ierr); 5049f074e33SMatthew G Knepley } 5059f074e33SMatthew G Knepley } 5069f074e33SMatthew G Knepley } 5079f074e33SMatthew G Knepley ierr = DMSetUp(idm);CHKERRQ(ierr); 5089f074e33SMatthew G Knepley /* Get face cones from subsets of cell vertices */ 50999836e0eSStefano Zampini if (faceSizeAll > 4) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Do not support interpolation of meshes with faces of %D vertices", faceSizeAll); 5109a5b13a2SMatthew G Knepley ierr = PetscHashIJKLCreate(&faceTable);CHKERRQ(ierr); 5119a5b13a2SMatthew G Knepley for (d = depth; d > cellDepth; --d) { 5129a5b13a2SMatthew G Knepley const PetscInt *cone; 5139a5b13a2SMatthew G Knepley PetscInt p; 5149a5b13a2SMatthew G Knepley 5159a5b13a2SMatthew G Knepley for (p = pStart[d]; p < pEnd[d]; ++p) { 5169a5b13a2SMatthew G Knepley ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr); 5179a5b13a2SMatthew G Knepley ierr = DMPlexSetCone(idm, p, cone);CHKERRQ(ierr); 5189a5b13a2SMatthew G Knepley ierr = DMPlexGetConeOrientation(dm, p, &cone);CHKERRQ(ierr); 5199a5b13a2SMatthew G Knepley ierr = DMPlexSetConeOrientation(idm, p, cone);CHKERRQ(ierr); 5209f074e33SMatthew G Knepley } 5219a5b13a2SMatthew G Knepley } 52299836e0eSStefano Zampini for (outerloop = 0, face = pStart[faceDepth]; outerloop < 2; outerloop++) { 52399836e0eSStefano Zampini PetscInt start, end; 5249f074e33SMatthew G Knepley 52599836e0eSStefano Zampini start = outerloop == 0 ? pMax : pStart[cellDepth]; 52699836e0eSStefano Zampini end = outerloop == 0 ? pEnd[cellDepth] : pMax; 52799836e0eSStefano Zampini for (c = start; c < end; ++c) { 52899836e0eSStefano Zampini const PetscInt *cellFaces; 52999836e0eSStefano Zampini PetscInt numCellFaces, faceSize, faceSizeInc, cf; 53099836e0eSStefano Zampini 53199836e0eSStefano Zampini if (c < pMax) { 5329a5b13a2SMatthew G Knepley ierr = DMPlexGetFaces_Internal(dm, cellDim, c, &numCellFaces, &faceSize, &cellFaces);CHKERRQ(ierr); 5339a5b13a2SMatthew G Knepley if (faceSize != faceSizeAll) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Inconsistent face for cell %D of size %D != %D", c, faceSize, faceSizeAll); 53499836e0eSStefano Zampini } else { 53599836e0eSStefano Zampini const PetscInt *cone; 53699836e0eSStefano Zampini PetscInt numCellFacesN, coneSize; 53799836e0eSStefano Zampini 53899836e0eSStefano Zampini ierr = DMPlexGetConeSize(dm, c, &coneSize);CHKERRQ(ierr); 53999836e0eSStefano Zampini if (coneSize != coneSizeH) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected hybrid coneSize %D != %D", coneSize, coneSizeH); 54099836e0eSStefano Zampini ierr = DMPlexGetCone(dm, c, &cone);CHKERRQ(ierr); 54199836e0eSStefano Zampini ierr = DMPlexGetRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr); 54299836e0eSStefano Zampini if (numCellFaces != numCellFacesH) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected numCellFaces %D != %D for hybrid cell %D", numCellFaces, numCellFacesH, c); 54399836e0eSStefano Zampini faceSize = PetscMax(faceSize, -faceSize); 54499836e0eSStefano Zampini if (faceSize > 4) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Do not support interpolation of meshes with faces of %D vertices", faceSize); 54599836e0eSStefano Zampini numCellFaces = numCellFacesN; /* process only non-hybrid faces */ 54699836e0eSStefano Zampini } 54799836e0eSStefano Zampini faceSizeInc = faceSize; 5489f074e33SMatthew G Knepley for (cf = 0; cf < numCellFaces; ++cf) { 54999836e0eSStefano Zampini const PetscInt *cellFace = &cellFaces[cf*faceSizeInc]; 5509a5b13a2SMatthew G Knepley PetscHashIJKLKey key; 551e8f14785SLisandro Dalcin PetscHashIter iter; 552e8f14785SLisandro Dalcin PetscBool missing; 5539f074e33SMatthew G Knepley 55499836e0eSStefano Zampini if (faceSizeInc == 2) { 5559a5b13a2SMatthew G Knepley key.i = PetscMin(cellFace[0], cellFace[1]); 5569a5b13a2SMatthew G Knepley key.j = PetscMax(cellFace[0], cellFace[1]); 55799836e0eSStefano Zampini key.k = PETSC_MAX_INT; 55899836e0eSStefano Zampini key.l = PETSC_MAX_INT; 5599a5b13a2SMatthew G Knepley } else { 560e8f14785SLisandro Dalcin key.i = cellFace[0]; 561e8f14785SLisandro Dalcin key.j = cellFace[1]; 562e8f14785SLisandro Dalcin key.k = cellFace[2]; 56399836e0eSStefano Zampini key.l = faceSizeInc > 3 ? (cellFace[3] < 0 ? faceSize = 3, PETSC_MAX_INT : cellFace[3]) : PETSC_MAX_INT; 56499836e0eSStefano Zampini ierr = PetscSortInt(faceSizeInc, (PetscInt *) &key);CHKERRQ(ierr); 5659f074e33SMatthew G Knepley } 566e8f14785SLisandro Dalcin ierr = PetscHashIJKLPut(faceTable, key, &iter, &missing);CHKERRQ(ierr); 567735a0255SMatthew G. Knepley if (missing) { 5689a5b13a2SMatthew G Knepley ierr = DMPlexSetCone(idm, face, cellFace);CHKERRQ(ierr); 569e8f14785SLisandro Dalcin ierr = PetscHashIJKLIterSet(faceTable, iter, face);CHKERRQ(ierr); 570735a0255SMatthew G. Knepley ierr = DMPlexInsertCone(idm, c, cf, face++);CHKERRQ(ierr); 5719a5b13a2SMatthew G Knepley } else { 5729a5b13a2SMatthew G Knepley const PetscInt *cone; 573735a0255SMatthew G. Knepley PetscInt coneSize, ornt, i, j, f; 5749f074e33SMatthew G Knepley 575e8f14785SLisandro Dalcin ierr = PetscHashIJKLIterGet(faceTable, iter, &f);CHKERRQ(ierr); 5769a5b13a2SMatthew G Knepley ierr = DMPlexInsertCone(idm, c, cf, f);CHKERRQ(ierr); 5772e1b13c2SMatthew G. Knepley /* Orient face: Do not allow reverse orientation at the first vertex */ 5789f074e33SMatthew G Knepley ierr = DMPlexGetConeSize(idm, f, &coneSize);CHKERRQ(ierr); 5799f074e33SMatthew G Knepley ierr = DMPlexGetCone(idm, f, &cone);CHKERRQ(ierr); 5809a5b13a2SMatthew G Knepley if (coneSize != faceSize) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Invalid number of face vertices %D for face %D should be %D", coneSize, f, faceSize); 5819a5b13a2SMatthew G Knepley /* - First find the initial vertex */ 5829a5b13a2SMatthew G Knepley for (i = 0; i < faceSize; ++i) if (cellFace[0] == cone[i]) break; 5839a5b13a2SMatthew G Knepley /* - Try forward comparison */ 5849a5b13a2SMatthew G Knepley for (j = 0; j < faceSize; ++j) if (cellFace[j] != cone[(i+j)%faceSize]) break; 5859a5b13a2SMatthew G Knepley if (j == faceSize) { 5869a5b13a2SMatthew G Knepley if ((faceSize == 2) && (i == 1)) ornt = -2; 5879a5b13a2SMatthew G Knepley else ornt = i; 5889a5b13a2SMatthew G Knepley } else { 5899a5b13a2SMatthew G Knepley /* - Try backward comparison */ 5909a5b13a2SMatthew G Knepley for (j = 0; j < faceSize; ++j) if (cellFace[j] != cone[(i+faceSize-j)%faceSize]) break; 5912e1b13c2SMatthew G. Knepley if (j == faceSize) { 5922e1b13c2SMatthew G. Knepley if (i == 0) ornt = -faceSize; 593dc1a705cSMatthew G. Knepley else ornt = -i; 594*e9fa77a1SMatthew G. Knepley } else SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Could not determine orientation of face %D in cell %D", f, c); 5959a5b13a2SMatthew G Knepley } 5969a5b13a2SMatthew G Knepley ierr = DMPlexInsertConeOrientation(idm, c, cf, ornt);CHKERRQ(ierr); 5979f074e33SMatthew G Knepley } 5989f074e33SMatthew G Knepley } 59999836e0eSStefano Zampini if (c < pMax) { 600439ece16SMatthew G. Knepley ierr = DMPlexRestoreFaces_Internal(dm, cellDim, c, &numCellFaces, &faceSize, &cellFaces);CHKERRQ(ierr); 60199836e0eSStefano Zampini } else { 60299836e0eSStefano Zampini ierr = DMPlexRestoreRawFacesHybrid_Internal(dm, cellDim, coneSizeH, NULL, NULL, NULL, NULL, &cellFaces);CHKERRQ(ierr); 6039f074e33SMatthew G Knepley } 60499836e0eSStefano Zampini } 60599836e0eSStefano Zampini } 60699836e0eSStefano Zampini /* Second pass for hybrid meshes: orient hybrid faces */ 60799836e0eSStefano Zampini for (c = pMax; c < pEnd[cellDepth]; ++c) { 60899836e0eSStefano Zampini const PetscInt *cellFaces, *cone; 60999836e0eSStefano Zampini PetscInt numCellFaces, numCellFacesN, faceSize, cf, coneSize; 61099836e0eSStefano Zampini 61199836e0eSStefano Zampini ierr = DMPlexGetConeSize(dm, c, &coneSize);CHKERRQ(ierr); 61299836e0eSStefano Zampini ierr = DMPlexGetCone(dm, c, &cone);CHKERRQ(ierr); 61399836e0eSStefano Zampini ierr = DMPlexGetRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr); 61499836e0eSStefano Zampini if (numCellFaces != numCellFacesH) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected hybrid numCellFaces %D != %D", numCellFaces, numCellFacesH); 61599836e0eSStefano Zampini faceSize = PetscMax(faceSize, -faceSize); 61699836e0eSStefano Zampini for (cf = numCellFacesN; cf < numCellFaces; ++cf) { /* These are the hybrid faces */ 61799836e0eSStefano Zampini const PetscInt *cellFace = &cellFaces[cf*faceSize]; 61899836e0eSStefano Zampini PetscHashIJKLKey key; 61999836e0eSStefano Zampini PetscHashIter iter; 62099836e0eSStefano Zampini PetscBool missing; 62199836e0eSStefano Zampini PetscInt faceSizeH = faceSize; 62299836e0eSStefano Zampini 62399836e0eSStefano Zampini if (faceSize == 2) { 62499836e0eSStefano Zampini key.i = PetscMin(cellFace[0], cellFace[1]); 62599836e0eSStefano Zampini key.j = PetscMax(cellFace[0], cellFace[1]); 62699836e0eSStefano Zampini key.k = PETSC_MAX_INT; 62799836e0eSStefano Zampini key.l = PETSC_MAX_INT; 62899836e0eSStefano Zampini } else { 62999836e0eSStefano Zampini key.i = cellFace[0]; 63099836e0eSStefano Zampini key.j = cellFace[1]; 63199836e0eSStefano Zampini key.k = cellFace[2]; 63299836e0eSStefano Zampini key.l = faceSize > 3 ? (cellFace[3] < 0 ? faceSizeH = 3, PETSC_MAX_INT : cellFace[3]) : PETSC_MAX_INT; 63399836e0eSStefano Zampini ierr = PetscSortInt(faceSize, (PetscInt *) &key);CHKERRQ(ierr); 63499836e0eSStefano Zampini } 63599836e0eSStefano Zampini if (faceSizeH != faceSizeAllH) SETERRQ4(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected number of vertices for hybrid face %D of point %D -> %D != %D", cf, c, faceSizeH, faceSizeAllH); 63699836e0eSStefano Zampini ierr = PetscHashIJKLPut(faceTable, key, &iter, &missing);CHKERRQ(ierr); 63799836e0eSStefano Zampini if (missing) { 63899836e0eSStefano Zampini ierr = DMPlexSetCone(idm, face, cellFace);CHKERRQ(ierr); 63999836e0eSStefano Zampini ierr = PetscHashIJKLIterSet(faceTable, iter, face);CHKERRQ(ierr); 64099836e0eSStefano Zampini ierr = DMPlexInsertCone(idm, c, cf, face++);CHKERRQ(ierr); 64199836e0eSStefano Zampini } else { 642*e9fa77a1SMatthew G. Knepley PetscInt fv[4] = {0, 1, 2, 3}; 64399836e0eSStefano Zampini const PetscInt *cone; 64499836e0eSStefano Zampini PetscInt coneSize, ornt, i, j, f; 64599836e0eSStefano Zampini 64699836e0eSStefano Zampini ierr = PetscHashIJKLIterGet(faceTable, iter, &f);CHKERRQ(ierr); 64799836e0eSStefano Zampini ierr = DMPlexInsertCone(idm, c, cf, f);CHKERRQ(ierr); 64899836e0eSStefano Zampini /* Orient face: Do not allow reverse orientation at the first vertex */ 64999836e0eSStefano Zampini ierr = DMPlexGetConeSize(idm, f, &coneSize);CHKERRQ(ierr); 65099836e0eSStefano Zampini ierr = DMPlexGetCone(idm, f, &cone);CHKERRQ(ierr); 65199836e0eSStefano Zampini if (coneSize != faceSizeH) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Invalid number of face vertices %D for face %D should be %D", coneSize, f, faceSizeH); 652*e9fa77a1SMatthew G. Knepley /* Hybrid faces are stored as tensor products of edges, so to compare them to normal faces, we have to flip */ 653*e9fa77a1SMatthew G. Knepley if (faceSize == 4 && c >= pMax && faceSizeAll != faceSizeAllT && f < pEnd[faceDepth] - faceH) {fv[2] = 3; fv[3] = 2;} 65499836e0eSStefano Zampini /* - First find the initial vertex */ 655*e9fa77a1SMatthew G. Knepley for (i = 0; i < faceSizeH; ++i) if (cellFace[fv[0]] == cone[i]) break; 65699836e0eSStefano Zampini /* - Try forward comparison */ 657*e9fa77a1SMatthew G. Knepley for (j = 0; j < faceSizeH; ++j) if (cellFace[fv[j]] != cone[(i+j)%faceSizeH]) break; 65899836e0eSStefano Zampini if (j == faceSizeH) { 65999836e0eSStefano Zampini if ((faceSizeH == 2) && (i == 1)) ornt = -2; 66099836e0eSStefano Zampini else ornt = i; 66199836e0eSStefano Zampini } else { 66299836e0eSStefano Zampini /* - Try backward comparison */ 663*e9fa77a1SMatthew G. Knepley for (j = 0; j < faceSizeH; ++j) if (cellFace[fv[j]] != cone[(i+faceSizeH-j)%faceSizeH]) break; 66499836e0eSStefano Zampini if (j == faceSizeH) { 66599836e0eSStefano Zampini if (i == 0) ornt = -faceSizeH; 66699836e0eSStefano Zampini else ornt = -i; 667*e9fa77a1SMatthew G. Knepley } else SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Could not determine orientation of face %D in cell %D", f, c); 66899836e0eSStefano Zampini } 66999836e0eSStefano Zampini ierr = DMPlexInsertConeOrientation(idm, c, cf, ornt);CHKERRQ(ierr); 67099836e0eSStefano Zampini } 67199836e0eSStefano Zampini } 67299836e0eSStefano Zampini ierr = DMPlexRestoreRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr); 67399836e0eSStefano Zampini } 67499836e0eSStefano Zampini if (face != pEnd[faceDepth]) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Invalid number of faces %D should be %D", face-pStart[faceDepth], pEnd[faceDepth]-pStart[faceDepth]); 675c907b753SJed Brown ierr = PetscFree2(pStart,pEnd);CHKERRQ(ierr); 6769a5b13a2SMatthew G Knepley ierr = PetscHashIJKLDestroy(&faceTable);CHKERRQ(ierr); 6776551a8c7SMatthew G. Knepley ierr = PetscFree2(pStart,pEnd);CHKERRQ(ierr); 67899836e0eSStefano Zampini ierr = DMPlexSetHybridBounds(idm, cMax, fMax, eMax, vMax);CHKERRQ(ierr); 6799a5b13a2SMatthew G Knepley ierr = DMPlexSymmetrize(idm);CHKERRQ(ierr); 6809a5b13a2SMatthew G Knepley ierr = DMPlexStratify(idm);CHKERRQ(ierr); 6819f074e33SMatthew G Knepley PetscFunctionReturn(0); 6829f074e33SMatthew G Knepley } 6839f074e33SMatthew G Knepley 684fa01033eSVaclav Hapla PetscErrorCode DMPlexOrientCell(DM dm, PetscInt p, PetscInt masterConeSize, const PetscInt masterCone[]) 685fa01033eSVaclav Hapla { 68667aa0e3dSVaclav Hapla PetscInt coneSize; 68767aa0e3dSVaclav Hapla PetscInt start1=0; 68867aa0e3dSVaclav Hapla PetscBool reverse1=PETSC_FALSE; 689a0d42dbcSVaclav Hapla const PetscInt *cone=NULL; 690b8e38d09SVaclav Hapla PetscErrorCode ierr; 691b8e38d09SVaclav Hapla 692b8e38d09SVaclav Hapla PetscFunctionBegin; 693b8e38d09SVaclav Hapla ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr); 694b8e38d09SVaclav Hapla if (!coneSize) PetscFunctionReturn(0); /* do nothing for points with no cone */ 695b8e38d09SVaclav Hapla ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr); 696b8e38d09SVaclav Hapla ierr = DMPlexFixFaceOrientations_Orient_Private(coneSize, masterConeSize, masterCone, cone, &start1, &reverse1);CHKERRQ(ierr); 697b8e38d09SVaclav Hapla #if defined(PETSC_USE_DEBUG) 698b8e38d09SVaclav Hapla if (PetscUnlikely(cone[start1] != masterCone[0])) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "The algorithm above is wrong as cone[%d] = %d != %d = masterCone[0]", start1, cone[start1], masterCone[0]); 699b8e38d09SVaclav Hapla #endif 700b8e38d09SVaclav Hapla ierr = DMPlexOrientCell_Internal(dm, p, start1, reverse1);CHKERRQ(ierr); 701b8e38d09SVaclav Hapla #if defined(PETSC_USE_DEBUG) 70267aa0e3dSVaclav Hapla { 70367aa0e3dSVaclav Hapla PetscInt c; 704b8e38d09SVaclav Hapla ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr); 705b8e38d09SVaclav Hapla for (c = 0; c < 2; c++) { 706b8e38d09SVaclav Hapla if (PetscUnlikely(cone[c] != masterCone[c])) SETERRQ4(PETSC_COMM_SELF, PETSC_ERR_PLIB, "The algorithm above is wrong as cone[%d] = %d != %d = masterCone[%d]", c, cone[c], masterCone[c], c); 707b8e38d09SVaclav Hapla } 70867aa0e3dSVaclav Hapla } 709b8e38d09SVaclav Hapla #endif 710b8e38d09SVaclav Hapla PetscFunctionReturn(0); 711b8e38d09SVaclav Hapla } 712b8e38d09SVaclav Hapla 7130fe46fbbSVaclav Hapla PetscErrorCode DMPlexOrientCell_Internal(DM dm, PetscInt p, PetscInt start1, PetscBool reverse1) 714b8e38d09SVaclav Hapla { 715fa01033eSVaclav Hapla PetscInt i, j, k, maxConeSize, coneSize, coneConeSize, supportSize, supportConeSize; 716b8e38d09SVaclav Hapla PetscInt start0, start; 717b8e38d09SVaclav Hapla PetscBool reverse0, reverse; 718fa01033eSVaclav Hapla PetscInt newornt; 719a0d42dbcSVaclav Hapla const PetscInt *cone=NULL, *support=NULL, *supportCone=NULL, *ornts=NULL; 720a0d42dbcSVaclav Hapla PetscInt *newcone=NULL, *newornts=NULL; 721fa01033eSVaclav Hapla PetscErrorCode ierr; 722fa01033eSVaclav Hapla 723fa01033eSVaclav Hapla PetscFunctionBegin; 724b8e38d09SVaclav Hapla if (!start1 && !reverse1) PetscFunctionReturn(0); 725fa01033eSVaclav Hapla ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr); 726fa01033eSVaclav Hapla if (!coneSize) PetscFunctionReturn(0); /* do nothing for points with no cone */ 727fa01033eSVaclav Hapla ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr); 728b8e38d09SVaclav Hapla ierr = DMPlexGetMaxSizes(dm, &maxConeSize, NULL);CHKERRQ(ierr); 729fa01033eSVaclav Hapla /* permute p's cone and orientations */ 730fa01033eSVaclav Hapla ierr = DMPlexGetConeOrientation(dm, p, &ornts);CHKERRQ(ierr); 731fa01033eSVaclav Hapla ierr = DMGetWorkArray(dm, maxConeSize, MPIU_INT, &newcone);CHKERRQ(ierr); 732fa01033eSVaclav Hapla ierr = DMGetWorkArray(dm, maxConeSize, MPIU_INT, &newornts);CHKERRQ(ierr); 733fa01033eSVaclav Hapla ierr = DMPlexFixFaceOrientations_Permute_Private(coneSize, cone, start1, reverse1, newcone);CHKERRQ(ierr); 734fa01033eSVaclav Hapla ierr = DMPlexFixFaceOrientations_Permute_Private(coneSize, ornts, start1, reverse1, newornts);CHKERRQ(ierr); 735fa01033eSVaclav Hapla /* if direction of p (face) is flipped, flip also p's cone points (edges) */ 736fa01033eSVaclav Hapla if (reverse1) { 737fa01033eSVaclav Hapla for (i=0; i<coneSize; i++) { 738fa01033eSVaclav Hapla ierr = DMPlexGetConeSize(dm, cone[i], &coneConeSize);CHKERRQ(ierr); 739fa01033eSVaclav Hapla ierr = DMPlexFixFaceOrientations_Translate_Private(newornts[i], &start0, &reverse0);CHKERRQ(ierr); 740fa01033eSVaclav Hapla ierr = DMPlexFixFaceOrientations_Combine_Private(coneConeSize, start0, reverse0, 1, PETSC_FALSE, &start, &reverse);CHKERRQ(ierr); 741fa01033eSVaclav Hapla ierr = DMPlexFixFaceOrientations_TranslateBack_Private(coneConeSize, start, reverse, &newornts[i]);CHKERRQ(ierr); 742fa01033eSVaclav Hapla } 743fa01033eSVaclav Hapla } 744fa01033eSVaclav Hapla ierr = DMPlexSetConeOrientation(dm, p, newornts);CHKERRQ(ierr); 745fa01033eSVaclav Hapla /* fix oriention of p within cones of p's support points */ 746fa01033eSVaclav Hapla ierr = DMPlexGetSupport(dm, p, &support);CHKERRQ(ierr); 747fa01033eSVaclav Hapla ierr = DMPlexGetSupportSize(dm, p, &supportSize);CHKERRQ(ierr); 748fa01033eSVaclav Hapla for (j=0; j<supportSize; j++) { 749fa01033eSVaclav Hapla ierr = DMPlexGetCone(dm, support[j], &supportCone);CHKERRQ(ierr); 750fa01033eSVaclav Hapla ierr = DMPlexGetConeSize(dm, support[j], &supportConeSize);CHKERRQ(ierr); 751fa01033eSVaclav Hapla ierr = DMPlexGetConeOrientation(dm, support[j], &ornts);CHKERRQ(ierr); 752fa01033eSVaclav Hapla for (k=0; k<supportConeSize; k++) { 753fa01033eSVaclav Hapla if (supportCone[k] != p) continue; 754fa01033eSVaclav Hapla ierr = DMPlexFixFaceOrientations_Translate_Private(ornts[k], &start0, &reverse0);CHKERRQ(ierr); 755fa01033eSVaclav Hapla ierr = DMPlexFixFaceOrientations_Combine_Private(coneSize, start0, reverse0, start1, reverse1, &start, &reverse);CHKERRQ(ierr); 756fa01033eSVaclav Hapla ierr = DMPlexFixFaceOrientations_TranslateBack_Private(coneSize, start, reverse, &newornt);CHKERRQ(ierr); 757fa01033eSVaclav Hapla ierr = DMPlexInsertConeOrientation(dm, support[j], k, newornt);CHKERRQ(ierr); 758fa01033eSVaclav Hapla } 759fa01033eSVaclav Hapla } 760fa01033eSVaclav Hapla /* rewrite cone */ 761fa01033eSVaclav Hapla ierr = DMPlexSetCone(dm, p, newcone);CHKERRQ(ierr); 762fa01033eSVaclav Hapla ierr = DMRestoreWorkArray(dm, maxConeSize, MPIU_INT, &newcone);CHKERRQ(ierr); 763fa01033eSVaclav Hapla ierr = DMRestoreWorkArray(dm, maxConeSize, MPIU_INT, &newornts);CHKERRQ(ierr); 764fa01033eSVaclav Hapla PetscFunctionReturn(0); 765fa01033eSVaclav Hapla } 766fa01033eSVaclav Hapla 767f80536cbSVaclav Hapla static PetscErrorCode SortRmineRremoteByRemote_Private(PetscSF sf, PetscInt *rmine1[], PetscInt *rremote1[]) 768f80536cbSVaclav Hapla { 769f80536cbSVaclav Hapla PetscInt nleaves; 770f80536cbSVaclav Hapla PetscInt nranks; 771a0d42dbcSVaclav Hapla const PetscMPIInt *ranks=NULL; 772a0d42dbcSVaclav Hapla const PetscInt *roffset=NULL, *rmine=NULL, *rremote=NULL; 773f80536cbSVaclav Hapla PetscInt n, o, r; 774f80536cbSVaclav Hapla PetscErrorCode ierr; 775f80536cbSVaclav Hapla 776f80536cbSVaclav Hapla PetscFunctionBegin; 777f80536cbSVaclav Hapla ierr = PetscSFGetRanks(sf, &nranks, &ranks, &roffset, &rmine, &rremote);CHKERRQ(ierr); 778f80536cbSVaclav Hapla nleaves = roffset[nranks]; 779f80536cbSVaclav Hapla ierr = PetscMalloc2(nleaves, rmine1, nleaves, rremote1);CHKERRQ(ierr); 780f80536cbSVaclav Hapla for (r=0; r<nranks; r++) { 781f80536cbSVaclav Hapla /* simultaneously sort rank-wise portions of rmine & rremote by values in rremote 782f80536cbSVaclav Hapla - to unify order with the other side */ 783f80536cbSVaclav Hapla o = roffset[r]; 784f80536cbSVaclav Hapla n = roffset[r+1] - o; 785f80536cbSVaclav Hapla ierr = PetscMemcpy(&(*rmine1)[o], &rmine[o], n*sizeof(PetscInt));CHKERRQ(ierr); 786f80536cbSVaclav Hapla ierr = PetscMemcpy(&(*rremote1)[o], &rremote[o], n*sizeof(PetscInt));CHKERRQ(ierr); 787f80536cbSVaclav Hapla ierr = PetscSortIntWithArray(n, &(*rremote1)[o], &(*rmine1)[o]);CHKERRQ(ierr); 788f80536cbSVaclav Hapla } 789f80536cbSVaclav Hapla PetscFunctionReturn(0); 790f80536cbSVaclav Hapla } 791f80536cbSVaclav Hapla 792bba29ab8SVaclav Hapla PetscErrorCode DMPlexOrientInterface(DM dm) 7932e745bdaSMatthew G. Knepley { 794a0d42dbcSVaclav Hapla PetscSF sf=NULL; 795cae7fe92SVaclav Hapla PetscInt (*roots)[2], (*leaves)[2]; 7968a650c75SVaclav Hapla PetscMPIInt (*rootsRanks)[2], (*leavesRanks)[2]; 797a0d42dbcSVaclav Hapla const PetscInt *locals=NULL; 798a0d42dbcSVaclav Hapla const PetscSFNode *remotes=NULL; 7998a650c75SVaclav Hapla PetscInt nroots, nleaves, p, c; 800f80536cbSVaclav Hapla PetscInt nranks, n, o, r; 801a0d42dbcSVaclav Hapla const PetscMPIInt *ranks=NULL; 802a0d42dbcSVaclav Hapla const PetscInt *roffset=NULL; 803a0d42dbcSVaclav Hapla PetscInt *rmine1=NULL, *rremote1=NULL; /* rmine and rremote copies simultaneously sorted by rank and rremote */ 804a0d42dbcSVaclav Hapla const PetscInt *cone=NULL; 805adeface4SVaclav Hapla PetscInt coneSize, ind0; 8062e745bdaSMatthew G. Knepley MPI_Comm comm; 8072e745bdaSMatthew G. Knepley PetscMPIInt rank; 8082e745bdaSMatthew G. Knepley PetscInt debug = 0; 8092e745bdaSMatthew G. Knepley PetscErrorCode ierr; 8102e745bdaSMatthew G. Knepley 8112e745bdaSMatthew G. Knepley PetscFunctionBegin; 812df6a9fadSVaclav Hapla ierr = DMGetPointSF(dm, &sf);CHKERRQ(ierr); 8132e745bdaSMatthew G. Knepley ierr = PetscSFGetGraph(sf, &nroots, &nleaves, &locals, &remotes);CHKERRQ(ierr); 8143ede9f65SMatthew G. Knepley if (nroots < 0) PetscFunctionReturn(0); 815f80536cbSVaclav Hapla ierr = PetscSFSetUp(sf);CHKERRQ(ierr); 816f80536cbSVaclav Hapla ierr = PetscSFGetRanks(sf, &nranks, &ranks, &roffset, NULL, NULL);CHKERRQ(ierr); 817dc21a0bfSVaclav Hapla #if defined(PETSC_USE_DEBUG) 818dc21a0bfSVaclav Hapla ierr = DMViewFromOptions(dm, NULL, "-before_fix_dm_view");CHKERRQ(ierr); 819dc21a0bfSVaclav Hapla ierr = DMPlexCheckPointSF(dm);CHKERRQ(ierr); 820dc21a0bfSVaclav Hapla #endif 821f80536cbSVaclav Hapla ierr = SortRmineRremoteByRemote_Private(sf, &rmine1, &rremote1);CHKERRQ(ierr); 8228a650c75SVaclav Hapla ierr = PetscMalloc4(nroots, &roots, nroots, &leaves, nroots, &rootsRanks, nroots, &leavesRanks);CHKERRQ(ierr); 8232e745bdaSMatthew G. Knepley ierr = PetscObjectGetComm((PetscObject) dm, &comm);CHKERRQ(ierr); 8242e745bdaSMatthew G. Knepley ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 8252e745bdaSMatthew G. Knepley if (debug && rank == 0) {ierr = PetscSynchronizedPrintf(comm, "Roots\n");CHKERRQ(ierr);} 8269e24d8a0SVaclav Hapla for (p = 0; p < nroots; ++p) { 8279e24d8a0SVaclav Hapla ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr); 8289e24d8a0SVaclav Hapla ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr); 8292e745bdaSMatthew G. Knepley /* Translate all points to root numbering */ 8308a650c75SVaclav Hapla for (c = 0; c < 2; c++) { 8318a650c75SVaclav Hapla if (coneSize > 1) { 8328a650c75SVaclav Hapla ierr = PetscFindInt(cone[c], nleaves, locals, &ind0);CHKERRQ(ierr); 8338a650c75SVaclav Hapla if (ind0 < 0) { 8348a650c75SVaclav Hapla roots[p][c] = cone[c]; 8358a650c75SVaclav Hapla rootsRanks[p][c] = rank; 836c8148b97SVaclav Hapla } else { 8378a650c75SVaclav Hapla roots[p][c] = remotes[ind0].index; 8388a650c75SVaclav Hapla rootsRanks[p][c] = remotes[ind0].rank; 8398a650c75SVaclav Hapla } 8408a650c75SVaclav Hapla } else { 8418a650c75SVaclav Hapla roots[p][c] = -1; 8428a650c75SVaclav Hapla rootsRanks[p][c] = -1; 8432e745bdaSMatthew G. Knepley } 8442e745bdaSMatthew G. Knepley } 8458a650c75SVaclav Hapla } 8468a650c75SVaclav Hapla if (debug) { 8478a650c75SVaclav Hapla for (p = 0; p < nroots; ++p) { 8488a650c75SVaclav Hapla ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr); 8498a650c75SVaclav Hapla ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr); 8508a650c75SVaclav Hapla if (coneSize > 1) { 8518a650c75SVaclav Hapla ierr = PetscSynchronizedPrintf(comm, "[%d] %D: cone=[%D %D] roots=[%D %D] rootsRanks=[%D %D]\n", rank, p, cone[0], cone[1], roots[p][0], roots[p][1], rootsRanks[p][0], rootsRanks[p][1]);CHKERRQ(ierr); 8528a650c75SVaclav Hapla } 8538a650c75SVaclav Hapla } 8548a650c75SVaclav Hapla ierr = PetscSynchronizedFlush(comm, NULL);CHKERRQ(ierr); 8558a650c75SVaclav Hapla } 8569e24d8a0SVaclav Hapla for (p = 0; p < nroots; ++p) { 8578ccb905dSVaclav Hapla for (c = 0; c < 2; c++) { 8588ccb905dSVaclav Hapla leaves[p][c] = -2; 8598ccb905dSVaclav Hapla leavesRanks[p][c] = -2; 8608ccb905dSVaclav Hapla } 861c8148b97SVaclav Hapla } 8622e745bdaSMatthew G. Knepley ierr = PetscSFBcastBegin(sf, MPIU_2INT, roots, leaves);CHKERRQ(ierr); 8638a650c75SVaclav Hapla ierr = PetscSFBcastBegin(sf, MPI_2INT, rootsRanks, leavesRanks);CHKERRQ(ierr); 8642e745bdaSMatthew G. Knepley ierr = PetscSFBcastEnd(sf, MPIU_2INT, roots, leaves);CHKERRQ(ierr); 8658a650c75SVaclav Hapla ierr = PetscSFBcastEnd(sf, MPI_2INT, rootsRanks, leavesRanks);CHKERRQ(ierr); 866c8148b97SVaclav Hapla if (debug) {ierr = PetscSynchronizedFlush(comm, NULL);CHKERRQ(ierr);} 867c8148b97SVaclav Hapla if (debug && rank == 0) {ierr = PetscSynchronizedPrintf(comm, "Referred leaves\n");CHKERRQ(ierr);} 8689e24d8a0SVaclav Hapla for (p = 0; p < nroots; ++p) { 8699e24d8a0SVaclav Hapla if (leaves[p][0] < 0) continue; 8709e24d8a0SVaclav Hapla ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr); 8719e24d8a0SVaclav Hapla ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr); 872ea211068SVaclav Hapla if (debug) {ierr = PetscSynchronizedPrintf(comm, "[%d] %D: cone=[%D %D] leaves=[%D %D] roots=[%D %D] leavesRanks=[%D %D] rootsRanks=[%D %D]\n", rank, p, cone[0], cone[1], leaves[p][0], leaves[p][1], roots[p][0], roots[p][1], leavesRanks[p][0], leavesRanks[p][1], rootsRanks[p][0], rootsRanks[p][1]);CHKERRQ(ierr);} 873ea211068SVaclav Hapla if ((leaves[p][0] != roots[p][0]) || (leaves[p][1] != roots[p][1]) || (leavesRanks[p][0] != rootsRanks[p][0]) || (leavesRanks[p][0] != rootsRanks[p][0])) { 874f80536cbSVaclav Hapla PetscInt masterCone[2]; 875f80536cbSVaclav Hapla /* Translate these two cone points back to leave numbering */ 876f80536cbSVaclav Hapla for (c = 0; c < 2; c++) { 877def636c8SVaclav Hapla if (leavesRanks[p][c] == rank) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "this should never happen - remote rank of point %D is the same rank",leavesRanks[p][c]); 878f80536cbSVaclav Hapla /* Find index of rank leavesRanks[p][c] among remote ranks */ 879f80536cbSVaclav Hapla /* No need for PetscMPIIntCast because these integers were originally cast from PetscMPIInt. */ 880f80536cbSVaclav Hapla ierr = PetscFindMPIInt((PetscMPIInt)leavesRanks[p][c], nranks, ranks, &r);CHKERRQ(ierr); 881f80536cbSVaclav Hapla if (PetscUnlikely(r < 0)) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "this should never happen - rank %D not found among remote ranks",leavesRanks[p][c]); 882f80536cbSVaclav Hapla /* Find point leaves[p][c] among remote points aimed at rank leavesRanks[p][c] */ 883f80536cbSVaclav Hapla o = roffset[r]; 884f80536cbSVaclav Hapla n = roffset[r+1] - o; 885f80536cbSVaclav Hapla ierr = PetscFindInt(leaves[p][c], n, &rremote1[o], &ind0);CHKERRQ(ierr); 886adeface4SVaclav Hapla if (PetscUnlikely(ind0 < 0)) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "No cone point of %D is connected to (%D, %D) - it seems there is missing connection in point SF!",p,ranks[r],leaves[p][c]); 887f80536cbSVaclav Hapla /* Get the corresponding local point */ 888f80536cbSVaclav Hapla masterCone[c] = rmine1[o+ind0];CHKERRQ(ierr); 889f80536cbSVaclav Hapla } 890f80536cbSVaclav Hapla if (debug) {ierr = PetscSynchronizedPrintf(comm, "[%d] %D: masterCone=[%D %D]\n", rank, p, masterCone[0], masterCone[1]);CHKERRQ(ierr);} 891f80536cbSVaclav Hapla /* Vaclav's note: Here we only compare first 2 points of the cone. Full cone size would lead to stronger self-checking. */ 892f80536cbSVaclav Hapla ierr = DMPlexOrientCell(dm, p, 2, masterCone);CHKERRQ(ierr); 89323aaf07bSVaclav Hapla } 8942e745bdaSMatthew G. Knepley } 895adeface4SVaclav Hapla #if defined(PETSC_USE_DEBUG) 896adeface4SVaclav Hapla ierr = DMViewFromOptions(dm, NULL, "-after_fix_dm_view");CHKERRQ(ierr); 897adeface4SVaclav Hapla for (r = 0; r < nleaves; ++r) { 898adeface4SVaclav Hapla p = locals[r]; 899adeface4SVaclav Hapla ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr); 900adeface4SVaclav Hapla if (!coneSize) continue; 901adeface4SVaclav Hapla ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr); 902adeface4SVaclav Hapla for (c = 0; c < 2; c++) { 903adeface4SVaclav Hapla ierr = PetscFindInt(cone[c], nleaves, locals, &ind0);CHKERRQ(ierr); 904adeface4SVaclav Hapla if (ind0 < 0) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Point SF contains %D but is missing its cone point cone[%D] = %D!", p, c, cone[c]); 905adeface4SVaclav Hapla if (leaves[p][c] != remotes[ind0].index || leavesRanks[p][c] != remotes[ind0].rank) { 906adeface4SVaclav Hapla if (leavesRanks[p][c] == rank) { 907adeface4SVaclav Hapla PetscInt ind1; 908adeface4SVaclav Hapla ierr = PetscFindInt(leaves[p][c], nleaves, locals, &ind1);CHKERRQ(ierr); 909adeface4SVaclav Hapla if (ind1 < 0) { 910adeface4SVaclav Hapla SETERRQ8(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Point %D = locals[%d]: cone[%D]=%D --> (%D, %D) differs from the enforced (%D, %D). The latter was not even found among the local SF points - it is probably broken!", p, r, c, cone[c], remotes[ind0].rank, remotes[ind0].index, leavesRanks[p][c], leaves[p][c]); 911adeface4SVaclav Hapla } else { 912adeface4SVaclav Hapla SETERRQ9(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Point %D = locals[%d]: cone[%D]=%D --> (%D, %D) differs from the enforced %D --> (%D, %D). Is the algorithm above or the point SF broken?", p, r, c, cone[c], remotes[ind0].rank, remotes[ind0].index, leaves[p][c], remotes[ind1].rank, remotes[ind1].index); 913adeface4SVaclav Hapla } 914adeface4SVaclav Hapla } else { 915adeface4SVaclav Hapla SETERRQ8(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Point %D = locals[%d]: cone[%D]=%D --> (%D, %D) differs from the enforced (%D, %D). Is the algorithm above or the point SF broken?", p, r, c, cone[c], remotes[ind0].rank, remotes[ind0].index, leavesRanks[p][c], leaves[p][c]); 916adeface4SVaclav Hapla } 917adeface4SVaclav Hapla } 918adeface4SVaclav Hapla } 919adeface4SVaclav Hapla } 920adeface4SVaclav Hapla #endif 9212e745bdaSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedFlush(comm, NULL);CHKERRQ(ierr);} 9228a650c75SVaclav Hapla ierr = PetscFree4(roots, leaves, rootsRanks, leavesRanks);CHKERRQ(ierr); 9237c7bb832SVaclav Hapla ierr = PetscFree2(rmine1, rremote1);CHKERRQ(ierr); 9242e745bdaSMatthew G. Knepley PetscFunctionReturn(0); 9252e745bdaSMatthew G. Knepley } 9262e745bdaSMatthew G. Knepley 9272e72742cSMatthew G. Knepley static PetscErrorCode IntArrayViewFromOptions(MPI_Comm comm, const char opt[], const char name[], const char idxname[], const char valname[], PetscInt n, const PetscInt a[]) 9287bffde78SMichael Lange { 9292e72742cSMatthew G. Knepley PetscInt idx; 9302e72742cSMatthew G. Knepley PetscMPIInt rank; 9312e72742cSMatthew G. Knepley PetscBool flg; 9327bffde78SMichael Lange PetscErrorCode ierr; 9337bffde78SMichael Lange 9347bffde78SMichael Lange PetscFunctionBegin; 9352e72742cSMatthew G. Knepley ierr = PetscOptionsHasName(NULL, NULL, opt, &flg);CHKERRQ(ierr); 9362e72742cSMatthew G. Knepley if (!flg) PetscFunctionReturn(0); 9372e72742cSMatthew G. Knepley ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 9382e72742cSMatthew G. Knepley ierr = PetscSynchronizedPrintf(comm, "[%d]%s:\n", rank, name);CHKERRQ(ierr); 9392e72742cSMatthew G. Knepley for (idx = 0; idx < n; ++idx) {ierr = PetscSynchronizedPrintf(comm, "[%d]%s %D %s %D\n", rank, idxname, idx, valname, a[idx]);CHKERRQ(ierr);} 9402e72742cSMatthew G. Knepley ierr = PetscSynchronizedFlush(comm, NULL);CHKERRQ(ierr); 9412e72742cSMatthew G. Knepley PetscFunctionReturn(0); 9422e72742cSMatthew G. Knepley } 9432e72742cSMatthew G. Knepley 9442e72742cSMatthew G. Knepley static PetscErrorCode SFNodeArrayViewFromOptions(MPI_Comm comm, const char opt[], const char name[], const char idxname[], PetscInt n, const PetscSFNode a[]) 9452e72742cSMatthew G. Knepley { 9462e72742cSMatthew G. Knepley PetscInt idx; 9472e72742cSMatthew G. Knepley PetscMPIInt rank; 9482e72742cSMatthew G. Knepley PetscBool flg; 9492e72742cSMatthew G. Knepley PetscErrorCode ierr; 9502e72742cSMatthew G. Knepley 9512e72742cSMatthew G. Knepley PetscFunctionBegin; 9522e72742cSMatthew G. Knepley ierr = PetscOptionsHasName(NULL, NULL, opt, &flg);CHKERRQ(ierr); 9532e72742cSMatthew G. Knepley if (!flg) PetscFunctionReturn(0); 9542e72742cSMatthew G. Knepley ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 9552e72742cSMatthew G. Knepley ierr = PetscSynchronizedPrintf(comm, "[%d]%s:\n", rank, name);CHKERRQ(ierr); 9562e72742cSMatthew G. Knepley if (idxname) { 9572e72742cSMatthew G. Knepley for (idx = 0; idx < n; ++idx) {ierr = PetscSynchronizedPrintf(comm, "[%d]%s %D rank %D index %D\n", rank, idxname, idx, a[idx].rank, a[idx].index);CHKERRQ(ierr);} 9582e72742cSMatthew G. Knepley } else { 9592e72742cSMatthew G. Knepley for (idx = 0; idx < n; ++idx) {ierr = PetscSynchronizedPrintf(comm, "[%d]rank %D index %D\n", rank, a[idx].rank, a[idx].index);CHKERRQ(ierr);} 9602e72742cSMatthew G. Knepley } 9612e72742cSMatthew G. Knepley ierr = PetscSynchronizedFlush(comm, NULL);CHKERRQ(ierr); 9622e72742cSMatthew G. Knepley PetscFunctionReturn(0); 9632e72742cSMatthew G. Knepley } 9642e72742cSMatthew G. Knepley 9652e72742cSMatthew G. Knepley static PetscErrorCode DMPlexMapToLocalPoint(PetscHMapIJ roothash, const PetscInt localPoints[], PetscMPIInt rank, PetscSFNode remotePoint, PetscInt *localPoint) 9662e72742cSMatthew G. Knepley { 9672e72742cSMatthew G. Knepley PetscErrorCode ierr; 9682e72742cSMatthew G. Knepley 9692e72742cSMatthew G. Knepley PetscFunctionBegin; 9702e72742cSMatthew G. Knepley if (remotePoint.rank == rank) { 9712e72742cSMatthew G. Knepley *localPoint = remotePoint.index; 9722e72742cSMatthew G. Knepley } else { 9732e72742cSMatthew G. Knepley PetscHashIJKey key; 9742e72742cSMatthew G. Knepley PetscInt root; 9752e72742cSMatthew G. Knepley 9762e72742cSMatthew G. Knepley key.i = remotePoint.index; 9772e72742cSMatthew G. Knepley key.j = remotePoint.rank; 9782e72742cSMatthew G. Knepley ierr = PetscHMapIJGet(roothash, key, &root);CHKERRQ(ierr); 9792e72742cSMatthew G. Knepley if (root >= 0) { 9802e72742cSMatthew G. Knepley *localPoint = localPoints[root]; 9812e72742cSMatthew G. Knepley } else PetscFunctionReturn(1); 9822e72742cSMatthew G. Knepley } 9832e72742cSMatthew G. Knepley PetscFunctionReturn(0); 9842e72742cSMatthew G. Knepley } 9852e72742cSMatthew G. Knepley 9862e72742cSMatthew G. Knepley /*@ 9872e72742cSMatthew G. Knepley DMPlexInterpolatePointSF - Insert interpolated points in the overlap into the PointSF in parallel, following local interpolation 9882e72742cSMatthew G. Knepley 9892e72742cSMatthew G. Knepley Collective on DM 9902e72742cSMatthew G. Knepley 9912e72742cSMatthew G. Knepley Input Parameters: 9922e72742cSMatthew G. Knepley + dm - The interpolated DM 9932e72742cSMatthew G. Knepley - pointSF - The initial SF without interpolated points 9942e72742cSMatthew G. Knepley 9952e72742cSMatthew G. Knepley Output Parameter: 9962e72742cSMatthew G. Knepley . pointSF - The SF including interpolated points 9972e72742cSMatthew G. Knepley 9982e72742cSMatthew G. Knepley Level: intermediate 9992e72742cSMatthew G. Knepley 10002e72742cSMatthew G. Knepley Note: All debugging for this process can be turned on with the options: -dm_interp_pre_view -petscsf_interp_pre_view -petscsection_interp_candidate_view -petscsection_interp_candidate_remote_view -petscsection_interp_claim_view -petscsf_interp_pre_view -dmplex_interp_debug 10012e72742cSMatthew G. Knepley 10022e72742cSMatthew G. Knepley .keywords: mesh 10032e72742cSMatthew G. Knepley .seealso: DMPlexInterpolate(), DMPlexUninterpolate() 10042e72742cSMatthew G. Knepley @*/ 1005e53487d3SMatthew G. Knepley PetscErrorCode DMPlexInterpolatePointSF(DM dm, PetscSF pointSF) 10062e72742cSMatthew G. Knepley { 10072e72742cSMatthew G. Knepley /* 10082e72742cSMatthew G. Knepley Okay, the algorithm is: 10092e72742cSMatthew G. Knepley - Take each point in the overlap (root) 10102e72742cSMatthew G. Knepley - Look at the neighboring points in the overlap (candidates) 10112e72742cSMatthew G. Knepley - Send these candidate points to neighbors 10122e72742cSMatthew G. Knepley - Neighbor checks for edge between root and candidate 10132e72742cSMatthew G. Knepley - If edge is found, it replaces candidate point with edge point 10142e72742cSMatthew G. Knepley - Send back the overwritten candidates (claims) 10152e72742cSMatthew G. Knepley - Original guy checks for edges, different from original candidate, and gets its own edge 10162e72742cSMatthew G. Knepley - This pair is put into SF 10172e72742cSMatthew G. Knepley 10182e72742cSMatthew G. Knepley We need a new algorithm that tolerates groups larger than 2. 10192e72742cSMatthew G. Knepley - Take each point in the overlap (root) 10202e72742cSMatthew G. Knepley - Find all collections of points in the overlap which make faces (do early join) 10212e72742cSMatthew G. Knepley - Send collections as candidates (add size as first number) 102266aa2a39SMatthew G. Knepley - Make sure to send collection to all owners of all overlap points in collection 10232e72742cSMatthew G. Knepley - Neighbor check for face in collections 10242e72742cSMatthew G. Knepley - If face is found, it replaces candidate point with face point 10252e72742cSMatthew G. Knepley - Send back the overwritten candidates (claims) 10262e72742cSMatthew G. Knepley - Original guy checks for faces, different from original candidate, and gets its own face 10272e72742cSMatthew G. Knepley - This pair is put into SF 10282e72742cSMatthew G. Knepley */ 10292e72742cSMatthew G. Knepley PetscHMapI leafhash; 10302e72742cSMatthew G. Knepley PetscHMapIJ roothash; 10312e72742cSMatthew G. Knepley const PetscInt *localPoints, *rootdegree; 10322e72742cSMatthew G. Knepley const PetscSFNode *remotePoints; 10332e72742cSMatthew G. Knepley PetscSFNode *candidates, *candidatesRemote, *claims; 10342e72742cSMatthew G. Knepley PetscSection candidateSection, candidateSectionRemote, claimSection; 10352e72742cSMatthew G. Knepley PetscInt numLeaves, l, numRoots, r, candidatesSize, candidatesRemoteSize; 10362e72742cSMatthew G. Knepley PetscMPIInt size, rank; 10372e72742cSMatthew G. Knepley PetscHashIJKey key; 10382e72742cSMatthew G. Knepley PetscBool debug = PETSC_FALSE; 10392e72742cSMatthew G. Knepley PetscErrorCode ierr; 10402e72742cSMatthew G. Knepley 10412e72742cSMatthew G. Knepley PetscFunctionBegin; 10422e72742cSMatthew G. Knepley ierr = PetscOptionsHasName(NULL, ((PetscObject) dm)->prefix, "-dmplex_interp_debug", &debug);CHKERRQ(ierr); 10439852e123SBarry Smith ierr = MPI_Comm_size(PetscObjectComm((PetscObject) dm), &size);CHKERRQ(ierr); 10447bffde78SMichael Lange ierr = MPI_Comm_rank(PetscObjectComm((PetscObject) dm), &rank);CHKERRQ(ierr); 10457bffde78SMichael Lange ierr = PetscSFGetGraph(pointSF, &numRoots, &numLeaves, &localPoints, &remotePoints);CHKERRQ(ierr); 10469852e123SBarry Smith if (size < 2 || numRoots < 0) PetscFunctionReturn(0); 10472e72742cSMatthew G. Knepley ierr = PetscObjectViewFromOptions((PetscObject) dm, NULL, "-dm_interp_pre_view");CHKERRQ(ierr); 10482e72742cSMatthew G. Knepley ierr = PetscObjectViewFromOptions((PetscObject) pointSF, NULL, "-petscsf_interp_pre_view");CHKERRQ(ierr); 104925afeb17SMatthew G. Knepley ierr = PetscLogEventBegin(DMPLEX_InterpolateSF,dm,0,0,0);CHKERRQ(ierr); 10507bffde78SMichael Lange /* Build hashes of points in the SF for efficient lookup */ 1051e8f14785SLisandro Dalcin ierr = PetscHMapICreate(&leafhash);CHKERRQ(ierr); 1052e8f14785SLisandro Dalcin ierr = PetscHMapIJCreate(&roothash);CHKERRQ(ierr); 10532e72742cSMatthew G. Knepley for (l = 0; l < numLeaves; ++l) { 10542e72742cSMatthew G. Knepley key.i = remotePoints[l].index; 10552e72742cSMatthew G. Knepley key.j = remotePoints[l].rank; 10562e72742cSMatthew G. Knepley ierr = PetscHMapISet(leafhash, localPoints[l], l);CHKERRQ(ierr); 10572e72742cSMatthew G. Knepley ierr = PetscHMapIJSet(roothash, key, l);CHKERRQ(ierr); 10587bffde78SMichael Lange } 105966aa2a39SMatthew G. Knepley /* Compute root degree to identify shared points */ 10602e72742cSMatthew G. Knepley ierr = PetscSFComputeDegreeBegin(pointSF, &rootdegree);CHKERRQ(ierr); 10612e72742cSMatthew G. Knepley ierr = PetscSFComputeDegreeEnd(pointSF, &rootdegree);CHKERRQ(ierr); 10622e72742cSMatthew G. Knepley ierr = IntArrayViewFromOptions(PetscObjectComm((PetscObject) dm), "-interp_root_degree_view", "Root degree", "point", "degree", numRoots, rootdegree);CHKERRQ(ierr); 106366aa2a39SMatthew G. Knepley /* Build a section / SFNode array of candidate points (face bd points) in the cone(support(leaf)), 106466aa2a39SMatthew G. Knepley where each candidate is defined by a set of remote points (roots) for the other points that define the face. */ 10657bffde78SMichael Lange ierr = PetscSectionCreate(PetscObjectComm((PetscObject) dm), &candidateSection);CHKERRQ(ierr); 10667bffde78SMichael Lange ierr = PetscSectionSetChart(candidateSection, 0, numRoots);CHKERRQ(ierr); 10677bffde78SMichael Lange { 106866aa2a39SMatthew G. Knepley PetscHMapIJ facehash; 10692e72742cSMatthew G. Knepley 107066aa2a39SMatthew G. Knepley ierr = PetscHMapIJCreate(&facehash);CHKERRQ(ierr); 10712e72742cSMatthew G. Knepley for (l = 0; l < numLeaves; ++l) { 10722e72742cSMatthew G. Knepley const PetscInt localPoint = localPoints[l]; 10732e72742cSMatthew G. Knepley const PetscInt *support; 10742e72742cSMatthew G. Knepley PetscInt supportSize, s; 10752e72742cSMatthew G. Knepley 10762e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d] Checking local point %D\n", rank, localPoint);CHKERRQ(ierr);} 10772e72742cSMatthew G. Knepley ierr = DMPlexGetSupportSize(dm, localPoint, &supportSize);CHKERRQ(ierr); 10782e72742cSMatthew G. Knepley ierr = DMPlexGetSupport(dm, localPoint, &support);CHKERRQ(ierr); 10792e72742cSMatthew G. Knepley for (s = 0; s < supportSize; ++s) { 10802e72742cSMatthew G. Knepley const PetscInt face = support[s]; 10812e72742cSMatthew G. Knepley const PetscInt *cone; 10822e72742cSMatthew G. Knepley PetscInt coneSize, c, f, root; 10832e72742cSMatthew G. Knepley PetscBool isFace = PETSC_TRUE; 10842e72742cSMatthew G. Knepley 10852e72742cSMatthew G. Knepley /* Only add face once */ 10862e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d] Support point %D\n", rank, face);CHKERRQ(ierr);} 108766aa2a39SMatthew G. Knepley key.i = localPoint; 108866aa2a39SMatthew G. Knepley key.j = face; 108966aa2a39SMatthew G. Knepley ierr = PetscHMapIJGet(facehash, key, &f);CHKERRQ(ierr); 10902e72742cSMatthew G. Knepley if (f >= 0) continue; 10912e72742cSMatthew G. Knepley ierr = DMPlexGetConeSize(dm, face, &coneSize);CHKERRQ(ierr); 10922e72742cSMatthew G. Knepley ierr = DMPlexGetCone(dm, face, &cone);CHKERRQ(ierr); 10932e72742cSMatthew G. Knepley /* If a cone point does not map to leaves on any proc, then do not put face in SF */ 10942e72742cSMatthew G. Knepley for (c = 0; c < coneSize; ++c) { 10952e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d] Cone point %D\n", rank, cone[c]);CHKERRQ(ierr);} 10962e72742cSMatthew G. Knepley ierr = PetscHMapIGet(leafhash, cone[c], &root);CHKERRQ(ierr); 10972e72742cSMatthew G. Knepley if (!rootdegree[cone[c]] && (root < 0)) {isFace = PETSC_FALSE; break;} 10982e72742cSMatthew G. Knepley } 10992e72742cSMatthew G. Knepley if (isFace) { 110066aa2a39SMatthew G. Knepley if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d] Found shared face %D\n", rank, face);CHKERRQ(ierr);} 110166aa2a39SMatthew G. Knepley ierr = PetscHMapIJSet(facehash, key, l);CHKERRQ(ierr); 11022e72742cSMatthew G. Knepley ierr = PetscSectionAddDof(candidateSection, localPoint, coneSize);CHKERRQ(ierr); 11037bffde78SMichael Lange } 11047bffde78SMichael Lange } 11052e72742cSMatthew G. Knepley } 11062e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedFlush(PetscObjectComm((PetscObject) dm), NULL);CHKERRQ(ierr);} 110766aa2a39SMatthew G. Knepley ierr = PetscHMapIJClear(facehash);CHKERRQ(ierr); 11087bffde78SMichael Lange ierr = PetscSectionSetUp(candidateSection);CHKERRQ(ierr); 11097bffde78SMichael Lange ierr = PetscSectionGetStorageSize(candidateSection, &candidatesSize);CHKERRQ(ierr); 11107bffde78SMichael Lange ierr = PetscMalloc1(candidatesSize, &candidates);CHKERRQ(ierr); 11112e72742cSMatthew G. Knepley for (l = 0; l < numLeaves; ++l) { 11122e72742cSMatthew G. Knepley const PetscInt localPoint = localPoints[l]; 11132e72742cSMatthew G. Knepley const PetscInt *support; 11142e72742cSMatthew G. Knepley PetscInt supportSize, s, offset, idx = 0; 11152e72742cSMatthew G. Knepley 11162e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d] Checking local point %D\n", rank, localPoint);CHKERRQ(ierr);} 11172e72742cSMatthew G. Knepley ierr = PetscSectionGetOffset(candidateSection, localPoint, &offset);CHKERRQ(ierr); 11182e72742cSMatthew G. Knepley ierr = DMPlexGetSupportSize(dm, localPoint, &supportSize);CHKERRQ(ierr); 11192e72742cSMatthew G. Knepley ierr = DMPlexGetSupport(dm, localPoint, &support);CHKERRQ(ierr); 11202e72742cSMatthew G. Knepley for (s = 0; s < supportSize; ++s) { 11212e72742cSMatthew G. Knepley const PetscInt face = support[s]; 11222e72742cSMatthew G. Knepley const PetscInt *cone; 11232e72742cSMatthew G. Knepley PetscInt coneSize, c, f, root; 11242e72742cSMatthew G. Knepley PetscBool isFace = PETSC_TRUE; 11252e72742cSMatthew G. Knepley 11262e72742cSMatthew G. Knepley /* Only add face once */ 11272e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d] Support point %D\n", rank, face);CHKERRQ(ierr);} 112866aa2a39SMatthew G. Knepley key.i = localPoint; 112966aa2a39SMatthew G. Knepley key.j = face; 113066aa2a39SMatthew G. Knepley ierr = PetscHMapIJGet(facehash, key, &f);CHKERRQ(ierr); 11312e72742cSMatthew G. Knepley if (f >= 0) continue; 11322e72742cSMatthew G. Knepley ierr = DMPlexGetConeSize(dm, face, &coneSize);CHKERRQ(ierr); 11332e72742cSMatthew G. Knepley ierr = DMPlexGetCone(dm, face, &cone);CHKERRQ(ierr); 11342e72742cSMatthew G. Knepley /* If a cone point does not map to leaves on any proc, then do not put face in SF */ 11352e72742cSMatthew G. Knepley for (c = 0; c < coneSize; ++c) { 11362e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d] Cone point %D\n", rank, cone[c]);CHKERRQ(ierr);} 11372e72742cSMatthew G. Knepley ierr = PetscHMapIGet(leafhash, cone[c], &root);CHKERRQ(ierr); 11382e72742cSMatthew G. Knepley if (!rootdegree[cone[c]] && (root < 0)) {isFace = PETSC_FALSE; break;} 11392e72742cSMatthew G. Knepley } 11402e72742cSMatthew G. Knepley if (isFace) { 114166aa2a39SMatthew G. Knepley if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d] Adding shared face %D at idx %D\n", rank, face, idx);CHKERRQ(ierr);} 114266aa2a39SMatthew G. Knepley ierr = PetscHMapIJSet(facehash, key, l);CHKERRQ(ierr); 11432e72742cSMatthew G. Knepley candidates[offset+idx].rank = -1; 11442e72742cSMatthew G. Knepley candidates[offset+idx++].index = coneSize-1; 11452e72742cSMatthew G. Knepley for (c = 0; c < coneSize; ++c) { 11462e72742cSMatthew G. Knepley if (cone[c] == localPoint) continue; 11472e72742cSMatthew G. Knepley if (rootdegree[cone[c]]) { 11482e72742cSMatthew G. Knepley candidates[offset+idx].rank = rank; 11492e72742cSMatthew G. Knepley candidates[offset+idx++].index = cone[c]; 11502e72742cSMatthew G. Knepley } else { 11512e72742cSMatthew G. Knepley ierr = PetscHMapIGet(leafhash, cone[c], &root);CHKERRQ(ierr); 11522e72742cSMatthew G. Knepley if (root < 0) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Cannot locate local point %D in SF", cone[c]); 11532e72742cSMatthew G. Knepley candidates[offset+idx++] = remotePoints[root]; 11547bffde78SMichael Lange } 11557bffde78SMichael Lange } 11562e72742cSMatthew G. Knepley } 11572e72742cSMatthew G. Knepley } 11582e72742cSMatthew G. Knepley } 11592e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedFlush(PetscObjectComm((PetscObject) dm), NULL);CHKERRQ(ierr);} 116066aa2a39SMatthew G. Knepley ierr = PetscHMapIJDestroy(&facehash);CHKERRQ(ierr); 11612e72742cSMatthew G. Knepley ierr = PetscObjectViewFromOptions((PetscObject) candidateSection, NULL, "-petscsection_interp_candidate_view");CHKERRQ(ierr); 11622e72742cSMatthew G. Knepley ierr = SFNodeArrayViewFromOptions(PetscObjectComm((PetscObject) dm), "-petscsection_interp_candidate_view", "Candidates", NULL, candidatesSize, candidates);CHKERRQ(ierr); 11637bffde78SMichael Lange } 11647bffde78SMichael Lange /* Gather candidate section / array pair into the root partition via inverse(multi(pointSF)). */ 11652e72742cSMatthew G. Knepley /* Note that this section is indexed by offsets into leaves, not by point number */ 11667bffde78SMichael Lange { 11677bffde78SMichael Lange PetscSF sfMulti, sfInverse, sfCandidates; 11687bffde78SMichael Lange PetscInt *remoteOffsets; 11692e72742cSMatthew G. Knepley 11707bffde78SMichael Lange ierr = PetscSFGetMultiSF(pointSF, &sfMulti);CHKERRQ(ierr); 11717bffde78SMichael Lange ierr = PetscSFCreateInverseSF(sfMulti, &sfInverse);CHKERRQ(ierr); 11727bffde78SMichael Lange ierr = PetscSectionCreate(PetscObjectComm((PetscObject) dm), &candidateSectionRemote);CHKERRQ(ierr); 11737bffde78SMichael Lange ierr = PetscSFDistributeSection(sfInverse, candidateSection, &remoteOffsets, candidateSectionRemote);CHKERRQ(ierr); 11747bffde78SMichael Lange ierr = PetscSFCreateSectionSF(sfInverse, candidateSection, remoteOffsets, candidateSectionRemote, &sfCandidates);CHKERRQ(ierr); 11757bffde78SMichael Lange ierr = PetscSectionGetStorageSize(candidateSectionRemote, &candidatesRemoteSize);CHKERRQ(ierr); 11767bffde78SMichael Lange ierr = PetscMalloc1(candidatesRemoteSize, &candidatesRemote);CHKERRQ(ierr); 11777bffde78SMichael Lange ierr = PetscSFBcastBegin(sfCandidates, MPIU_2INT, candidates, candidatesRemote);CHKERRQ(ierr); 11787bffde78SMichael Lange ierr = PetscSFBcastEnd(sfCandidates, MPIU_2INT, candidates, candidatesRemote);CHKERRQ(ierr); 11797bffde78SMichael Lange ierr = PetscSFDestroy(&sfInverse);CHKERRQ(ierr); 11807bffde78SMichael Lange ierr = PetscSFDestroy(&sfCandidates);CHKERRQ(ierr); 11817bffde78SMichael Lange ierr = PetscFree(remoteOffsets);CHKERRQ(ierr); 11822e72742cSMatthew G. Knepley 11832e72742cSMatthew G. Knepley ierr = PetscObjectViewFromOptions((PetscObject) candidateSectionRemote, NULL, "-petscsection_interp_candidate_remote_view");CHKERRQ(ierr); 11842e72742cSMatthew G. Knepley ierr = SFNodeArrayViewFromOptions(PetscObjectComm((PetscObject) dm), "-petscsection_interp_candidate_remote_view", "Remote Candidates", NULL, candidatesRemoteSize, candidatesRemote);CHKERRQ(ierr); 11857bffde78SMichael Lange } 11862e72742cSMatthew G. Knepley /* */ 11877bffde78SMichael Lange { 11882e72742cSMatthew G. Knepley PetscInt idx; 11892e72742cSMatthew G. Knepley /* There is a section point for every leaf attached to a given root point */ 11902e72742cSMatthew G. Knepley for (r = 0, idx = 0; r < numRoots; ++r) { 11912e72742cSMatthew G. Knepley PetscInt deg; 11922e72742cSMatthew G. Knepley for (deg = 0; deg < rootdegree[r]; ++deg, ++idx) { 11932e72742cSMatthew G. Knepley PetscInt offset, dof, d; 11942e72742cSMatthew G. Knepley 11957bffde78SMichael Lange ierr = PetscSectionGetDof(candidateSectionRemote, idx, &dof);CHKERRQ(ierr); 11967bffde78SMichael Lange ierr = PetscSectionGetOffset(candidateSectionRemote, idx, &offset);CHKERRQ(ierr); 11972e72742cSMatthew G. Knepley for (d = 0; d < dof; ++d) { 11982e72742cSMatthew G. Knepley const PetscInt sizeInd = offset+d; 11992e72742cSMatthew G. Knepley const PetscInt numPoints = candidatesRemote[sizeInd].index; 12002e72742cSMatthew G. Knepley const PetscInt *join = NULL; 12012e72742cSMatthew G. Knepley PetscInt points[1024], p, joinSize; 12022e72742cSMatthew G. Knepley 12032e72742cSMatthew G. Knepley points[0] = r; 12042e72742cSMatthew G. Knepley for (p = 0; p < numPoints; ++p) { 12052e72742cSMatthew G. Knepley ierr = DMPlexMapToLocalPoint(roothash, localPoints, rank, candidatesRemote[offset+(++d)], &points[p+1]); 12062e72742cSMatthew G. Knepley if (ierr) {d += numPoints-1 - p; break;} /* We got a point not in our overlap */ 12072e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d] Checking local candidate %D\n", rank, points[p+1]);CHKERRQ(ierr);} 12087bffde78SMichael Lange } 12092e72742cSMatthew G. Knepley if (ierr) continue; 12102e72742cSMatthew G. Knepley ierr = DMPlexGetJoin(dm, numPoints+1, points, &joinSize, &join);CHKERRQ(ierr); 12117bffde78SMichael Lange if (joinSize == 1) { 12122e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d] Adding face %D at idx %D\n", rank, join[0], sizeInd);CHKERRQ(ierr);} 12132e72742cSMatthew G. Knepley candidatesRemote[sizeInd].rank = rank; 12142e72742cSMatthew G. Knepley candidatesRemote[sizeInd].index = join[0]; 12157bffde78SMichael Lange } 12162e72742cSMatthew G. Knepley ierr = DMPlexRestoreJoin(dm, numPoints+1, points, &joinSize, &join);CHKERRQ(ierr); 12177bffde78SMichael Lange } 12187bffde78SMichael Lange } 12197bffde78SMichael Lange } 12202e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedFlush(PetscObjectComm((PetscObject) dm), NULL);CHKERRQ(ierr);} 12217bffde78SMichael Lange } 12227bffde78SMichael Lange /* Push claims back to receiver via the MultiSF and derive new pointSF mapping on receiver */ 12237bffde78SMichael Lange { 12247bffde78SMichael Lange PetscSF sfMulti, sfClaims, sfPointNew; 12257bffde78SMichael Lange PetscSFNode *remotePointsNew; 12262e72742cSMatthew G. Knepley PetscHMapI claimshash; 12272e72742cSMatthew G. Knepley PetscInt *remoteOffsets, *localPointsNew; 12282e72742cSMatthew G. Knepley PetscInt claimsSize, pStart, pEnd, root, numLocalNew, p, d; 12292e72742cSMatthew G. Knepley 12307bffde78SMichael Lange ierr = PetscSFGetMultiSF(pointSF, &sfMulti);CHKERRQ(ierr); 12317bffde78SMichael Lange ierr = PetscSectionCreate(PetscObjectComm((PetscObject) dm), &claimSection);CHKERRQ(ierr); 12327bffde78SMichael Lange ierr = PetscSFDistributeSection(sfMulti, candidateSectionRemote, &remoteOffsets, claimSection);CHKERRQ(ierr); 12337bffde78SMichael Lange ierr = PetscSFCreateSectionSF(sfMulti, candidateSectionRemote, remoteOffsets, claimSection, &sfClaims);CHKERRQ(ierr); 12342e72742cSMatthew G. Knepley ierr = PetscSectionGetStorageSize(claimSection, &claimsSize);CHKERRQ(ierr); 12352e72742cSMatthew G. Knepley ierr = PetscMalloc1(claimsSize, &claims);CHKERRQ(ierr); 12367bffde78SMichael Lange ierr = PetscSFBcastBegin(sfClaims, MPIU_2INT, candidatesRemote, claims);CHKERRQ(ierr); 12377bffde78SMichael Lange ierr = PetscSFBcastEnd(sfClaims, MPIU_2INT, candidatesRemote, claims);CHKERRQ(ierr); 12387bffde78SMichael Lange ierr = PetscSFDestroy(&sfClaims);CHKERRQ(ierr); 12397bffde78SMichael Lange ierr = PetscFree(remoteOffsets);CHKERRQ(ierr); 12402e72742cSMatthew G. Knepley ierr = PetscObjectViewFromOptions((PetscObject) claimSection, NULL, "-petscsection_interp_claim_view");CHKERRQ(ierr); 12412e72742cSMatthew G. Knepley ierr = SFNodeArrayViewFromOptions(PetscObjectComm((PetscObject) dm), "-petscsection_interp_claim_view", "Claims", NULL, claimsSize, claims);CHKERRQ(ierr); 12427bffde78SMichael Lange /* Walk the original section of local supports and add an SF entry for each updated item */ 1243e8f14785SLisandro Dalcin ierr = PetscHMapICreate(&claimshash);CHKERRQ(ierr); 12447bffde78SMichael Lange for (p = 0; p < numRoots; ++p) { 12452e72742cSMatthew G. Knepley PetscInt dof, offset; 12462e72742cSMatthew G. Knepley 12472e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d] Checking root for claims %D\n", rank, p);CHKERRQ(ierr);} 12487bffde78SMichael Lange ierr = PetscSectionGetDof(candidateSection, p, &dof);CHKERRQ(ierr); 12497bffde78SMichael Lange ierr = PetscSectionGetOffset(candidateSection, p, &offset);CHKERRQ(ierr); 12502e72742cSMatthew G. Knepley for (d = 0; d < dof;) { 12512e72742cSMatthew G. Knepley if (claims[offset+d].rank >= 0) { 12522e72742cSMatthew G. Knepley const PetscInt faceInd = offset+d; 12532e72742cSMatthew G. Knepley const PetscInt numPoints = candidates[faceInd].index; 12542e72742cSMatthew G. Knepley const PetscInt *join = NULL; 12552e72742cSMatthew G. Knepley PetscInt joinSize, points[1024], c; 12562e72742cSMatthew G. Knepley 12572e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d] Found claim for remote point (%D, %D)\n", rank, claims[faceInd].rank, claims[faceInd].index);CHKERRQ(ierr);} 12582e72742cSMatthew G. Knepley points[0] = p; 12592e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d] point %D\n", rank, points[0]);CHKERRQ(ierr);} 12602e72742cSMatthew G. Knepley for (c = 0, ++d; c < numPoints; ++c, ++d) { 1261e8f14785SLisandro Dalcin key.i = candidates[offset+d].index; 1262e8f14785SLisandro Dalcin key.j = candidates[offset+d].rank; 1263e8f14785SLisandro Dalcin ierr = PetscHMapIJGet(roothash, key, &root);CHKERRQ(ierr); 12642e72742cSMatthew G. Knepley points[c+1] = localPoints[root]; 12652e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d] point %D\n", rank, points[c+1]);CHKERRQ(ierr);} 12662e72742cSMatthew G. Knepley } 12672e72742cSMatthew G. Knepley ierr = DMPlexGetJoin(dm, numPoints+1, points, &joinSize, &join);CHKERRQ(ierr); 12682e72742cSMatthew G. Knepley if (joinSize == 1) { 12692e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d] Found local face %D\n", rank, join[0]);CHKERRQ(ierr);} 12702e72742cSMatthew G. Knepley ierr = PetscHMapISet(claimshash, join[0], faceInd);CHKERRQ(ierr); 12712e72742cSMatthew G. Knepley } 12722e72742cSMatthew G. Knepley ierr = DMPlexRestoreJoin(dm, numPoints+1, points, &joinSize, &join);CHKERRQ(ierr); 12732e72742cSMatthew G. Knepley } else d += claims[offset+d].index+1; 12747bffde78SMichael Lange } 12757bffde78SMichael Lange } 12762e72742cSMatthew G. Knepley if (debug) {ierr = PetscSynchronizedFlush(PetscObjectComm((PetscObject) dm), NULL);CHKERRQ(ierr);} 12777bffde78SMichael Lange /* Create new pointSF from hashed claims */ 1278e8f14785SLisandro Dalcin ierr = PetscHMapIGetSize(claimshash, &numLocalNew);CHKERRQ(ierr); 12797bffde78SMichael Lange ierr = DMPlexGetChart(dm, &pStart, &pEnd);CHKERRQ(ierr); 12807bffde78SMichael Lange ierr = PetscMalloc1(numLeaves + numLocalNew, &localPointsNew);CHKERRQ(ierr); 12817bffde78SMichael Lange ierr = PetscMalloc1(numLeaves + numLocalNew, &remotePointsNew);CHKERRQ(ierr); 12827bffde78SMichael Lange for (p = 0; p < numLeaves; ++p) { 12837bffde78SMichael Lange localPointsNew[p] = localPoints[p]; 12847bffde78SMichael Lange remotePointsNew[p].index = remotePoints[p].index; 12857bffde78SMichael Lange remotePointsNew[p].rank = remotePoints[p].rank; 12867bffde78SMichael Lange } 1287f3190fc2SToby Isaac p = numLeaves; 1288e8f14785SLisandro Dalcin ierr = PetscHMapIGetKeys(claimshash, &p, localPointsNew);CHKERRQ(ierr); 1289f3190fc2SToby Isaac ierr = PetscSortInt(numLocalNew, &localPointsNew[numLeaves]);CHKERRQ(ierr); 12907bffde78SMichael Lange for (p = numLeaves; p < numLeaves + numLocalNew; ++p) { 12912e72742cSMatthew G. Knepley PetscInt offset; 1292e8f14785SLisandro Dalcin ierr = PetscHMapIGet(claimshash, localPointsNew[p], &offset);CHKERRQ(ierr); 12937bffde78SMichael Lange remotePointsNew[p] = claims[offset]; 12947bffde78SMichael Lange } 12957bffde78SMichael Lange ierr = PetscSFCreate(PetscObjectComm((PetscObject) dm), &sfPointNew);CHKERRQ(ierr); 12967bffde78SMichael Lange ierr = PetscSFSetGraph(sfPointNew, pEnd-pStart, numLeaves+numLocalNew, localPointsNew, PETSC_OWN_POINTER, remotePointsNew, PETSC_OWN_POINTER);CHKERRQ(ierr); 12977bffde78SMichael Lange ierr = DMSetPointSF(dm, sfPointNew);CHKERRQ(ierr); 12987bffde78SMichael Lange ierr = PetscSFDestroy(&sfPointNew);CHKERRQ(ierr); 1299e8f14785SLisandro Dalcin ierr = PetscHMapIDestroy(&claimshash);CHKERRQ(ierr); 13007bffde78SMichael Lange } 1301e8f14785SLisandro Dalcin ierr = PetscHMapIDestroy(&leafhash);CHKERRQ(ierr); 1302e8f14785SLisandro Dalcin ierr = PetscHMapIJDestroy(&roothash);CHKERRQ(ierr); 13037bffde78SMichael Lange ierr = PetscSectionDestroy(&candidateSection);CHKERRQ(ierr); 13047bffde78SMichael Lange ierr = PetscSectionDestroy(&candidateSectionRemote);CHKERRQ(ierr); 13057bffde78SMichael Lange ierr = PetscSectionDestroy(&claimSection);CHKERRQ(ierr); 13067bffde78SMichael Lange ierr = PetscFree(candidates);CHKERRQ(ierr); 13077bffde78SMichael Lange ierr = PetscFree(candidatesRemote);CHKERRQ(ierr); 13087bffde78SMichael Lange ierr = PetscFree(claims);CHKERRQ(ierr); 130925afeb17SMatthew G. Knepley ierr = PetscLogEventEnd(DMPLEX_InterpolateSF,dm,0,0,0);CHKERRQ(ierr); 13107bffde78SMichael Lange PetscFunctionReturn(0); 13117bffde78SMichael Lange } 13127bffde78SMichael Lange 13130c795ddcSMatthew G. Knepley /*@C 131480330477SMatthew G. Knepley DMPlexInterpolate - Take in a cell-vertex mesh and return one with all intermediate faces, edges, etc. 131580330477SMatthew G. Knepley 131680330477SMatthew G. Knepley Collective on DM 131780330477SMatthew G. Knepley 1318e56d480eSMatthew G. Knepley Input Parameters: 1319e56d480eSMatthew G. Knepley + dm - The DMPlex object with only cells and vertices 132010a67516SMatthew G. Knepley - dmInt - The interpolated DM 132180330477SMatthew G. Knepley 132280330477SMatthew G. Knepley Output Parameter: 13234e3744c5SMatthew G. Knepley . dmInt - The complete DMPlex object 132480330477SMatthew G. Knepley 132580330477SMatthew G. Knepley Level: intermediate 132680330477SMatthew G. Knepley 132795452b02SPatrick Sanan Notes: 132895452b02SPatrick Sanan It does not copy over the coordinates. 132943eeeb2dSStefano Zampini 133080330477SMatthew G. Knepley .keywords: mesh 133143eeeb2dSStefano Zampini .seealso: DMPlexUninterpolate(), DMPlexCreateFromCellList(), DMPlexCopyCoordinates() 133280330477SMatthew G. Knepley @*/ 13339f074e33SMatthew G Knepley PetscErrorCode DMPlexInterpolate(DM dm, DM *dmInt) 13349f074e33SMatthew G Knepley { 13359a5b13a2SMatthew G Knepley DM idm, odm = dm; 13367bffde78SMichael Lange PetscSF sfPoint; 13372e1b13c2SMatthew G. Knepley PetscInt depth, dim, d; 133810a67516SMatthew G. Knepley const char *name; 1339b325530aSVaclav Hapla PetscBool flg=PETSC_TRUE; 13409f074e33SMatthew G Knepley PetscErrorCode ierr; 13419f074e33SMatthew G Knepley 13429f074e33SMatthew G Knepley PetscFunctionBegin; 134310a67516SMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 134410a67516SMatthew G. Knepley PetscValidPointer(dmInt, 2); 1345a72f3261SMatthew G. Knepley ierr = PetscLogEventBegin(DMPLEX_Interpolate,dm,0,0,0);CHKERRQ(ierr); 13462e1b13c2SMatthew G. Knepley ierr = DMPlexGetDepth(dm, &depth);CHKERRQ(ierr); 1347c73cfb54SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 1348b21b8912SMatthew G. Knepley if ((depth == dim) || (dim <= 1)) { 134976b791aaSMatthew G. Knepley ierr = PetscObjectReference((PetscObject) dm);CHKERRQ(ierr); 135076b791aaSMatthew G. Knepley idm = dm; 1351b21b8912SMatthew G. Knepley } else { 13529a5b13a2SMatthew G Knepley for (d = 1; d < dim; ++d) { 13539a5b13a2SMatthew G Knepley /* Create interpolated mesh */ 135410a67516SMatthew G. Knepley ierr = DMCreate(PetscObjectComm((PetscObject)dm), &idm);CHKERRQ(ierr); 13559a5b13a2SMatthew G Knepley ierr = DMSetType(idm, DMPLEX);CHKERRQ(ierr); 1356c73cfb54SMatthew G. Knepley ierr = DMSetDimension(idm, dim);CHKERRQ(ierr); 13577bffde78SMichael Lange if (depth > 0) { 13587bffde78SMichael Lange ierr = DMPlexInterpolateFaces_Internal(odm, 1, idm);CHKERRQ(ierr); 13597bffde78SMichael Lange ierr = DMGetPointSF(odm, &sfPoint);CHKERRQ(ierr); 13602e72742cSMatthew G. Knepley ierr = DMPlexInterpolatePointSF(idm, sfPoint);CHKERRQ(ierr); 13617bffde78SMichael Lange } 13629a5b13a2SMatthew G Knepley if (odm != dm) {ierr = DMDestroy(&odm);CHKERRQ(ierr);} 13639a5b13a2SMatthew G Knepley odm = idm; 13649f074e33SMatthew G Knepley } 136510a67516SMatthew G. Knepley ierr = PetscObjectGetName((PetscObject) dm, &name);CHKERRQ(ierr); 136610a67516SMatthew G. Knepley ierr = PetscObjectSetName((PetscObject) idm, name);CHKERRQ(ierr); 136710a67516SMatthew G. Knepley ierr = DMPlexCopyCoordinates(dm, idm);CHKERRQ(ierr); 136810a67516SMatthew G. Knepley ierr = DMCopyLabels(dm, idm);CHKERRQ(ierr); 1369b325530aSVaclav Hapla ierr = PetscOptionsGetBool(((PetscObject)dm)->options, ((PetscObject)dm)->prefix, "-dm_plex_interpolate_orient_interfaces", &flg, NULL);CHKERRQ(ierr); 1370b325530aSVaclav Hapla if (flg) {ierr = DMPlexOrientInterface(idm);CHKERRQ(ierr);} 137184699f70SSatish Balay } 137243eeeb2dSStefano Zampini { 137343eeeb2dSStefano Zampini PetscBool isper; 137443eeeb2dSStefano Zampini const PetscReal *maxCell, *L; 137543eeeb2dSStefano Zampini const DMBoundaryType *bd; 137643eeeb2dSStefano Zampini 137743eeeb2dSStefano Zampini ierr = DMGetPeriodicity(dm,&isper,&maxCell,&L,&bd);CHKERRQ(ierr); 137843eeeb2dSStefano Zampini ierr = DMSetPeriodicity(idm,isper,maxCell,L,bd);CHKERRQ(ierr); 137943eeeb2dSStefano Zampini } 13809a5b13a2SMatthew G Knepley *dmInt = idm; 1381a72f3261SMatthew G. Knepley ierr = PetscLogEventEnd(DMPLEX_Interpolate,dm,0,0,0);CHKERRQ(ierr); 13829f074e33SMatthew G Knepley PetscFunctionReturn(0); 13839f074e33SMatthew G Knepley } 138407b0a1fcSMatthew G Knepley 138580330477SMatthew G. Knepley /*@ 138680330477SMatthew G. Knepley DMPlexCopyCoordinates - Copy coordinates from one mesh to another with the same vertices 138780330477SMatthew G. Knepley 138880330477SMatthew G. Knepley Collective on DM 138980330477SMatthew G. Knepley 139080330477SMatthew G. Knepley Input Parameter: 139180330477SMatthew G. Knepley . dmA - The DMPlex object with initial coordinates 139280330477SMatthew G. Knepley 139380330477SMatthew G. Knepley Output Parameter: 139480330477SMatthew G. Knepley . dmB - The DMPlex object with copied coordinates 139580330477SMatthew G. Knepley 139680330477SMatthew G. Knepley Level: intermediate 139780330477SMatthew G. Knepley 139880330477SMatthew G. Knepley Note: This is typically used when adding pieces other than vertices to a mesh 139980330477SMatthew G. Knepley 140080330477SMatthew G. Knepley .keywords: mesh 140165f90189SJed Brown .seealso: DMCopyLabels(), DMGetCoordinates(), DMGetCoordinatesLocal(), DMGetCoordinateDM(), DMGetCoordinateSection() 140280330477SMatthew G. Knepley @*/ 140307b0a1fcSMatthew G Knepley PetscErrorCode DMPlexCopyCoordinates(DM dmA, DM dmB) 140407b0a1fcSMatthew G Knepley { 140507b0a1fcSMatthew G Knepley Vec coordinatesA, coordinatesB; 140643eeeb2dSStefano Zampini VecType vtype; 140707b0a1fcSMatthew G Knepley PetscSection coordSectionA, coordSectionB; 140807b0a1fcSMatthew G Knepley PetscScalar *coordsA, *coordsB; 14090bedd6beSMatthew G. Knepley PetscInt spaceDim, Nf, vStartA, vStartB, vEndA, vEndB, coordSizeB, v, d; 141043eeeb2dSStefano Zampini PetscInt cStartA, cEndA, cStartB, cEndB, cS, cE; 141143eeeb2dSStefano Zampini PetscBool lc = PETSC_FALSE; 141207b0a1fcSMatthew G Knepley PetscErrorCode ierr; 141307b0a1fcSMatthew G Knepley 141407b0a1fcSMatthew G Knepley PetscFunctionBegin; 141543eeeb2dSStefano Zampini PetscValidHeaderSpecific(dmA, DM_CLASSID, 1); 141643eeeb2dSStefano Zampini PetscValidHeaderSpecific(dmB, DM_CLASSID, 2); 141776b791aaSMatthew G. Knepley if (dmA == dmB) PetscFunctionReturn(0); 141807b0a1fcSMatthew G Knepley ierr = DMPlexGetDepthStratum(dmA, 0, &vStartA, &vEndA);CHKERRQ(ierr); 141907b0a1fcSMatthew G Knepley ierr = DMPlexGetDepthStratum(dmB, 0, &vStartB, &vEndB);CHKERRQ(ierr); 142007b0a1fcSMatthew G Knepley if ((vEndA-vStartA) != (vEndB-vStartB)) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "The number of vertices in first DM %d != %d in the second DM", vEndA-vStartA, vEndB-vStartB); 142143eeeb2dSStefano Zampini ierr = DMPlexGetHeightStratum(dmA, 0, &cStartA, &cEndA);CHKERRQ(ierr); 142243eeeb2dSStefano Zampini ierr = DMPlexGetHeightStratum(dmB, 0, &cStartB, &cEndB);CHKERRQ(ierr); 142369d8a9ceSMatthew G. Knepley ierr = DMGetCoordinateSection(dmA, &coordSectionA);CHKERRQ(ierr); 142469d8a9ceSMatthew G. Knepley ierr = DMGetCoordinateSection(dmB, &coordSectionB);CHKERRQ(ierr); 1425972bc18aSToby Isaac if (coordSectionA == coordSectionB) PetscFunctionReturn(0); 14260bedd6beSMatthew G. Knepley ierr = PetscSectionGetNumFields(coordSectionA, &Nf);CHKERRQ(ierr); 14270bedd6beSMatthew G. Knepley if (!Nf) PetscFunctionReturn(0); 14280bedd6beSMatthew G. Knepley if (Nf > 1) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "The number of coordinate fields must be 1, not %D", Nf); 1429df26b574SMatthew G. Knepley if (!coordSectionB) { 1430df26b574SMatthew G. Knepley PetscInt dim; 1431df26b574SMatthew G. Knepley 1432df26b574SMatthew G. Knepley ierr = PetscSectionCreate(PetscObjectComm((PetscObject) coordSectionA), &coordSectionB);CHKERRQ(ierr); 1433df26b574SMatthew G. Knepley ierr = DMGetCoordinateDim(dmA, &dim);CHKERRQ(ierr); 1434df26b574SMatthew G. Knepley ierr = DMSetCoordinateSection(dmB, dim, coordSectionB);CHKERRQ(ierr); 1435df26b574SMatthew G. Knepley ierr = PetscObjectDereference((PetscObject) coordSectionB);CHKERRQ(ierr); 1436df26b574SMatthew G. Knepley } 143707b0a1fcSMatthew G Knepley ierr = PetscSectionSetNumFields(coordSectionB, 1);CHKERRQ(ierr); 143807b0a1fcSMatthew G Knepley ierr = PetscSectionGetFieldComponents(coordSectionA, 0, &spaceDim);CHKERRQ(ierr); 143907b0a1fcSMatthew G Knepley ierr = PetscSectionSetFieldComponents(coordSectionB, 0, spaceDim);CHKERRQ(ierr); 144043eeeb2dSStefano Zampini ierr = PetscSectionGetChart(coordSectionA, &cS, &cE);CHKERRQ(ierr); 144143eeeb2dSStefano Zampini if (cStartA <= cS && cS < cEndA) { /* localized coordinates */ 1442367003a6SStefano Zampini if ((cEndA-cStartA) != (cEndB-cStartB)) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "The number of cells in first DM %D != %D in the second DM", cEndA-cStartA, cEndB-cStartB); 144343eeeb2dSStefano Zampini cS = cS - cStartA + cStartB; 144443eeeb2dSStefano Zampini cE = vEndB; 144543eeeb2dSStefano Zampini lc = PETSC_TRUE; 144643eeeb2dSStefano Zampini } else { 144743eeeb2dSStefano Zampini cS = vStartB; 144843eeeb2dSStefano Zampini cE = vEndB; 144943eeeb2dSStefano Zampini } 145043eeeb2dSStefano Zampini ierr = PetscSectionSetChart(coordSectionB, cS, cE);CHKERRQ(ierr); 145107b0a1fcSMatthew G Knepley for (v = vStartB; v < vEndB; ++v) { 145207b0a1fcSMatthew G Knepley ierr = PetscSectionSetDof(coordSectionB, v, spaceDim);CHKERRQ(ierr); 145307b0a1fcSMatthew G Knepley ierr = PetscSectionSetFieldDof(coordSectionB, v, 0, spaceDim);CHKERRQ(ierr); 145407b0a1fcSMatthew G Knepley } 145543eeeb2dSStefano Zampini if (lc) { /* localized coordinates */ 145643eeeb2dSStefano Zampini PetscInt c; 145743eeeb2dSStefano Zampini 145843eeeb2dSStefano Zampini for (c = cS-cStartB; c < cEndB-cStartB; c++) { 145943eeeb2dSStefano Zampini PetscInt dof; 146043eeeb2dSStefano Zampini 146143eeeb2dSStefano Zampini ierr = PetscSectionGetDof(coordSectionA, c + cStartA, &dof);CHKERRQ(ierr); 146243eeeb2dSStefano Zampini ierr = PetscSectionSetDof(coordSectionB, c + cStartB, dof);CHKERRQ(ierr); 146343eeeb2dSStefano Zampini ierr = PetscSectionSetFieldDof(coordSectionB, c + cStartB, 0, dof);CHKERRQ(ierr); 146443eeeb2dSStefano Zampini } 146543eeeb2dSStefano Zampini } 146607b0a1fcSMatthew G Knepley ierr = PetscSectionSetUp(coordSectionB);CHKERRQ(ierr); 146707b0a1fcSMatthew G Knepley ierr = PetscSectionGetStorageSize(coordSectionB, &coordSizeB);CHKERRQ(ierr); 146807b0a1fcSMatthew G Knepley ierr = DMGetCoordinatesLocal(dmA, &coordinatesA);CHKERRQ(ierr); 14698b9ced59SLisandro Dalcin ierr = VecCreate(PETSC_COMM_SELF, &coordinatesB);CHKERRQ(ierr); 147007b0a1fcSMatthew G Knepley ierr = PetscObjectSetName((PetscObject) coordinatesB, "coordinates");CHKERRQ(ierr); 147107b0a1fcSMatthew G Knepley ierr = VecSetSizes(coordinatesB, coordSizeB, PETSC_DETERMINE);CHKERRQ(ierr); 147243eeeb2dSStefano Zampini ierr = VecGetBlockSize(coordinatesA, &d);CHKERRQ(ierr); 147343eeeb2dSStefano Zampini ierr = VecSetBlockSize(coordinatesB, d);CHKERRQ(ierr); 147443eeeb2dSStefano Zampini ierr = VecGetType(coordinatesA, &vtype);CHKERRQ(ierr); 147543eeeb2dSStefano Zampini ierr = VecSetType(coordinatesB, vtype);CHKERRQ(ierr); 147607b0a1fcSMatthew G Knepley ierr = VecGetArray(coordinatesA, &coordsA);CHKERRQ(ierr); 147707b0a1fcSMatthew G Knepley ierr = VecGetArray(coordinatesB, &coordsB);CHKERRQ(ierr); 147807b0a1fcSMatthew G Knepley for (v = 0; v < vEndB-vStartB; ++v) { 147943eeeb2dSStefano Zampini PetscInt offA, offB; 148043eeeb2dSStefano Zampini 148143eeeb2dSStefano Zampini ierr = PetscSectionGetOffset(coordSectionA, v + vStartA, &offA);CHKERRQ(ierr); 148243eeeb2dSStefano Zampini ierr = PetscSectionGetOffset(coordSectionB, v + vStartB, &offB);CHKERRQ(ierr); 148307b0a1fcSMatthew G Knepley for (d = 0; d < spaceDim; ++d) { 148443eeeb2dSStefano Zampini coordsB[offB+d] = coordsA[offA+d]; 148543eeeb2dSStefano Zampini } 148643eeeb2dSStefano Zampini } 148743eeeb2dSStefano Zampini if (lc) { /* localized coordinates */ 148843eeeb2dSStefano Zampini PetscInt c; 148943eeeb2dSStefano Zampini 149043eeeb2dSStefano Zampini for (c = cS-cStartB; c < cEndB-cStartB; c++) { 149143eeeb2dSStefano Zampini PetscInt dof, offA, offB; 149243eeeb2dSStefano Zampini 149343eeeb2dSStefano Zampini ierr = PetscSectionGetOffset(coordSectionA, c + cStartA, &offA);CHKERRQ(ierr); 149443eeeb2dSStefano Zampini ierr = PetscSectionGetOffset(coordSectionB, c + cStartB, &offB);CHKERRQ(ierr); 149543eeeb2dSStefano Zampini ierr = PetscSectionGetDof(coordSectionA, c + cStartA, &dof);CHKERRQ(ierr); 149643eeeb2dSStefano Zampini ierr = PetscMemcpy(coordsB + offB,coordsA + offA,dof*sizeof(*coordsB));CHKERRQ(ierr); 149707b0a1fcSMatthew G Knepley } 149807b0a1fcSMatthew G Knepley } 149907b0a1fcSMatthew G Knepley ierr = VecRestoreArray(coordinatesA, &coordsA);CHKERRQ(ierr); 150007b0a1fcSMatthew G Knepley ierr = VecRestoreArray(coordinatesB, &coordsB);CHKERRQ(ierr); 150107b0a1fcSMatthew G Knepley ierr = DMSetCoordinatesLocal(dmB, coordinatesB);CHKERRQ(ierr); 150207b0a1fcSMatthew G Knepley ierr = VecDestroy(&coordinatesB);CHKERRQ(ierr); 150307b0a1fcSMatthew G Knepley PetscFunctionReturn(0); 150407b0a1fcSMatthew G Knepley } 15055c386225SMatthew G. Knepley 15064e3744c5SMatthew G. Knepley /*@ 15074e3744c5SMatthew G. Knepley DMPlexUninterpolate - Take in a mesh with all intermediate faces, edges, etc. and return a cell-vertex mesh 15084e3744c5SMatthew G. Knepley 15094e3744c5SMatthew G. Knepley Collective on DM 15104e3744c5SMatthew G. Knepley 15114e3744c5SMatthew G. Knepley Input Parameter: 15124e3744c5SMatthew G. Knepley . dm - The complete DMPlex object 15134e3744c5SMatthew G. Knepley 15144e3744c5SMatthew G. Knepley Output Parameter: 15154e3744c5SMatthew G. Knepley . dmUnint - The DMPlex object with only cells and vertices 15164e3744c5SMatthew G. Knepley 15174e3744c5SMatthew G. Knepley Level: intermediate 15184e3744c5SMatthew G. Knepley 151995452b02SPatrick Sanan Notes: 152095452b02SPatrick Sanan It does not copy over the coordinates. 152143eeeb2dSStefano Zampini 15224e3744c5SMatthew G. Knepley .keywords: mesh 152343eeeb2dSStefano Zampini .seealso: DMPlexInterpolate(), DMPlexCreateFromCellList(), DMPlexCopyCoordinates() 15244e3744c5SMatthew G. Knepley @*/ 15254e3744c5SMatthew G. Knepley PetscErrorCode DMPlexUninterpolate(DM dm, DM *dmUnint) 15264e3744c5SMatthew G. Knepley { 15274e3744c5SMatthew G. Knepley DM udm; 1528c9f63434SStefano Zampini PetscInt dim, vStart, vEnd, cStart, cEnd, cMax, c, maxConeSize = 0, *cone; 15294e3744c5SMatthew G. Knepley PetscErrorCode ierr; 15304e3744c5SMatthew G. Knepley 15314e3744c5SMatthew G. Knepley PetscFunctionBegin; 153243eeeb2dSStefano Zampini PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 153343eeeb2dSStefano Zampini PetscValidPointer(dmUnint, 2); 1534c73cfb54SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 15354e3744c5SMatthew G. Knepley if (dim <= 1) { 15364e3744c5SMatthew G. Knepley ierr = PetscObjectReference((PetscObject) dm);CHKERRQ(ierr); 1537595d4abbSMatthew G. Knepley *dmUnint = dm; 1538595d4abbSMatthew G. Knepley PetscFunctionReturn(0); 15394e3744c5SMatthew G. Knepley } 1540595d4abbSMatthew G. Knepley ierr = DMPlexGetDepthStratum(dm, 0, &vStart, &vEnd);CHKERRQ(ierr); 1541595d4abbSMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 1542c9f63434SStefano Zampini ierr = DMPlexGetHybridBounds(dm, &cMax, NULL, NULL, NULL);CHKERRQ(ierr); 15434e3744c5SMatthew G. Knepley ierr = DMCreate(PetscObjectComm((PetscObject) dm), &udm);CHKERRQ(ierr); 15444e3744c5SMatthew G. Knepley ierr = DMSetType(udm, DMPLEX);CHKERRQ(ierr); 1545c73cfb54SMatthew G. Knepley ierr = DMSetDimension(udm, dim);CHKERRQ(ierr); 15464e3744c5SMatthew G. Knepley ierr = DMPlexSetChart(udm, cStart, vEnd);CHKERRQ(ierr); 15474e3744c5SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 1548595d4abbSMatthew G. Knepley PetscInt *closure = NULL, closureSize, cl, coneSize = 0; 15494e3744c5SMatthew G. Knepley 15504e3744c5SMatthew G. Knepley ierr = DMPlexGetTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr); 15514e3744c5SMatthew G. Knepley for (cl = 0; cl < closureSize*2; cl += 2) { 15524e3744c5SMatthew G. Knepley const PetscInt p = closure[cl]; 15534e3744c5SMatthew G. Knepley 15544e3744c5SMatthew G. Knepley if ((p >= vStart) && (p < vEnd)) ++coneSize; 15554e3744c5SMatthew G. Knepley } 15564e3744c5SMatthew G. Knepley ierr = DMPlexRestoreTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr); 15574e3744c5SMatthew G. Knepley ierr = DMPlexSetConeSize(udm, c, coneSize);CHKERRQ(ierr); 1558595d4abbSMatthew G. Knepley maxConeSize = PetscMax(maxConeSize, coneSize); 15594e3744c5SMatthew G. Knepley } 15604e3744c5SMatthew G. Knepley ierr = DMSetUp(udm);CHKERRQ(ierr); 1561785e854fSJed Brown ierr = PetscMalloc1(maxConeSize, &cone);CHKERRQ(ierr); 15624e3744c5SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 1563595d4abbSMatthew G. Knepley PetscInt *closure = NULL, closureSize, cl, coneSize = 0; 15644e3744c5SMatthew G. Knepley 15654e3744c5SMatthew G. Knepley ierr = DMPlexGetTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr); 15664e3744c5SMatthew G. Knepley for (cl = 0; cl < closureSize*2; cl += 2) { 15674e3744c5SMatthew G. Knepley const PetscInt p = closure[cl]; 15684e3744c5SMatthew G. Knepley 15694e3744c5SMatthew G. Knepley if ((p >= vStart) && (p < vEnd)) cone[coneSize++] = p; 15704e3744c5SMatthew G. Knepley } 15714e3744c5SMatthew G. Knepley ierr = DMPlexRestoreTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr); 15724e3744c5SMatthew G. Knepley ierr = DMPlexSetCone(udm, c, cone);CHKERRQ(ierr); 15734e3744c5SMatthew G. Knepley } 15744e3744c5SMatthew G. Knepley ierr = PetscFree(cone);CHKERRQ(ierr); 1575c9f63434SStefano Zampini ierr = DMPlexSetHybridBounds(udm, cMax, PETSC_DETERMINE, PETSC_DETERMINE, PETSC_DETERMINE);CHKERRQ(ierr); 15764e3744c5SMatthew G. Knepley ierr = DMPlexSymmetrize(udm);CHKERRQ(ierr); 15774e3744c5SMatthew G. Knepley ierr = DMPlexStratify(udm);CHKERRQ(ierr); 15785c7de58aSMatthew G. Knepley /* Reduce SF */ 15795c7de58aSMatthew G. Knepley { 15805c7de58aSMatthew G. Knepley PetscSF sfPoint, sfPointUn; 15815c7de58aSMatthew G. Knepley const PetscSFNode *remotePoints; 15825c7de58aSMatthew G. Knepley const PetscInt *localPoints; 15835c7de58aSMatthew G. Knepley PetscSFNode *remotePointsUn; 15845c7de58aSMatthew G. Knepley PetscInt *localPointsUn; 15855c7de58aSMatthew G. Knepley PetscInt vEnd, numRoots, numLeaves, l; 15865c7de58aSMatthew G. Knepley PetscInt numLeavesUn = 0, n = 0; 15875c7de58aSMatthew G. Knepley PetscErrorCode ierr; 15885c7de58aSMatthew G. Knepley 15895c7de58aSMatthew G. Knepley /* Get original SF information */ 15905c7de58aSMatthew G. Knepley ierr = DMGetPointSF(dm, &sfPoint);CHKERRQ(ierr); 15915c7de58aSMatthew G. Knepley ierr = DMGetPointSF(udm, &sfPointUn);CHKERRQ(ierr); 15925c7de58aSMatthew G. Knepley ierr = DMPlexGetDepthStratum(dm, 0, NULL, &vEnd);CHKERRQ(ierr); 15935c7de58aSMatthew G. Knepley ierr = PetscSFGetGraph(sfPoint, &numRoots, &numLeaves, &localPoints, &remotePoints);CHKERRQ(ierr); 15945c7de58aSMatthew G. Knepley /* Allocate space for cells and vertices */ 15955c7de58aSMatthew G. Knepley for (l = 0; l < numLeaves; ++l) if (localPoints[l] < vEnd) numLeavesUn++; 15965c7de58aSMatthew G. Knepley /* Fill in leaves */ 15975c7de58aSMatthew G. Knepley if (vEnd >= 0) { 15985c7de58aSMatthew G. Knepley ierr = PetscMalloc1(numLeavesUn, &remotePointsUn);CHKERRQ(ierr); 15995c7de58aSMatthew G. Knepley ierr = PetscMalloc1(numLeavesUn, &localPointsUn);CHKERRQ(ierr); 16005c7de58aSMatthew G. Knepley for (l = 0; l < numLeaves; l++) { 16015c7de58aSMatthew G. Knepley if (localPoints[l] < vEnd) { 16025c7de58aSMatthew G. Knepley localPointsUn[n] = localPoints[l]; 16035c7de58aSMatthew G. Knepley remotePointsUn[n].rank = remotePoints[l].rank; 16045c7de58aSMatthew G. Knepley remotePointsUn[n].index = remotePoints[l].index; 16055c7de58aSMatthew G. Knepley ++n; 16065c7de58aSMatthew G. Knepley } 16075c7de58aSMatthew G. Knepley } 16085c7de58aSMatthew G. Knepley if (n != numLeavesUn) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Inconsistent number of leaves %d != %d", n, numLeavesUn); 16095c7de58aSMatthew G. Knepley ierr = PetscSFSetGraph(sfPointUn, vEnd, numLeavesUn, localPointsUn, PETSC_OWN_POINTER, remotePointsUn, PETSC_OWN_POINTER);CHKERRQ(ierr); 16105c7de58aSMatthew G. Knepley } 16115c7de58aSMatthew G. Knepley } 161243eeeb2dSStefano Zampini { 161343eeeb2dSStefano Zampini PetscBool isper; 161443eeeb2dSStefano Zampini const PetscReal *maxCell, *L; 161543eeeb2dSStefano Zampini const DMBoundaryType *bd; 161643eeeb2dSStefano Zampini 161743eeeb2dSStefano Zampini ierr = DMGetPeriodicity(dm,&isper,&maxCell,&L,&bd);CHKERRQ(ierr); 161843eeeb2dSStefano Zampini ierr = DMSetPeriodicity(udm,isper,maxCell,L,bd);CHKERRQ(ierr); 161943eeeb2dSStefano Zampini } 162043eeeb2dSStefano Zampini 16214e3744c5SMatthew G. Knepley *dmUnint = udm; 16224e3744c5SMatthew G. Knepley PetscFunctionReturn(0); 16234e3744c5SMatthew G. Knepley } 1624