《民事诉讼法》对执行程序有哪些规定？

《民事诉讼法》中关于执行程序有诸多规定，这些规定保障了生效法律文书能够得以有效执行，维护当事人的合法权益。

首先是执行管辖方面。发生法律效力的民事判决、裁定，以及刑事判决、裁定中的财产部分，由第一审人民法院或者与第一审人民法院同级的被执行的财产所在地人民法院执行。法律规定由人民法院执行的其他法律文书，由被执行人住所地或者被执行的财产所在地人民法院执行。这明确了不同类型法律文书的执行法院，方便当事人确定执行的负责主体。

在执行异议环节，如果当事人、利害关系人认为执行行为违反法律规定的，可以向负责执行的人民法院提出书面异议。法院在收到书面异议之日起十五日内进行审查，要是理由成立，就裁定撤销或者改正；理由不成立，就裁定驳回。当事人、利害关系人对裁定不服的，还能自裁定送达之日起十日内向上一级人民法院申请复议。这给予了当事人对违法执行行为提出异议并寻求救济的途径。

当人民法院自收到申请执行书之日起超过六个月未执行时，申请执行人可以向上一级人民法院申请执行。上一级人民法院经审查，可以责令原人民法院在一定期限内执行，也可以决定由本院执行或者指令其他人民法院执行。这避免了执行久拖不办的情况，保障申请执行人的权益。

执行过程中，案外人对执行标的提出书面异议的，法院同样自收到书面异议之日起十五日内审查，理由成立，裁定中止对该标的的执行；理由不成立，裁定驳回。案外人、当事人对裁定不服，如果认为原判决、裁定错误，依照审判监督程序办理；与原判决、裁定无关的，可以自裁定送达之日起十五日内向人民法院提起诉讼。

另外，执行工作由执行员进行，采取强制执行措施时，执行员应当出示证件，执行完毕后，要将执行情况制作笔录，由在场的有关人员签名或者盖章。而且人民法院根据需要可以设立执行机构。在执行中，如果双方当事人自行和解达成协议，执行员应当将协议内容记入笔录，由双方当事人签名或者盖章。要是申请执行人因受欺诈、胁迫与被执行人达成和解协议，或者当事人不履行和解协议的，人民法院可以根据当事人的申请，恢复对原生效法律文书的执行。被执行人向人民法院提供担保，并经申请执行人同意的，人民法院可以决定暂缓执行及暂缓执行的期限，若被执行人逾期仍不履行，人民法院有权执行被执行人的担保财产或者担保人的财产。

这些规定共同构成了民事诉讼执行程序的框架，确保执行工作依法、有序、公正地进行。 以上这些规定都出自《中华人民共和国民事诉讼法》第三编第十九章相关条款。