RESILIENT DHCP & RADIUS SOLUTION

Hi all.
For my wireless network I would realize a redundant radius and DHCP.
In current situation I have one pppoe server with public ip pools, and two radius (tekradius) giving rate limit and framed ip addresses.
Now I have the need to duplicate my pppoe server, but I do not have enough public IP addresses for the pools.
The only solution is to centralize dhcp server.
My question is: which solution do you suggest to use to have dhcp+radius to have redundancy?
All mikrotik?
A mikrotik dhcp + external radius?

Thanks to all!
Andrà tutto bene!

If your RADIUS servers sends Framed-IP-Address attributes that address is assigned to the client, no need for IP pools on the PPPoE servers.

thanks tdw.
framed ip address are used for public static, pools are used for public dynamic.

Do your RADIUS servers support pools in addition to static assignments - then they could handle the dynamic allocation and tracking

If you have limited addresses then it really needs to be handled by the RADIUS servers, it doesn’t really matter if they are directly assigned to a PPPoE session or by DHCP for IPoE.

Having dynamic assignment directly handled by DHCP servers is a nightmare as the state needs to be synchronised, the Mikrotik DHCP server can’t do this. You can easily end up building an overly complex system which is less reliable.

My radius server supports pool.
But also a radius mikrotik supports pools.
I would like to know the experiences of other wisps and if someone can advise about their solution.
In particular, using mikrotik radius and pools, with a good hardware (i.e. AHx4) is a good solution in the case of many users (>10000) ?