Internal:IMR 2018 Short Course: Difference between revisions

From crtc.cs.odu.edu
Jump to navigation Jump to search
Ctsolakis (talk | contribs)
Ctsolakis (talk | contribs)
No edit summary
Line 11: Line 11:
<p>''&quot;Our strategy is based on typical domain splitting algorithm where the initial mesh is split in parts that are then meshed'' ''in parallel while the fictitious boundaries between parts are kept unchanged. Then we iterate the procedure to adapt previously unmodified parts of the domain, i.e., the interface mesh. '''Both the volume and the surface meshes are adapted simultaneously''' and the efficiency of the method is independent of the complexity of the geometry.''</p>
<p>''&quot;Our strategy is based on typical domain splitting algorithm where the initial mesh is split in parts that are then meshed'' ''in parallel while the fictitious boundaries between parts are kept unchanged. Then we iterate the procedure to adapt previously unmodified parts of the domain, i.e., the interface mesh. '''Both the volume and the surface meshes are adapted simultaneously''' and the efficiency of the method is independent of the complexity of the geometry.''</p>
<p>''The originality of the method relies on''</p>
<p>''The originality of the method relies on''</p>
<ol>
 
<li>''metric-based static load-balancing,''</li>
*''metric-based static load-balancing,''
<li>''hierarchical mesh partitioning techniques to (re)split the (complex) interfaces meshes,''</li>
*''hierarchical mesh partitioning techniques to (re)split the (complex) interfaces meshes,''
<li>''a fast, robust and generic sequential cavity-based mesh modification kernel.''</li></ol>
*''a fast, robust and generic sequential cavity-based mesh modification kernel.''


<p>''In this paper, we follow the '''coarse-grained parallelization''' in an adaptive context within the metric-based framework.&quot;''</p>
<p>''In this paper, we follow the '''coarse-grained parallelization''' in an adaptive context within the metric-based framework.&quot;''</p>
Line 20: Line 20:


<p>Loop the steps :</p>
<p>Loop the steps :</p>
<ol>
 
<li>Creation of unit mesh in metric space:
*Creation of unit mesh in metric space:
<ol>
 
<li>Collapse small edges</li>
*Collapse small edges
<li>Point Creation</li>
*Point Creation
<li>Anisotropic Filtering</li>
*Anisotropic Filtering
<li>Point Insertion</li></ol>
*Point Insertion
</li>
 
<li>Mesh Optimization
*Mesh Optimization
<ol>
 
<li>Edge/face flips using the cavity operator<br />
*Edge/face flips using the cavity operator<br />
<br />
<br />
</li></ol>
 
</li>
 
<li>Surface Approximation base on surrogate geometry ( it is not clear is this is on every loop or at the end)</li></ol>
*Surface Approximation base on surrogate geometry ( it is not clear is this is on every loop or at the end)


== Hierarchical Partitioning ==
== Hierarchical Partitioning ==
Line 69: Line 69:
== Algorithm ==
== Algorithm ==


<ol>
 
<li>Mesh coarsening to eliminate the initial short edges</li>
*Mesh coarsening to eliminate the initial short edges
<li>Intelligent mesh refinement that includes operations<br />
*Intelligent mesh refinement that includes operations<br />
for ensuring the proper geometric approximation of<br />
for ensuring the proper geometric approximation of<br />
the mesh to the geometric domain and proper shape<br />
the mesh to the geometric domain and proper shape<br />
to match the metric field, and</li>
to match the metric field, and
<li>Mesh optimization to improve the quality of the<br />
*Mesh optimization to improve the quality of the<br />
final mesh</li></ol>
final mesh


<p>''&quot; The Flexible distributed Mesh DataBase (FMDB)'' ''has been used to support the needed mesh-based parallel''<br />
<p>''&quot; The Flexible distributed Mesh DataBase (FMDB)'' ''has been used to support the needed mesh-based parallel''<br />
Line 93: Line 93:
''which changes mesh topology but not geometry. &quot;''</p>
''which changes mesh topology but not geometry. &quot;''</p>
<p>Steps</p>
<p>Steps</p>
<ol>
 
<li>''&quot;Marked mesh edges and their neighboring mesh''<br />
*''&quot;Marked mesh edges and their neighboring mesh''<br />
''faces on partition boundaries are subdivided using the''<br />
''faces on partition boundaries are subdivided using the''<br />
''four templates.&quot;''</li>
''four templates.&quot;''
<li>Boundary Modifications Synchronization</li>
*Boundary Modifications Synchronization
<li>Refinement of volume with no communication</li></ol>
*Refinement of volume with no communication


=== Parallel Vertex Snapping (on curved boundary) ===
=== Parallel Vertex Snapping (on curved boundary) ===
Line 152: Line 152:


<p>Adaptive Hexahedral Subdivision (ie octree refinement)</p>
<p>Adaptive Hexahedral Subdivision (ie octree refinement)</p>
<ul>
 
<li>MPI-based</li>
*MPI-based
<li>Uses a single template (1:8) for splitting the octree</li>
*Uses a single template (1:8) for splitting the octree
<li>Shared faces and edges between processes are split independently and asyncronous messages are used to achieve conformity. ( Like PCDM 2D)</li></ul>
*Shared faces and edges between processes are split independently and asyncronous messages are used to achieve conformity. ( Like PCDM 2D)


== Performance Data ==
== Performance Data ==
Line 170: Line 170:
== Summary ==
== Summary ==


<ul>
 
<li>Coase-grained</li>
*Coase-grained
<li>MPI</li></ul>
*MPI


== Mesh Operations ==
== Mesh Operations ==


<ul>
 
<li>Node Movement</li>
*Node Movement
<li>Face/Edge Swapping</li>
*Face/Edge Swapping
<li>Tetrahedra Split and Collapse</li></ul>
*Tetrahedra Split and Collapse


== Parallelization ==
== Parallelization ==
Line 185: Line 185:
=== Domain Decomposition ===
=== Domain Decomposition ===


<ul>
 
<li>Partition Mesh by assigning  vertices uniquely to each partition.</li>
*Partition Mesh by assigning  vertices uniquely to each partition.
<li>Add also ghosted vertices to each node to complete the boundary tetrahedra.</li></ul>
*Add also ghosted vertices to each node to complete the boundary tetrahedra.


=== Parallel Execution ===
=== Parallel Execution ===


<ul>
 
<li>Operations are performed in parallel first, on all purely local nodes.</li>
*Operations are performed in parallel first, on all purely local nodes.
<li>Then on boundary by colouring the subdomains and operating on one color each time.</li>
*Then on boundary by colouring the subdomains and operating on one color each time.
<li>Changes on boundary are recorded on a transcript that is broadcasted to the neighbors at the end of each pass in order to replicate steps.</li></ul>
*Changes on boundary are recorded on a transcript that is broadcasted to the neighbors at the end of each pass in order to replicate steps.


== Performance Data ==
== Performance Data ==
Line 208: Line 208:
== Summary ( of parallel code) ==
== Summary ( of parallel code) ==


<ul>
 
<li>Uses the same template refinement like other papers of this group</li>
*Uses the same template refinement like other papers of this group
<li>Distributed memory model</li>
*Distributed memory model
<li>Based on a distributed mesh database</li></ul>
*Based on a distributed mesh database


<p>''&quot;A partitioned mesh is managed by the parallel mesh database that tracks the mesh  entities residing on inter-part boundaries.&quot;''</p>
<p>''&quot;A partitioned mesh is managed by the parallel mesh database that tracks the mesh  entities residing on inter-part boundaries.&quot;''</p>
Line 222: Line 222:
=== Refinement ===
=== Refinement ===


<ol>
 
<li>Tag Long edges/faces for refinement</li>
*Tag Long edges/faces for refinement
<li>For each face /edge
*For each face /edge
<ol>
 
<li>Split  face/edge</li>
*Split  face/edge
<li>If on shared boundary copy data to buffer</li></ol>
*If on shared boundary copy data to buffer
</li>
 
<li>end for</li>
*end for
<li>send.receive modifications</li></ol>
*send.receive modifications


<p>After communication new elements point to remote neighbors correctly. i.e. the distributed mesh is properly updated.</p>
<p>After communication new elements point to remote neighbors correctly. i.e. the distributed mesh is properly updated.</p>
=== Coarsening and Swapping ===
=== Coarsening and Swapping ===


<ol>
 
<li>Tag vertices/elements that need modification</li>
*Tag vertices/elements that need modification
<li>While there is more work
*While there is more work
<ol>
 
<li>For each vertex/element</li>
*For each vertex/element
<li>If the whole cavity is present perform operation</li>
*If the whole cavity is present perform operation
<li>Else add missing parts to a buffer</li>
*Else add missing parts to a buffer
<li>end for</li>
*end for
<li>Send/receive buffers</li></ol>
*Send/receive buffers
</li>
 
<li>end while</li></ol>
*end while


<p>Special rules are used for the boundary layers. Main idea is that all the elements of the layer need to be local if one is to be split, since splits propagate from upper to lower layers. Similar with collapse and/or swap.</p>
<p>Special rules are used for the boundary layers. Main idea is that all the elements of the layer need to be local if one is to be split, since splits propagate from upper to lower layers. Similar with collapse and/or swap.</p>
Line 267: Line 267:
== Summary ==
== Summary ==


<ul>
 
