陈寿是三国时期的魏国人。