要理解JS中的事件循环机制，我们首先要知道在JavaScript引擎中，有执行栈和事件队列两个很重要的概念。执行栈和我们常规理解中的栈有些不同，常规栈值的是内存中的一个区域，栈中存放着一些基础类型的变量和指向堆中对象的指针。
当我们调用一个函数时，JS会为这个函数生成对应的执行环境，也就是执行上下文，在这个执行环境中存放着这个函数的私有作用域，上层作用域的指向，方法的参数，这个作用域中定义的变量以及这个作用域的this对象。当很多函数被依次调用时，由于JS是单线程的，同一个时间只能执行一个方法，于是这些方法被排队在一个地方，这个地方就是执行栈。当第一个脚本开始执行时，JS引擎解析这段代码，然后将其中的同步代码按照执行顺序加入执行栈中，然后从头开始执行。如果当前执行的是一个方法，那么JS会向执行栈中添加这个方法的执行环境，然后进入这个方法的执行环境中执行代码，当执行完毕后返回结果，JS会退出这个执行环境并把这个执行环境销毁，回到上一个方法的执行环境中。这个过程反复进行，直到执行栈中的代码全部执行完毕。
总结一下：执行栈就是JS引擎用于执行JS代码的地方，多个脚本会按照顺序加入到执行栈中，而对于一个脚本，也会把同步代码按顺序加入到执行栈中执行。对于一个方法，则是要把这个方法的执行环境添加到执行栈中，执行完毕后返回值并删除这个执行环境，回到上一个调用该方法的执行环境中继续执行。
以上都是同步代码的执行，对于异步代码执行，JS有一个任务队列的概念来处理。JS是非阻塞的，事件队列是实现这一特点的关键所在。JS引擎在遇到异步任务时不会等待其返回结果，而是会将这个任务挂起，继续执行执行栈中的其他任务。当一个异步事件返回结果后，JS会将这个事件加入与当前执行栈不同的另一个队列中，也就是任务队列。被放入任务队列中的事件不会立即执行回调，而是等待执行栈中所有任务执行完毕，主线程处于空闲状态时，主线程会去查看任务队列中是否有任务。如果有，则把这个事件对应的回调放到执行栈中执行，如此反复，形成了一个无限的循环，这个整个过程被称作“事件循环”。
在异步任务中，我们应该注意有两类异步任务，一种是宏任务，一种是微任务。宏任务有setInterval(), setTimeout(), script等；微任务有promise、 mutationObserver等。主线程空闲时，会先去查看微任务队列是否有事件存在，如果没有再去查看宏任务队列，如果有的话则将该异步任务的回调放到执行栈中执行。也就是说，同一事件循环中，微任务总是在宏任务之前进行。
