If you have about an hour to kill, you might want to check out [Shahriar’s] video about the Stanford Research SR530 lock in amplifier ... in the SR530’s block diagram, there are many PLLs ...

Figure 5 The basic block diagram of a Lock-In Amplifier. The various function blocks may be: analog, digital or a combination of both. The first synchronous demodulators were analog and were built ...