陳式
時期は定かではないが、劉備に従った。劉備が漢中を攻めた際、陳式は馬鳴閣道の封鎖のために派遣されたが、徐晃に敗れた。夷陵の戦いでは劉備に従い、将軍として呉班と共に水軍を率い夷陵に駐屯した。陸遜の火攻で大敗し夥しき被害が出る中で彼の部隊は白帝城への帰還に成功した。
建興7年(229年)、諸葛亮が再び北伐の軍を起こした時、陳式は先鋒の総大将として武都と陰平を攻略し、その功績を上げた。また、諸葛亮自身は建威を攻略し、陳式と共に当地付近に駐屯していた魏の郭淮を挟撃しようと試みた。郭淮はいったん出撃したがすぐに退却し、そのまま隴西方面から撤退した。諸葛亮・陳式とも、これを追撃しなかったという(陳倉の戦い#第三次北伐)。以降、史書に記述は見当たらない。