Una soluzione è quella di crearti una funzione JS che viene richiamata ogni tot secondi (es 2 sec).
Questa funzione fa una chiamata Ajax al server che gli invia, ad esempio l'id dei record occupati (magari con JSON). Con questi id, vai nella lista dei record della pagina e disabiliti il link edit (magari cambi pure lo stile della riga)

un altro approccio è quello di usare node.js ed i websocket...se cerchi nel forum ci sono un po di discussioni sull'argomento (chat php, php real time etc)