Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improvements to GPU grammars + new benchmark #539

Merged
merged 21 commits into from
Oct 23, 2023
+287 −159
Merged

Improvements to GPU grammars + new benchmark #539

Changes from 1 commit
Commits
Show all changes
21 commits
Select commit Hold shift + click to select a range
de2e6f0
Improve PTX grammar
hernan-poncedeleon Oct 6, 2023
6083775
Add XF_Barrier test
hernan-poncedeleon Oct 6, 2023
f2a5be7
Improve Vulkan grammar
hernan-poncedeleon Oct 7, 2023
3d69938
Remove unused variable from XF-Barrier
hernan-poncedeleon Oct 7, 2023
ab42d4f
Use improved grammar in tests
hernan-poncedeleon Oct 7, 2023
c1ef31d
Add, Sub, ... in Vulkan grammar
hernan-poncedeleon Oct 7, 2023
b9c56c3
Changes to XF-Barrier
hernan-poncedeleon Oct 7, 2023
d1e53e8
Remove useless (constant) jump in master
hernan-poncedeleon Oct 7, 2023
dad414f
Remove dead code in slaves
hernan-poncedeleon Oct 7, 2023
de28782
Add RA version of XF-Barrier
hernan-poncedeleon Oct 10, 2023
7723400
More fixed to XF-Barrier
hernan-poncedeleon Oct 11, 2023
0a7c6f1
Change file names for XF-Barrier
hernan-poncedeleon Oct 22, 2023
46b77a2
Add XF-Barrier to unit tests
hernan-poncedeleon Oct 22, 2023
6080eb9
Fix expected results
hernan-poncedeleon Oct 23, 2023
f375f6f
Fix ids in control barriers
hernan-poncedeleon Oct 23, 2023
b99877d
Different barrier id in same thread, new RA variant
hernan-poncedeleon Oct 23, 2023
ee1b6ca
Add cause-base to the definition of cause
hernan-poncedeleon Oct 23, 2023
ab9b6a2
Initialize x in XF-Barrier
hernan-poncedeleon Oct 23, 2023
079e093
cause-base -> proxy-preserved-cause-base
hernan-poncedeleon Oct 23, 2023
d7fb61f
Revert change to the definition of cause in PTX v7.5
hernan-poncedeleon Oct 23, 2023
4f6d237
Remove unneeded test
hernan-poncedeleon Oct 23, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
More fixed to XF-Barrier 
Signed-off-by: Hernan Ponce de Leon <hernanl.leon@huawei.com>
@hernan-poncedeleon
hernan-poncedeleon committed Oct 22, 2023
commit 7723400e44de4d4196177038edf89c697b66f9ba
20 changes: 10 additions & 10 deletions litmus/PTX/Manual/XF-Barrier-atom.litmus
View file
Original file line number Diff line number Diff line change
@@ -6,16 +6,16 @@ https://dl.acm.org/doi/pdf/10.1145/2983990.2984032"
f=0;
P0:r0=0;
P1:r0=0;
P2:r0=1;
}
P0@cta 0,gpu 0 | P1@cta 1,gpu 0 | P2@cta 1,gpu 0 ;
LC00: | bar.cta.sync 1 | bar.cta.sync 1 ;
ld.relaxed.gpu r2, f | st.relaxed.gpu f, 1 | bar.cta.sync 1 ;
bne r2, 0, LC01 | LC10: | ;
goto LC00 | ld.relaxed.gpu r2, f | ;
LC01: | bne r2, 1, LC11 | ;
bar.cta.sync 1 | goto LC10 | ;
st.relaxed.gpu f, 0 | LC11: | ;
| bar.cta.sync 1 | ;
st.weak x, 1 | bar.cta.sync 1 | bar.cta.sync 1 ;
LC00: | st.relaxed.gpu f, 1 | bar.cta.sync 1 ;
ld.relaxed.gpu r2, f | LC10: | ;
bne r2, 0, LC01 | ld.relaxed.gpu r2, f | ;
goto LC00 | bne r2, 1, LC11 | ;
LC01: | goto LC10 | ;
bar.cta.sync 1 | LC11: | ;
st.relaxed.gpu f, 0 | bar.cta.sync 1 | ;
| ld.weak r1, x | ;
exists
(P0:r0 == P0:r0)
(P1:r2 != 1 /\ P1:r1 == 0)
20 changes: 10 additions & 10 deletions litmus/PTX/Manual/XF-Barrier-weak.litmus
View file
Original file line number Diff line number Diff line change
@@ -6,16 +6,16 @@ https://dl.acm.org/doi/pdf/10.1145/2983990.2984032"
f=0;
P0:r0=0;
P1:r0=0;
P2:r0=1;
}
P0@cta 0,gpu 0 | P1@cta 1,gpu 0 | P2@cta 1,gpu 0 ;
LC00: | bar.cta.sync 1 | bar.cta.sync 1 ;
ld.weak r2, f | st.weak f, 1 | bar.cta.sync 1 ;
bne r2, 0, LC01 | LC10: | ;
goto LC00 | ld.weak r2, f | ;
LC01: | bne r2, 1, LC11 | ;
bar.cta.sync 1 | goto LC10 | ;
st.weak f, 0 | LC11: | ;
| bar.cta.sync 1 | ;
st.weak x, 1 | bar.cta.sync 1 | bar.cta.sync 1 ;
LC00: | st.weak f, 1 | bar.cta.sync 1 ;
ld.weak r2, f | LC10: | ;
bne r2, 0, LC01 | ld.weak r2, f | ;
goto LC00 | bne r2, 1, LC11 | ;
LC01: | goto LC10 | ;
bar.cta.sync 1 | LC11: | ;
st.weak f, 0 | bar.cta.sync 1 | ;
| ld.weak r1, x | ;
exists
(P0:r0 == P0:r0)
(P1:r2 != 1 /\ P1:r1 == 0)
1 change: 0 additions & 1 deletion litmus/VULKAN/Manual/XF-Barrier-RA.litmus
View file
Original file line number Diff line number Diff line change
@@ -7,7 +7,6 @@ x=0;
f=0;
P0:r0=0;
P1:r0=0;
P2:r0=1;
}
P0@sg 0, wg 0, qf 0 | P1@sg 0, wg 1, qf 0 | P2@sg 0, wg 1, qf 0 ;
st.av.dv.sc0 x, 1 | cbar.wg 1 | cbar.wg 1 ;
1 change: 0 additions & 1 deletion litmus/VULKAN/Manual/XF-Barrier-atom.litmus
View file
Original file line number Diff line number Diff line change
@@ -7,7 +7,6 @@ x=0;
f=0;
P0:r0=0;
P1:r0=0;
P2:r0=1;
}
P0@sg 0, wg 0, qf 0 | P1@sg 0, wg 1, qf 0 | P2@sg 0, wg 1, qf 0 ;
st.av.dv.sc0 x, 1 | cbar.wg 1 | cbar.wg 1 ;
1 change: 0 additions & 1 deletion litmus/VULKAN/Manual/XF-Barrier-weak.litmus
View file
Original file line number Diff line number Diff line change
@@ -6,7 +6,6 @@ https://dl.acm.org/doi/pdf/10.1145/2983990.2984032"
f=0;
P0:r0=0;
P1:r0=0;
P2:r0=1;
}
P0@sg 0, wg 0, qf 0 | P1@sg 0, wg 1, qf 0 | P2@sg 0, wg 1, qf 0 ;
st.av.dv.sc0 x, 1 | cbar.wg 1 | cbar.wg 1 ;