PHPSESSID es el nombre de la cookie que lleva el Id de la sesión (Por defecto, eso se puede cambiar desde la configuración de php).
A través del contenido de esa cookie el servidor identifica el espacio donde están almacenados todos los contenidos de la sesión.
En tu ejemplo, lo que tendría tu sesión serían dos variables:
x = 3
y = 4
Si hay varios usuarios conectados a la vez a tu servidor, cada uno tendrá su propio espacio de sesión (Y por ende su propio SessionID), ese valor se almacenará en una cookie llamada PHPSESSID en la computadora local de cada visitante.