在执行程序违法的情况下，应当提起执行异议还是执行异议之诉，这主要取决于违法执行行为所侵害的权利类型以及具体的救济需求。以下是对这一问题的详细分析：
执行异议：
- 适用情形：执行异议主要适用于对执行行为的违法性提出异议，且该异议不涉及实体权利争议的情况。例如，执行法院在执行过程中违反了法定程序，如未依法送达执行通知书、未按照法定顺序清偿债务等，此时当事人或利害关系人可以提出执行异议。
- 法律依据：根据《中华人民共和国民事诉讼法》的相关规定，当事人、利害关系人认为执行行为违反法律规定的，可以向负责执行的人民法院提出书面异议。人民法院应当自收到书面异议之日起十五日内审查，理由成立的，裁定撤销或者改正；理由不成立的，裁定驳回。
- 特点：执行异议程序相对简便快捷，主要解决的是执行行为的合法性问题，不涉及实体权利的争议。
执行异议之诉：
- 适用情形：执行异议之诉则适用于对执行标的提出异议，且该异议涉及实体权利争议的情况。例如，执行法院在执行过程中错误地将第三人的财产当作被执行人的财产进行执行，此时第三人可以提出执行异议之诉，以维护自己的实体权利。
- 法律依据：根据《中华人民共和国民事诉讼法》及相关司法解释的规定，案外人、当事人对执行异议裁定不服，认为原判决、裁定错误的，依照审判监督程序办理；与原判决、裁定无关的，可以自裁定送达之日起十五日内向人民法院提起诉讼。
- 特点：执行异议之诉程序相对复杂，需要经过一审、二审等诉讼程序，主要解决的是执行标的的实体权利争议问题。
在具体选择时，可以考虑以下因素：
- 违法执行行为的性质：如果违法执行行为主要涉及程序问题，如未依法送达、未按照法定顺序执行等，那么提出执行异议可能更为合适。如果违法执行行为涉及实体权利争议，如错误执行了第三人的财产，那么提出执行异议之诉可能更为必要。
- 救济需求：如果希望快速解决执行行为的合法性问题，避免执行程序继续进行造成更大损失，那么可以选择提出执行异议。如果希望彻底解决实体权利争议问题，维护自己的合法权益，那么可以选择提出执行异议之诉。
总结来看，在执行程序违法的情况下，选择提起执行异议还是执行异议之诉，需要根据违法执行行为的性质以及具体的救济需求来决定。如果仍有疑问或需要进一步的法律帮助，可以直接向我咨询，我会根据你的具体情况提供详细的法律建议。