首先要說一下，諸葛亮在陳倉可能並未全力攻城，而且擊退諸葛亮的並非只是郝昭的部隊，還有曹真的大軍在。

根據《魏略》記載，諸葛亮在第一次北伐以後，曹真命將軍郝昭在陳倉口築城，防止諸葛亮出陳倉道北伐。就在幾個月後，諸葛亮真的兵出陳倉道，進攻郝昭守衛的陳倉城。郝昭手下不過千餘兵馬，而蜀軍有數萬之眾。諸葛亮以雲梯、衝車、井闌、地道等方式攻城，卻被郝昭擊退。最後魏國援兵趕來，諸葛亮不得不撤軍而退。

不過這個記載和《三國志》略有出入。

根據《三國志·諸葛亮傳》和《三國志·明帝紀》記載，諸葛亮率軍出散關包圍陳倉以後，曹真就命費曜等率軍趕來救援。諸葛亮撤軍時，魏將王雙率兵追擊，被諸葛亮擊敗，王雙戰死。

而《三國志·張郃傳》也寫到諸葛亮攻打陳倉時，曹叡命張郃率軍三萬趕來救援，結果沒到諸葛亮就已經撤軍。郝昭手下不過千餘人，張郃援軍未到，追趕諸葛亮的顯然不可能是郝昭和張郃的部隊，只能是曹真手下的兵馬。

所以在諸葛亮圍攻陳倉時，曹真就已經率部趕來，魏軍並不只是只有郝昭手下的千餘人。

另外諸葛亮此次北伐主要是因為魏國派司馬懿、張郃進攻東吳，東吳向蜀漢告急，所以才出兵北伐，以吸引魏國注意力。這種情況下諸葛亮也不會全力攻打陳倉，白白損傷士卒。因此此戰實際的規模，遠不如《魏略》說的那麼大。

當然，郝昭以千餘兵馬守住陳倉這個功勞也是很大的，所以事後被曹叡封爵，並打算提拔使用。可惜郝昭不久就病逝，錯過了升官的機會。