Learn Java Concurrency & Correctness

Peta skill, target kompetensi, batasan seri, cara latihan 20 jam pertama, dan taxonomy Java concurrency untuk engineer tingkat lanjut.

Perbedaan concurrency, parallelism, asynchrony, non-blocking, reactive, throughput, latency, utilization, dan bagaimana memilih model eksekusi yang tepat di Java.

Correctness-first mental model for Java concurrency: safety, liveness, invariants, linearizability, determinism, and failure-oriented reasoning before choosing APIs.

Java thread execution model: platform threads, JVM/OS scheduling, lifecycle states, daemon behavior, interruption, uncaught failure, and production implications.

Shared mutable state, race condition, data race, check-then-act, lost update, stale read, aliasing, and correctness-first mitigation strategies.

Java Memory Model foundation: visibility, ordering, happens-before, synchronization actions, correctly synchronized programs, and practical design rules.

Deep dive into volatile, final fields, initialization safety, object publication, lazy initialization, visibility edges, and practical safe-publication design rules.

Atomicity, compound actions, linearization points, CAS thinking, AtomicInteger, AtomicReference, LongAdder, ABA risk, and choosing between locks and atomics.

Intrinsic locks, synchronized methods and blocks, monitor ownership, reentrancy, lock scope, happens-before guarantees, object-level locking, and production-grade synchronized design.

Explicit locks, ReentrantLock, Condition, fairness, timed and interruptible acquisition, coordination protocols, signal discipline, and production lock design.

Liveness failure modes in Java concurrency: deadlock, starvation, livelock, priority inversion, lock ordering, timeout strategy, diagnostics, and production prevention.

Deep dive into wait, notify, notifyAll, guarded suspension, condition predicates, missed signals, spurious wakeups, monitor wait sets, and safer modern alternatives.

Deep dive into Java high-level synchronizers: Semaphore, CountDownLatch, CyclicBarrier, Phaser, Exchanger, coordination contracts, invariants, failure modes, and production usage.

Deep dive into BlockingQueue, bounded queues, producer-consumer correctness, backpressure, saturation, poison pill, shutdown, queue implementation choices, and production overload behavior.

Concurrent collections tidak hanya tentang memakai Map yang thread-safe, tetapi tentang menjaga invariants data saat banyak thread membaca dan menulis secara bersamaan.

Atomic classes, VarHandle, CAS, memory access modes, dan lock-free thinking untuk engineer yang ingin benar, bukan sekadar menghindari synchronized.

ExecutorService, task lifecycle, Future, shutdown, cancellation, rejection, dan kontrak task production-grade di Java modern.

Thread pool engineering untuk CPU-bound, IO-bound, blocking workloads, queue capacity, rejection policy, saturation, bulkhead, dan virtual-thread-era Java.

ForkJoinPool, work stealing, RecursiveTask, RecursiveAction, task decomposition, threshold design, blocking hazards, ManagedBlocker, and production-grade parallel execution.