A Study of Backward Compatible Dynamic Software Update