<li>Main problem tackled : How to load balance mesh adaptation which by the physics on the problem requires adaptation only in small regions which may be in their entirety in a subdomain</li>
*Main problem tackled : How to load balance mesh adaptation which by the physics on the problem requires adaptation only in small regions which may be in their entirety in a subdomain
<li>Edge-based adaptation</li>
*Edge-based adaptation
<li>MPI</li>
*MPI
<li>Coarse-grained</li>
*Coarse-grained
<li>Utilizes PLUM see relevant paper</li></ul>
*Utilizes PLUM see relevant paper


== Adaptation Procedure ==
== Adaptation Procedure ==


<p>In every iteration:</p>
<p>In every iteration:</p>
<ol>
 
<li>A solution is acquired</li>
*A solution is acquired
<li>Mesh adaptation based on error of the solver</li>
*Mesh adaptation based on error of the solver
<li>The mesh is (re)partitioned using a collection of metrics in PLUM</li>
*The mesh is (re)partitioned using a collection of metrics in PLUM
<li>back to 1 until convergence</li></ol>
*back to 1 until convergence


== Tetrahedral Adaptation ==
== Tetrahedral Adaptation ==


<p>Uses three templates (1:8,1:4,1:2)</p>
<p>Uses three templates (1:8,1:4,1:2)</p>
<ol>
 
<li>Mark (in parallel) all edges until to edge can be split further</li>
*Mark (in parallel) all edges until to edge can be split further
<li>Communicate changes with subdomain neighbors</li>
*Communicate changes with subdomain neighbors
<li>Split edges in parallel with no communication</li></ol>
*Split edges in parallel with no communication


== Performance Data ==
== Performance Data ==
Line 308: Line 308:
== Summary ==
== Summary ==


<ul>
 
<li>''distributed-memory parallel''</li>
*''distributed-memory parallel''
<li>''a medium size of initial coarse mesh is prepared first.''</li>
*''a medium size of initial coarse mesh is prepared first.''
<li>''then, hierarchical domain decomposition is carried out to split the initial mesh''</li>
*''then, hierarchical domain decomposition is carried out to split the initial mesh''
<li>'''''parallel mesh multiplication''' without communication''</li></ul>
*'''''parallel mesh multiplication''' without communication''


<p>where by mesh multiplication they mean split using predefined templates</p>
<p>where by mesh multiplication they mean split using predefined templates</p>
Line 318: Line 318:
== Method ==
== Method ==


<ol>
 
<li>Input is a initial coarse mesh</li>
*Input is a initial coarse mesh
<li>Split initial Mesh using METIS to nnode parts where nnode is the number of different computation nodes</li>
*Split initial Mesh using METIS to nnode parts where nnode is the number of different computation nodes
<li>Optionally refine the mesh</li>
*Optionally refine the mesh
<li>Each master process of its node divides the the mesh further into the number of available cores using METIS</li>
*Each master process of its node divides the the mesh further into the number of available cores using METIS
<li>Refine using an 1:8 rule for tetrahedra ( the author introduced a scheme to nubmer new entities with consistent  global ids with no communication)</li></ol>
*Refine using an 1:8 rule for tetrahedra ( the author introduced a scheme to nubmer new entities with consistent  global ids with no communication)


== Performance Data ==
== Performance Data ==
Line 340: Line 340:
== Summary ==
== Summary ==


<ul>
 
<li>Coarse-grained</li>
*Coarse-grained
<li>''&quot;based on a sequence of point insertion and load balancing cycles. &quot;''</li>
*''&quot;based on a sequence of point insertion and load balancing cycles. &quot;''
<li>Delaunay based</li></ul>
*Delaunay based


== Method ==
== Method ==


<ul>
 
<li>Mesh the subdomain internal elements of the subdomain as usual.</li>
*Mesh the subdomain internal elements of the subdomain as usual.
<li>For elements with cavity expanding to the neighbors perform element migration</li>
*For elements with cavity expanding to the neighbors perform element migration
<li>To compensate waiting time store the point in a buffer and continue</li>
*To compensate waiting time store the point in a buffer and continue
<li>If a buffer reach its capacity wait ( similar to Panos sleeping threads)</li></ul>
*If a buffer reach its capacity wait ( similar to Panos sleeping threads)


== Element Migration ==
== Element Migration ==


<ol>
 
<li>Attempt to globally lock the interfaces ( so other subdomains cannot request data and run into data races )</li>
*Attempt to globally lock the interfaces ( so other subdomains cannot request data and run into data races )
<li>transfer elements</li>
*transfer elements
<li>unlock subdomain interfaces</li>
*unlock subdomain interfaces
<li>send a request to bring elements locally and store the point into a buffer.</li></ol>
*send a request to bring elements locally and store the point into a buffer.


== Load balancing ==
== Load balancing ==


<ol>
 
<li>Every some prespecified number of point insertion</li>
*Every some prespecified number of point insertion
<li>Stop meshing and redistribute the mesh</li></ol>
*Stop meshing and redistribute the mesh


== Performance Data ==
== Performance Data ==
Line 384: Line 384:
== Summary ==
== Summary ==


<ol>
 
<li>Delaunay-based</li>
*Delaunay-based
<li>Decoupled by pre-refining interfaces</li>
*Decoupled by pre-refining interfaces
<li>it is no clear if it is run in parallel or a subdomain at a time in asmall meomory machine</li></ol>
*it is no clear if it is run in parallel or a subdomain at a time in asmall meomory machine


<p>''&quot;We present an effective strongly uncoupled method, which, given a''<br />
<p>''&quot;We present an effective strongly uncoupled method, which, given a''<br />
Line 393: Line 393:
== Method ==
== Method ==


<ol>
 
<li>Input is a boundary conforming mesh</li>
*Input is a boundary conforming mesh
<li>For each subdomain if further division is needed
*For each subdomain if further division is needed
<ol>
 
<li>Bisect subdomain taking into consideration inertia axis and load balcing using information of the distribution function</li>
*Bisect subdomain taking into consideration inertia axis and load balcing using information of the distribution function
<li>Refine edges that intersect the bisection plane</li>
*Refine edges that intersect the bisection plane
<li>Refine more so than a refined zone of at lest two tetrahedra on each side of the plane is created</li>
*Refine more so than a refined zone of at lest two tetrahedra on each side of the plane is created
<li>Select the interface faces by maximizing quality of the interface mesh using heuristics</li></ol>
*Select the interface faces by maximizing quality of the interface mesh using heuristics
</li>
 
<li>If no further subdivision is needed refine the subdomain to its final resolution</li></ol>
*If no further subdivision is needed refine the subdomain to its final resolution


== Performance Data ==
== Performance Data ==
Line 418: Line 418:
== Summary ==
== Summary ==


<ul>
 
<li>Decoupled</li>
*Decoupled
<li>Uses Triangle for interface triangulation and TetGen for volume meshing</li></ul>
*Uses Triangle for interface triangulation and TetGen for volume meshing


== Method ==
== Method ==


<ol>
 
<li>Create bisection plane using center of gravity and moment of inertia  criterion</li>
*Create bisection plane using center of gravity and moment of inertia  criterion
<li>Create a cross-section contour from the intersection of the CAD with the cutting plane</li>
*Create a cross-section contour from the intersection of the CAD with the cutting plane
<li>Smooth the contour and simplify it into a closed curve</li>
*Smooth the contour and simplify it into a closed curve
<li>Project contour to 2D</li>
*Project contour to 2D
<li>use Triangle to refine it</li>
*use Triangle to refine it
<li>Map surface mesh back</li>
*Map surface mesh back
<li>Mesh subdomains in parallel with no communication with TetGen</li></ol>
*Mesh subdomains in parallel with no communication with TetGen


== Performance Data ==
== Performance Data ==
Line 448: Line 448:
== Summary ==
== Summary ==


<ul>
 
<li>Coarse grained</li>
*Coarse grained
<li>Decoupled</li>
*Decoupled
<li>Delaunay Based</li>
*Delaunay Based
<li>overdecompostion dynamic load balancing</li></ul>
*overdecompostion dynamic load balancing


== Method ==
== Method ==


<ol>
 
<li>Input is a surface mesh</li>
*Input is a surface mesh
<li>Create a boundary conforming mesh</li>
*Create a boundary conforming mesh
<li>Use a greedy algorithm to create domains.</li>
*Use a greedy algorithm to create domains.
<li>Move elements between subdomains to fix &quot;topological degeneracies&quot; (ie shared edges with more than two shared triangles ) and/or merge subdomains and/or create new subdomain around the edge</li>
*Move elements between subdomains to fix &quot;topological degeneracies&quot; (ie shared edges with more than two shared triangles ) and/or merge subdomains and/or create new subdomain around the edge
<li>Refine edges of shared by subdomains</li>
*Refine edges of shared by subdomains
<li>pack and send subdomains</li>
*pack and send subdomains
<li>Generate boundary surface mesh for subdomains (in parallel)</li>
*Generate boundary surface mesh for subdomains (in parallel)
<li>Perform flips on the surface of the subdomains (in parallel) [ why this works with no communication?]</li>
*Perform flips on the surface of the subdomains (in parallel) [ why this works with no communication?]
<li>Perform smoothing on the surface of the subdomains (in parallel)</li>
*Perform smoothing on the surface of the subdomains (in parallel)
<li>Refine subdomain in parallel using Delaunay point insertion (in parallel)</li></ol>
*Refine subdomain in parallel using Delaunay point insertion (in parallel)


