，依旧难以放下心来安睡
在刘封未到五丈原之前，汉魏、蜀魏之战，睡不着的是诸葛亮，而现在换了辛毗和司马懿，这真是一报还一报
——
陈仓，古称雍城
秦德公元年（前677年），秦国迁都于雍城（后世的宝鸡市凤翔区）此后，秦国先后有十八位国君以雍城为国都，共历时294年
秦之后，两汉时期，陈仓为关中与巴蜀南北通道之重镇，《史记·贷殖列传》说：“秦自文、孝、嫪居雍陈，陇蜀之货物而多贾”
陈仓故道的具体路线，由南向北，分别是勉县、略阳、青泥岭、凤县、散关，至陈仓，此道北沿塔水，南连渝水（嘉陵江），一路之上山高路险，相比褒斜道更为迂回费时，因此多做为备道通行
楚汉相争之时，刘邦纳韩信计：明修栈道，暗渡陈仓，就是走的陈仓故道
三国鼎立局面形成之后，汉魏之间为了争夺关中、汉中、陇右的控制权，围绕着秦岭沿线的多个重要据点攻防，陈仓就是其中之一
魏国为了防备蜀汉军队突入关中，命擅长防御的名将郝昭在陈仓长期驻守，在历史上，诸葛亮第二次北伐，曾经举兵围攻陈仓，郝昭以千余之兵拒守诸葛亮数万大军，双方相持二十余日，诸葛亮无计可破，因粮尽而乘机退兵
这一段历史，因为刘封的出现而改变
诸葛亮第一次北伐，马谡失守街亭，大好形势毁于一旦，随后，刘封提前从荆州出发，赶到陇右，一举扭转了不利局面
有刘封在陇右、汉中坐镇，诸葛亮身上担子顿减，其行军方略也有所调整，比如历史上的陈仓之战，虽然一样发生了，但蜀汉军队只是进行了佯攻，并没有出动大军强攻城垣
这样一来，郝昭没有经受大战的艰难，精气神方面保持得不错，郭淮从陇右到达陈仓之后，与郝昭两人联手，一面据陈仓道险隘抵挡下辩方向的傅肜军，一面陈重兵于渭水畔，与刚刚抵达的汉将陈式、魏昌一支偏师交战
从将领的名气上来看，陈式、魏昌的组合，远不如郭淮、郝昭
从兵力配备上来看，陈式一部是以山地弓弩兵为主的二线部队，将卒的甲具多为简单的皮甲、手中的武器也是机弩和木矛、盾牌、环首刀等制式兵器，要想挡住郭淮的陇右步骑，难度相当的大
陈式也明白这些差距，在行军前往陈仓的一路上，和魏昌一起反复商量，两人最后定下的策略，是添油死守在渭水岸边
“魏小将军，我们现在就是一个钉子，要牢牢的钉在渭水的南岸，郭淮要想侧袭五丈原，就让他从我们身上跨过去”
行军打仗的精妙计策，陈式学不会
他自从军以来，就信守一件事：忠于职守，比如这一次，刘封命令他率部坚守西线，陈式就守在渭水一侧的营中，纵算不敌也不后