In geometry and the mathematical discipline of topology, loop strip-mining, or sectioning,[1] is a special case of tiling, namely 1-dimensional tiling: a loop is transformed into a depth-2 loop nest, where the outer loop is called tile/block loop and the innermost loop is called element loop. Strip-mining was introduced for vector processors. It is a loop-transformation technique for enabling vectorization of loops and improving memory performance.

The term strip-mine is really inspired from mining coal, for example, with the excavator, which uses a bucket (or bucket wheel) to "strip" the coal.

References

edit
  1. ^ Hijma, Pieter; Heldens, Stijn; Sclocco, Alessio; Van Werkhoven, Ben; Bal, Henri E. (30 November 2023). "Optimization Techniques for GPU Programming". dl.acm.org. ACM Computing Surveys. pp. 1–81. doi:10.1145/3570638. Retrieved 7 October 2025.
Stub icon

This topology-related article is a stub. You can help Wikipedia by adding missing information.

📚 Artikel Terkait di Wikipedia

Loop optimization

else clauses of the conditional. Sectioning or strip-mining – introduced for vector processors, loop-sectioning is a loop-transformation technique for enabling

Loop (music)

Groove" Loop example (recurring after 22 seconds) by Kevin MacLeod Problems playing this file? See media help. In music, a loop is a repeating section of sound

Vertical loop

The generic roller coaster vertical loop, also known as a loop-the-loop or a loop-de-loop, where a section of track causes the riders to complete a 360

Loop

up loop in Wiktionary, the free dictionary. Loop or LOOP may refer to: Loop (mobile), a Bulgarian virtual network operator and co-founder of Loop Live

Loop (statement)

programming, a loop is a control flow construct that allows code to be executed repeatedly, usually with minor alterations between repetitions. Loops can be used

Aerobatic maneuver

visualized as making a loop of ribbon, hence the name it is given (see "Gallery" for an animation of a loop).[citation needed] The first loop was performed by

Ordos Plateau

loop" (within Ningxia) and "east loop" (within Inner Mongolia, further divided into "front loop" and "back loop") sections. The Inner Mongolian cities of

Great Loop

The Great Loop is a system of waterways that encompasses the eastern portion of the United States and part of Canada. It is made up of both natural and