Tune the Ordering for all the atomics

[wang384670111]

oso/polar-core/src/counter.rs

Line 10 in d43ed90

next: Arc<AtomicU64>,

oso/polar-core/src/inverter.rs

Line 45 in d43ed90

static ID: AtomicU64 = AtomicU64::new(0);

Here 'next' and 'ID' are global counter between threads and doesn't synchronize with other variables. Although Ordering::SeqCst or Ordering::AcqRel ensures the correctness of the program, it affects the performance of the program. Therefore, Relaxed can be used in both single-threaded and multi-threaded environments.
While atomic operations using relaxed memory ordering do not provide any happens-before relationship, they do guarantee a total modification order of each individual atomic variable. This means that all modifications of the same atomic variable happen in an order that is the same from the perspective of every single thread.

[github-actions]

CLA Assistant Lite bot: Thank you for your submission! Before we can accept your contribution, we ask that you sign our Contributor License Agreement. To sign the CLA, post a comment on this Pull Request that matches the following text exactly:

---

I have read the CLA Document and I hereby sign the CLA

---

_{You can retrigger this bot by commenting recheck in this Pull Request}