Architectural Support for Programming Languages and Operating Systems