oxbowlakes

I have a monad transformer stack that looks like this (for some user-defined types R, S and E):

EitherT[RWST[IO, R, Unit, S, ?], E, ?]

I used to be very rigorous when using this, in wrapping Java calls such that any thrown exceptions would be caught at turned into an E of my choosing. This kind of thing:

MyStack.fromTryCatch( javaApi.foo(), t => FooFailed(t) )

Over a (not very long) period, I realied that I was on a hiding to nothing: I would inevitably miss wrapping some calls and, even more inevitably, these calls would occasionally fail by throwing exceptions [1]. These would bubble up out of my stack and ... DISAPPEAR!

That's fine, though. "Let it crash" and all that. Except that often the programs would not crash. Because exceptions had bubbled out of my stack, resources were not freed and non-daemon threads would be hanging around, the rest of my program clinging on for dear life. There may be no exceptions in the logs, nothing! How could there be, my program having

oxbowlakes

//In scalaz 8 IO
IO.fail(new Error("1"))
  .ensuring(IO.fail(new Error("2")))
  .ensuring(IO.fail(new Error("3")))
  .catchAll[E](e4 => IO.sync(println(e4.toString)))

//is (I think) equivalent to this?
try {
  try {
    try {

oxbowlakes

WTF is going on?

Don't let anyone mislead you that there are no big changes. The big change is that fixes and security updates will no longer be provided to old versions of Java unless:

1. You are a paying customer, in which case Oracle will be patching 8 years' worth of LTS versions, as well as the current version
2. The community backports these fixes to OpenJDK and makes them available

Step back a bit. What is OpenJDK and what does LTS mean?

Historically OpenJDK was quite separate from OracleJDK. This is no longer the case. Oracle are basically providing two separate distributions of Java: OracleJDK and OpenJDK. They are meant to be technically equivalent, although it should be pretty obvious that OracleJDK is likely to ship with add-on features aimed at enterprises (e.g. management tooling or better GC).

oxbowlakes

Description of Program

I have a program which looks roughly like this

1. Waits for some files
2. When they arrive, parses them to extract data
3. Reads database state
4. Performs calculation
5. Saves new state to database
6. Generates emails on the basis of computed data

oxbowlakes

import java.sql.{Connection, SQLException}

import javax.sql.DataSource
import scalaz.zio.{IO, KleisliIO}

object Transactions {

  sealed abstract class Isolation(private[Transactions] val i: Int)
  object Isolation {
    case object Serialized

oxbowlakes

Welcome to Scala 2.12.3 (OpenJDK 64-Bit Server VM, Java 1.8.0_181).
Type in expressions for evaluation. Or try :help.

scala> :paste
// Entering paste mode (ctrl-D to finish)

type              TU = java.util.concurrent.TimeUnit
val NANOSECONDS:  TU = java.util.concurrent.TimeUnit.NANOSECONDS
val MICROSECONDS: TU = java.util.concurrent.TimeUnit.MICROSECONDS
val MILLISECONDS: TU = java.util.concurrent.TimeUnit.MILLISECONDS