Wie löst man das Problem des gleichzeitigen Zugriffs auf ein Produkt während eines Verkaufs? Wie kann Redis verwendet werden, um dieses Problem ohne Sperrung auf Datenbankebene zu lösen?