isabelle: src/Pure/System/host.scala@3bc611c80346 (annotated)

77475 3bc611c80346 clarified modules; wenzelm parents: diff changeset	1	/* Title: Pure/System/host.scala
3bc611c80346 clarified modules; wenzelm parents: diff changeset	2	Author: Makarius
3bc611c80346 clarified modules; wenzelm parents: diff changeset	3
3bc611c80346 clarified modules; wenzelm parents: diff changeset	4	Information about compute hosts.
3bc611c80346 clarified modules; wenzelm parents: diff changeset	5	*/
3bc611c80346 clarified modules; wenzelm parents: diff changeset	6
3bc611c80346 clarified modules; wenzelm parents: diff changeset	7	package isabelle
3bc611c80346 clarified modules; wenzelm parents: diff changeset	8
3bc611c80346 clarified modules; wenzelm parents: diff changeset	9
3bc611c80346 clarified modules; wenzelm parents: diff changeset	10	object Host {
3bc611c80346 clarified modules; wenzelm parents: diff changeset	11	/* allocated resources */
3bc611c80346 clarified modules; wenzelm parents: diff changeset	12
3bc611c80346 clarified modules; wenzelm parents: diff changeset	13	object Node_Info { def none: Node_Info = Node_Info("", None) }
3bc611c80346 clarified modules; wenzelm parents: diff changeset	14
3bc611c80346 clarified modules; wenzelm parents: diff changeset	15	sealed case class Node_Info(hostname: String, numa_node: Option[Int])
3bc611c80346 clarified modules; wenzelm parents: diff changeset	16	}