Matches in SemOpenAlex for { <https://semopenalex.org/work/W2051203485> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2051203485 abstract "In an optimizing compiler, the register allocation process is still a crucial phase since it allows to reduce spill code that damages the performances. The register constraints are generally taken into account during the instruction scheduling phase of an acyclic data dependence graph (DAG): any schedule must minimize the register requirement. However, in a previous work [Sid-Ahmed-Ali Touati. Register Saturation in Superscalar and VLIW Codes. In Proceedings of The International Conference on Compiler Construction, Lecture Notes in Computer Science. Springer-Verlag, April 2001], we introduced and mathematically studied the register saturation (RS) concept. It consists of computing the exact upper-bound of the register need for all the valid schedules, independently of the functional unit constraints. The goal of RS is to decouple register constraints from instruction scheduling. In this paper, we continue our theoretical efforts and we present two main results. First, we give an exact solution with integer linear programming for both the problems of computing the RS of a DAG and reducing it. Our integer program brings a new way to model register constraints that allows us to produce the lowest number of constraints and variables in the literature (till now). Indeed, given a DAG with n nodes and m arcs, we need O(n^2) integer variables and O(m+n^2) linear constraints, which is better than the actual size complexity in the literature that model register constraints. Second, we prove that the problem of reducing the register saturation is NP-hard. Our detailed experiments in this paper show that our previous heuristics [Sid-Ahmed-Ali Touati. Register Saturation in Superscalar and VLIW Codes. In Proceedings of The International Conference on Compiler Construction, Lecture Notes in Computer Science. Springer-Verlag, April 2001] are nearly optimal. We provide a discussion too in order to argument why the RS approach should be better that minimizing the register requirement." @default.
- W2051203485 created "2016-06-24" @default.
- W2051203485 creator A5013591794 @default.
- W2051203485 date "2005-05-01" @default.
- W2051203485 modified "2023-10-03" @default.
- W2051203485 title "On the Optimality of Register Saturation" @default.
- W2051203485 cites W1485977624 @default.
- W2051203485 cites W1523901979 @default.
- W2051203485 cites W1570671539 @default.
- W2051203485 cites W163216920 @default.
- W2051203485 cites W1971621805 @default.
- W2051203485 cites W1997230820 @default.
- W2051203485 cites W2010751129 @default.
- W2051203485 cites W2131570835 @default.
- W2051203485 cites W2140339776 @default.
- W2051203485 cites W55063606 @default.
- W2051203485 cites W5670727 @default.
- W2051203485 cites W1535182551 @default.
- W2051203485 cites W2103990736 @default.
- W2051203485 doi "https://doi.org/10.1016/j.entcs.2005.01.033" @default.
- W2051203485 hasPublicationYear "2005" @default.
- W2051203485 type Work @default.
- W2051203485 sameAs 2051203485 @default.
- W2051203485 citedByCount "1" @default.
- W2051203485 crossrefType "journal-article" @default.
- W2051203485 hasAuthorship W2051203485A5013591794 @default.
- W2051203485 hasBestOaLocation W20512034851 @default.
- W2051203485 hasConcept C114614502 @default.
- W2051203485 hasConcept C138885662 @default.
- W2051203485 hasConcept C2779235478 @default.
- W2051203485 hasConcept C33923547 @default.
- W2051203485 hasConcept C41008148 @default.
- W2051203485 hasConcept C41895202 @default.
- W2051203485 hasConcept C94375191 @default.
- W2051203485 hasConcept C9930424 @default.
- W2051203485 hasConceptScore W2051203485C114614502 @default.
- W2051203485 hasConceptScore W2051203485C138885662 @default.
- W2051203485 hasConceptScore W2051203485C2779235478 @default.
- W2051203485 hasConceptScore W2051203485C33923547 @default.
- W2051203485 hasConceptScore W2051203485C41008148 @default.
- W2051203485 hasConceptScore W2051203485C41895202 @default.
- W2051203485 hasConceptScore W2051203485C94375191 @default.
- W2051203485 hasConceptScore W2051203485C9930424 @default.
- W2051203485 hasLocation W20512034851 @default.
- W2051203485 hasLocation W20512034852 @default.
- W2051203485 hasLocation W20512034853 @default.
- W2051203485 hasOpenAccess W2051203485 @default.
- W2051203485 hasPrimaryLocation W20512034851 @default.
- W2051203485 hasRelatedWork W1596951257 @default.
- W2051203485 hasRelatedWork W1986546200 @default.
- W2051203485 hasRelatedWork W2047454787 @default.
- W2051203485 hasRelatedWork W2058171746 @default.
- W2051203485 hasRelatedWork W2324899973 @default.
- W2051203485 hasRelatedWork W2345600497 @default.
- W2051203485 hasRelatedWork W241866648 @default.
- W2051203485 hasRelatedWork W2478871761 @default.
- W2051203485 hasRelatedWork W4242736285 @default.
- W2051203485 hasRelatedWork W1518972582 @default.
- W2051203485 isParatext "false" @default.
- W2051203485 isRetracted "false" @default.
- W2051203485 magId "2051203485" @default.
- W2051203485 workType "article" @default.