== Performance Data ==
== Performance Data ==
Line 481: Line 481:
== Summary ==
== Summary ==


<ul>
 
<li>Coarse-grained</li>
*Coarse-grained
<li>MPI_based</li>
*MPI_based
<li>Delaunay-based</li>
*Delaunay-based
<li>Decoupled</li></ul>
*Decoupled


== Method ==
== Method ==


<ol>
 
<li>Input is a surface triangulation</li>
*Input is a surface triangulation
<li>Recursively over-decompose the input using axis-aligned planes</li>
*Recursively over-decompose the input using axis-aligned planes
<li>When cutting the surface mesh derive the contour/close loop of the profile of the cut</li>
*When cutting the surface mesh derive the contour/close loop of the profile of the cut
<li>Clean up / smooth and and project to a plane</li>
*Clean up / smooth and and project to a plane
<li>Use 2D Delaunay mesher with compatible spacing to create a mesh of the closed loop</li>
*Use 2D Delaunay mesher with compatible spacing to create a mesh of the closed loop
<li>Transform the loop back to original coordinates and glue it back to create two new closed subdomain</li>
*Transform the loop back to original coordinates and glue it back to create two new closed subdomain
<li>If further splitting is needed go to 2</li>
*If further splitting is needed go to 2
<li>Other-wise refine the subdomain in parallel with no communication</li></ol>
*Other-wise refine the subdomain in parallel with no communication


== Performance Data ==
== Performance Data ==
Line 513: Line 513:
== Summary ==
== Summary ==


<ul>
 
<li>Decoupled</li>
*Decoupled
<li>uses NetGen internally</li>
*uses NetGen internally
<li>r-level refinement on shared boundaries</li></ul>
*r-level refinement on shared boundaries


== Method ==
== Method ==


<ol>
 
<li>Input is a CAD</li>
*Input is a CAD
<li>create a coarse surface mesh</li>
*create a coarse surface mesh
<li>create a coarse volume mesh</li>
*create a coarse volume mesh
<li>Decompose with METIS in a face-connected way [no comments on why ,open source also does not look like it has something special]</li>
*Decompose with METIS in a face-connected way [no comments on why ,open source also does not look like it has something special]
<li>Extract boundary of subdomains</li>
*Extract boundary of subdomains
<li>Refine using recursive bi-sectioning of the faces using r levels ( because all of the processes r-levels surface meshes match)</li>
*Refine using recursive bi-sectioning of the faces using r levels ( because all of the processes r-levels surface meshes match)
<li>Refine volume using NeTGen</li>
*Refine volume using NeTGen
<li>Send-Receive for global renumbering etc</li></ol>
*Send-Receive for global renumbering etc


<p>steps 2-5 are all executed on '''all processes'''</p>
<p>steps 2-5 are all executed on '''all processes'''</p>
Line 551: Line 551:
== Mesh operators ==
== Mesh operators ==


<ol>
 
<li>Edge split (at midpoint)</li>
*Edge split (at midpoint)
<li>Edge Collapse</li>
*Edge Collapse
<li>Edge Swap (using n -&gt; (2n-4) flips up to n = 7  )</li></ol>
*Edge Swap (using n -&gt; (2n-4) flips up to n = 7  )


== Independent set selection ==
== Independent set selection ==
Line 561: Line 561:
== Adaptation Steps ==
== Adaptation Steps ==


<ol>
 
<li>'''Size Optimization'''
*'''Size Optimization'''
<ol>
 
<li>'''Refinement''' :
*'''Refinement''' :
<ol>
 
<li>Edges longer than desired threshold are marked.</li>
*Edges longer than desired threshold are marked.
<li>From the previous set if a split will produce low quality tetrahedra then the edge is unmarked.</li>
*From the previous set if a split will produce low quality tetrahedra then the edge is unmarked.
<li>An independent set is selected and they are split in parallel.</li></ol>
*An independent set is selected and they are split in parallel.
</li>
 
<li>'''Coarsening''' :
*'''Coarsening''' :
<ol>
 
<li>Vertices attached to edges shorter than a desired threshold are marked.</li>
*Vertices attached to edges shorter than a desired threshold are marked.
<li>For each vertex the best quality collapse is selected.</li>
*For each vertex the best quality collapse is selected.
<li>An independent set is selected and splits are performed in parallel.</li></ol>
*An independent set is selected and splits are performed in parallel.
</li></ol>
 
</li>
 
<li>'''Quality Optimization'''
*'''Quality Optimization'''
<ol>
 
<li>'''Edge Swapping''' :
*'''Edge Swapping''' :
<ol>
 
<li>Low quality elements are marked together with four &quot;layers&quot; (neighbors of neighbors 4 level deep)  of elements around them.</li>
*Low quality elements are marked together with four &quot;layers&quot; (neighbors of neighbors 4 level deep)  of elements around them.
<li>Mark all edges of all elements</li>
*Mark all edges of all elements
<li>For each edge calculate best flip and keep only those than improve quality</li>
*For each edge calculate best flip and keep only those than improve quality
<li>An independent set is selected and flips are performed in parallel.</li></ol>
*An independent set is selected and flips are performed in parallel.
</li>
 
<li>'''Coarsening for Shape Correction'''
*'''Coarsening for Shape Correction'''
<ol>
 
<li>Vertices of low quality elements are marked</li>
*Vertices of low quality elements are marked
<li>Continue similar of steps 2-3 of coarsening above</li></ol>
*Continue similar of steps 2-3 of coarsening above
</li></ol>
 
</li></ol>
 


<p>It is interesting to note that mesh is readonly and thus is rebuild (in parallel) after every each pass.</p>
<p>It is interesting to note that mesh is readonly and thus is rebuild (in parallel) after every each pass.</p>
Line 611: Line 611:


== Summary ==
== Summary ==
<ul>
 
<li>Shared Memory , OpenMP</li>
*Shared Memory , OpenMP
<li>Features independent tasks through graph coloring and deferred updates</li>
*Features independent tasks through graph coloring and deferred updates
<li>Template refinement</li></ul>
*Template refinement


It is interesting to note that point insertion is done in two steps first insert all midpoints on edges and then in a separate parallel loop &quot;refine&quot; the element ie connect new point with old vertices of the element.
It is interesting to note that point insertion is done in two steps first insert all midpoints on edges and then in a separate parallel loop &quot;refine&quot; the element ie connect new point with old vertices of the element.
Line 626: Line 626:
<p>Data structures are arrays.</p>
<p>Data structures are arrays.</p>
<p>There are two types of updates</p>
<p>There are two types of updates</p>
<ol>
 
<li>Deferred updates :<br />
*Deferred updates :<br />
Modifications on the arrays are recorded on the temporary buffer of a thread ( tid = i % nthreads, where i the entry to update) and applied in parallel at the end of each pass. see Algorithm 3 pg 15</li>
Modifications on the arrays are recorded on the temporary buffer of a thread ( tid = i % nthreads, where i the entry to update) and applied in parallel at the end of each pass. see Algorithm 3 pg 15
<li>Worklist updates<br />
*Worklist updates<br />
Used for adding new elements in the arrays. Implemented using a global index of last used position that is increased atomically</li></ol>
Used for adding new elements in the arrays. Implemented using a global index of last used position that is increased atomically


<p> </p>
<p> </p>
== Parallel Refinement ==
== Parallel Refinement ==


<ol>
 
<li>Split edges (but not element) in parallel.</li>
*Split edges (but not element) in parallel.
<li>Copy new vertices to global buffer</li>
*Copy new vertices to global buffer
<li>Barrier</li>
*Barrier
<li>Update point-adjacency in parallel</li>
*Update point-adjacency in parallel
<li>Barrier</li>
*Barrier
<li>Refine elements in parallel</li>
*Refine elements in parallel
<li>Barrier</li>
*Barrier
<li>Copy new element to global list in parallel</li></ol>
*Copy new element to global list in parallel


== Parallel Coarsening ==
== Parallel Coarsening ==


<ol>
 
<li>Colour vertices</li>
*Colour vertices
<li>Identify those that can be collapsed in parallel exit if none</li>
*Identify those that can be collapsed in parallel exit if none
<li>Evaluate a maximal independent set of the previous set</li>
*Evaluate a maximal independent set of the previous set
<li>Collapse edges using deferred operations in parallel</li>
*Collapse edges using deferred operations in parallel
<li>Commit the deferred operations</li>
*Commit the deferred operations
<li>Repair colouring</li>
*Repair colouring
<li>Go to 2</li></ol>
*Go to 2


== Parallel Swapping ==
== Parallel Swapping ==
Line 661: Line 661:
== Parallel Smoothing ==
== Parallel Smoothing ==


<ol>
 
<li>Color vertices</li>
*Color vertices
<li>Smooth one color at a time in parallel</li></ol>
*Smooth one color at a time in parallel


== Performance Data ==
== Performance Data ==
Line 678: Line 678:
== Summary ==
== Summary ==


<ul>
 
<li>It is only Delaunay Triangulation</li>
*It is only Delaunay Triangulation
<li>OpenMP</li></ul>
*OpenMP


== Algorithm ==
== Algorithm ==


<ol>
 
<li>Sort points in space using a Hilbert curve</li>
*Sort points in space using a Hilbert curve
<li>Divide the curve into nthreads equal parts</li>
*Divide the curve into nthreads equal parts
<li>Loop until there are no points to insert
*Loop until there are no points to insert
<ol>
 
