Reducing the Upfront Cost of Private Clouds with Clairvoyant Virtual Machine Placement

Although public clouds still occupy the largest portion of the total cloud infrastructure, private clouds are attracting increasing interest from both industry and academia because of their better security and privacy control. According to the existing studies, the high upfront cost is among the most critical challenges associated with private clouds. To reduce cost and improve performance, virtual machine placement (VMP) methods have been extensively investigated, however, few of these methods have focused on private clouds. This paper proposes a heterogeneous and multidimensional clairvoyant dynamic bin packing (CDBP) model, in which the scheduler can conduct more efficient VMP processes using additional information on the arrival time and duration of virtual machines to reduce the datacenter scale and thereby decrease the upfront cost of private clouds. In addition, a novel branch-and-bound algorithm with a divide-and-conquer strategy (DCBB) is proposed to effectively and efficiently handle the derived problem. One state-of-the-art and several classic VMP methods are also modified to adapt to the proposed model to observe their performance and compare with our proposed algorithm. Extensive experiments are conducted on both real-world and synthetic workloads to evaluate the accuracy and efficiency of the algorithms. The experimental results demonstrate that DCBB delivers near-optimal solutions with a convergence rate that is much faster than those of the other search-based algorithms evaluated. In particular, DCBB yields the optimal solution for a real-world workload with an execution time that is an order of magnitude shorter than that required by the original branch-and-bound (BB) algorithm.

