并发程序具有以下性质：
原子性
原子性是指一个操作或多个操作要么全部执行且执行过程不被中断，要么不执行。在并发编程中，原子性保证了一个操作在执行过程中不会被其他线程干扰，从而确保操作的完整性和一致性。
可见性
可见性是指多个线程修改同一个共享变量时，一个线程修改后，其他线程能马上获得修改后的值。在并发编程中，由于线程之间的执行是乱序的，可能会导致一个线程修改了共享资源的值，但其他线程并不能立即感知到这个修改。为了保证可见性，需要使用同步机制，如锁或volatile关键字。
有序性
有序性是指程序执行的顺序按照代码的先后顺序执行。在并发编程中，由于线程之间的执行是无序的，可能会出现代码执行顺序与我们预期的不一致。为了保证有序性，可以使用同步机制来限制指令重排序，或者使用volatile关键字来插入内存屏障。
除了上述三大性质外，并发编程中还存在其他需要注意的问题，例如 死锁。死锁是指两个或多个线程互相持有对方所需的资源，导致所有线程都无法继续执行。
总结来说，并发程序的正确执行需要保证原子性、可见性和有序性，以确保多线程环境下的程序正确性和可靠性。