Good question.

The xorg X-Server seems to support having multiple mouse pointers: https://wiki.archlinux.org/index.php/Multi-pointer_X

Cheers,
_