Python asinxron proqramlaşdırma, çox ipli və iplar arasında sinxronizasiya üçün hansı mexanizmləri istifadə edir? Onların işləmə modeli nədir?