A Windows service is basically a background process. Once it exits, all of the memory and system resources associated with the process are released. Restarting the service initializes a brand new instance.
If your service has nothing that strictly requires cleaning up, the OnStop method can be left blank. However, it is a good place to perform orderly shutdowns of things that need it, e.g., closing files, closing database connections, terminating socket connections, etc.