Ну Redis вы вполне правильно указали, 500rps он спокойно выдержит, даже с локами на весь весь ключ.
Ещё sophia.systems посмотрите, её вроде как tarantool использует внутри.
А для каких целей собственно вам этот функционал нужен? Чтобы показать дату последней активности пользователя или чтобы показать активных пользователей за какой-то период?