Comments (7)
rbaghdadi
commented on May 30, 2024
Hi Yan,
Can you please post this question on the tiramisu mailing list? ISL
developers on that list will help you much better.
[email protected]
There is a link to subscribe in the Tiramisu mailing list, you can find it
in the Tiramisu website.
Many thanks,
…On Fri, Aug 9, 2019, 7:51 AM Yan Chunwei ***@***.***> wrote:
Hello Tiramisu developers:
I am a software developer interested in the Tiramisu project.
Currently, I'm reading the Tiramisu codes and find complex usage of ISL
for the polyhedral analysis.
I wonder how you developers can master the ISL so fluently, as far as I
googled through the Internet and just found several documents about the
ISL, with very few demos and examples about the API.
- ISL manual <http://isl.gforge.inria.fr/manual.pdf>
- Presburger Formulas and Polyhedral Compilation
<https://www.researchgate.net/profile/Sven_Verdoolaege/publication/291352331_Presburger_Formulas_and_Polyhedral_Compilation/links/56a21c2008ae27f7de29ae1d/Presburger-Formulas-and-Polyhedral-Compilation.pdf>
After reading these documentations, I found it still hard to understand
the ISL usage code in the Tiramisu project.
Can you provide some suggestions about the materials for mastering the ISL
APIs?
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
<#279?email_source=notifications&email_token=ACL32NAXQBTDYL4HSURRQQLQDVK2DA5CNFSM4IKTJIF2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4HEME44A>,
or mute the thread
<https://github.com/notifications/unsubscribe-auth/ACL32NH43XVZIYSOUOX7A4TQDVK2DANCNFSM4IKTJIFQ>
.
from tiramisu.
rbaghdadi
commented on May 30, 2024
I just forwarded your question to the Tiramisu mailing list. Please let me know if you didn't get a copy of it.
from tiramisu.
Superjomn
commented on May 30, 2024
Many thanks for your suggestion!
I've got the copy, and I will look deeper into it.
Awesome code by the way : )
from tiramisu.
rbaghdadi
commented on May 30, 2024
Thanks Yan! If you are interested in helping please let us know. Contributions are very welcome :) !
from tiramisu.
4fterlook
commented on May 30, 2024
Hello Riyadh! I have same questions as Yan did and I subscribed Tiramisu’s mailing list to check if anyone had answered this question, yet I cannot find this discussion in mailing list archive. Is it a mailing system problem or my own mistake, could you help me with that? Thank you very much!
from tiramisu.
rbaghdadi
commented on May 30, 2024
Hi @4fterlook ,
If you want to learn ISL, I suggest reading the following:
-
All the polyhedral operations in Tiramisu (http://tiramisu-compiler.org/) and in other state-of-the-art compilers use the ISL library (ISL stands for integer set library): http://isl.gforge.inria.fr/
It is a library for representing sets of integer tuples, maps (or relations) between sets of integer tuples and operations on the sets and maps. Chapter 1.2 in the documentation of the barvinok tool (which is built on top of ISL), is a good introduction for what are sets, maps, … http://barvinok.gforge.inria.fr/barvinok.pdf
Instead of using barvinok, I suggest the use of ISLPy which is the Python interface of ISL: https://documen.tician.de/islpy/ -
The polyhedral model tutorial: http://polycomp.gforge.inria.fr/
-
The following website has good pointers about papers in the area of polyhedral compilation: http://polyhedral.info/
from tiramisu.
4fterlook
commented on May 30, 2024
Thank you Riyadh! This really helps me a lot.
from tiramisu.
Related Issues (20)
- W add autodiff like Halide?
- Will you plan to add autodiff like Halide? HOT 1
- Does tiramisu support FPGA as backend hardware now? HOT 3
- Is there any methods in Tiramisu for parallelizing or loop tiling that automatically resolves data dependency? HOT 3
- The link in the readme to a VirtualBox VM is broken HOT 1
- What's the difference between Tiramisu and TACO compiler HOT 1
- unstructured weight sparsity mentioned by the paper HOT 2
- Build a Python extention HOT 1
- Can I adjust the CPU core number in Tiramisu compiler? HOT 1
- Is there a possible way to limit the core number used of a generated tiramisu CPU kernel? HOT 8
- [Bug] CPU convolution sample in benchmark runfailed when setting BATCH_SIZE=1 HOT 1
- questions about tiramisu capabilities HOT 3
- Deep Learning Based Cost Model HOT 2
- Trouble With Compiling Dependencies HOT 2
- No module named 'TiramisuCodeGenerator'
- How to implement XOR operator of a expression HOT 3
- Run distributed test HOT 1
- Any luck building the autoscheduler tutorial with the latest Halide
- Conversion from Tiramisu DSL to C Language For-loop Code HOT 1
- failed to build tiramisu HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from tiramisu.