Introduction
Cloud computing is a computing paradigm that enables convenient, measurable, and on-demand network access to a pool of configured physical resources, such as CPU and memory. It can be categorized into three major deployment models: public clouds, private clouds and hybrid clouds [1]. Although public clouds still occupy the largest portion of the total cloud infrastructure, private clouds are attracting increasing attention from both industry and academia [2] because of their better security and privacy control. According to a 2017 survey [3] focusing on the adoption of cloud computing among IT professionals, 95% of respondents used cloud platforms, and 75% used private clouds or hybrid clouds. Moreover, previous studies [3,4] have revealed that a high upfront cost is among the most critical challenges associated with private clouds. Thus, there is a demand for efficient resource management methods those can reduce the scale of datacenters in order to popularize private cloud computing.
Although the existing resource management methods have been well exploited, most of them are designed for general or public clouds. There is a need for more research based on the distinctive characteristics of private clouds, such as their predictable workloads and limited resources, to develop more efficient resource scheduling methods for the private cloud environment. In recent years, researchers have proposed multiple resource management methods, including task allocation [5,6] and workflow scheduling [7] methods, for achieving various goals specifically in the private cloud environment.
The motivation of this work is to propose efficient virtual machine placement (VMP) methods for private clouds, in which resources are more limited and the workloads are more predictable than those of public clouds. The aim is to reduce the high upfront cost of datacenters, which is a key barrier to the popularization of private clouds. To achieve this goal, this work focuses on minimizing the number of servers (#servers), which can also contribute to energy efficiency. Reducing the #servers is one of the most straightforward and efficient methods of reducing the upfront cost of a private cloud since it can directly lower the costs of site use, server purchase, refrigeration, etc. Since resources are relatively limited in private clouds, we employ advance reservation [8,9] to increase the resource utilization ratio and reduce resource contention.
VMP is a critical resource management method for cloud computing to improve performance, lower resource consumption and reduce maintenance cost [10]. Many VMP methods have been proposed with various objectives, including effective load balancing, high energy efficiency, and high network traffic efficiency. However, the private cloud environment, in which resources are more limited and workloads are more predictable, has received little attention. As private clouds receive increasing interest from industry and academia, one of the emerging challenges of VMP is to determine how to conduct efficient scheduling to minimize the #servers and thus reduce the high upfront cost in the private cloud environment.
Although the majority of research and industry applications still focus on on-demand provision, advance reservation has been attracting increasing interest in the literature. Similar to the widely adopted appointment system [11], the advance reservation approach can improve the scheduling efficiency and mitigate resource contention by making use of additional time information. Applications of advance reservation in cluster computing [12,13] and grid computing [14,15] have been extensively researched to exploit its potential. In recent years, researchers have applied advance reservation in cloud computing to improve energy efficiency [9] and maximize revenue [8,16]. Moreover, cloud providers (e.g., Amazon 1 ) have also provided reserved instances to satisfy user requirements. Because of the more predictable workloads and the resource limitations in private clouds, advance reservation can be effectively employed to increase the resource utilization ratio and reduce resource contention.
Bin packing approaches are typically employed to address VMP problems. However, classic bin packing concentrates only on resources and ignores time information, which makes it difficult to address problems with an additional time dimension (e.g., advance reservation). Compared to classic bin packing, dynamic bin packing (DBP) can better handle VMP problems involving reservations since it considers time factors. By definition, DBP [17] aims to model scenarios in which items arrive and depart randomly. DBP can be further classified into clairvoyant and nonclairvoyant settings depending on when the scheduler becomes aware of the departure times of virtual machines (VMs). Initially, researchers focused on nonclairvoyant dynamic bin packing (NCDBP), in which the system does not know the departure times of VMs until they have departed. However, with advances in workload prediction techniques [18,19,20], clairvoyant dynamic bin packing (CDBP), in which the system becomes aware of the departure times of VMs when they arrive, has received increasing attention in recent years. Although efforts have been made to apply the DBP model in cloud computing, few studies have been conducted that have considered a heterogeneous environment or multidimensional resources, and this research gap impedes the further application of DBP in this context.
The present research is applicable to the following scenario: -The employees of an organization need to use computing resources to support their work. -The workloads are reasonably predictable and stable with regard to the required amounts of resources and their periods of usage. -The company is concerned with issues such as security and confidentiality and thus prefers a private cloud. -The organization hopes to minimize the datacenter size to reduce the upfront cost of building its own datacenter.
The main contributions of this paper are as follows: 1. A novel model and algorithm are proposed to reduce the upfront cost, which is the main barrier to the popularization of private clouds, by reducing the total #servers required. 2. A formal definition of the enhanced CDBP problem with a heterogeneous environment and multidimensional resources is presented to better address VMP problems with an additional time dimension. 3. A novel branch-and-bound algorithm with a divide-and-conquer strategy (DCBB) is proposed to deliver near-optimal scheduling solutions within an execution time that is significantly shorter than those required by the other search-based algorithms evaluated. 4. The previously proposed ant colony system with an order exchange and migration technique (OEMACS) is enhanced by endowing it with the ability to handle heterogeneous environments, multidimensional resources, and additional time information, thus making the algorithm more practical. 5. Various algorithms are analyzed, evaluated, and compared from different perspectives on real-world and synthetic workloads.
A list of common acronyms used throughout this paper is presented in Table 1 for the reader's convenience.
The remainder of this paper is organized as follows. Section 2 first introduces related work. Then, Section 3 explains the system model. Next, Section 4 presents the scheduling algorithms, and Section 5 describes the implementation and experiments. Finally, Section 6 concludes the paper.

Related Work
In this paper, CDBP is applied in VMP to enhance the classic VMP model with an additional time dimension, corresponding algorithms are designed to address the modified problem, and the proposed methods are analyzed. In this section, the existing methods those focus on VMP and CDBP models are introduced and discussed.

Virtual Machine Placement
VMP, an essential process for the initial placement of new VMs, has been extensively investigated in the literature [10,21,22,23,24] on cloud computing resource management. The goal of this process is to initially allocate VMs to servers based on certain objectives, including energy conservation [25,26,27], cost minimization [28,29], resource saving [30,31,32], and load balancing [33].
Researchers have applied numerous algorithms to achieve efficient VMP. Accurate algorithms such as linear programming [34], stochastic integer programming [35], and pseudo-Boolean optimization [36] have been studied to provide optimal scheduling solutions. Despite their accuracy, optimal algorithms are computationally prohibitive since VMP is well known to be an NP-hard problem [22]. To accelerate the scheduling process, many heuristic algorithms based on a first-fit (FF) strategy [22,37], a best-fit strategy [37,38], a worst-fit strategy [37] or a first-come-first-served strategy [39] have been proposed to reduce the execution time, at the cost of some decrease in accuracy. With recent advances in evolutionary algorithms, researchers have also applied algorithms such as the frog leaping algorithm [40], ant colony optimization [23,41], and genetic algorithms [24] for VMP to improve the scheduling performance. In 2016, Liu et al. [41] proposed OEMACS, an ant colony system with an order exchange and migration technique, which addresses VMP problems more effectively than other evolutionary and traditional algorithms do.
Although extensive studies have been conducted in the field of VMP, only a small number of these studies have focused on private clouds, in which the workloads are more predictable and resources are more limited. Researchers have applied the genetic algorithms [42,43] and an artificial bee colony algorithm [43] to address VMP problems in private clouds with a focus on power efficiency, but these studies did not consider the distinctive characteristics (e.g., predictable workloads and limited resources) of private clouds to improve their performance. To better handle such scenarios, a formal representation of the VMP problem combined with CDBP is presented in this paper, and efficient algorithms are proposed to handle this problem effectively and efficiently. In addition, several VMP algorithms designed for the classic model, including FF and OEMACS, are adapted for use within our proposed heterogeneous and multidimensional CDBP model to observe their performance and enable comparisons with the proposed algorithm.

Clairvoyant Dynamic Bin Packing
Resource-aware VMP has typically been abstracted into a bin-packing problem that consists of a situation in which several items need to be packed into the minimum number of bins [44]. Bin packing and its d-dimensional variants have been extensively studied [45,46,47,48] since the 1960s. Many approximation algorithms have been proposed for 1-dimensional bin packing [45]. Fernandez de La Vega and Lueker [46] proposed the first polynomial-time approximation scheme for 1-dimensional bin-packing problems and proved that no such polynomial-time approximation scheme is possible for 2-dimensional packing problems. In addition to the commonly considered case of homogeneous bins, several researchers have proposed algorithms for bin-packing problems in heterogeneous environments [48]. Although classic bin packing has been extensively employed to model resource-aware VMP, it encounters difficulties in describing time-enhanced cases, e.g., advance reservation.
DBP [17] is an extension of classic bin packing that additionally considers arrival time and duration, with items arriving and departing dynamically. Compared to classic bin packing, DBP can better model the advance reservation scenario and result in more efficient scheduling with time multiplexing. When DBP was first proposed and analyzed by Coffman et al. [17] for allocation problems in computer systems, they focused on the NCDBP case, in which the scheduler does not know the departure times of VMs until they depart. Coffman et al. [17] applied an FF strategy to reduce the #servers required and proved that no online algorithm can obtain a performance bound that is lower than the FF bound. Later, researchers applied this model to reduce the total server usage time. Li et al. [49] proved that the upper bound on the competitive ratio achieved with the FF strategy is 2µ + 13 and that the competitive ratio of the best fit is not bounded for µ. They then proposed a modified FF strategy to improve the competitive ratio to µ + 8 when µ is known. Subsequently, Kamali et al. [50] improved the upper bound on the competitive ratio to 2µ + 1, and Tang et al. [51] reduced the value to µ + 4.
In recent years, researchers have paid more attention to the application of CDBP to minimize the total usage time of servers. In contrast to the nonclairvoyant model, in CDBP, the scheduler can perceive the departure time of a VM upon its arrival, which enables more flexible scheduling. Ren et al. [52] proposed the duration-descending first fit (DDFF) algorithm, with an approximation ratio of 5, and the dual-coloring algorithm, with an approximation ratio of 4, as offline solutions. In 2017, Azar and Yossi [53] proposed a classify-by-duration FF strategy with a competitive ratio equal to the lower bound on the competitive ratio √ log µ of any online algorithm.
The DBP model, which enables more efficient and flexible resource scheduling using the additional time dimension, seems promising for application in the private cloud environment, in which workloads are predictable and controllable. However, despite the great efforts researchers have directed toward DBP, their contributions have remained limited to homogeneous environments and 1-dimensional resources to simplify the work. Moreover, as shown above, most research on DBP has sought to minimize the usage time of all servers. In this paper, a heterogeneous and multidimensional CDBP model and DCBB algorithm are proposed that can handle heterogeneous environments and multidimensional resources in order to minimize the total #servers required.

System Model
In this section, a novel heterogeneous and multidimensional CDBP model is presented for the VMP problem in private clouds, in which the workloads are predictable and resources are limited. This model aims to better characterize the real-world VMP problem by providing a more detailed description of resources and time factors. In addition, with the additional arrival and duration information provided by the model, the scheduler can perform more efficient scheduling through time multiplexing. To provide a formal representation of the model, the VMs and servers are first defined; then, the time-enhanced constraints and objectives are clarified; and finally, the presented model is analyzed.
Let S = (s 1 , s 2 , ..., s m ) and V = (v 1 , v 2 , ..., v n ) denote the set of servers and the set of VMs, respectively. The VM v j in V consists of a triple (a j , p j , r v j ), where a j is the arrival time, p j is the usage duration, and r v j represents the resources that v j demands. Thus, v j represents that a VM demanding r v j resources arrives at time a j and remains for a period of p j . It is assumed that a j ≥ 0 and p j ≥ 0 for all j. Regarding servers, each server s i in S can be simply represented by its resources r s i since it does not need an additional time dimension. Given that l types of resources in total are considered, the resources associated with the server s i and the VM v j can be represented as r s i = (r s i1 , ..., r s il ) and r v j = (r v j1 , ..., r v jl ), respectively. Moreover, for each VM v j , there exists at least one server s i satisfying r s ik ≥ r v jk , ∀k ∈ 1, 2, ..., l. Then, the heterogeneous and multidimensional CDBP model for VMP can be presented  its value is 1 if the execution time of the j th VM contains t and is 0 otherwise x ij A variable indicating whether the j th VM is assigned to the i th server; its value is 1 if the j th VM is assigned to the i th server and is 0 otherwise as follows.
The symbols used in the formulae are explained in Table 2. As Eqs. (1) to (5) indicate, the proposed model considers the uptime of the VMs, which enables more flexible and efficient resource scheduling. Furthermore, because it considers heterogeneous and multidimensional resources, the model can better reflect real-world scheduling problems. The objective is to minimize the total #servers required (i.e., minimize the datacenter scale), as shown in Eq. (1). If required, the objective function can be modified based on the user requirements. The constraints given in Eq. (2) indicate that, at any time, each server should have an amount of resources equal to or greater than the total resources demanded by all the VMs that it is accommodating. Specifically, the left-hand side of Eq. (2) represents the total amount of the k th resource demanded from the i th server by all VMs, while the right-hand side represents the total amount of the k th resource possessed by the i th server. Moreover, the constraints in Eq. (3) ensure that every VM is scheduled to one and only one server; this indicates that all VMs should be accommodated and that migration is not considered in this model. The constraints in Eq. (4) and Eq. (5) represent the ranges of x and u, respectively.  To provide an intuitive description of the proposed model, the allocation results obtained in the classic setting and in the CDBP setting are presented in Fig. 1(b) and Fig. 1(c), respectively, given the VM requests in Fig. 1(a). In Fig. 1, rectangles are used to represent the VMs, with the height representing the amount of resources, the width representing the duration, and the horizontal position representing the arrival time. To clearly visualize the allocation results, a is used to denote the amount of resources possessed by each server, as shown in Figs. 1(b) and 1(c). Note that resources can have multiple dimensions (e.g., CPU, memory, and SSD) and that the servers can be heterogeneous in the present model, although only one dimension is used to represent the resources in Fig. 1 to make the figure simpler and more concise. As shown in Fig. 1(b), under the classic model, the scheduler must allocate new resources for each VM because of the lack of time information. By contrast, as Fig. 1(c) indicates, the CDBP model allows different VMs, for example, vm 2 and vm 3 , to occupy the same resources in different periods to reduce the required #servers. The resultant #servers required to accept all requests is 4 in the classic setting and 2 in the CDBP setting. Thus, it can be concluded that the CDBP model can decrease the total #servers required to accept all requests by means of time multiplexing.
There are several special forms available for requests in the proposed model, as follows: 1. arrival time = 0: the request should be executed immediately, without a reservation. 2. execution time = ∞: the duration of the request is undetermined, and the demanded resources should be reserved until it terminates. 3. arrival time = 0 and execution time = ∞: the request will be degraded into a classic request since it does not provide any valid time information.
The use of these three special forms in the CDBP model is not recommended because they will reduce the degree of time multiplexing. In addition, from the third form, we find that the request under the CDBP model is more general than the original one, which indicates a wider range of application. As shown in Eq. (1), the aim is to minimize the #servers, thus reducing the upfront cost, while accepting all VMs. However, other objectives (e.g., load balancing and cost minimization) can also be adopted. Section 4 will present the algorithms proposed to address the VMP problem with an additional time dimension derived from the heterogeneous and multidimensional CDBP model introduced in this section.

Scheduling Algorithms
To handle the problem derived from the model proposed in Section 3, this section proposes DCBB algorithm and improves the state-of-the-art algorithm OEMACS and the classic algorithm DDFF. First, the motivations for and requirements of the algorithms for use within our proposed heterogeneous and multidimensional CDBP model are introduced. Then, we present the improved versions of DDFF and OEMACS, namely, DDFF + and OEMACS + , that have been adapted for use within the proposed model. Finally, the DCBB procedure and its theoretical analysis are shown.

Motivations and Requirements
Although various algorithms for the classic VMP problem have been proposed, as described in Section 2, there is a need to design novel algorithms or improve existing algorithms to handle the additional time dimension in the CDBP model. Although the time dimension can be addressed in a time-sequential fashion using the classic online algorithms, their accuracies need to be improved, as shown in Section 5. Therefore, the DCBB algorithm is proposed to effectively and efficiently handle the VMP problem with the additional time dimension. In addition, DDFF and OEMACS are modified for use within the proposed model to observe their performance with additional time information and to compare them with the proposed DCBB algorithm.
A practical VMP algorithm under the proposed model should satisfy the following requirements.
R1. Multidimensional resources [40]: the algorithm should be able to handle resources with multiple dimensions, although some algorithms will become slower as the number of resource dimensions increases. R2. Heterogeneity [40]: the algorithm should consider heterogeneous environments, in which servers have different amounts of resources, since such environments are a common feature of cloud datacenters.
R3. Time dimension [54]: the algorithm should be able to handle the time dimension, which is the key feature of the CDBP model. Time multiplexing should be enabled to increase the resource utilization ratio and thus reduce the #servers required to accommodate VMs. R4. Availability [8]: the algorithm should ensure that resources are reserved in the appointed period for every accepted VM request, which is the basic requirement of the advance reservation mechanism.
The following subsections present the improved algorithms DDFF + and OEMACS + and the proposed algorithm DCBB.

Duration-Descending First Fit with a Shuffling Process
In the literature, Runtian et al. [52] proposed the DDFF and dual-coloring algorithms to minimize the total usage time of servers under the CDBP model, with approximation ratios of 5 and 4, respectively. In this subsection, the aim is to modify the DDFF algorithm to minimize the #servers in a heterogeneous environment with multidimensional resources. Although the dual-coloring algorithm has a lower approximation ratio, the difficulty of enhancing it to consider multidimensional resources impedes its application to our proposed model. DDFF first sorts the VMs in descending order by duration and then allocates the VMs in an FF manner. It can be easily adapted to a scenario with multidimensional resources because of its natural features. However, FFbased algorithms such as DDFF, which were originally designed for scenarios with 1 resource dimension, generally have difficulty sorting servers by their resources in a multidimensional-resource scenario since no inclusion relationship exists in this case. Inspired by [41], DDFF + has been designed as an improved version of DDFF with an additional shuffling process to improve the scheduling performance. In addition, FF + has been designed using a similar improvement technique, although the detailed procedure is not presented here to avoid repetition. The pseudocode for DDFF + with a shuffling process is shown in Algorithm 1.

Algorithm 1: DDFF +
Input: a set of n VMs, vmSet; a set of m servers, serverSet Output: an allocation of the VM requests in vmSet to the servers in serverSet In Line 1 of Algorithm 1, the VMs are sorted in descending order by duration, with the aim of improving the accuracy of the algorithm. In Line 2, the servers are shuffled to improve the scheduling performance in multidimensionalresource scenarios (R1) and heterogeneous environments (R2). The effectiveness of the sorting and shuffling processes has been demonstrated through experiments (Section 5). When the algorithm judges whether a server can accommodate a VM, as shown in Line 6, every resource dimension (R1) and the time dimension (R3) are simultaneously considered. Once a server that can accommodate the VM is found, the corresponding demanded resources will be reserved for the VM (R4), as shown in Line 7.
Now that the details of DDFF + have been introduced, it can be proven that it is a polynomial-time algorithm with a time complexity of O(nlogn) + O(mn), where m and n are the #servers and the number of VMs (#VMs), respectively. Although this algorithm has a fast processing speed, its outcome is generally far from the optimum. To compensate for this degradation in accuracy, two more algorithms are presented below that are designed to achieve more accurate scheduling solutions.

Time-aware and Multidimensional OEMACS
As mentioned in Section 2, the OEMACS algorithm [41] performs better than the conventional heuristics and other evolutionary algorithms when addressing the classic VMP problem in heterogeneous environments (R2). The local search techniques, namely, order exchange and migration, proposed by the authors for the ant colony system contribute to the impressive performance of OEMACS. Inspired by this algorithm, OEMACS + has been designed to consider the additional time dimension (R3) and the possibility of advance reservation (R4), allowing this algorithm to be applied to our proposed heterogeneous and multidimensional CDBP model. Furthermore, OEMACS + is also enhanced in terms of its consideration of multidimensional resources (R1), whereas OEMACS was originally designed for only two resource dimensions. To achieve the above goals, the majority of OEMACS was preserved, with the main modifications being concentrated in only a few formulae. The modified formulae are shown in Eqs. (6) to (10), and the notations used are explained in Table 3. 1. The expression for identifying feasible servers is modified to ensure that the total amount of resources demanded by all VMs is not larger than the capacity of the target server in every resource dimension at any time, as shown in Eq. (6).
2. The expressions for the heuristic information (Eq. (7)), overload ratio (Eq. (8)), heuristic objective (Eq. (9)) and global pheromone updating operation (Eq. (10)) are improved by calculating the average remaining The set of servers utilized at time t P id The total amount of the d th resource possessed by the i th server R itd The remaining amount of the d th resource of the i th server available at time t S A solution to the VMP problem S b The best solution in the current iteration T (i) The execution period of the i th VM v id The amount of the d th resource demanded by the i th VM y i A variable indicating whether the i th server is used (y i = 1) or not (y i = 0) resource ratio during a time period considering all resource dimensions, as shown below.
Through the modifications shown in Eqs. (6) to (10), OEMACS + can be applied in our proposed heterogeneous and multidimensional CDBP model for enhancing the classic ant colony system with order exchange and migration as local search techniques. A brief explanation of the modified formulae is presented here, and the reader can refer to [41] for more details. First, Eq. (6) is used to select the feasible servers that have sufficient resources for the VM. Then, the heuristic information that is used to guide the greedy search is calculated using Eq. (7). The overload ratio calculated in Eq. (8) represents the difference between the required and total resources after a VM has been accommodated. Then, the heuristic objective expressed in Eq. (9) is used to evaluate the solution. Finally, Eq. (10) is used to calculate the global pheromone, which guides the construction of better solutions.

Branch-and-Bound Algorithm with a Divide-and-Conquer Strategy
Although the classic BB algorithm can yield the optimal solution when applied to the linear programming model introduced in Section 3, its execution time is beyond tolerance, especially in large-scale cases. In this subsection, we propose the DCBB algorithm, which is based on the BB algorithm and includes an additional divide-and-conquer process to improve the scheduling efficiency with little to no degradation in accuracy. To achieve this goal, DCBB first clusters the VMs into several VM sets, then works out the scheduling solutions for each set, and finally merges these subsolutions into the final one.
The main DCBB procedure is as follows. As shown above, rather than scheduling the VMs as a unit, the DCBB algorithm employs a divide-and-conquer strategy to handle the problem more efficiently. Step 1 enables time multiplexing (R3) by clustering the VMs into several VM sets based on time information. Then, these sets of VMs are scheduled separately in Steps 2 and 3, and finally, the subsolutions are merged without resource contention (R4) in Step 4. Although the original BB algorithm can be used to solve the VMP problem with multidimensional resources (R1) in heterogeneous environments (R2), it is computationally prohibitive. Through the divide-and-conquer process, DCBB achieves significantly improved efficiency at the cost of a minor degradation in precision, as demonstrated in Section 5. The pseudocode for DCBB is shown in Algorithm 2. In this algorithm, Line 1 corresponds to the clustering process, while Lines 2 to 5 represent the processes of solving and merging. Various clustering algorithms have been designed such that the CSs will satisfy the two conditions described in the DCBB procedure. However, in the current work, the different clustering algorithms perform similarly in both the theoretical analysis presented later in this subsection and the experiments we conducted. Thus, only one clustering algorithm, namely, most-greedy clustering (MGC), is presented here to demonstrate the process. The main strategy of MGC is to iteratively find the CS of the maximum size. The pseudocode presented in Algorithm 3 shows that MGC mainly involves the following steps: 1. Build a CS with the largest VM set in which the execution times of every two VMs overlap with each other. (Lines 3-5) 2. Place all remaining VMs whose execution times overlap with that of any VM in a CS into the LS. (Lines 7-11)

A(V ) #servers required by algorithm A for VM set V ls
The LS generated by a clustering algorithm OPT The optimal algorithm p(v) The run time of VM v scs The SCS generated by a clustering algorithm 3. Repeat Steps 1 and 2 until all VM have been clustered into a set. (Lines 2-11) Steps 1 and 2 guarantee that the execution times of any two VMs in a CS will overlap with each other and that no two VMs in different CSs will overlap, while Step 3 ensures that all VMs will be clustered into VM sets, based on which they will be scheduled later. VMs. It shows that vm 4 -vm 7 constitute the maximal set of overlapping VMs, the size of which is 4. Thus, MGC first puts vm 4 -vm 7 into cs 1 . Then, vm 3 is clustered into the ls since its execution time overlaps with that of vm 4 . Finally, MGC clusters vm 1 and vm 2 into cs 2 since their execution times overlap.
Although much more theoretical research on DCBB and suitable clustering algorithms needs to be conducted, some of the features of the clustering algorithm and its influence on DCBB have already been discovered, as described by the following lemmas and theorems, in which the abbreviations listed in Table 4 are used.
Proof Assume that the lemma is invalid. Suppose that clustering algorithm a 1 yields SCS scs 1 = {cs 11 , cs 12 , ..., cs 1n } and that clustering algorithm a 2 yields SCS scs 2 = {cs 21 , cs 22 , ..., cs 2n } and LS ls . Then, for any v i ∈ ls , there must exist two VMs v k1 and v k2 belonging to the same CS cs 2j in scs 2 that satisfy Eqs. (11) to (13): From Eqs. (12) and (13), it can be inferred that v i and v k1 belong to the same cs 1k since both v i and v k1 should belong to the same CS as v k2 does in scs 1 . However, according to Eq. (11), v i and v k1 cannot be clustered into the same CS. Thus, the lemma is validated because the assumption fails. Since the following holds: Since the BB algorithm is ideally accurate, it can be inferred that DCBB yields the optimal solution.
Theorem 1 If one clustering algorithm yields |ls| = 0, then DCBB integrated with any clustering algorithm will yield the optimal solution.
Proof Theorem 1 can be deduced based on Lemma 1 and Lemma 2.
Lemma 3 If clustering algorithm a yields |ls| = 0 and the VMs v a and v b are clustered into the same CS cs i by algorithm a, then v a and v b will be clustered into the same CS by all clustering algorithms.
Proof Assume that v a and v b are clustered into different CSs produced by a certain clustering algorithm. Then, p(v a ) ∩ p(v b ) = ∅. However, it can be inferred that p(v a ) ∩ p(v b ) = ∅ since v a and v b are both clustered into cs i by algorithm a, which leads to a contradiction.

Lemma 4
If one clustering algorithm results in |ls| = 0, then all clustering algorithms will yield the same results.
Proof For any two clustering algorithms a 1 and a 2 , if a 1 yields scs 1 = {cs 11 , cs 12 , . . . , cs 1m }, then a 2 yields scs 2 = {cs 21 , cs 22 , . . . , cs 2n } without the LS because of Lemma 1. Assume that v x belongs to cs 1i and cs 2j . If cs 1i is different from cs 2j , then a VM v y must exist such that either v y ∈ cs 1i and v y / ∈ cs 2j or v y / ∈ cs 1i and v y ∈ cs 2j . Thus, v x and v y are clustered into the same CS only in scs 1 or scs 2 , which contradicts Lemma 3.
Proof The proof can be divided into two separate cases: (i) When |ls| = 0, DCBB(vmSet) = OPT(vmSet) according to Lemma 1. (ii) When |ls| > 0, let vmSet = vmSet − |ls|. Since vmSet can be clustered into CSs, the following equation is satisfied according to Lemma 1: The worst case for DDFF(vmSet) is |ls| when each VM in ls needs to be scheduled to a different server. Thus, it can be inferred that Consequently, Theorem 2 is satisfied for any |ls|.
As shown above, no resource-related features are involved in the deductions of Lemmas 1 to 4 and Theorem 1, which indicates that the conclusions satisfy requirements R1 and R2 well. Furthermore, Theorem 1, Lemma 1, and Lemma 2 represent the typical conditions under which R3 can be best fulfilled. Since all VMs can be clustered into several independent VM sets that do not overlap with each other, DCBB can achieve the optimal solution by merging the subsolutions for each subset under these conditions. Moreover, because all the VMs can be clustered into either a certain CS or the LS, based on which they will later be scheduled to a certain server, R4 is not violated during the clustering process. In addition, Theorem 2 presents the upper bound of our proposed DCBB algorithm.

Implementation and Experiments
In this section, experimental results are presented to evaluate and compare various algorithms, including BB, DCBB, OEMACS + , DDFF + , and FF + , in our proposed heterogeneous and multidimensional CDBP model. The main metrics used for evaluation are the accuracy and execution time of each algorithm. As mentioned in Section 2, the scheduling problem in the proposed model is NP-hard; thus, obtaining an optimal solution (the least #servers required) in a reasonable time is computationally infeasible. Therefore, as widely adopted in the literature [27,30,40,41,42], we assess the accuracy on the basis of the #servers, where a smaller #servers indicates a higher accuracy. In the following, Subsection 5.1 first introduces the workloads. Then, Subsections 5.2 to 5.6 describe experiments conducted to answer the following questions: Finally, Subsection 5.7 summarizes the experimental results.

Workloads
A real-world workload is considered to observe the practical performances of the algorithms. In addition, synthetic workloads are generated to observe the influence of the #VMs and time distribution on the algorithms. Furthermore, as shown in Table 5, 8 types of VMs were selected from the Amazon Elastic Compute Cloud (EC2) 2 to serve as workloads, and 3 types of servers were selected on the basis of the products available from Inspur Technologies Co., Ltd. 3 , to make the experimental environment more similar to a real-world scenario. The selected types of both VMs and servers include CPU-intensive, memory-intensive and SSD-intensive representatives to cover a general set of cases.
In addition, a uniform distribution U (a, b) and a Gaussian distribution N (µ, σ 2 ) are used to simulate the arrival times and durations, respectively of the VMs.
The details of the workloads are as follows.
-Workload I: real-world workload Considering the completeness and quality of the workloads, we selected two real-world datasets, namely, "RICC" and "UniLuGaia", from the "Logs of Real Parallel Workloads from Production Systems" [55] to evaluate and compare the accuracy and efficiency of the algorithms. In contrast to synthetic data, these real-world datasets have long time spans, sparse VM distributions, and occasionally incomplete records. Thus, data cleaning was first performed on the two datasets to improve the significance of the experiments. Considering the computational capacity of the experimental environment, 500 qualified records extracted from each dataset were used to conduct the experiments.  -Workload II: varying #VMs and fixed time distributions Workload II, in which the total #VMs varies from 24 to 336 while the distributions of the VM arrival times and durations are fixed, as shown in Table 6, was generated to illustrate the influence of the #VMs.
-Workload III: fixed #VMs and varying time distributions Workload III was designed to study the influence of time distributions on the algorithms. The total #VMs of this workload is fixed at 160. For the time distributions, both the upper bound b on the arrival times and the mean duration µ vary between 60 s and 420 s, while the lower bound a on the arrival times and the variance σ of the durations remain unchanged, as shown in Table 6.
The scheduling algorithms were evaluated and compared using the above workloads in a KVM-based VM with 8 VCPUs and 16 GB of memory. A private cloud platform was built using OpenStack 4 to observe the performances of the proposed model and algorithms. A simulated environment was also established in which to conduct large-scale experiments. In the following sections, we do not differentiate the real and simulated experimental environments since they do not affect the scheduling results.

Experiment on the Real-World Workload
In this subsection, Workload I is employed to check the performances of the algorithms on real-world datasets, which is a key component of the evaluation and comparison. The results are shown in Fig. 3, with dotted lines indicating the fewest #servers required by the algorithms.
First, the execution times are compared. As shown, DDFF + and FF + require less than 0.1 s to yield the solutions, which is much less than the times required by the other algorithms. The execution times of DCBB and OEMACS + are approximately dozens of seconds, whereas BB requires the most time -several hundreds of seconds.
In terms of the #servers required by each algorithm, DCBB and BB achieve the optimal results, requiring 19.46% and 20.13% fewer servers on average than the DDFF + and FF + algorithms do, respectively. DDFF + requires the third fewest servers on the RICC dataset; however, it has the worst accuracy on the UniLuGaia dataset. OEMACS + and FF + have accuracies similar to that of DDFF + .
To summarize, DCBB achieves the same optimal solution as BB does with an execution time that is an order of magnitude shorter. Moreover, OEMACS + requires nearly the largest #servers with a relatively long execution time, which may be caused by the additional problem complexity introduced by the additional time and resource dimensions. Furthermore, the FF-based algorithms can produce a scheduling solution within a trivial execution time, indicating that they are suitable for real-time scheduling. In the following subsections, more comprehensive analyses of the algorithms will be presented based on synthetic data.

Convergence Rate Comparison
As search-based algorithms, DCBB, BB, and OEMACS + can deliver better solutions given longer execution times, up to the time when the optimal solution is found. In particular, BB can theoretically always produce an optimal scheduling solution given enough time. However, the execution time cannot be arbitrarily long. Thus, the convergence rates of these algorithms should be studied to evaluate their performance and achieve a suitable compromise between accuracy and efficiency. In this subsection, DCBB, BB, and OEMACS + are applied to Workload II to compare the convergence rates of these algorithms. Fig. 4 shows that the total #servers required by DCBB decays exponentially with an increasing execution time, and thus, the convergence rate of this algorithm becomes the fastest. Furthermore, DCBB converges before 50 s in most cases. In contrast, the convergence rate of BB is much slower, with a nearly linear decay after a period of unchanging results. The missing data of BB after 50 s in Fig. 4(d), where the #VMs is 312, is caused by the excessive computational resource requirements of this algorithm. In the other cases shown in Figs  It can be concluded that DCBB achieves the fastest convergence rate, OEMACS + yields nearly unchanging results over time, and BB has the slowest convergence rate. In the following subsections, time limits of 50 s and 1000 s are set for DCBB and BB, respectively, and an iteration limit of 5 is set for OEMACS + to balance the accuracy and efficiency of these algorithms according to the results shown in Fig. 4.

Effectiveness of Shuffling
In this subsection, the improved algorithms FF + and DDFF + are compared with the original algorithms FF and DDFF using Workload II to observe the effectiveness of the shuffling process.
In Fig. 5(a), the lines representing the #servers required by FF + and DDFF + lie below those for FF and DDFF, indicating that the shuffling process reduces the total #servers required. Moreover, the effectiveness of the shuffling process becomes more evident as the #VMs increases. Furthermore, the two nearly overlapping lines in Fig. 5(a) indicate that the duration-descending process does not have much impact on the #servers under our proposed heterogeneous and multidimensional CDBP model.
Regarding the execution time, Fig. 5(b) implies that the shuffling process does not incur much extra time. Although FF and DDFF require shorter execution times when the #VMs is small, the difference disappears as the #VMs increases. The extra execution time incurred by the shuffling process is thus regarded as trivial compared to the time required for the total scheduling process and the perturbations caused by different server orders.
From the experimental results in this subsection, it can be concluded that the shuffling process can slightly reduce the #servers required by FF and DDFF. Moreover, the additional time incurred by the shuffling process is trivial, particularly when the #VMs is large.

Influence of the Number of Virtual Machines
In this subsection, the algorithms are evaluated and compared on workload II, in which the #VMs varies. Table 7 lists the average #servers and execution time of each algorithm for each #VMs. Data for BB are not available when the #VMs exceeds 240 because the computational resources of the experimental environment are no longer sufficient to support BB in these cases. Table 7 shows that DCBB yields better results than DDFF + , FF + , and OEMACS + do in much less time than that required by BB. Although BB generally yields a slightly smaller #servers than DCBB does when the #VMs is less than 192, it requires a longer execution time and an enormous amount of computational resources. Furthermore, DCBB yields the smallest #servers when the #VMs exceeds 192. The performance of OEMACS + is not desirable, as it often requires both the largest #servers and a relatively long execution time. In addition, DDFF + and FF + always output similar results for the #VMs in less than 0.1 s, which is a trivial execution time compared to those of the other algorithms.
The results in this subsection show that a larger #VMs can cause an increase in the resulting #servers. Moreover, BB yields the smallest #VMs, though with a long execution time, when the problem scale is small. However, ideally accurate algorithms (e.g., BB) cannot handle large-scale problems because of their prohibitive computational complexity. In addition, this experiment demonstrates that DCBB can achieve a suitable tradeoff between accuracy and efficiency, as it can output near-optimal results within 60 s. Al- though DDFF + and FF + do not yield better results than that of DCBB, they can produce a scheduling solution within less than 0.08 s, which is suitable for real-time scheduling.

Influence of Time Factors
To investigate the influence of the VM arrival times and durations, the results obtained by the algorithms on Workload III, with varying distributions of the arrival times and durations of the VMs, are presented to show the resulting changes in the accuracy and efficiency of the different algorithms. Fig. 6 compares the results obtained with various upper bounds on the arrival time and various mean durations.
As shown in Fig. 6(a), the execution times of the algorithms do not change much with the variation of the time factors. Consistent with the previous results, BB takes the most time (approximately 1020 s), while DDFF + and FF + require only a trivial execution time (less than 0.1 s). Because BB does not terminate before the time limit (1000 s) is reached, it does not guarantee an optimal result.
From a comprehensive analysis of Figs. 6(b) to 6(d), it can be concluded that a shorter duration and a wider arrival time range both result in a lower #servers required by algorithms. These results are logical, as a sparser distribution of VMs can lead to a higher degree of time multiplexing, thus contributing to a smaller #servers. Although BB generally requires the fewest #servers, its execution time is long. Moreover, several outliers are produced by BB, as seen in Fig. 6(b), reflecting its instability under a time limit. Similar to the previous results, OEMACS + generally performs the worst in this experiment. Furthermore, DCBB yields the second smallest #servers, as shown in Figs. 6(b) to 6(d).
To summarize, a shorter duration and a wider arrival time range cause the algorithms to require a lower #servers, possibly because of a higher degree of time multiplexing. The execution time does not vary much with different time parameter settings. Consistent with the previous results, DCBB yields a near-optimal solution within a relatively short execution time, BB achieves the lowest #servers with the longest execution time, OEMACS + typically delivers unsatisfactory performance, and the FF-based algorithms have the fastest processing speed.

Summary
The experiments presented in Subsections 5.2 to 5.6 have answered questions Q1-Q5 posed at the beginning of Section 5: A1. BB and DCBB can both yield the optimal solutions on the real-world datasets considered here; however, DCBB requires an order of magnitude less time than BB does. Meanwhile, FF + and DDFF + can produce a scheduling solution within an insignificant execution time (less than 0.1 s), indicating that they are suitable for real-time scheduling. However, the performance of OEMACS + is not satisfactory in terms of either accuracy or efficiency. A2. DCBB has a much faster convergence rate than that of BB. As for OEMACS + , its scheduling solutions show almost no improvement with increasing execution time. A3. The shuffling process improves the accuracy of DDFF and FF with a trivial increase in the execution time. A4. A larger #VMs results in an increase in the #servers required. Furthermore, ideally accurate algorithms such as BB have difficulty handling large-scale problems because of their prohibitive computational complexity. A5. A shorter mean duration and a wider arrival time range for the VMs can result in a lower #servers while exerting little influence on the execution time.
In addition, the experiments also demonstrate that the proposed algorithms satisfy requirements R1-4 mentioned in Subsection 4.1. Since the algorithms can handle Workloads I-III, for which the resources are multidimensional and the servers are heterogeneous, R1 and R2 are satisfied. Furthermore, R3 is met because different VMs without overlapping execution times can share the same resources. R4 is also fulfilled since no VM requests are rejected in the experiments.
Overall, the experimental data confirm that DCBB can yield near-optimal scheduling solutions while having faster convergence rate than the other evaluated search-based algorithms do. The results also demonstrate that the FFbased algorithms have the fastest processing speed and that BB can produce the best solution when the problem scale is small. In addition, the experimental results for OEMACS + are unsatisfactory, possibly because of the extra problem complexity introduced by the additional time and resource dimensions. Furthermore, a wider arrival time range and a shorter mean duration for the VMs both cause a lower #servers to be required since they enable higher degrees of time multiplexing.

Conclusions and Future Work
To lower the expensive upfront cost of private clouds, this paper proposes DCBB, an effective and efficient VMP algorithm that is applicable to the heterogeneous and multidimensional CDBP model, to reduce the #servers required to accommodate VMs. The proposed model and algorithm employ time multiplexing to achieve more efficient and flexible scheduling. Theoretical analyses have been conducted to identify the upper bound and other features of DCBB. The experimental data clearly confirm the superiority of DCBB. It has been verified that DCBB can achieve near-optimal solutions while requiring significantly less execution time (by an order of magnitude on a real-world workload) than the BB algorithm does. The experimental results also show that DCBB has a much faster convergence rate than those of the other searchbased algorithms evaluated. Although the BB algorithm can yield the optimal solution in theory, it requires a long execution time and a large amount of computational resources and shows unstable performance when given a time limit. Moreover, the accuracies of the DDFF and FF algorithms have been improved by including an additional shuffling process, and the resulting algorithms can be applied for real-time scheduling because of their trivial processing time. In addition, the experimental results demonstrate that OEMACS + does not deliver the expected performance under the proposed model, possibly because of the extra problem complexity introduced by the additional time and resource dimensions. Furthermore, the experiments indicate that, in addition to a lower #VMs, a shorter mean duration and a wider arrival time range for the VMs can also cause a lower #servers to be required due to the higher degree of time multiplexing that can be achieved in this case.
Although extensive experiments have been conducted to evaluate and compare the algorithms considered here, the superiority of DCBB has not been fully theoretically proven. In addition, the influence of the adopted clustering algorithm on DCBB is not clear. Therefore, further theoretical analysis should be conducted to discover more features of DCBB and to enable further improvements.


FEIDEGGER: A Multi-modal Corpus of Fashion Images and Descriptions in German

The availability of multi-modal datasets that pair images and textual descriptions of their content has been a crucial driver in progress of various text-image tasks such as automatic captioning and text-to-image retrieval. In this paper, we present FEIDEGGER, a new multi-modal corpus that focuses specifically on the domain of fashion items and their visual descriptions in German. We argue that such narrow-domain multi-modality presents a unique set of challenges such as fine-grained image distinctions and domain-specific language, and release this dataset to the research community to enable study of these challenges. This paper illustrates our crowdsourcing strategy to acquire the textual descriptions, gives an overview over the FEIDEGGER dataset, and discusses possible use cases.

Introduction
Recent years have seen a renewed interest in text-image multi-modality and have seen the emergence of tasks such as automatically generating textual captions for a given image (Karpathy and Fei-Fei, 2015;Lu et al., 2016), using plain text descriptions to query images (Socher et al., 2014), and matching lexical tokens or constituents to regions in an image (Ma et al., 2015). This interest is driven by advances in multi-modal deep learning for computer vision (Vinyals et al., 2015;Karpathy et al., 2014) on the one hand, as well as the availability of paired text-image datasets on the other. Multi-modal text-image datasets. Commonly cited multimodal datasets either consist of user-captioned images from the web, such as FLICKR (Hodosh et al., 2013;Plummer et al., 2015) and online news (Hollink et al., 2016), or images for which crowd workers have produced visual descriptions (Rashtchian et al., 2010), such as the popular COCO dataset (Lin et al., 2014). In both cases, the textual data directly describes image content, thus enabling the above-mentioned lines of research. However, these datasets are often restricted to English language text and typically of relatively broad domain; The FLICKR caption datasets for instance contain images including landscapes, animals, and everyday scenes while the COCO dataset is similarly broad but contains more items per image. This makes such datasets difficult to apply for study of multi-modality in more narrow domains. In the domain of fashion items for instance, images are broadly similar and are often distinguished only by fine-grained differences such as the material, the neckline, brand logos, the cut and the style of the hem. Similarly, the language used in fashion is domain-specific, tailored specifically to highlight such fine-grained differences. We argue that such narrow domains present unique research challenges that require specialized multi-modal datasets. A multi-modal text-image corpus for fashion. With this paper, we introduce a novel dataset for research in narrowdomain multi-modality, called FEIDEGGER 1 . Contrary to 1 A rough acronym of "fashion image data and descriptions in previous datasets, we restrict the domain to images of one type of fashion item, namely dresses, and German-language visual descriptions. The dataset consists of 8,700 fashion items, each with a high resolution image and 5 independently collected textual descriptions of the item. The images are of each fashion item alone in front of a white background. Crowd workers were instructed to inspect each image and then produce a plain text description of the fashion item. For an example item in this dataset, see Figure 1. In the remainder we provide a description of our dataset and describe the design of our crowdsourcing approach. We qualitatively analyze the obtained data and find that the crowdsourced descriptions are of high quality and are finely detailed, which we attribute to our careful choices of experimental parameters. Finally, we provide a description of how we package this data and discuss expected use cases. We release FEIDEGGER to the research community to further research in narrow-domain multi-modality.

Dataset Creation
In constructing FEIDEGGER we employed a crowdsourcing approach to produce accurate and succinct descriptions of each fashion image that make reference to fine-grained non-generic image features. Our pipeline required careful monitoring of individual workers' performance using automated evaluation of test-questions as well as performing pilot studies. However, we did not place very high demands on language correctness in terms of spelling and grammar. Rather we accepted average language use as might be expected in user reviews or forums on the web. The details of our pipeline are given in the following sections.

Task Design: Pilot Study
We first conducted a pilot study using the crowdsourcing platform CROWDFLOWER 2 to test the design of our crowdsourcing task and identify potential quality issues.  Task design. Given the image of a fashion article workers were instructed to provide a German language description of the item. They were instructed to go into detail and write about 5 sentences. In order to discourage non-native speakers to participate in the task, we provided instructions in German language only and required workers to first complete a German-language tutorial. Study parameters and results. We conducted the initial study over 1000 fashion items and restricted workers to a maximum of 50 descriptions each. We restricted the pool of workers to (a) those based in a German-speaking country and (b) level 3 workers, who are the highest ranked workers according to the internal CROWDFLOWER system of evaluation. Upon manual inspection of the results we found the produced textual descriptions to be of a very high quality, likely due to our very restrictive parameters in selecting workers. However, we also identified the following issues: Short descriptions Although instructed to provide descriptions at reasonable length, some crowd workers provided very short descriptions, sometimes only a few words in length.

Unspecific descriptions
We found some descriptions of reasonable length to be generic descriptions that some crowd workers simply re-used for each fashion item, sometimes directly copied from the tutorial examples.
Non-German text Finally, there were a number of instances in which workers had responded in another language than German, such as Polish.
While the issues of short and non-German crowd answers are fairly straightforward to address with automatic verification methods, the problem of catching workers that provide unspecific, non-matching or low-quality descriptions proved inherently more difficult. We therefore decided to adopt two strategies for increasing quality, namely curating workers and automatic quality checks. In the next two sections, we give an overview of each.

Building a Pool of Curated Workers
Our first and most important measure was to identify a pool of workers that could consistently and reliably create content to the level of quality we required. To this end, we constructed a crowdsourcing task that was open to any worker meeting the minimum requirements, hereafter referred to as the trial task. This task mirrored the task design of the actual crowdsourcing, but restricted each worker to provide a maximum of 100 descriptions, which we treated as a sample of the workers' ability to provide high quality descriptions. This sample was then manually assessed by experts.
Results. The task was executed for a period of 3 weeks. Approximately 150 distinct crowd workers participated in the task, of which we admitted 50 into the pool of curated workers. These workers were used for the final crowdsourcing task of generating image descriptions.

Image 1
A short black dress with a round neckline. The sleeves are short, and shoulders and sleeves are made from lace cloth.

Image 2
following description apply?

Image 3
To which dress does the Select all matching dresses: Figure 2: Example evaluation task. A description is paired with three images, one of which is the original source image for which the description was generated. The evaluation worker is instructed to select all images to which the description applies. In this example, the worker selects image 2, which is the correct source. Note: Original task is in German, this example was translated for readability.

Automatic Quality Control
In addition to curating workers, we employed three simple methods for automatic quality control to ensure that workers would not submit short or unrelated descriptions. The first was to add a simple regular expression that checked whether each submitted text contained at least 10 distinct words. Similarly, the second checked whether at least one word of the submitted text was a German stopword, to identify responses that were either in a different language or not well-formed. Though these checks were rather coarse, they were nonetheless successful in filtering workers and descriptions to those of reliable quality. A manual inspection of both the cleared and rejected results showed that no non-German text was erroneously accepted while in only one case was work in German rejected as non-German.
The third was to introduce a series of test questions within the data presented to the workers. These consisted of images that had been manually inspected and for which a series of words at least one of which should appear in any reasonable description had been determined. For instance, for the images in Figure 1, we would expect the German words for black (schwarz) and white (weiß) to be mentioned in the description, as well as some synonym of either rabbit or Bugs Bunny. Workers that failed automatic quality control were removed from the pool and their work discarded.

Full Crowdsourcing Task
After building up the pool of curated workers and establishing the quality controls, we ran a large crowdsourcing experiment. Our goal was to annotate 8,764 fashion items with 5 descriptions each. Annotation was completed after 4 weeks of crowdsourcing.

Quality Estimation
In order to assess the quality of the gathered descriptions, we set up a separate crowdsourcing task. Since our main goal in creating FEIDEGGER was to acquire detailed, nongeneric descriptions, the evaluation task was set up to evaluate both whether the descriptions were accurate and discriminative. Evaluation task. To accomplish this, we designed the evaluation task as follows: Each crowd-generated description was paired with three images of fashion articles. One of the three images was the source image, i.e. the image for which the description had been produced. The other two images were other items that are visually similar to the source image, determined using pre-computed image embeddings over a large fashion catalogue (Bracher et al., 2016). One such example pairing of a description and three similar images is depicted in Figure 2. Given such a pairing, a crowd worker was asked to select all images to which the description applies. Note that the worker was not informed that the description's origin was only of one of the images and was given the choice to select more than one image. Thus the task tested both for correctness (whether the source image was chosen) and discriminativeness (whether other images beyond the source image were also chosen). Figure 2 illustrates one such evaluation task. Experimental results. We ran experiments on 4,000 description-image triplets. In 96.5% of cases the worker deemed the description relevant to at least one of the images. Furthermore, in 97% of those cases the worker picked the correct image as being relevant to the description, while in 96.35% of the cases the worker chose only that image.
These results indicate that descriptions are generally of high quality and discriminatively match the source image.
Length of descriptions. To give an overview of the length of crowd-provided descriptions, we computed statistics on word count, as illustrated in Figure 3: Descriptions have an average total of 20.26 words, with a median of 18, and consist of, on average, 2.23 sentences. Stopwords make up roughly 40% of the data.

Data Release and Outlook
We release the data via a specifically dedicated website. This data may be useful for experiments various text-image tasks such as captioning and image retrieval, to compare the quality of approaches that work well on general datasets such as COCO and FLICKR with narrow-domain data, and to research approaches that work well in this domain. Future work will focus on extending the scope of the crowdsourced image description along two dimensions. On the one hand, we will include other types of fashion items besides dresses, such as shoes and shirts. On the other hand, we aim to repeat crowdsourced data gathering efforts for languages other than German, such as English, French, and Dutch. The medium-term goal is to create a multi-modal dataset that for each fashion item contains descriptions in several languages.