专利名称：用于产生多语言菜单的方法
背景技术：
下一代预录光盘将为内容编写者提供成熟的编程环境，该编程环境提供了通用的网络连接、用于补充光盘上的内容的附加内容的下载、以及其他特征。与此同时，这样的编程环境几乎不会给编写交互式菜单施加多少限制，因为它提供了内容编写者可以用来编写各种创造性菜单的低级功能。一种适用于消费电子设备以及像PC这样的设备的著名的可编程平台是Java编程平台。当分布在盘上时，Java程序通常被打包在单独的档案文件中。除了公知的Java类文件之外，这种档案文件能够存储诸如位图和/或声音文件的任意类型的其它文件。
下一代预录光盘还将提供概念上的“应用程序高速缓存器”(ACM)。这是在光盘之外的播放机上的存储器，在该存储器中，可复制这种档案文件。这具有以下优点对于存储在ACM中的数据的任意访问都不需要可能会中断正在运行的A/V呈现的唱片查找。
光盘的已知特征是多语言菜单特征。在这样的唱片上，可提供不同语言的同一菜单，并且播放器自动地显示与针对菜单语言的用户偏好最佳匹配的菜单。这提高了成本效益，因为同样的唱片可在多个国家出售。然而，当前的系统需要数据的初始加载。
发明内容
本发明提出了一种通过ACM的有效使用来支持下一代光盘的这种多语言菜单特征的方法。
光盘包括多个标题和目录列表，部分自动地并且部分基于用户请求地对该目录列表进行逐步查询。当将唱盘插进播放器并识别时，该播放器首先取回初始的应用数据并将其高速缓存。初始的应用数据通常至少包括顶菜单(top menu)的数据，但也可包括其他应用数据。在用户从顶菜单中选择标题之一的时候发生同样的情况。
然而，从数据结构的角度看来，术语“标题”不仅表示可从顶菜单中选择的项，还包括顶菜单数据以及所谓的第一重放的数据，例如前奏。可在将盘插入播放器时首先呈现第一重放，而不经用户选择。每次开始“标题”时，播放器取回应用数据并将其高速缓存。具体地，可以是要由Java虚拟机(JVM)处理的Java程序代码，或这种Java程序代码的附加数据。
在完成第一重放之后，或在用户按下遥控器上的菜单按钮时，显示出顶菜单，并且播放器等待用户对于菜单项的选择。例如，顶菜单示出一个或多个用户可选择的标题。此外，可在随后加载与可选择的标题相关的子菜单。
Java程序被打包到档案文件内，并存储在唱片上。当被执行时，Java程序可在屏幕上给用户提供图形界面。这种用户图形界面与光盘的“唱片菜单”类似，并且是对“唱片菜单”的扩充。对于丰富的用户界面，使用补充(即，非Java码)文件，例如位图文件，是有利的。这样的文件通常被称为“资源”。如上所述，尤其需要多语言的资源来支持多语言的菜单特征。此外，认为这样的资源消耗了ACM中相对大量的存储器，尤其是对高清晰度(HD)兼容的显示分辨率。
包括初始的第一重放项的每个标题可能需要从唱片中取回相关的数据。这些数据通常是AV数据，但也可以是前面所提到的其他的应用数据。例如，可以将这些数据存档在唱片的Java档案(JAR)文件中。将取回的应用数据存储在高速缓存中，因为这些数据可在AV呈现期间随时使用，并且可以多次使用。一个示例是Java控制的菜单的菜单数据。这个“高速缓存”的主要目的是防止拾取在AV呈现过程中为了读这些数据而产生跳跃，以及因此中断或扰乱AV呈现。
商业上可用的盘经常用于全球发行，因此包括诸如菜单语言的不同语言的数据。其中一些是标题相关的，而其他则是盘相关的。然而，单个用户通常只需要这些语言中的一种或两种。在此专利申请中，用于相同目的或应用但不同语言的文件被称为组，并且由组类型来识别组。可针对各种技术上的应用来定义各种组类型，例如，菜单语言、字幕语言、或国家专用数据。
附图示出了图1是用于改变根据语言的数据文件的应用程序高速缓存器(ACM)的使用；图2是盘上的标题结构以及单一标题的对象数据结构；图3是播放器所执行的步骤；以及图4是现有技术的缓存模型的缺点。
具体实施例方式
可以为任一标题定义具有自动开始播放列表的“自动开始”特征，这表示播放器(而不是用户或应用)自动开始重放。然而，自动开始特征不同于第一重放，第一重放是只重放一次的特定标题，即插入盘之后立即出现的，而不是可从任意菜单中选择的。可在用户已经从菜单中选出需要进一步处理的标题时，例如对来自JAR文件的数据进行拆包和/或编译时，激活自动开始播放列表。因此，可忽略产生的停顿，并且充满娱乐。这具有以下优点用户可以在播放器准备实际上所选择的标题所需要的数据的同时欣赏视频和/或音频呈现，而不是观看黑暗的显示屏。
由于菜单的数据是大量的，希望只对于那些所需要的语言的数据进行高速缓存。特别是对于菜单而言，对于一种特定的播放器，除了例如对于音频或字幕语言，用户可能想要切换到另一种语言以例如训练那种语言之外，很可能只使用一种语言。
播放器可具有定义了其优选菜单语言的内部寄存器。其他的内部寄存器可指定字幕语言偏好。用户可根据其需要来修改这些偏好。根据本发明，优选的菜单语言寄存器只可用于取回并高速缓存那些对应于优选语言的菜单数据。为此，本发明的一个方面是在特定JAR文件中以例如元数据形式，利用语言代码来标记对应的数据。当用户修改优选菜单语言时，本发明的播放器自动地检测具有语言代码的缓存数据，确定该数据的组类型，并在高速缓存中以同一组类型、但语言代码与新的优选菜单语言相匹配的其他数据来替换该数据。如果播放器具有不同的模式，则这个功能只在诸如Java模式的特定模式下是必要的。
此外，一般的盘具有多个标题，每个标题具有其自身的特定语言数据集。然而，在选择标题时，在实际所选择的标题可以开始之前，取回所有这些数据需要相当多的加载时间。例如，可通过如上所述呈现出自动开始播放列表来度过这个时间。此外，播放器中的高速缓存需要大到能容纳所有这些数据。因此，希望的是，在标题开始时仅缓存那些与当前所选择的标题相关并与当前所选择的语言相匹配的数据。在所选标题开始时，总是有一个高速缓存阶段。因此本发明需要并提供了智能的高速缓存算法。
从技术角度来看，盘包括多个标题，这些标题包括第一重放以及顶菜单。然而，用户不能直接选择第一重放，并且第一重放只能在盘插入之后立即使用一次。用户通常可以按遥控器上的“菜单”按钮来使用顶菜单。而其他的标题通常可通过使用光标键或数字键，对顶菜单进行遥控来选择。
对于每个“标题”，存在一个用于将与标题相关的诸如JAR文件的数据存储在ACM中的高速缓存阶段(步骤1)。其后，可选地开始自动开始播放列表(步骤2)，然后一个或多个应用程序开始(步骤3)；术语“自动开始播放列表”表示播放列表的重放不是像步骤3中所使用的播放列表一样由应用程序触发的，而是没有应用程序干扰地由播放器自动地播放的。原则上，步骤3中触发应用程序足以开始呈现，但由于高速缓存和预处理，可能会花费比较长的时间，直至应用程序准备好所有的数据并可以启动了。因此，播放器在步骤2提供了一些用户娱乐来度过这段时间。本发明的一个优点是可以缩短这段时间，因为自动检测对应于优选语言的JAR文件，此外只需要加载这些文件。其后，在显示顶菜单时，顶菜单可能会被自动开始播放列表覆盖。
然而，在AV呈现期间用户选择了另一种语言时发生同样的问题。这样的选择可在显示顶菜单的同时进行。为此，播放器通常还提供了菜单。因而，播放器需要选择性地清除并重新加载其ACM的装置。
用户可以随时调用顶菜单，包括在AV呈现期间。顶菜单本身可基于Java应用程序。但是其后当前的活动标题(顶菜单)的高速缓存阶段结束。在应加载不同语言的数据时，拾取必须跳跃，因此立即中断对前奏或所选择标题的正在进行的呈现。有利地，播放器可自动检测具有相关语言代码的缓存数据以及该缓存数据的组类型，并且取而代之以相同组类型和不同语言代码的数据。因此，在ACM中可以有足够的空间用于对应组类型的每个文件。例如，在加载特定标题时，播放器检测菜单资源文件具有特定的诸如0xA的组类型值；此组的JAR文件具有日语、荷兰语以及韩语的语言标记，以及100kB、120kB以及99kB的大小。因此，播放器可自动检测这些资源文件中最大是120kB，并在ACM部分为组类型0xA保留120kB。此外，播放器可存储可用于当前标题并可在盘上找到的组类型的语言资源文件，这样如果优选菜单语言改变时很容易找到这些文件。
有利地，本发明允许用户随时切换菜单的语言偏好，而无需重启整个标题，并且只将用户的干扰最小化。
根据本发明的一个方面，涉及同一语言并在同一盘上的应用程序文件根据语言标记和/或数据结构而分组在一起。然后，在选择特定语言时，只有对应于所选语言的文件可被自动取回并高速缓存。
根据本发明的一个方面，将具有语言标记的可选择性地使用的多个档案文件定义成一个组。一次只加载并高速缓存具有特定语言标记的一个组的那些文件。然而，播放器可存储以下信息哪些其他文件属于该组、及这些文件所具有的语言标记以及在盘上的大小和位置。
根据本发明的另一个方面，除了优选语言以外，播放器还定义了第二缺省语言，在盘不包括标有优选语言的文件时使用该第二缺省语言。例如，当优选语言为汉语并且盘只包括标为法文、英文以及西班牙文的数据时，使用诸如英文的第二缺省语言。可选地，可定义缺省规则，即，缺省规则规定在那种情况下高速缓存组的首先发现的文件。
本发明可用于Java应用程序数据或具有耗时的数据取回、高速缓存和/或预处理(例如，解压)的类似结构，其中由于受限的存储器和/或减少的加载时间，只应加载一个(或很少的)应用数据文件的组。这样的Java应用程序数据可以是诸如菜单、菜单按钮、视频的交互部分、游戏等。JVM可在对应标题的呈现期间连续地运行，在后台或可视。
以下是从盘中取回的Java应用程序数据的示例。在第一步骤中，从盘中读出包括可以是压缩的多个文件的Java档案(JAR)文件，并将其存储在高速缓存中。这些文件包括诸如JVM的执行代码，或要通过JVM呈递的特定语言的菜单页的位图数据。使用位图数据的优点是其独立于特定的字符集。第一步骤包括在播放器的寄存器中查找优选语言，将优先语言与盘上的JAR文件中的语言标记进行比较，以及读取JAR文件或具有对应于优选语言的语言标记的文件。在一个实施例中，读取具有对应的语言标记的所有JAR文件，而不考虑其组类型标识。在另一个实施例中，读取具有对应语言标记并涉及所选标题的所有JAR文件。在另一个实施例中，针对每个应用程序，只读取一个标有特定组类型以及相应的语言标记的JAR文件。本发明具有以下优点数据加载阶段比加载所有可用数据的传统播放器短。此外，需要较小的高速缓存。
在第二步骤中，自动开始定义为第一重放或自动开始播放列表的第一AV呈现，而不需要用户行为。从开始该第一AV呈现起，拾取忙于取回AV数据。在运行第一AV呈现的同时，播放器准备要由JVM使用的高速缓存数据。在传统情况下，高速缓存中充满了多个语言的菜单数据，并且一些数据可能因为高速缓已满而丢失。例如，在如图4所示的情况中，ACM中没有剩余空间来加载韩语资源。在根据本发明的包括用于选择特定数据的选择装置以及用于将数据的语言标记和优选语言进行比较的比较装置的播放器中，高速缓存包括诸如仅用于优选语言的顶菜单数据。当例如为JVM的解压缩或编译准备好了数据时，第一重放呈现可与播放器定义为偏好的语言的顶菜单叠放。
为此，在第三步骤开始在JVM上执行Java应用程序，其中，使用高速缓存的数据。例如，这可以是类加载器所需要的Java类库文件。此外，顶菜单自身可以是Java应用程序。在用户从顶菜单中选择标题时，传统播放器的拾取会跳到AV流数据的开始，并开始取回该流。然而，在根据本发明的播放器中，拾取首先跳到存储了涉及所选标题以及所选语言的JAR文件的地方，取回这些JAR文件用以高速缓存，其中不必盖写之前已缓存的数据，然后(随意地)跳到自动开始播放列表的AV流，并在准备/加载JVM的数据的同时呈现该流，然后只跳到实际的AV流数据的开始。这花费很短的时间。但是由于数据量非常有限，将很快开始所选标题的再现。
光盘标题的用户界面可通过Java产生。这里的标题表示将盘细分成用户可识别的不同部分。通常，给标题分配数字标识符，用户可选择该标识符以切换到标题。但是，在该上下文中，也将在盘插进播放器时自动启动的部分(第一重放)、以及通常可通过遥控器上的“菜单”按钮来选择的顶菜单称为“标题”。
对于支持多语言用户界面的将来光盘中的先进应用程序，本发明包括以下内容。
语言相关并属于共同语言的应用程序的所有元素都分别存储在盘上的单独的语言相关的档案文件(LDAF)中，或语言相关的资源文件(LDRF)中。每个这样的LDAF都具有被指定的语言属性，例如元数据标记。每个这样的LDAF都分别为语言相关的档案文件组(LDAFG)或语言相关的资源文件组(LDRFG)的一部分。可通过存储在盘上的涉及属于LDAFG的所有LDAF的数据结构来定义LDAFG。一次只能将LDAFG的一个LDAF存储在ACM中。通过将LDAFG中的LDAF的语言属性和对于菜单语言有效的用户偏好进行比较，播放器自动从LDAFG中选出一个LDAF，以传递到ACM。
在LDAFG不包含与菜单的用户语言偏好相匹配的LADF的情况下，可定义缺省的LDAF。
在标题开始时，播放器可在ACM存储器中保留足以容纳LDAFG中的最大LDAF的空间。如果在标题开始时发生LDAF到ACM的传递，则此传递在启动任何应用程序以及开始任何A/V重放之前发生。在标题有效期内，用同一LDAFG的任意LDAF的替换存储在ACM中的LDAF。
LDAFG的所有LDAF被分配有相同的高速缓存优先级。
本发明的优点如下-加速了标题的开始，因为只高速缓存一个LDAF/LDRF。
-有效使用ACM，因为一次只需要LDAFG/LDRFG中的一个LDAF/LDRF，并且只将当前所需要的LDAF/LDRF存储在ACM中。
表1中所示的数据结构提供了以下信息哪个文件是从在插入盘或选择标题之后创建的虚拟文件系统中传递到应用程序高速缓存器中的。列出了在父对象的ApplicatinmanagementTable中所涉及的所有JAR文件。
Group_type是规定了组类型的4比特字段。例如，当Group_type为0x1时，这表示语言相关组。根据以下选择过程，播放器只应高速缓存该组的单个文件播放器应尝试高速缓存组中language_code与存储在对应的播放器状态寄存器(PSR)中的播放器菜单语言偏好相匹配的文件。如果无法找到匹配，则播放器可尝试高速缓存组里的第一个文件。Group_type 0x2可表示语言不相关组。因而播放器应该以组里的第一个为开始，尝试高速缓存组中的文件。
表1应用程序高速缓存器信息的数据结构number_of_files字段表示作为当前组的一部分的文件的数量。file_name字段表示“JAR”文件的文件名。例如，此文件名可以根据ISO 646来编码。language_code字段规定了JAR文件的语言代码。例如，此语言代码可根据国际标准ISO 639-2。每个代码用三个字符来代表一种语言的名字，并根据ISO 646对其进行编码。
例如，本发明可用于BD-J的多语言支持。其包括对高速缓存模型的改进。
HD电影模式(HDMV)支持不同语言的菜单。对于存储器，基本上每个菜单和语言都存在一个交互图形(IG)流。关于语言，IG流提供了语言标识符。该标识符存储在相关的clpi-file中。为播放器定义了自动选择过程。用户可以随时切换菜单语言偏好。
根据本发明，还应该在BD-J中有效地支持多语言特征。优点是避免用户混淆。这需要对当前的高速缓存架构进行如下所述的改进。
进行以下假设对于诸如HD兼容的位图、声音等，资源的内存消耗可能很高。因此，值得有效地相对于高速缓存进行处理。
当前模型的缺点是，在标题的有效期间内应用程序的高速缓存是固定的，即，不能重新加载该应用程序，因此使用效率低。可能不能完全高速缓存资源。应用程序一次只需要一种特定语言的资源。因为在标题期间高速缓存是固定的，这需要处于对每个单一非高速缓存的资源文件的访问的至少一个盘查找。这表示视频重放被严重地中断。
这在图4中进行描述。当播放器已将诸如日语和荷兰语的菜单资源加载到其应用程序高速缓存器(ACM)时，因为例如这些是在盘上最先找到的，并且用户选择了韩语，所以拾取器必须从盘中获得该资源，而不能将其高速缓存于静态ACM。另一方面，不能简单地清除其ACM，因为ACM还包括了不断需要的诸如库类文件。因此，选择性地清除ACM的一部分是有利的。
本发明提出了添加一种在标题开始时进行语言相关的高速缓存的机制。对于支持如上所述的“自动开始”播放列表的无缝重放，是需要该机制的。媒体重放不应由于将语言特定的JAR文件加载到ACM中而被中断。此外，根据本发明，可在标题期间替换高速缓存的语言资源。因此，在语言改变时，只需要单一的盘查找/访问。
图1示出了在根据本发明的ACM中语言资源的替换。在标题开始时，加载第一语言(日语)资源以及JVM所需要的类库文件。通过使用播放器的优选菜单语言寄存器来确定第一语言。如图所示，ACM只包含一种语言的资源，并且因此ACM没有满。在标题开始之后，用户将所需要的菜单语言变成诸如荷兰语。此时，播放器以适当的手段确定了ACM用于容纳日语资源的部分，检测这些资源并从盘加载荷兰语资源，从而替换了日语资源。
在盘上，一种语言的资源可分布到多个文件中，例如JAR文件。这在图1中示出了。因此，对于特定的目的，每种语言只有一个档案文件是必要的，因此当选择另一菜单语言时，很容易将其找到并加载。
在如图2所述的Java对象的高速缓存信息列表中定义了一组JAR文件。此JAR文件组是JAR文件的集合，其中组里的每个JAR文件被分配了一种语言属性。这可以是诸如ISO6393-字母的语言代码。
与现有技术的高速缓存相比，本发明包括改进的高速缓存模型。在选择标题时，播放器高速缓存组中的一个JAR文件，即，与存储在特定PSR中的菜单语言的用户界面相匹配的文件。对于菜单语言偏好不与组里的任何文件相匹配的情况下，可定义缺省。附加的机制允许在标题有效期间高速缓存/解缓存JAR文件。
有利地，选择性的高速缓存防止高速缓存/解缓存机制在标题开始时中断自动开始播放列表的重放。
标题开始的基本顺序如下播放器如JAVA对象内的列表(表格1)所示地对JAR文件进行高速缓存。因此，包括语言相关的JAR文件。其后，启动自动开始播放列表，如果提供了的话。其后，启动实际的应用程序。此时，此应用程序可以在不中断自动开始播放列表的情况下，从高速缓存中访问语言相关的资源。
本发明的一个方面是以Java对象定义了语言组，改进了所描述的在标题开始的高速缓存模型，以及允许在标题有效期间对资源文件进行高速缓存和解缓存的附加机制。其中，以下其它的选择也是可能的任一机制可为播放器所控制，这样在用户操作以改变语言时进行高速缓存资源的替换。或者也可为应用程序所控制，例如，通过应用程序编程接口(API)或触发的类加载器，即高速缓存从盘加载的每个文件。
本发明可用于支持多语言菜单的媒体的重放设备，其中从介质中读出语言相关的数据。如果需要消耗时间来对这些数据的一部分进行进一步处理，本发明是特别地有利，以防止用户不必要的长时间等待。
权利要求
1.一种方法，用于选择性地对与音频-视频(AV)呈现相关的软件应用数据进行高速缓存，所述方法包括步骤-从存储介质中读取数据结构(AppCacheInfo)；-从数据结构(AppCacheInfo)中提取数据集合(file_name)；列表，其中，所述数据集合具有相关联的语言属性(language_code)；-读取优选菜单语言的标识符；-将所述数据集合的语言属性与优选菜单语言的标识符进行比较；-在同当前数据集合相关联的语言属性与优选菜单语言的所述标识符相匹配时，将当前数据集合存储在高速缓存器中，否则不将当前数据集合存储在高速缓存器中；-在存储或不存储来自所述列表(AppCacheInfo)的最后数据集合之后，在从存储介质中取回和/或呈现第一AV数据(自动开始播放列表)的同时处理存储在高速缓存器中的数据集合；以及-在AV呈现期间，基于已处理的数据集合，执行软件应用。
2.如权利要求1所述的方法，还包括初始步骤检测标题选择请求以及基于从第一存储介质中读取的文件来产生或更新虚拟文件系统(VFS)，其中，响应于标题选择请求，执行产生或更新虚拟文件系统(VFS)以及确定并读取数据结构(AppCacheInfo)的步骤。
3.如权利要求1或2所述的方法，其中，处理高速缓存的数据文件包括为建立Java虚拟机而准备存档的Java代码。
4.如前述任一权利要求所述的方法，其中，所述软件应用是被AV呈现覆盖的控制菜单。
5.如前述任一权利要求所述的方法，其中，在数据结构中定义了一组可选择性使用的数据集合，所述组包括用于相同目的或应用但用于不同语言的文件。
6.一种用于执行与音频-视频(A/V)呈现相关的软件应用的方法，包括步骤-从可拆卸的存储介质中读取具有相关的语言标记的软件应用数据；-读取存储的优选语言标识符；-将优选语言标识符和与所读取的数据相关联的语言标记进行比较；-选择性地对具有与优选语言标识符相匹配的语言标记的数据进行高速缓存；-从可拆卸的存储介质中取回AV数据用以呈现；-处理高速缓存的数据；以及-在从可拆卸的存储介质中取回AV数据用以呈现的同时，基于已处理的数据来执行软件应用。
7.一种用于选择性地对与音频-视频(AV)呈现有关的软件应用数据进行高速缓存的设备，包括-用于从存储介质中读取数据结构(AppCacheInfo)的装置；-用于从数据结构(AppCacheInfo)中提取数据集合(file_name)列表的装置，其中，所述数据集合具有相关联的语言属性(language_code)；-用于读取优选菜单语言的标识符的装置；-用于将所述数据集合的语言属性与优选菜单语言的标识符进行比较的装置；-用于如果同当前数据集合相关联的语言数据与优选菜单语言的所述标识符相匹配，则将当前数据集合存储在高速存储器中，否则不将当前数据集合存储在高速缓存器中的装置；-用于在存储或不存储来自所述列表(AppCacheInfo)的最后数据集合之后，在从存储介质中取回和/或呈现第一AV数据(自动开始播放列表)的同时，处理存储在高速缓存器中的数据集合的装置；以及-用于在AV呈现期间，基于已处理的数据集合来执行软件应用的装置。
8.一种用于执行与音频-视频(AV)呈现相关的软件应用的设备，包括-用于从可拆卸的存储介质中读取具有相关联的语言标记的软件应用数据的装置；-用于读取所存储的优选语言标识符的装置；-用于将优选语言标识符和与所读取的数据相关联的语言标记进行比较的装置；-用于选择性地对具有与优选语言标识符相匹配的语言标记的数据进行高速缓存的装置；-用于从可拆卸的存储介质中取回AV数据用以呈现的装置；-用于处理高速缓存的数据的装置；以及-用于在从可拆卸的存储介质中取回AV数据用以呈现的同时，基于已处理的数据来执行软件应用的装置。
9.一种包括多个不同标题的数据结构的存储介质，其中，每个所述标题都包括Java应用数据的至少一个特定标题的档案文件，其中，每个所述档案文件都具有相关联的语言标记。
10.如前一个权利要求所述的存储介质，其中，所述语言标记是元数据标记，并且所述数据文件是Java档案(JAR)文件，并称之为菜单。
全文摘要
一种用于产生多语言菜单的方法，包括在存储介质上将根据语言的菜单资源文件分组，并只选择那些来自标有与对应播放器的优选菜单语言相匹配的标识的组的菜单资源文件。
文档编号G06F9/44GK101073052SQ200580041662
公开日2007年11月14日 申请日期2005年11月14日 优先权日2004年12月2日
发明者约布斯特·霍伦特鲁, 迪尔克·阿道夫, 拉尔夫·奥特斯曼, 卡斯滕·赫佩尔, 乌韦·扬森, 哈特穆特·彼得斯, 安德烈·舍韦措, 马尔科·温特 申请人:汤姆森许可贸易公司