<li>Calculate M2 cavities per thread</li>
*Calculate M2 cavities per thread
<li>Barrier</li>
*Barrier
<li>For each of the M2 cavities insert the point if there is no overlap (if it is the lower thread-id advances and the rest of the points will be reinserted later)</li>
*For each of the M2 cavities insert the point if there is no overlap (if it is the lower thread-id advances and the rest of the points will be reinserted later)
<li>Barrier</li></ol>
*Barrier
</li></ol>
 


== Performance Data ==
== Performance Data ==
Line 710: Line 710:
== Summary (only of the parallel part) ==
== Summary (only of the parallel part) ==


<ul>
 
<li>Shared memory (OpenMP)</li>
*Shared memory (OpenMP)
<li>Delaunay-based</li>
*Delaunay-based
<li>Create parititions using space-filling curve to reduce chance of overlap (and thus rollbacks)</li></ul>
*Create parititions using space-filling curve to reduce chance of overlap (and thus rollbacks)


== Triangulation Algorithm ==
== Triangulation Algorithm ==


<ul>
 
<li>Points to be inserted are partitioned into nthreads partitions using a space-filling curve</li>
*Points to be inserted are partitioned into nthreads partitions using a space-filling curve
<li>Mesh is partitioned into nthread partitions  using space-filling curves</li>
*Mesh is partitioned into nthread partitions  using space-filling curves
<li>If cavity or mesh walk crosses partition it is aborted</li>
*If cavity or mesh walk crosses partition it is aborted
<li>Re-partition by shifting and rotating the curve and try again to insert rejected points</li>
*Re-partition by shifting and rotating the curve and try again to insert rejected points
<li>Decrease the number of threads if success rate is low</li></ul>
*Decrease the number of threads if success rate is low


== Parallel Mesh Refinement Algorithm ==
== Parallel Mesh Refinement Algorithm ==


<ol>
 
<li>Boundary points insertion (in parallel)</li>
*Boundary points insertion (in parallel)
<li>Boundary Recovery</li>
*Boundary Recovery
<li>While tets need to be refined
*While tets need to be refined
<ol>
 
<li>Evaluate circumcenters of all bad tets (in parallel)</li>
*Evaluate circumcenters of all bad tets (in parallel)
<li>Filter out very close points (in parallel)</li>
*Filter out very close points (in parallel)
<li>Insert points using the triangulation algorithm</li></ol>
*Insert points using the triangulation algorithm
</li></ol>
 


== Performance Data ==
== Performance Data ==
Line 755: Line 755:
== Summary ==
== Summary ==


<ul>
 
<li>OpenMP code</li>
*OpenMP code
<li>Uses Hilbert curve to decrease chance of rollback in flips</li>
*Uses Hilbert curve to decrease chance of rollback in flips
<li>Uses coloring for smoothing</li></ul>
*Uses coloring for smoothing


== Parallel Flip Algorithm ==
== Parallel Flip Algorithm ==


<ol>
 
<li>Sort using a Hilbert curve all the bad elements</li>
*Sort using a Hilbert curve all the bad elements
<li>For each thread evaluate M cavities (elements/points are marked by vertex id)</li>
*For each thread evaluate M cavities (elements/points are marked by vertex id)
<li>BARRIER</li>
*BARRIER
<li>For each thread
*For each thread
<ol>
 
<li>For each cavity check if there is an overlap higher thread id gets priority else proceed</li></ol>
*For each cavity check if there is an overlap higher thread id gets priority else proceed
</li>
 
<li>BARRIER</li>
*BARRIER
<li>Go to 2</li></ol>
*Go to 2


== Parallel Smoothing Algorithm ==
== Parallel Smoothing Algorithm ==


<ol>
 
<li>Color vertices using a greedy heuristic in parallel</li>
*Color vertices using a greedy heuristic in parallel
<li>For each color
*For each color
<ol>
 
<li>smooth in parallel ( no synchronization needed)</li></ol>
*smooth in parallel ( no synchronization needed)
</li></ol>
 


== Performance Data ==
== Performance Data ==
Line 797: Line 797:
== Summary ==
== Summary ==


<ul>
 
<li>OpenMP</li>
*OpenMP
<li>Delaunay-based</li>
*Delaunay-based
<li>Parallel swap algorithm using optimistic approach</li>
*Parallel swap algorithm using optimistic approach
<li>Parallel point insertion using PDR theory with an nested adaptive octree</li></ul>
*Parallel point insertion using PDR theory with an nested adaptive octree


== Parallel face/edge swap algorithm ==
== Parallel face/edge swap algorithm ==


<ol>
 
<li>Divide all faces/edges into threads queues</li>
*Divide all faces/edges into threads queues
<li>Face/edge migration for load balancing</li>
*Face/edge migration for load balancing
<li>While there are faces/edges in thread queues
*While there are faces/edges in thread queues
<ol>
 
<li>Check if flips is needed and evaluate cavity (in parallel- no communication needed)</li>
*Check if flips is needed and evaluate cavity (in parallel- no communication needed)
<li>Face/edge migration for load balancing</li>
*Face/edge migration for load balancing
<li>use an optimistic approach to lock cavities in each thread queue (in parallel with atomics)</li>
*use an optimistic approach to lock cavities in each thread queue (in parallel with atomics)
<li>Face/edge migration for load balancing</li>
*Face/edge migration for load balancing
<li>Perform flips in parallel with no communication</li></ol>
*Perform flips in parallel with no communication
</li></ol>
 


== Parallel Point insertion algorithm ==
== Parallel Point insertion algorithm ==
Line 824: Line 824:
<p>There is one (static) octree A .</p>
<p>There is one (static) octree A .</p>
<p>For each leaf of A there is a second octree B which is refined progressively.</p>
<p>For each leaf of A there is a second octree B which is refined progressively.</p>
<ol>
 
<li>Initialize octree A and assign tetrahedra to leaves</li>
*Initialize octree A and assign tetrahedra to leaves
<li>Assign leaves of A to threads</li>
*Assign leaves of A to threads
<li>While there are unrefined tetrahedra
*While there are unrefined tetrahedra
<ol>
 
<li>If any thread has no leaves to refine split the leaves of the thread local octree B to create new leaves.</li>
*If any thread has no leaves to refine split the leaves of the thread local octree B to create new leaves.
<li>Find independent set of leaves I among all thread local B octrees</li>
*Find independent set of leaves I among all thread local B octrees
<li>for all leaves in I
*for all leaves in I
<ol>
 
<li>spawn a thread and a task and refine it up to the current refinement level</li></ol>
*spawn a thread and a task and refine it up to the current refinement level
</li>
 
<li>increase the refinement level</li></ol>
*increase the refinement level
</li></ol>
 


== Performance Data ==
== Performance Data ==
Line 898: Line 898:
== Parallel Algorithm For mesh generation ==
== Parallel Algorithm For mesh generation ==


<ol>
 
<li>Scale up  distribution function and create an initial coarse mesh called and initial domain-defining grid (DDG)</li>
*Scale up  distribution function and create an initial coarse mesh called and initial domain-defining grid (DDG)
<li>Decompose/load balance using a combination of greedy algorithms, recursive bisection and spacefilling curves</li>
*Decompose/load balance using a combination of greedy algorithms, recursive bisection and spacefilling curves
<li>Mesh, in parallel, the zones inside the subdivision domains</li>
*Mesh, in parallel, the zones inside the subdivision domains
<li>Modify partitions by adding 1-2 extra layers of elements and redistribute active front (source subdomain id &lt; dest subdomain id) and mesh new interior zones in parallel</li>
*Modify partitions by adding 1-2 extra layers of elements and redistribute active front (source subdomain id &lt; dest subdomain id) and mesh new interior zones in parallel
<li>Modify partitions by adding 1-2 extra layers of elements and redistribute active front (source subdomain id &gt; dest subdomain id) and mesh new interior zones in parallel</li>
*Modify partitions by adding 1-2 extra layers of elements and redistribute active front (source subdomain id &gt; dest subdomain id) and mesh new interior zones in parallel
<li>If required, mesh the remaining regions on processor 1.<br />
*If required, mesh the remaining regions on processor 1.<br />
 </li></ol>
 


== Mesh Improvement ==
== Mesh Improvement ==


<p>Mesh improvement uses</p>
<p>Mesh improvement uses</p>
<ul>
 
<li>Diagonal Swapping</li>
*Diagonal Swapping
<li>Removal of Bad Elements</li>
*Removal of Bad Elements
<li>Smoothing and</li>
*Smoothing and
<li>Selective mesh movement in regions of very low quality</li></ul>
*Selective mesh movement in regions of very low quality


