onnxruntime
Modify Pipeline Facilities to Fix PipeDream Deadlock
#3823
Merged

Modify Pipeline Facilities to Fix PipeDream Deadlock #3823

wschin merged 16 commits into master from wechi/more-events
wschin
wschin Prepare utils for adding Wait's and Record's
b54fbc23
wschin wschin added training
wschin wschin requested a review 6 years ago
wschin Save progress
acf7d9d1
wschin Have a running PipeDream
d6a6cc4b
wschin Add comments
3ef9adbf
wschin Polish comments
095684de
wschin Clean code
c9b22633
wschin Merge branch 'master' into wechi/more-events
5971f4a6
wschin wschin changed the title [WIP] Prepare utils for adding Wait's and Record's Modify Pipeline Facilities to Fix PipeDream Deadlock 6 years ago
wschin Fix test
b57e40e3
wschin Polish names
b830c55f
xzhu1900
xzhu1900 commented on 2020-05-14
xzhu1900
xzhu1900 commented on 2020-05-14
xzhu1900
xzhu1900 commented on 2020-05-14
xzhu1900
xzhu1900 commented on 2020-05-14
xzhu1900
xzhu1900 commented on 2020-05-14
wschin Polish names
8fa51162
xzhu1900
xzhu1900 commented on 2020-05-14
wschin Remove debug headers
2e4e7aff
xzhu1900
xzhu1900 commented on 2020-05-14
xzhu1900
xzhu1900 commented on 2020-05-14
xzhu1900
xzhu1900 commented on 2020-05-14
xzhu1900
xzhu1900 commented on 2020-05-14
xzhu1900
xzhu1900 commented on 2020-05-14
xzhu1900
xzhu1900 commented on 2020-05-15
xzhu1900
xzhu1900 commented on 2020-05-15
xzhu1900
xzhu1900 commented on 2020-05-15
xzhu1900
xzhu1900 commented on 2020-05-15
wschin Fix a shape inference bug (not related to pipeline code)
b31f4846
wschin
wschin commented on 2020-05-15
wschin Fix a warning
c4353985
ke1337
ke1337 commented on 2020-05-15
ke1337
ke1337 commented on 2020-05-15
wschin Address some comments
e07d4e82
wschin Address comments
26bba085
wschin Only touch consumers of outputs when re-wire edges
01951c2f
ke1337
ke1337 commented on 2020-05-15
ke1337
ke1337 commented on 2020-05-15
ke1337
ke1337 commented on 2020-05-15
ke1337
ke1337
ke1337
ke1337 approved these changes on 2020-05-15
xzhu1900
xzhu1900 approved these changes on 2020-05-15
wschin
wschin commented on 2020-05-15
wschin
wschin
wschin commented on 2020-05-15
wschin
wschin wschin merged 33208c9f into master 6 years ago
wschin wschin deleted the wechi/more-events branch 6 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone