### Abstract

In this paper we look at the register allocation problem. In the literature this problem is frequently reduced to the general graph coloring problem and the solutions to the problem are obtained from graph coloring heuristics. Hence, no algorithm with a good performance guarantee is known. Here we show that when attention is restricted to structured programs which we define to be programs whose control-flow graphs are series-parallel, there is an efficient algorithm that produces a solution which is within a factor of 2 of the optimal solution. We note that even with the above restriction the resulting coloring problem is NP-complete. We also consider how to delete a minimum number of edges from arbitrary control-flow graphs to make them series-parallel and apply our algorithm. We show that this problem is Max SNP hard. However, we define the notion of an approximate articulation point and give efficient algorithms to find approximate articulation points. We present a heuristic for the edge deletion problem based on this notion which seems to work well when the given graph is close to series-parallel.

Original language | English (US) |
---|---|

Title of host publication | Proceedings of the 6th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 1995 |

Publisher | Association for Computing Machinery |

Pages | 360-368 |

Number of pages | 9 |

ISBN (Electronic) | 0898713498 |

State | Published - Jan 22 1995 |

Event | 6th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 1995 - San Francisco, United States Duration: Jan 22 1995 → Jan 24 1995 |

### Publication series

Name | Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms |
---|

### Other

Other | 6th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 1995 |
---|---|

Country | United States |

City | San Francisco |

Period | 1/22/95 → 1/24/95 |

### ASJC Scopus subject areas

- Software
- Mathematics(all)

## Fingerprint Dive into the research topics of 'Register allocation in structured programs'. Together they form a unique fingerprint.

## Cite this

*Proceedings of the 6th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 1995*(pp. 360-368). (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms). Association for Computing Machinery.