<p>This operations are perform within each subdomain with no communication since modifications on the subdomain boundary are not allowed in this stage</p>
<p>This operations are perform within each subdomain with no communication since modifications on the subdomain boundary are not allowed in this stage</p>
Line 930: Line 930:
Frédéric Alauzet, Adrien Loseille, (CAD 2016), [https://doi.org/10.1016/j.cad.2015.09.005]
Frédéric Alauzet, Adrien Loseille, (CAD 2016), [https://doi.org/10.1016/j.cad.2015.09.005]
= TO DO =
= TO DO =
<ol>
 
<li> ''"A parallel unstructured dynamic mesh adaptation algorithm for 3‐D unsteady flows"''
* ''"A parallel unstructured dynamic mesh adaptation algorithm for 3‐D unsteady flows"''
     <p> Young Min Park,Oh Joon Kwon, (International Journal for Numerical Methods in Fluids 2005) [https://onlinelibrary.wiley.com/action/showCitFormats?doi=10.1002%2Ffld.954]  </p>  
     <p> Young Min Park,Oh Joon Kwon, (International Journal for Numerical Methods in Fluids 2005) [https://onlinelibrary.wiley.com/action/showCitFormats?doi=10.1002%2Ffld.954]  </p>  
<li>Parallel adaptation of general three-dimensional hybrid meshes Christos Kavouklis, Yannis Kallinderis [https://www.sciencedirect.com/science/article/pii/S0021999110000264?via%3Dihub]
*Parallel adaptation of general three-dimensional hybrid meshes Christos Kavouklis, Yannis Kallinderis [https://www.sciencedirect.com/science/article/pii/S0021999110000264?via%3Dihub]
<li> ''"Scalable generation of large-scale unstructured meshes by a novel domain decomposition approach"''
* ''"Scalable generation of large-scale unstructured meshes by a novel domain decomposition approach"''
     <p> Jianjun Chen, Zhoufang Xiao, Yao Zheng, Jianfeng Zou, Dawei Zhao, Yufeng Yao, (Advances in Engineering Software, 2018), [https://www.sciencedirect.com/science/article/pii/S0965997816306378] </p>
     <p> Jianjun Chen, Zhoufang Xiao, Yao Zheng, Jianfeng Zou, Dawei Zhao, Yufeng Yao, (Advances in Engineering Software, 2018), [https://www.sciencedirect.com/science/article/pii/S0965997816306378] </p>
<li> ''"A parallel log-barrier method for mesh quality improvement and untangling"''
* ''"A parallel log-barrier method for mesh quality improvement and untangling"''
     <p> Shankar P. Sastry, Suzanne M. Shontz, (Engineering with Computers 2014), [https://link.springer.com/article/10.1007/s00366-014-0362-1] </p>
     <p> Shankar P. Sastry, Suzanne M. Shontz, (Engineering with Computers 2014), [https://link.springer.com/article/10.1007/s00366-014-0362-1] </p>


<li> ''"Parallel remeshing of unstructured volume grids for CFD applications"''
* ''"Parallel remeshing of unstructured volume grids for CFD applications"''
     <p> U. Tremel, K. A. Sørensen, S. Hitzel, H. Rieger, Oubay Hassan, Nigel P. Weatherill, ( International Journal for Numerical Methods in Fluids 2007), [https://onlinelibrary.wiley.com/doi/abs/10.1002/fld.1195] </p>
     <p> U. Tremel, K. A. Sørensen, S. Hitzel, H. Rieger, Oubay Hassan, Nigel P. Weatherill, ( International Journal for Numerical Methods in Fluids 2007), [https://onlinelibrary.wiley.com/doi/abs/10.1002/fld.1195] </p>
<li> ''"Parallel refinement and coarsening of tetrahedral meshes"''
* ''"Parallel refinement and coarsening of tetrahedral meshes"''
     <p> de Cougny HL, Shephard MS ( Comput Methods Appl Mech Eng, 1999),[https://onlinelibrary.wiley.com/doi/abs/10.1002/%28SICI%291097-0207%2819991110%2946%3A7%3C1101%3A%3AAID-NME741%3E3.0.CO%3B2-E] </p>
     <p> de Cougny HL, Shephard MS ( Comput Methods Appl Mech Eng, 1999),[https://onlinelibrary.wiley.com/doi/abs/10.1002/%28SICI%291097-0207%2819991110%2946%3A7%3C1101%3A%3AAID-NME741%3E3.0.CO%3B2-E] </p>
<li> [https://www.sciencedirect.com/science/article/pii/S0743731517301302?via%3Dihub]
* [https://www.sciencedirect.com/science/article/pii/S0743731517301302?via%3Dihub]
<li> [https://onlinelibrary.wiley.com/doi/pdf/10.1002/nme.769]
* [https://onlinelibrary.wiley.com/doi/pdf/10.1002/nme.769]
</ol>
 


= Not used =
= Not used =
<ol>
 
<li> ''"p4est: Scalable Algorithms for Parallel Adaptive Mesh Refinement on Forests of Octrees"''
* ''"p4est: Scalable Algorithms for Parallel Adaptive Mesh Refinement on Forests of Octrees"''
     <p> Carsten Burstedde, Lucas C. Wilcox, and Omar Ghattas, (SIAM J. Sci. Comput. 2011), [https://epubs.siam.org/doi/abs/10.1137/100791634], (no use of tetrahedral refinement) </p>
     <p> Carsten Burstedde, Lucas C. Wilcox, and Omar Ghattas, (SIAM J. Sci. Comput. 2011), [https://epubs.siam.org/doi/abs/10.1137/100791634], (no use of tetrahedral refinement) </p>
<li> ''"A Practical Demonstration of Scalable, Parallel Mesh Generation"''
* ''"A Practical Demonstration of Scalable, Parallel Mesh Generation"''
     <p> William Dawes, Simon Harvey,Simon Fellows, Neil Eccles, D Jaeggi, Will Kellar, Cambridge Flow Solutions, ( AIAA-2009-0981 ), [https://arc.aiaa.org/doi/10.2514/6.2009-981](Same as above)  </p>
     <p> William Dawes, Simon Harvey,Simon Fellows, Neil Eccles, D Jaeggi, Will Kellar, Cambridge Flow Solutions, ( AIAA-2009-0981 ), [https://arc.aiaa.org/doi/10.2514/6.2009-981](Same as above)  </p>
<li> Löhner R, Ramamurti R (1995) A load balancing algorithm for unstructured grids. Comput Fluid Dyn 5:39–58 (no mesh generation results)
* Löhner R, Ramamurti R (1995) A load balancing algorithm for unstructured grids. Comput Fluid Dyn 5:39–58 (no mesh generation results)
<li> ''"Parallel adaptive mesh refinement method based on bubble-type local mesh generation"''
* ''"Parallel adaptive mesh refinement method based on bubble-type local mesh generation"''
     <p> Wei Guo, Yufeng Nie, Weiwei Zhang, (JPDC 2018), [https://www.sciencedirect.com/science/article/pii/S0743731518300856] ( it is only 2D and on simple inputs)</p>
     <p> Wei Guo, Yufeng Nie, Weiwei Zhang, (JPDC 2018), [https://www.sciencedirect.com/science/article/pii/S0743731518300856] ( it is only 2D and on simple inputs)</p>
<li> ''"Parallel Unstructured Mesh Adaptation Method for Moving Body Applications"''
* ''"Parallel Unstructured Mesh Adaptation Method for Moving Body Applications"''
     <p> Peter A. Cavallo; Neeraj Sinha; Gregory M. Feldman,(AIAAJ 2005), [https://arc.aiaa.org/doi/10.2514/1.7818] (simfle element migration no performance data) </p>
     <p> Peter A. Cavallo; Neeraj Sinha; Gregory M. Feldman,(AIAAJ 2005), [https://arc.aiaa.org/doi/10.2514/1.7818] (simfle element migration no performance data) </p>
</ol>

Revision as of 15:00, 17 August 2018

Coarse-Grained

Unique cavity-based operator and hierarchical domain partitioning for fast parallel generation of anisotropic meshes,
Loseille A. & Alauzet F & Menier V.

Computer-Aided Design 2017, [1]

Abstract

"Our strategy is based on typical domain splitting algorithm where the initial mesh is split in parts that are then meshed in parallel while the fictitious boundaries between parts are kept unchanged. Then we iterate the procedure to adapt previously unmodified parts of the domain, i.e., the interface mesh. Both the volume and the surface meshes are adapted simultaneously and the efficiency of the method is independent of the complexity of the geometry.

The originality of the method relies on

  • metric-based static load-balancing,
  • hierarchical mesh partitioning techniques to (re)split the (complex) interfaces meshes,
  • a fast, robust and generic sequential cavity-based mesh modification kernel.

In this paper, we follow the coarse-grained parallelization in an adaptive context within the metric-based framework."

Sequential Mesh Generation (essentially is a AF-based method)

Loop the steps :

  • Creation of unit mesh in metric space:
  • Collapse small edges
  • Point Creation
  • Anisotropic Filtering
  • Point Insertion
  • Mesh Optimization
  • Edge/face flips using the cavity operator



  • Surface Approximation base on surrogate geometry ( it is not clear is this is on every loop or at the end)

Hierarchical Partitioning

To enable coarse-grain parallelism a hierarchical partitioning scheme is used.

"At the first level, the initial domain is split and considered for adaptation. From the set of constrained faces (at interface) of the previous level, a new volume mesh (domain) is deduced for the next level. This new domain is then split and adapted in parallel. This process is then applied until convergence."

The new volume is is evaluated using interface meshes (i.e. union of cavities of interface elements )

Domain Decomposition

At each step of the hierarchical partitioning domain decomposition is used to partition the current mesh.

How load is evaluated

"To handle non uniform refinements (in term of sizes and directions), a metric-based static load balancing formula is used to a priori equilibrate the work on each sub-domain."

The unique cavity framework offers constant speed whatever the considered operator.

"This feature allows us to derive an accurate metric-based work that is easily deduced from the input metric-field and input mesh only."

Mesh Partitioning

First Hilbert ordering of vertices is used.

Then BFS with restart and the work load as weight is used to partition the elements.

Load Balancing

Static since previous steps tried to make partition as well balanced as possible.

Performance Data

Start-to-End : speed-up of 20-33 on 120 cores

Parallel anisotropic 3D mesh adaptation by mesh modification,
Frédéric Alauzet & Xiangrong Li & E. Seegyoung Seol & Mark S. Shephard

Engineering with Computers (2006) 21: 247–258, DOI 10.1007/s00366-005-0009-3 [2]

Algorithm

  • Mesh coarsening to eliminate the initial short edges
  • Intelligent mesh refinement that includes operations

for ensuring the proper geometric approximation of
the mesh to the geometric domain and proper shape
to match the metric field, and

  • Mesh optimization to improve the quality of the

final mesh

" The Flexible distributed Mesh DataBase (FMDB) has been used to support the needed mesh-based parallel
operations on distributed meshes including communications between mesh partitions, migrating mesh entities between the partitions and the dynamic mesh load balancing. "

"The mesh load balancing is also critical for the parallel procedure to achieve desirable performance. The Zoltan library is used to make partition assignment during the dynamic load balancing."

Coarsening

Mesh migration-based parallelization is used:

"More precisely, whenever a mesh modification operation on partition boundaries is desired, we migrate the mesh entities within the polyhedron associated with (i.e., the mesh regions affected by) the operation into one partition and since then we apply the operation as in serial."

The above step is repeated until all coarsening operations are applied.

Process id-based scheme is use to resolve conflicting requests.

Mesh Refinement

"Mesh refinement relies on tagging mesh edges and
applying edge, face and region subdivision templates,
which changes mesh topology but not geometry. "

Steps

  • "Marked mesh edges and their neighboring mesh

faces on partition boundaries are subdivided using the
four templates."

  • Boundary Modifications Synchronization
  • Refinement of volume with no communication

Parallel Vertex Snapping (on curved boundary)

Use direct snapping or collapse operations , if vertex is on partition boundary communicate to ensure validity and/or collect cavity.

Load Balancing

Using Zoltan redistribute the global distributed mesh in (FMDB)

Performance

No time/speedup data are available besides a phrase "In the example, the speedup of the parallel procedure is between 1.2 and 2" pg 255

Parallel Optimization of Tetrahedral Meshes,
D. Benítez, E. Rodríguez, J.M. Escobar, R. Montenegro

6th European Conference on Computational Mechanics (ECCM 6) & 7th European Con-ference on Computational Fluid Dynamics (ECFD 7), 2018 [3]

Summary

A new algorithm on distributed-memory parallel computers for our simultaneous untangling and smoothing of tetrahedral meshes .

Overview

The method is based on

  • partitioning a mesh
  • optimizing interior vertices
  • optimizing boundary vertices of interior partitions, and
  • communicating updated coordinates of boundary vertices.

In each mesh sweep, the interior vertices of all partitions are optimized in parallel. For partition boundaries, independent sets of non-fixed vertices are created; each of them is optimized in parallel after all interior vertices have been optimized

Distributed Combinatorial Maps for Parallel Mesh Processing,
Guillaume Damiand, Aldo Gonzalez-Lorenzo, Florence Zara and Florent Dupont

Algorithms 2018, 11(7), 105; doi:10.3390/a11070105 [4]

Summary

"Our main contribution is the definition of distributed combinatorial maps (called n-dmaps), which allow us to
represent the topology of big meshes by splitting them into independent parts. "

"To sum up, this topological representation can be used to describe an nD mesh, while providing
high level operations to iterate through the cells of the mesh, retrieve the incidence and adjacency
relations between the cells, and modify the mesh by using the numerous existing operations. "

Code is part of CGAL

https://doc.cgal.org/latest/Combinatorial_map/index.html#Chapter_Combinatorial_Maps

Application

Adaptive Hexahedral Subdivision (ie octree refinement)

  • MPI-based
  • Uses a single template (1:8) for splitting the octree
  • Shared faces and edges between processes are split independently and asyncronous messages are used to achieve conformity. ( Like PCDM 2D)

Performance Data

Speedup 6.3 on 32 cores

Parallel Anisotropic Tetrahedral Adaptation,
Michael Park & David Darmofal

46th AIAA Aerospace Sciences Meeting and Exhibit, 2008 [5]

Summary

  • Coase-grained
  • MPI

Mesh Operations

  • Node Movement
  • Face/Edge Swapping
  • Tetrahedra Split and Collapse

Parallelization

Domain Decomposition

  • Partition Mesh by assigning  vertices uniquely to each partition.
  • Add also ghosted vertices to each node to complete the boundary tetrahedra.

Parallel Execution

  • Operations are performed in parallel first, on all purely local nodes.
  • Then on boundary by colouring the subdomains and operating on one color each time.
  • Changes on boundary are recorded on a transcript that is broadcasted to the neighbors at the end of each pass in order to replicate steps.

Performance Data

No performance Data provided

Parallel anisotropic mesh adaptation with boundary layers for automated viscous flow simulations ,
Onkar Sahni, Aleksandr Ovcharenko, Kedar C. Chitale, Kenneth E. Jansen, Mark S. Shephard

(Engineering with Computers 2017), [6]

Summary ( of parallel code)

  • Uses the same template refinement like other papers of this group
  • Distributed memory model
  • Based on a distributed mesh database

"A partitioned mesh is managed by the parallel mesh database that tracks the mesh  entities residing on inter-part boundaries."

" It supports the ability to update mesh entities on inter-part boundaries if they are modified (e.g., due to an edge split). It also supports the movement or migration of mesh entities from one part to another, which is referred to as a mesh migration step and in which the inter-part boundaries are automatically updated"

"Thus, before applying the mesh modification operation, such cavities[between subdomains] are localized on one part or processor such that the cavity retriangulation can be carried out as in the serial case. In cavity localization, all regions and stacks
of regions involved in the mesh modification operation are migrated onto a single part ."

 

Algorithm

Refinement

  • Tag Long edges/faces for refinement
  • For each face /edge
  • Split  face/edge
  • If on shared boundary copy data to buffer
  • end for
  • send.receive modifications

After communication new elements point to remote neighbors correctly. i.e. the distributed mesh is properly updated.

Coarsening and Swapping

  • Tag vertices/elements that need modification
  • While there is more work
  • For each vertex/element
  • If the whole cavity is present perform operation
  • Else add missing parts to a buffer
  • end for
  • Send/receive buffers
  • end while

Special rules are used for the boundary layers. Main idea is that all the elements of the layer need to be local if one is to be split, since splits propagate from upper to lower layers. Similar with collapse and/or swap.

 

Performance Data

Strong scaling

Using 512 cores as base case  there is 75% efficiency on 1024 cores and 30% efficiency on 8192 cores

Weak scaling

Using 256 cores as base case  there is 97% efficiency on 1536 cores and 86% efficiency on 9216 cores

Note : in weak efficiency evaluations uses actual work increase instead of core increase 

Parallel tetrahedral mesh adaptation with dynamic load balancing,
Leonid Oliker, Rupak Biswas, Harold N Gabow

( Parallel Computing 2000), [7]

Summary

  • Main problem tackled : How to load balance mesh adaptation which by the physics on the problem requires adaptation only in small regions which may be in their entirety in a subdomain
  • Edge-based adaptation
  • MPI
  • Coarse-grained
  • Utilizes PLUM see relevant paper

Adaptation Procedure

In every iteration:

  • A solution is acquired
  • Mesh adaptation based on error of the solver
  • The mesh is (re)partitioned using a collection of metrics in PLUM
  • back to 1 until convergence

Tetrahedral Adaptation

Uses three templates (1:8,1:4,1:2)

  • Mark (in parallel) all edges until to edge can be split further
  • Communicate changes with subdomain neighbors
  • Split edges in parallel with no communication

Performance Data

Efficiency (strong scaling ?)

76% on 64 processors with load balancing off

82% on 64 processors with load balancing on


A distributed-memory parallel approach for the generation of multibillion element tetrahedral meshes
Xiaoqing Wang ; Xianlong Jin

SNPD 2016 [8]

Summary

  • distributed-memory parallel
  • a medium size of initial coarse mesh is prepared first.
  • then, hierarchical domain decomposition is carried out to split the initial mesh
  • parallel mesh multiplication without communication

where by mesh multiplication they mean split using predefined templates

 

Method

  • Input is a initial coarse mesh
  • Split initial Mesh using METIS to nnode parts where nnode is the number of different computation nodes
  • Optionally refine the mesh
  • Each master process of its node divides the the mesh further into the number of available cores using METIS
  • Refine using an 1:8 rule for tetrahedra ( the author introduced a scheme to nubmer new entities with consistent  global ids with no communication)

Performance Data

using as base case 128 processes

on 1024 the strong scaling speedup is 7.6 ( counting only mesh generation)

on 1024 the strong scaling speedup is 5.2 ( counting also parallel surface recovery)

3D Parallel Unstructured Mesh Generation
Okusanya T., Peraire J.

(Trends in Unstructured Mesh Generation 1997) [9]

Summary

  • Coarse-grained
  • "based on a sequence of point insertion and load balancing cycles. "
  • Delaunay based

Method

  • Mesh the subdomain internal elements of the subdomain as usual.
  • For elements with cavity expanding to the neighbors perform element migration
  • To compensate waiting time store the point in a buffer and continue
  • If a buffer reach its capacity wait ( similar to Panos sleeping threads)

Element Migration

  • Attempt to globally lock the interfaces ( so other subdomains cannot request data and run into data races )
  • transfer elements
  • unlock subdomain interfaces
  • send a request to bring elements locally and store the point into a buffer.

Load balancing

  • Every some prespecified number of point insertion
  • Stop meshing and redistribute the mesh

Performance Data

Strong scaling 2.36 on 8 threads

 

Decoupled

Large out-of-core tetrahedral meshing
Alleaume A, Francez L, Loriot M, Maman, N (Distene)

(IMR 2007) , [10]

Summary

  • Delaunay-based
  • Decoupled by pre-refining interfaces
  • it is no clear if it is run in parallel or a subdomain at a time in asmall meomory machine

"We present an effective strongly uncoupled method, which, given a
closed and watertight surface mesh, generates its Delaunay constrained tetrahedrisation into sub-domains."

Method

  • Input is a boundary conforming mesh
  • For each subdomain if further division is needed
  • Bisect subdomain taking into consideration inertia axis and load balcing using information of the distribution function
  • Refine edges that intersect the bisection plane
  • Refine more so than a refined zone of at lest two tetrahedra on each side of the plane is created
  • Select the interface faces by maximizing quality of the interface mesh using heuristics
  • If no further subdivision is needed refine the subdomain to its final resolution

Performance Data

No performance data of the parallel code

Domain Decomposition Approach for Automatic Parallel Generation of 3D Unstructured Grids
Evgeny G. Ivanov, Heiko Andrä, Alexey N. Kudryavtsev

(ECCOMAS CFD 2006) [11]

Summary

  • Decoupled
  • Uses Triangle for interface triangulation and TetGen for volume meshing

Method

  • Create bisection plane using center of gravity and moment of inertia  criterion
  • Create a cross-section contour from the intersection of the CAD with the cutting plane
  • Smooth the contour and simplify it into a closed curve
  • Project contour to 2D
  • use Triangle to refine it
  • Map surface mesh back
  • Mesh subdomains in parallel with no communication with TetGen

Performance Data

Reports superlinear speedup but does not count time for partitioning

In later paper [12] they report 70% efficiency on 32 cores

Distributed parallel Delaunay mesh generation
R.Said, N.P.Weatherill, K.Morgan, N.A.Verhoeven

(Comput. Methods Appl. Mech. Engrg. 177 (1999) 109-125) [13]

Summary

  • Coarse grained
  • Decoupled
  • Delaunay Based
  • overdecompostion dynamic load balancing

Method

  • Input is a surface mesh
  • Create a boundary conforming mesh
  • Use a greedy algorithm to create domains.
  • Move elements between subdomains to fix "topological degeneracies" (ie shared edges with more than two shared triangles ) and/or merge subdomains and/or create new subdomain around the edge
  • Refine edges of shared by subdomains
  • pack and send subdomains
  • Generate boundary surface mesh for subdomains (in parallel)
  • Perform flips on the surface of the subdomains (in parallel) [ why this works with no communication?]
  • Perform smoothing on the surface of the subdomains (in parallel)
  • Refine subdomain in parallel using Delaunay point insertion (in parallel)

Performance Data

Strong scaling 3.5 speedup on 8 processes

Domain decomposition approach for parallel unstructured mesh generation
B. G. Larwood, N. P. Weatherill, O. Hassan and K. Morgan

(Int. J. Numer. Meth. Engng (2003)) [14]

Summary

  • Coarse-grained
  • MPI_based
  • Delaunay-based
  • Decoupled

Method

  • Input is a surface triangulation
  • Recursively over-decompose the input using axis-aligned planes
  • When cutting the surface mesh derive the contour/close loop of the profile of the cut
  • Clean up / smooth and and project to a plane
  • Use 2D Delaunay mesher with compatible spacing to create a mesh of the closed loop
  • Transform the loop back to original coordinates and glue it back to create two new closed subdomain
  • If further splitting is needed go to 2
  • Other-wise refine the subdomain in parallel with no communication

Performance Data

No performance Data

Generating Multibillion Element Unstructured Meshes on Distributed Memory Parallel Machines
Seren Soner and Can Ozturan

(Scientific Programming 2015), [15]

Summary

  • Decoupled
  • uses NetGen internally
  • r-level refinement on shared boundaries

Method

  • Input is a CAD
  • create a coarse surface mesh
  • create a coarse volume mesh
  • Decompose with METIS in a face-connected way [no comments on why ,open source also does not look like it has something special]
  • Extract boundary of subdomains
  • Refine using recursive bi-sectioning of the faces using r levels ( because all of the processes r-levels surface meshes match)
  • Refine volume using NeTGen
  • Send-Receive for global renumbering etc

steps 2-5 are all executed on all processes

Performance Data

Speedup is given as an estimate only

were Tseq = Tinit + nproc *(time it took for a proccess to refine in parallel)

with this speedup reports efficiency for 8192 cores between 30% - 93% depending on different mesh sizes

Fine-Grained

Mesh adaptation for moving objects on shared memory hardware,
Dan Ibanez & Mark Shephard

Research Note on 25th IMR , 2016 (Suggested by Dan As reference paper for Omega_h) [16]

Summary

Parallel shared memory adaptation on GPUs and threads.

Single code-base for threads and GPUs using Kokkos.

Mesh operators

  • Edge split (at midpoint)
  • Edge Collapse
  • Edge Swap (using n -> (2n-4) flips up to n = 7  )

Independent set selection

Use a modified version of Luby's algorithm to select a maximal (vs maximum) independent set of cavities . The cavities can be then performed in parallel with no communication/synchronization. This procedure is used throughout the mesh adaptation process.

Adaptation Steps

  • Size Optimization
  • Refinement :
  • Edges longer than desired threshold are marked.
  • From the previous set if a split will produce low quality tetrahedra then the edge is unmarked.
  • An independent set is selected and they are split in parallel.
  • Coarsening :
  • Vertices attached to edges shorter than a desired threshold are marked.
  • For each vertex the best quality collapse is selected.
  • An independent set is selected and splits are performed in parallel.


  • Quality Optimization
  • Edge Swapping :
  • Low quality elements are marked together with four "layers" (neighbors of neighbors 4 level deep)  of elements around them.
  • Mark all edges of all elements
  • For each edge calculate best flip and keep only those than improve quality
  • An independent set is selected and flips are performed in parallel.
  • Coarsening for Shape Correction
  • Vertices of low quality elements are marked
  • Continue similar of steps 2-3 of coarsening above


It is interesting to note that mesh is readonly and thus is rebuild (in parallel) after every each pass.

Performance Data

Speedup of 49 on 64 threads (Intel Knight Landing)

Speedup of 3.6 on 8 threads (Intel Xeon 2620 v4)

Speedup of 7  using a GPU ( NVidia GTX 980 Ti)

Thread-Parallel Anisotropic Mesh Adaptation,
Gerard J. Gorman, Georgios Rokos, James Southern, Paul H. J. Kelly

New Challenges in Grid Generation and Adaptivity for Scientific Computing, (2015) [17]

(this is the first reference paper for pragmatic)

Summary

  • Shared Memory , OpenMP
  • Features independent tasks through graph coloring and deferred updates
  • Template refinement

It is interesting to note that point insertion is done in two steps first insert all midpoints on edges and then in a separate parallel loop "refine" the element ie connect new point with old vertices of the element.

Colouring

Colouring is used to find independent cavities.

The parallel coloring algorithm for maximal sets by Gebremedhin is used.

Parallel Updates of data structures

Data structures are arrays.

There are two types of updates

  • Deferred updates :

Modifications on the arrays are recorded on the temporary buffer of a thread ( tid = i % nthreads, where i the entry to update) and applied in parallel at the end of each pass. see Algorithm 3 pg 15

  • Worklist updates

Used for adding new elements in the arrays. Implemented using a global index of last used position that is increased atomically

 

Parallel Refinement

  • Split edges (but not element) in parallel.
  • Copy new vertices to global buffer
  • Barrier
  • Update point-adjacency in parallel
  • Barrier
  • Refine elements in parallel
  • Barrier
  • Copy new element to global list in parallel

Parallel Coarsening

  • Colour vertices
  • Identify those that can be collapsed in parallel exit if none
  • Evaluate a maximal independent set of the previous set
  • Collapse edges using deferred operations in parallel
  • Commit the deferred operations
  • Repair colouring
  • Go to 2

Parallel Swapping

Uses a modified version of the parallel Coarsening

Parallel Smoothing

  • Color vertices
  • Smooth one color at a time in parallel

Performance Data

Between 5-9 speedup (strong scaling) on 16 cores for the different phase of adaptation

A Two-Level Multithreaded Delaunay Kernel,
Jean-François Remacle, Vincent Bertrand,Christophe Geuzaine

24th International Meshing Roundtable (2015), [18]

Summary

  • It is only Delaunay Triangulation
  • OpenMP

Algorithm

  • Sort points in space using a Hilbert curve
  • Divide the curve into nthreads equal parts
  • Loop until there are no points to insert
  • Calculate M2 cavities per thread
  • Barrier
  • For each of the M2 cavities insert the point if there is no overlap (if it is the lower thread-id advances and the rest of the points will be reinserted later)
  • Barrier


Performance Data

Strong Scaling Speedup

~5 on 8 threads

~12 on 32 threads

Journal version (CAD 2017) of the paper reports speedup of 18 on 32 threads

One machine, one minute, three billion tetrahedra,
Célestin Marot & Jeanne Pellerin & Jean-François Remacle

preprint [19]

Summary (only of the parallel part)

  • Shared memory (OpenMP)
  • Delaunay-based
  • Create parititions using space-filling curve to reduce chance of overlap (and thus rollbacks)

Triangulation Algorithm

  • Points to be inserted are partitioned into nthreads partitions using a space-filling curve
  • Mesh is partitioned into nthread partitions  using space-filling curves
  • If cavity or mesh walk crosses partition it is aborted
  • Re-partition by shifting and rotating the curve and try again to insert rejected points
  • Decrease the number of threads if success rate is low

Parallel Mesh Refinement Algorithm

  • Boundary points insertion (in parallel)
  • Boundary Recovery
  • While tets need to be refined
  • Evaluate circumcenters of all bad tets (in parallel)
  • Filter out very close points (in parallel)
  • Insert points using the triangulation algorithm


Performance Data

Mesh refinement

Small case 123 million

(Strong scaling) speedup 1.9 on 8 threads

Big case 600 million tets

(Strong scaling) speedup 4.5 on 127 threads

A Parallel Local Reconnection Approach for Tetrahedral Mesh Improvement,
Mengmeng Shang, Chaoyan Zhu, Jianjun Chen, Zhoufang Xiao, Yao Zheng

(IMR 2016), [20]

Summary

  • OpenMP code
  • Uses Hilbert curve to decrease chance of rollback in flips
  • Uses coloring for smoothing

Parallel Flip Algorithm

  • Sort using a Hilbert curve all the bad elements
  • For each thread evaluate M cavities (elements/points are marked by vertex id)
  • BARRIER
  • For each thread
  • For each cavity check if there is an overlap higher thread id gets priority else proceed
  • BARRIER
  • Go to 2

Parallel Smoothing Algorithm

  • Color vertices using a greedy heuristic in parallel
  • For each color
  • smooth in parallel ( no synchronization needed)


Performance Data

Strong scaling

8.62 speedup on 16 cores for smoothing

6.9 speedup on 16 cores for Flips

Other

Thread-parallel mesh improvement using face and edge swapping and vertex insertion,
Reza Zangeneh & Carl F. Ollivier-Gooch

Computational Geometry Journal, 2018 [21]

Summary

  • OpenMP
  • Delaunay-based
  • Parallel swap algorithm using optimistic approach
  • Parallel point insertion using PDR theory with an nested adaptive octree

Parallel face/edge swap algorithm

  • Divide all faces/edges into threads queues
  • Face/edge migration for load balancing
  • While there are faces/edges in thread queues
  • Check if flips is needed and evaluate cavity (in parallel- no communication needed)
  • Face/edge migration for load balancing
  • use an optimistic approach to lock cavities in each thread queue (in parallel with atomics)
  • Face/edge migration for load balancing
  • Perform flips in parallel with no communication


Parallel Point insertion algorithm

"We also exploit nested parallelization features in OpenMP to create separate quad/oct tree structures within each leaf
assigned to a thread. In this way, each leaf of the initial tree can be the root node of finer trees which will be assigned
to new spawned threads if more refinement is required"

There is one (static) octree A .

For each leaf of A there is a second octree B which is refined progressively.

  • Initialize octree A and assign tetrahedra to leaves
  • Assign leaves of A to threads
  • While there are unrefined tetrahedra
  • If any thread has no leaves to refine split the leaves of the thread local octree B to create new leaves.
  • Find independent set of leaves I among all thread local B octrees
  • for all leaves in I
  • spawn a thread and a task and refine it up to the current refinement level
  • increase the refinement level


Performance Data

(Strong scaling)

Parallel Swap Speedup ~35 on 64 cores

Parallel Insertion Speedup ~18 on 64 cores

(Weak scaling)

Parallel Swap Speedup ~21 on 64 cores

Parallel Insertion Speedup ~17 on 64 cores

A parallel advancing front grid generation scheme,
Rainald Löhner

Int. J. Numer. Meth. Engng. 2001 [22]

Summary

Decompose Front using octree, advance from front "far enough". Shift octree to remesh interface boundaries.

"A parallel advancing front scheme has been developed. The domain to be gridded is first subdivided spatially using a relatively coarse octree. Boxes are then identified and gridded in parallel. A scheme that resembles closely the advancing front technique on scalar machines is recovered by only considering the boxes of the active front that generate small elements."

Grid generation

The algorithm uses many passes.

In each pass the faces of the front are divided using an octree. From faces in "far enough " octree leaves points are advanced simutaneusly

only the boxes covering the active front in regions where the smallest
new elements are being introduced are considered.

Shared Faces between leaves are eliminated shifting the octree leaves and remeshing the front.

Work balancing is achieved using overdecomposition of the octree.

Mesh Improvement

Swapping

Checks are done in parallel , actual flipping sequentially

Removal of bad elements (Edge Contraction)

Indentify edges around bad elements in parallel , contract them either by collapsing an endpoint onto the other or both onto a new point in the middle.

Laplacian Smoothing

Color edges/elements into independent sets and run in parallel. When negative volume elements are created, remove them together with adjacent elements and remesh the hole.

For surface meshing (preprocessing) each surface patch is meshed in parallel.

Results

Shared memory.

Performance more than 50% efficiency on 16 cores

Recent Advances in Parallel Advancing Front Grid Generation,
Rainald Löhner

Archives of Computational Methods in Engineering 2014,(there is also ashorter version in IMR 2013) [23]

Summary

Two Level Parallelism OpenMP + MPI

Coarse grain in both levels ? (for openmp kernel see 2001 paper)

Parallel Algorithm For mesh generation

  • Scale up  distribution function and create an initial coarse mesh called and initial domain-defining grid (DDG)
  • Decompose/load balance using a combination of greedy algorithms, recursive bisection and spacefilling curves
  • Mesh, in parallel, the zones inside the subdivision domains
  • Modify partitions by adding 1-2 extra layers of elements and redistribute active front (source subdomain id < dest subdomain id) and mesh new interior zones in parallel
  • Modify partitions by adding 1-2 extra layers of elements and redistribute active front (source subdomain id > dest subdomain id) and mesh new interior zones in parallel
  • If required, mesh the remaining regions on processor 1.

 

Mesh Improvement

Mesh improvement uses

  • Diagonal Swapping
  • Removal of Bad Elements
  • Smoothing and
  • Selective mesh movement in regions of very low quality

This operations are perform within each subdomain with no communication since modifications on the subdomain boundary are not allowed in this stage

Perfomance Data

Plenty of timing results but no comparison with sequential code.

Top speed is 403,354 elms/sec

With base case 8 cores ( 8 MPI procs) the strong scaling speedup is ~5 on 256 cores generating 121M elements

Surveys

"A decade of progress on anisotropic mesh adaptation for computational fluid dynamics" Frédéric Alauzet, Adrien Loseille, (CAD 2016), [24]

TO DO

  • "A parallel unstructured dynamic mesh adaptation algorithm for 3‐D unsteady flows"

Young Min Park,Oh Joon Kwon, (International Journal for Numerical Methods in Fluids 2005) [25]

  • Parallel adaptation of general three-dimensional hybrid meshes Christos Kavouklis, Yannis Kallinderis [26]
  • "Scalable generation of large-scale unstructured meshes by a novel domain decomposition approach"

Jianjun Chen, Zhoufang Xiao, Yao Zheng, Jianfeng Zou, Dawei Zhao, Yufeng Yao, (Advances in Engineering Software, 2018), [27]

  • "A parallel log-barrier method for mesh quality improvement and untangling"

Shankar P. Sastry, Suzanne M. Shontz, (Engineering with Computers 2014), [28]

  • "Parallel remeshing of unstructured volume grids for CFD applications"

U. Tremel, K. A. Sørensen, S. Hitzel, H. Rieger, Oubay Hassan, Nigel P. Weatherill, ( International Journal for Numerical Methods in Fluids 2007), [29]

  • "Parallel refinement and coarsening of tetrahedral meshes"

de Cougny HL, Shephard MS ( Comput Methods Appl Mech Eng, 1999),[30]


Not used

  • "p4est: Scalable Algorithms for Parallel Adaptive Mesh Refinement on Forests of Octrees"

Carsten Burstedde, Lucas C. Wilcox, and Omar Ghattas, (SIAM J. Sci. Comput. 2011), [33], (no use of tetrahedral refinement)

  • "A Practical Demonstration of Scalable, Parallel Mesh Generation"

William Dawes, Simon Harvey,Simon Fellows, Neil Eccles, D Jaeggi, Will Kellar, Cambridge Flow Solutions, ( AIAA-2009-0981 ), [34](Same as above)

  • Löhner R, Ramamurti R (1995) A load balancing algorithm for unstructured grids. Comput Fluid Dyn 5:39–58 (no mesh generation results)
  • "Parallel adaptive mesh refinement method based on bubble-type local mesh generation"

Wei Guo, Yufeng Nie, Weiwei Zhang, (JPDC 2018), [35] ( it is only 2D and on simple inputs)

  • "Parallel Unstructured Mesh Adaptation Method for Moving Body Applications"

Peter A. Cavallo; Neeraj Sinha; Gregory M. Feldman,(AIAAJ 2005), [36] (simfle element migration no performance data)