WIP: Proposal to add a new kind for OpenCL

mem_alloc.tex

@@ -139,6 +139,24 @@ \subsubsection{Restrictors}
 
 \end{itemize}
 
+\section{OpenCL memory kind}
+
+We define \infokey{opencl} as a memory kind that refers to the memory
+allocated by the OpenCL runtime system~\cite{oclref}.
+\exref{example:alloc-kind-spm-sycl} showcases its usage.
+
+\subsubsection{Restrictors}
+
+\begin{itemize}
+
+\item \infokey{host}: Support for memory that is owned by the host and is accessible by the host and by any OpenCL devices.
+
+\item \infokey{device}: Support for memory that is owned by a specific OpenCL device.
+
+\item \infokey{shared}: Support for memory that has shared ownership between the host and one or more OpenCL devices.
+
+\end{itemize}
+
 \chapter{Examples}
 \label{chap:examples}
 
@@ -217,6 +235,10 @@ \section{MPI plus SYCL}
                 return retType{ true, "level_zero",
                                 {"device", "shared", "host"} };
                 break;
+            case sycl::backend::ext_oneapi_opencl:
+                return retType{ true, "opencl",
+                                {"device", "shared", "host"} };
+                break;
             case sycl::backend::ext_oneapi_cuda:
                 return retType { true, "cuda",
                                  {"device", "managed", "host"} };
@@ -368,7 +390,7 @@ \section{MPI plus SYCL}
                 MPI_Info_free(&info);
             }
             if (!provided)
-                MPI_Session_Finalize(&session);
+                MPI_Session_finalize(&session);
             else {
                 // usage mode: ASSERTED
                 std::string assert_key_for_mpi(
@@ -477,7 +499,7 @@ \section{MPI plus SYCL}
                   << std::endl;
 
         MPI_Comm_disconnect(&comm);
-        MPI_Session_Finalize(&session);
+        MPI_Session_finalize(&session);
 
         int answer = std::numeric_limits<int>::max();
         if (method == InteractionMethod